Danmarks weblog-portal - søg, find og følg med i den danske blogosfære
Lumia 800 i Parken, vil du med? 
Har du lyst til at deltage i en anderledes lancering på plænen i Parken. Hvis du kan afsætte fredag d 20. januar fra kl. 16:00 til 21:00, så får du 4 billetter til en FCK kamp samt en oplevelse du sent glemmer! Hvis du er interesseret i at blive en aktiv del af Nokia Lumia lanceringen, så send e...
fra martinesmann - powered by FeedJoiner (Weblogs) (tags: Windows Phone 7 .v2 v2blog .v2 blog martinesmann )
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