Sunday, June 12, 2016

Calculus and Algebra

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, October 4, 2015

Tuesday, December 30, 2014

Sunday, December 28, 2014

Adventures with types

Another excellent talk about types in Haskell by Simon Peyton Jones.

Making DSL Fly

I like this presentation on DSL and its performance characteristics in Haskell.

Thursday, November 20, 2014

Oregon Summer School

These are amazing set of lectures on computer programming.

2012 Oregon Summer School

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.