dons

25 ms·

211.
by dons 14y ago
And a more recent summary: The New Cloud Haskell, http://www.well-typed.com/blog/70 Compared to the previous prototype: * it is much faster; * it can run on multiple kinds of network; * has backends to support different environments (like
212.
Cloud Haskell: work-stealing, master-slave and work-pushing(well-typed.com)
84 points by dons 14y ago|6 comments
213.
by dons 14y ago
> With dynamic typing you write less No, you don't. Type inference was invented in 1969. 43 years ago.
214.
by dons 14y ago
Some are easy, some are research level. They're all "open source"-style programming : i.e. add real features to real projects on a real time frame. You could expect to apply to do these in the Summer of Code Haskell projects. Challenging, y
215.
by dons 14y ago
Pandoc is a compiler from N input grammars to M output grammars. Compilers are easy to write in typed, functional languages because they have algebraic data types and pattern matching.
216.
Simon Peyton Jones: GHC status update and what's coming next in Haskell(youtube.com)
3 points by dons 14y ago|0 comments
217.
Comparing Haskell Templating Languages: Heist and Hamlet(gist.github.com)
2 points by dons 14y ago|0 comments
218.
by dons 14y ago
http://www.haskellers.com/jobs/19
219.
CUFP: commercial Haskell, Scala, Clojure, Erlang, OCaml, F# business experience(cufp.org)
2 points by dons 14y ago|0 comments
220.
by dons 14y ago
Here are slides from a recent talk I gave on the 1MLoC+ Haskell code base we have at StanChart. http://code.haskell.org/~dons/talks/padl-keynote-2012-01-24.... The guys on our team have between 4 and 25 years (yes, not a typo) experience
221.
by dons 14y ago
Agreed. The more difficult on that list, the more formal the system, and the more automated tools that have been developed to automate verification.
222.
by dons 14y ago
rank (n) * 8: formal verification of technology of rank n
223.
by dons 14y ago
> ACL2 is old and crusty We have many new shiny FM tools now, though, that are far closer to regular programming languages. In particular, Agda, Coq, Isabelle are fairly easy to pick up for people with an FP background (rather than a fo
224.
Haskell vs F# vs Scala: Language Features and Parallelism Support(macs.hw.ac.uk)
4 points by dons 14y ago|1 comments
225.
by dons 14y ago
There are thousands packages on Hackage, http://hackage.haskell.org Widely used web servers include http://snapframework.com/ and http://www.yesodweb.com/ . There are widely available numbers and reviews of these systems. A new book by
226.
by dons 14y ago
You're digging in. > Haskell I would argue against being an industry language FYI, the problems the Haskell community has been working on are things like scalability, performance and safety because they're critical to industrial proble
227.
by dons 14y ago
Only by accident. It has terrible semantics for a target assembly.
228.
by dons 14y ago
Remarkably content-free.
229.
by dons 14y ago
Thanks for the info. Having written wire serialization from typed to untyped formats many times over the years, the limited expressivness of such formats has been an ongoing source of annoyance.
230.
by dons 14y ago
Much discussion here: http://www.reddit.com/r/haskell/comments/zgeen/ghc_761_offic... Highlights: * RTS now supports changing the number of capabilities at runtime * Dataflow based code gen is on * Unboxed tuples (register allocated struc
231.
GHC 7.6 is now live: poly kinds, dynamic use of cores, numeric type literals...(haskell.org)
145 points by dons 14y ago|26 comments
232.
by dons 14y ago
As with JSON, no support for algebraic data types (so tagged unions or recursive data types)?
233.
by dons 14y ago
No, that's not actually how laziness works when running a parser...
234.
Practical parsing of molecular data in Haskell(haskellforall.com)
3 points by dons 14y ago|0 comments
235.
by dons 14y ago
Ah yes, it has moved to github now
236.
by dons 14y ago
Another idea: port HaLVM and get a Haskell baremetal OS - with native threads, GC, type safety, instant boot - https://github.com/GaloisInc/HaLVM
237.
Cloud Haskell on Raspberry Pi(alenribic.com)
39 points by dons 14y ago|8 comments
238.
by dons 14y ago
Any decent language runtime with lightweight threads will have the same effect...
239.
MongoDB/10Gen hiring Haskell dev/evangelist(haskellers.com)
3 points by dons 14y ago|0 comments
240.
by dons 14y ago
The reason is that neither OCaml nor SML support language-level parallelism or concurrency. These features are /somewhat/ available as 3rd party libs (OCaml), but you won't see GHC or Erlang-style thread use.

More ›