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.

## Saturday, September 20, 2014

## Thursday, July 17, 2014

## 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

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.

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

## Wednesday, November 13, 2013

## 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.

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

Subscribe to:
Posts (Atom)