tag:blogger.com,1999:blog-4694016830113568730.post7603187914878764074..comments2023-09-12T09:41:57.755+02:00Comments on Professor Fish: The essence of "The essence of functional programming"Ralf Lämmelhttp://www.blogger.com/profile/11811593229142993414noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-4694016830113568730.post-4178699104385298022010-09-24T02:25:13.470+02:002010-09-24T02:25:13.470+02:00Árni, thanks!
Your proposal for a small imperati...Árni, thanks! <br /><br />Your proposal for a small imperative language made me thinking.<br />In the not too far future, I would talk about an imperative OO language embedding in Haskell. An interpreter instead of an embedding should also be feasible and interesting, perhaps, if I combined it with some other stuff such as parsing and partial evaluation or deeper discussion of laziness.<br /><br />Next lecture will be about bananas though :-)Ralf Lämmelhttps://www.blogger.com/profile/11811593229142993414noreply@blogger.comtag:blogger.com,1999:blog-4694016830113568730.post-74241983266508089602010-09-17T23:08:16.713+02:002010-09-17T23:08:16.713+02:00Ralf, thank you very much for the making these lec...Ralf, thank you very much for the making these lectures available, I have to say I enjoy them quite a lot.<br /><br />I especially appreciate that you reference papers as further reading material -- I've already printed few and put in the to-read queue.<br /><br />It's fantastic to look at a a language with lambda calculus but I think it would also be interesting to see a small imperative language interpreter as well -- expression and maybe few statements, especially w.r.t. open data types.<br /><br />I look forward to watching the lectures to come!<br /><br />Best regards,<br />Árni HermannÁrni Hermann Reynissonhttps://www.blogger.com/profile/18028775900188450128noreply@blogger.com