Blog

The OCaml Planet RSS

Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.

Type

All Article Video

Want your Blog Posts or Videos to Show Here?

To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.

Add your RSS feed!

Filtering by: Keyword: exp Clear all

More type classes in OCaml

More type classes in OCaml More type classes Author: Joel Björnson About the author: Joel has been enjoying functional programming ...

applicative exp fmap functor map monoid pure traversable traverse var

22 May 2017

Shayne Fletcher

Read Article

[ARTICLE]

Representing pattern-matching with GADTs

Here is a little programming pearl. I’ve been wanting to work on pattern-matching for a while now, and it seems like I will finally have this opportunity here at my new (academic) home, McGil…

branch exp gadt inl inr pair patt pattern-matching pinr union

11 Apr 2014

Matthias Puech

Read Article

Quick, dirty and shallow definitions

Here is a quick hack. A few months ago, I advocated for pointer equality in OCaml (==) as a way to deal with fresh symbols in a toy compiler. Today, I’ll show another application of pointer e…

app definitions exp functor lam lookup_or num tbl to_string var

21 Nov 2013

Matthias Puech

Read Article

New draft on Normalization by Evaluation using GADTs

There is a new draft on my web page! It is called Tagless and Typeful Normalization by Evaluation using Generalized Algebraic Data Types, which is a mouthful, but only describes accurately the cool…

domain eval evaluation exp gadt gadts non-standard normalization tagless typeful

29 Oct 2013

Matthias Puech

Read Article

The OCaml Planet RSS

Type

Source

Keyword

Year

Author

Want your Blog Posts or Videos to Show Here?