News for hackers. Stuff that matters.

A comment on I tried Haskell for 5 years. Parent comment

Re:I tried Haskell for 5 years by nickpsecurity on Thursday May 04, 2017 @05:49PM (#14269172)
This work might give you some ideas even though it's a bit dated:

http://programatica.cs.pdx.edu/House/

Also, COGENT for lowest-level stuff being wrapped for use in Haskell somehow might be interesting. Used on ext2 filesystem already.

https://ts.data61.csiro.au/projects/TS/cogent.pml

[ Parent | on HN ]
Re:I tried Haskell for 5 years by mands on Friday May 05, 2017 @04:48AM (#14272008)
Thanks for the pointers - house is great, I remember reading some of the papers a long time ago.

I haven't seen COGENT before - will take a look over the weekend - thanks!

[ Parent | on HN ]