recentpopularlog in

ianweatherhogg : algebraic   51

The Algebra of Algebraic Data Types, Part 2 - Chris Taylor
I gave a talk on this subject at London Haskell in November 2012. A video of the talk is on YouTube and slides are on GitHub. This is Part 2 in a …
haskell  algebraic  data  type  5* 
may 2017 by ianweatherhogg
Algebraic Data Types | Esper Tech Blog
Algebraic data types are the fundamental building blocks of programs in ML-style languages like Haskell and OCaml. Since they play such an important role in these languages, it is well worth understanding how they work and where they come from---at first, the design may feel a bit arbitrary, but in reality it flows naturally from…
ocaml  algebraic  data  type  sum  product  5*  math 
july 2014 by ianweatherhogg
Java Infinite Streams | Informatech CR Blog
The following examples make extensive use of the new features in Java 8 to implement the concept of a stream: a classical data structure similar to a list that uses lazy evaluation. This is not exactly how they have defined the new streams API in Java 8 (you can find other articles I have written…
java  5*  lisp  processing  algebraic  data  type  stream  thunk  filter  fibonacci 
april 2013 by ianweatherhogg
Applicative option parser - Paolo Capriotti's blog
> data Parser a where
> NilP :: a -> Parser a
> ConsP :: Option (a -> b)
> -> Parser a -> Parser b
haskell  5*  algebraic  data  type  parser  applicative  functor  derivation 
july 2012 by ianweatherhogg
Why GADTs are awesome: implementing System F using HOAS | Unknown Parallel
As an exercise while reading through Types and Programming Languages, I decided to implement an interpreter and typechecker for System F, using HOAS (Higher-Order Abstract Syntax) and Haskell's GADTs (Generalized Algebraic Data Types). There were some really cute tricks that made the implementation fairly simple, so I decided to blog about it.
haskell  algebraic  data  type  high  natural  number  math  4* 
july 2012 by ianweatherhogg

Copy this bookmark:





to read