↧
Image may be NSFW.
Clik here to view.
Clik here to view.
From Haskell to hardware via cartesian closed categories
Since fall of last year, I’ve been working at Tabula, a Silicon Valley start-up developing an innovative programmable hardware architecture called “Spacetime”, somewhat similar to an FPGA, but much...
View Article
Image may be NSFW.
Clik here to view.
Clik here to view.
Overloading lambda
Haskell’s type class facility is a powerful abstraction mechanism. Using it, we can overload multiple interpretations onto a single vocabulary, with each interpretation corresponding to a different...
View Article
Image may be NSFW.
Clik here to view.
Clik here to view.
Optimizing CCCs
In the post Overloading lambda, I gave a translation from a typed lambda calculus into the vocabulary of cartesian closed categories (CCCs). This simple translation leads to unnecessarily complex...
View Article
More Pages to Explore .....