Date Range
Date Range
Date Range
My paper-reading queue is chock full, and my wallet less so. Anyway, I had a good time and met some amazing people. I was there for a good reason, though. Get cabal-installs pointing at it.
Please note that GitHub no longer supports your web browser. We recommend upgrading to the latest Google Chrome. GitHub is a development platform inspired by the way you work. You can host and review code, manage projects, and build software alongside millions of other developers. Use at least one letter, one numeral, and seven characters.
Episode 14 - Richard Eisenberg on Dependent Types in Haskell.
No description 25 minutes ago.
I come from Java and want to know what monads are in Haskell. This is an introduction to monads. There are many of these. My goal today is to show how a simple class written in Java could be translated into equivalent functionality in Haskell using some monads, without getting into any of the theory stuff.
A research blog about programming languages, formal logics, software development and their interactions, by Matthias Puech. Parametric HOAS with first-class modules. Some specialized programming languages, like Beluga.
Writings from a happy Haskell coder. Friday, August 14 2015. Why Libraries are better than Frameworks. Thursday, September 23, 2010. Wednesday, February 10, 2010. Friday, September 4, 2009.
Tuesday, October 06, 2009. One flounce deletion too far. I awoke this morning to a text message from someone which read Front page of sun, Matt Lucas ex husband hanged himself! Mornin btw. And sure enough, there is was. A bit of hunting around found that the Times has the same information. Although presented with less enthusiasm. The BBC even caught up.
Welcome to my art blog I will try and post something new every week and if you like my art then feel free to leave a comment or two. Sunday, 20 January 2013. Here is a small figure I made of Amarant from final fantasy 9 enjoy. Wednesday, 19 December 2012. Gonna have a cram sesh. I need to update my blog n fb with my newest work etc so gonna have a day where I have a few hours of updating. Friday, 7 December 2012. Thursday, 6 December 2012. Monday, 17 September 2012.
This is where I will rant about . Computer stuff, baby stuff, and whatever else strikes me. In essence, I am into software development - any large class software app - especially anything having to do with AI is of interest. Saturday, March 11, 2006. Wednesday, March 08, 2006.