Danmarks weblog-portal - søg, find og følg med i den danske blogosfære
MDCC TechTalk - Fun with type functions 
by Simon Peyton Jones, Principal Researcher, Microsoft ResearchToday's most widely used technology, by far, for static program verification is the ubiquitous type checker. Alas, static type systems inevitably exclude some good programs; and allow some bad ones. Thus motivated, Simon describes some fun he has been having with Haskell, by making the type system more expressive without losing t
fra martinesmann - powered by FeedJoiner (Weblogs) (tags: DPEDK Functional Programming Haskell MDCC MSR TechTalk .CH9 martinesmann )
MDCC TechTalk - Classes, Jim, but not as we know them
by Simon Peyton Jones, Principal Researcher, Microsoft ResearchHaskell is now quite widely used, but its most important contributions are the ideas that it embodies. In this talk Simon focuses on one of these ideas, namely type classes, with a few anecdotes and reflections along the way about the process of developing the language.Type classes are probably Haskell's most distinctive feature. The o
fra martinesmann - powered by FeedJoiner (Weblogs) (tags: DPEDK Functional Programming Haskell MDCC MSR TechTalk .CH9 martinesmann )
feed