I thin this video capture the essence of calculus.

"We have a geometric concept, and we want an algebraic expression for it".

It could be: we have XYZ concept, and want and algebraic expression for it.

The XYZ calculus (Tensor calculus in case of Geometry, differential calculus in case of algebra, Relational Calculus in case of Relational Algebra, Lambda Calculus in case of Function algebra...) is the tool to use to write the algebraic expression. Once one has an algebraic equation then one can reason by applying algebraic laws in the domain to simplify expression.

The method seems to always be "Write down the correct identity"... Struggling to find how this applies to Lambda Calculus..

## Sunday, June 12, 2016

## Sunday, October 4, 2015

## Tuesday, December 30, 2014

## Sunday, December 28, 2014

## Thursday, November 20, 2014

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

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.

Subscribe to:
Posts (Atom)