Saturday, September 20, 2014

Interesting talk about use of Haskell in the wild

Interesting talks on use of Haskell in Barclays for mission critical applications.  



Haskell at Barclays: Exotic Tools for Exotic Trades



The section about Generic programming using Catamorphisms and  Sharing of computations is quite interesting.   I also like the idea of Barclays first developed an EDSL then a DSL that it compiled to the EDSL.   Having a DSL allows you to give application specific error messages that would be difficult when you have EDSL in a mother language (in this case Haskell).    I also liked their mention of the UUParsing library out of Utrecht.   There is an interesting tutorial  (and class notes) on the parser that I have been studying and find it very useful in  trying to learn functional thinking and design.

Wednesday, June 4, 2014

Bayesian framwork

Interesting application of bayesian framework.   Bayesian framework is interesting in context of functional programming, as it too, is all about compositional frame work.    Building a complex probabilistic model from observations, uncertainty about observations, and prior beliefs.

Search for the Wreckage of Air France Flight AF 447

Thursday, February 20, 2014

What is meaning of denotation semantic ....

An absolute not to be missed lecture by David Sankel: The intellectual Ascent to Agda.

He talks about Denotational Semantic and interestingly describing it as:  augmenting math to talk about meaning and then extend math to program in math.


Saturday, December 7, 2013

Origins of Functional Programming

A very nice talk  on origins of  functional programming.

Friday, October 25, 2013

Dedication!

In "The Lady Tasting Tea" the author (David Salsburg) talks about calculations done in a Statistical paper published in 1920s by R. A Fisher.   Mind blowing to think that he used this machine to do the tables and charts in the paper:



The author estimates it must have taken him 185 hours to prepare the tables.