24 May
2010
24 May
'10
5:35 p.m.
2010/05/17 Tim Chevalier
The first three names on that list of faculty members are members of the HASP group (High Assurance Systems Programming), which is an active research group focused on developing a call-by-value Haskell variant for systems programming. More info at http://hasp.cs.pdx.edu/
Does call-by-value mean actually strict? Looking over the page on execution order on Wikipedia, it seems that there are degrees of strictness. I'm curious about the choice that was made with HASP. They seem to have bottom, according to the report; yet I don't know how you'd have bottom without laziness of some kind. -- Jason Dusek Linux User #510144 | http://counter.li.org/