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: lists Clear all

Lists that keep track of their reversal

Summary of a small discussion on how to track, at type level, whether a list is constructed forwards or backwards. It remains to be seen whether this will be useful in everyday life, but the proposal is driven by a specific issue.

acc glist lists my_map of_rev_list olist ord rev reversal reversed

30 Sep 2026

grim.cargocut.org

Read Article

[ARTICLE]

Introduction to OCaml, part 5: exceptions, lists, and structural recursion

element exception exceptions immutability inductive lists recursion structural tail tail recursion

18 Aug 2018

Daniil Baturin

Read Article

[ARTICLE]

Typing Tricks: Diff lists | Drup's thingies

The diff list trick is a way to compute with lists in types. It allows to create heterogeneous lists which is very useful, in particular in the Format module from the standard library.

append cons continuation diff gadt lists myfmt ty1 ty2 type checker

02 Aug 2016

Gabriel Radanne

Read Article

[ARTICLE]

The OCaml Planet RSS

Type

Source

Keyword

Year

Author

Want your Blog Posts or Videos to Show Here?