To paraphrase (and perhaps vary a little) the point he's making: it's hard to really see what FP (and I think also types) can do for us, because the broader environments and systems in which we use functional programming tools are still imperative (and more or less unityped).
To paraphrase (and perhaps vary a little) the point he's making: it's hard to really see what FP (and I think also types) can do for us, because the broader environments and systems in which we use functional programming tools are still imperative (and more or less unityped).
-
(no subject)
A paper on describing circuits in an agda DSL: http://www.staff.science.uu.nl/~swier004/publications/2015-types-draft.pdf
-
(no subject)
Going more carefully now through this little tutorial on fpga programming with the iCEstick. It's in spanish, which makes it slightly more…
-
(no subject)
Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…
- Post a new comment
- 18 comments
- Post a new comment
- 18 comments
-
(no subject)
A paper on describing circuits in an agda DSL: http://www.staff.science.uu.nl/~swier004/publications/2015-types-draft.pdf
-
(no subject)
Going more carefully now through this little tutorial on fpga programming with the iCEstick. It's in spanish, which makes it slightly more…
-
(no subject)
Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…
