tag:blogger.com,1999:blog-37404288.post4610028104360271087..comments2023-11-02T14:40:18.756+01:00Comments on JP Moresmau's Programming Blog: EclipseFP and "the future of programming"JP Moresmauhttp://www.blogger.com/profile/09964251063221757176noreply@blogger.comBlogger6125tag:blogger.com,1999:blog-37404288.post-72406753489397138192012-01-04T20:26:41.741+01:002012-01-04T20:26:41.741+01:00Justin, thanks for the pointers, I'll check th...Justin, thanks for the pointers, I'll check them out!JP Moresmauhttps://www.blogger.com/profile/09964251063221757176noreply@blogger.comtag:blogger.com,1999:blog-37404288.post-71418394616284311622012-01-04T01:05:42.252+01:002012-01-04T01:05:42.252+01:00Chris Done posted a video prototyping a structured...Chris Done posted a video prototyping a structured editor that forces type-correct code. Seemed cumbersome to me (http://chrisdone.com/posts/2011-12-17-concept-for-editing-asts-rather-than-text.html).<br /><br />If you are not aware of Subtext and Jonathan Edwards, check him out (http://alarmingdevelopment.org/). Now defunct and I don't know that a binary was ever released, but had some good ideas. His paper "No Ifs, Ands or Buts" describes a really cool way of expressing conditional and looping statements graphically.Justinhttps://www.blogger.com/profile/04138857652921543796noreply@blogger.comtag:blogger.com,1999:blog-37404288.post-18707676427994696472012-01-03T16:39:19.247+01:002012-01-03T16:39:19.247+01:00Boris, thanks very much, I wasn't aware of tha...Boris, thanks very much, I wasn't aware of that work. The thing is, we're already calling GHC with the editor contents, so we could probably implement the same algorithm in buildwrapper without touching GHC itself. I'll think about it!JP Moresmauhttps://www.blogger.com/profile/09964251063221757176noreply@blogger.comtag:blogger.com,1999:blog-37404288.post-76398765934591755062012-01-03T10:13:12.617+01:002012-01-03T10:13:12.617+01:00It was a feature in branch (which seems to have be...It was a feature in branch (which seems to have been removed). <br /><br />http://www.reddit.com/r/haskell/comments/mwo5p/commit_ghc_fix5624_implement_runtimecoercion/<br /><br />http://hackage.haskell.org/trac/ghc/ticket/5624<br /><br />I think I would prefer Java-style editor to structural one. When I start writing a new module, it is convenient for me to keep pseudocode and code snippets in the function body, thus keeping it in non-compilable state for quite long time.<br /><br />Happy hacking and happy New Year!Boris Lykahhttps://www.blogger.com/profile/13809187507726378890noreply@blogger.comtag:blogger.com,1999:blog-37404288.post-2976768014588429092011-12-31T13:00:01.575+01:002011-12-31T13:00:01.575+01:00Marek, do you have any pointer to that functionali...Marek, do you have any pointer to that functionality? Thanks.JP Moresmauhttps://www.blogger.com/profile/09964251063221757176noreply@blogger.comtag:blogger.com,1999:blog-37404288.post-3303234891860278182011-12-31T09:16:27.010+01:002011-12-31T09:16:27.010+01:00There was a mention of GHC being able to compile i...There was a mention of GHC being able to compile incorrect program, displaying warnings and deferring type errors to run time. I wonder how would that be reflected in GHC API.Marek Sieradzkihttps://www.blogger.com/profile/00202395865875237349noreply@blogger.com