tag:blogger.com,1999:blog-1862878851303132605.post2373178144033592746..comments2023-06-07T10:48:04.238-04:00Comments on Notes on the LHC: A new beginning.SamBhttp://www.blogger.com/profile/06560268240719951351noreply@blogger.comBlogger8125tag:blogger.com,1999:blog-1862878851303132605.post-24854445234254443012010-05-10T23:56:05.176-04:002010-05-10T23:56:05.176-04:00the red hands look sharp and charismatically spook...the red hands look sharp and charismatically spooky against the black. <br />http://www.watchestoo.com<br /><a href="http://www.watchestoo.com/swissrolexdaytona116509a-p-2461.html?cPath=192" rel="nofollow">SWISS ROLEX DAYTONA 116509A</a><br /><a href="http://www.watchestoo.com/swissrolexdaytona116509e-p-2462.html?cPath=192" rel="nofollow">SWISS ROLEX DAYTONA 116509E</a><br /><a href="http://www.watchestoo.com/swissrolexdaytona116523c-p-2463.html?cPath=192" rel="nofollow">SWISS ROLEX DAYTONA 116523C</a><br /><a href="http://www.watchestoo.com/swissrolexexplorerii16570a-p-2464.html?cPath=192" rel="nofollow">SWISS ROLEX EXPLORER II 16570A</a><br /><a href="http://www.watchestoo.com/swissrolexexplorerii16570c-p-2465.html?cPath=192" rel="nofollow">SWISS ROLEX EXPLORER II 16570C</a><br /><a href="http://www.watchestoo.com/swissrolexgmtmaster-p-2466.html?cPath=192" rel="nofollow">SWISS ROLEX GMT-MASTER</a>ryanhttps://www.blogger.com/profile/03039890117092827523noreply@blogger.comtag:blogger.com,1999:blog-1862878851303132605.post-34429025967871927602009-04-11T14:56:00.000-04:002009-04-11T14:56:00.000-04:00On:http://www.cs.uu.nl/wiki/bin/view/Ehc/EhcUserDo...On:<BR/><BR/>http://www.cs.uu.nl/wiki/bin/view/Ehc/EhcUserDocumentation<BR/><BR/>we are documenting the current status compiler which uses a GRIN based back-end too. Its home page is to be found at:<BR/><BR/>http://www.cs.uu.nl/wiki/bin/view/Ehc/WebHome<BR/><BR/>Doaitse SwierstraAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-1862878851303132605.post-32984336898727085602009-04-11T07:07:00.000-04:002009-04-11T07:07:00.000-04:00dons:Working on JHC and GHC has taught me how easy...dons:<BR/>Working on JHC and GHC has taught me how easy it is for developers to fall back on "untyped" programming. As projects grow, people rely less and less on the type-system. Refactorings in both projects can easily end up in well-typed programs that end in run-time failure.<BR/>While I can see that proving correctness can be arduous, proving completeness should be mandatory.<BR/><BR/>One example would be JHC's core->grin transformation. This transformation requires that all lambdas have been removed from the core. JHC relies on other parts of the program to be aware of this fact and it simply throws an error if the input wasn't what it expected.<BR/>In LHC, I made the transformation of external core to grin using an intermediate step. First I translate to SimpleCore (a subset of Core) and show that ALL core has a valid SimpleCore representation. Then I translate SimpleCore to Grin and show that ALL SimpleCore has a valid GRIN representation. In this way I'm certain all core has a valid GRIN representation and no amount of refactoring can affect this.<BR/><BR/><BR/>No code is shared between JHC and LHC anymore. LHC's codebase is now under the BSD3 license.<BR/><BR/>I'm not sure what you mean by the runtime.David Himmelstruphttps://www.blogger.com/profile/12982136700651117492noreply@blogger.comtag:blogger.com,1999:blog-1862878851303132605.post-69664104966467616932009-04-11T06:40:00.000-04:002009-04-11T06:40:00.000-04:00More information please! There hasn't been any act...More information please! There hasn't been any activity on the mailing list. I may not be directly involved, but I would like to track what's going on.<BR/><BR/>Alternatively, you can share more about what changed on the blog. But please do keep your rapt audience informed. :)Anonymoushttps://www.blogger.com/profile/02951502639017426632noreply@blogger.comtag:blogger.com,1999:blog-1862878851303132605.post-36395816521472903902009-04-11T06:33:00.000-04:002009-04-11T06:33:00.000-04:00Max Bolingbroke:That was the first thing I did. I'...Max Bolingbroke:<BR/>That was the first thing I did. I'm no fan of GPL myself. (:David Himmelstruphttps://www.blogger.com/profile/12982136700651117492noreply@blogger.comtag:blogger.com,1999:blog-1862878851303132605.post-50304859815777016852009-04-11T06:28:00.000-04:002009-04-11T06:28:00.000-04:00If there /is/ no shared code with JHC, would you c...If there /is/ no shared code with JHC, would you consider licensing under a BSD rather than GPL license? I understand if you don't wish to, but this is a concern for me because there are some legal restrictions on my contributing to projects with a GPL style license.Max Bolingbrokehttps://www.blogger.com/profile/05003540528496327090noreply@blogger.comtag:blogger.com,1999:blog-1862878851303132605.post-56835791517773074452009-04-10T22:18:00.000-04:002009-04-10T22:18:00.000-04:00What lessons are you taking from JHC, and is any c...What lessons are you taking from JHC, and is any code at all shared with the projects now? What happens with the runtime?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-1862878851303132605.post-12651600420317434032009-04-10T20:34:00.000-04:002009-04-10T20:34:00.000-04:00This sounds like a very smart move -- I'll be foll...This sounds like a very smart move -- I'll be following the development of LHC closely. Module-at-a-time compilation is holding GHC back.Max Bolingbrokehttps://www.blogger.com/profile/05003540528496327090noreply@blogger.com