dons

18 ms·

181.
by dons 14y ago
HaLVM. https://github.com/GaloisInc/HaLVM
182.
by dons 14y ago
If you're a professional in the field of partical physics, there's probably not excuse...
183.
by dons 14y ago
Yeah, my comment is really more aimed at the schools that are teaching language design as if it was 1971. And you can always get a copy of TAPL, Types and Programming Languages Benjamin C. Pierce February 1, 2002 I
184.
by dons 14y ago
Also, hbi, the first bytecode interpreter for full Haskell, is 23 years old now... There's no excuse anymore to be ignorant of "modern" static typing - a quarter of a century is long enough.
185.
by dons 14y ago
Eval is well understood in the context of static typing, since the early 90s with Nilsson and Pfenning. So about 20 years now... GHCi is a bytecode interpreter for Haskell, it supports the full Haskell+GHC type system -- and has very littl
186.
by dons 14y ago
Most languages are inappropriate for highly sensitive information or other critical systems. You don't see the the aerospace industry putting Ruby hardware controllers into planes, nor do you see the defense industry putting classified info
187.
by dons 14y ago
Can I print open source lego-compat pieces from my 3D printer yet? Basically, my dream at age 6.
188.
Conal Elliott: why lazy evaluation matters(stackoverflow.com)
1 points by dons 14y ago|0 comments
189.
by dons 14y ago
ghc6 ... We have been at ghc 7 for quite a while now (the Debian package is `ghc`). You might start to see bit rot.
190.
by dons 14y ago
... of course Haskell is perfectly capable of representing state too ...
191.
by dons 14y ago
This isn't an article about how to use a Haskell CSV parser. If it was, it would be about the cassava package, http://hackage.haskell.org/package/cassava I.e. csvfile <- readFile "nukes-list.csv" case decode csvfile of
192.
by dons 14y ago
The technical issues - to the extent they can be determined - are discussed on http://www.reddit.com/r/haskell/comments/15n9l4/my_rant_abou...
193.
by dons 14y ago
I've commented on your post itself, but I really fail to understand this rant. Whitespace is optional -- you must know that? And I assume you are familiar with the FFI binding tools, such as hsc2hs or c2hs? To automate the bindings? Or at l
194.
Hoodle - A lovely PDF annotator/note taking program written in Haskell(ianwookim.org)
4 points by dons 14y ago|1 comments
195.
by dons 14y ago
FWIW, xmonad at 3480/1916 virt / res... But I took care to make it lean.
196.
by dons 14y ago
Hmm... That's bad. What terminology was difficult?
197.
Why learning Haskell makes you a better programmer(dubhrosa.blogspot.co.uk)
205 points by dons 14y ago|98 comments
198.
by dons 14y ago
I think your arguing against abstraction in general. We replaced a manual, verbose and error-prone pattern with a standardized abstraction, and added in compile-time guarantees that the pattern is enforced for free. This made the code short
199.
by dons 14y ago
The standard example is adding checked exceptions. You can refactor nested checks for null into straight line code in the Either (or Maybe or Option) monad, that does the same thing. Consider this pseudo/Haskell code. Functions might fail,
200.
by dons 14y ago
This is specious. Many people understand monads, and their ability to teach and explain varies wildly.
201.
by dons 14y ago
http://www.haskell.org/haskellwiki/Monad#Interesting_monads Nothing to do with proofs. Monads are a generic interface -- an API -- for changing up the computational rules of your programming language. Just think about that for a second --
202.
by dons 14y ago
I'd forgotten about GOA -- it was a little toy project I came up with to embed lambdabot in GHCi. Looks like it was revived, moved to github, and growing happily. Major flashbacks.
203.
by dons 14y ago
Content-free
204.
by dons 14y ago
Wow, GOA, that's a flashback. 2004??
205.
by dons 14y ago
Laziness is a specific property of how variable binding and application works in a language, which is not at issue here. Unless I am mistaken, they didn't change the template language evaluation strategy from call-by-name to call-by-value.
206.
by dons 14y ago
This isn't about deferring evaluation within a phase, its about compilation over interpretation, and the phase distinction.
207.
by dons 14y ago
Java : lots of syntax to fuzz, all have to be right. Haskell : few tokens, stronger checking (i.e no corecions), though Rosetta code is not as type-heavy as real Haskell code. I have a conjecture that Haskell examples designed by experts -
208.
A new era begins for Haskell(haskell.org)
222 points by dons 14y ago|23 comments
209.
Haskell Platform 2012.4 is out. Adds vector, async packages(haskell.org)
2 points by dons 14y ago|0 comments
210.
Writing distributed Map/Reduce in Cloud Haskell(well-typed.com)
2 points by dons 14y ago|0 comments

More ›