dons

26 ms·

241.
by dons 14y ago
50M!? 5 would be more likely, assuming stripping. As opposed to 5k with dyn libs.
242.
by dons 14y ago
He had said previously: Joeyh: "One (git-annex) is a large-ish, serious work, and I have been very pleased with how haskell has made it better, even though there was a learning curve (took me two weeks to write the first prototype, which I
243.
by dons 14y ago
Some similarities with Felleisen's work teaching programming to early high schoolers, - http://www.programbydesign.org/ Those folks have tons of data on what works, what doesn't. I get a bit of a NIH feeling from this effort, that I hope
244.
Simon Marlow (GHC runtime guru) on GPU programming in Haskell(community.haskell.org)
3 points by dons 14y ago|0 comments
245.
Yesod (Haskell) lead dev picked up by FPComplete(yesodweb.com)
71 points by dons 14y ago|8 comments
246.
by dons 14y ago
Haskell community surveys and reports have been going on since the early 00s
247.
by dons 14y ago
Sure they are, and full cross-module inlining too
248.
by dons 14y ago
On a large project you optimize the hotspots using an excellent profiler...
249.
by dons 14y ago
GHC currently has an excellent semi-whole program optimizer for Haskell-level code. And it has LLVM for optimizing the generated assembly. What is missing is an intermediate level optimizer that optimizes asm prior to LLVM, and has awarenes
250.
GHC's new cutting-edge dataflow-based code generator(hackage.haskell.org)
151 points by dons 14y ago|36 comments
251.
Bugs in trading software cost Knight Capital $440M(bloomberg.com)
2 points by dons 14y ago|1 comments
252.
by dons 14y ago
xmonad was written in Haskell because it needed to be small, fast, but safer than C.
253.
by dons 14y ago
There are some benefits using a compiled, optimized and modern statically typed language for desktop software that runs on the user's machine -- it's less work to get a smaller memory footprint, reduced liklihood of runtime errors, faster s
254.
by dons 14y ago
Remember folks : "performant" is not a word. http://boulter.com/blog/2004/08/19/performant-is-not-a-word/
255.
This PLT Life(axisofeval.blogspot.hu)
1 points by dons 14y ago|0 comments
256.
by dons 14y ago
Imperative programming is not algebra. (Well, it still is, but its an algebra of state).
257.
by dons 14y ago
Indeed, with type information you can do quite sophisticated embedded DSLs that heavily reuse the host language's infrastructure for variables, control and types. So no need for the LpVariable stuff, for example, and you get type safety. An
258.
by dons 14y ago
Haskell has had macros and the Dynamic type since 2002.
259.
by dons 14y ago
C has been widely used as a "portable" target language. LLVM is increasingly used as a more semantically-sane alternative.
260.
by dons 14y ago
And now we can look forward to 20 years of research on very fast runtimes for executing Clojure ... http://research.microsoft.com/apps/pubs/default.aspx?id=7985...
261.
by dons 14y ago
Ah nice. I've seen a guy on one of these in Brooklyn -- it certainly stands out.
262.
by dons 14y ago
Blog spam? Contains snippets from RWH mis-rendered...
263.
The Architecture of Open Source Applications: The Glasgow Haskell Compiler(aosabook.org)
5 points by dons 14y ago|1 comments
264.
by dons 14y ago
It would be a controversial step to write an OS without a type system.
265.
Turner: the history of lazy functional programming: 1930-1990(www-fp.cs.st-andrews.ac.uk)
7 points by dons 14y ago|0 comments
266.
by dons 14y ago
Apps are functions from 0 or more inputs to outputs. Books are functions of 0 inputs to output. They're zero-arity apps.
267.
by dons 14y ago
Yep. We use Haskell for all systems, online and offline, including the soft-real time stuff that watches the live feeds.
268.
by dons 14y ago
> where Scala really excels. Functional programming in general. An awful lot of finance (that used to run in Excel) is just side-effect free, compute-centric transformations over data. Time series, for example, have a relatively nice al
269.
by dons 14y ago
> And because of implicits, the type-system is also more powerful than what's available in Ocaml and even Haskell. I don't think that's true. You do the same thing (e.g. collections that choose better representations) via type families/
270.
What was your "ah ha" moment with Haskell?(reddit.com)
116 points by dons 14y ago|59 comments

More ›