# \#dynamic-programming

**URL:** https://discuss.ocaml.org/tag/dynamic-programming/217.md

[Latest](https://discuss.ocaml.org/latest.md) · [Categories](https://discuss.ocaml.org/categories.md) · [Tags](https://discuss.ocaml.org/tags.md)

---

## [Types as first class citizens in OCaml](https://discuss.ocaml.org/t/types-as-first-class-citizens-in-ocaml/2030)

<div class="topic-metadata">

**Author:** [@egoholic](https://discuss.ocaml.org/u/egoholic)\
**Replies:** 11\
**Last updated:** [September 15, 2024, 6:00am UTC](https://discuss.ocaml.org/t/types-as-first-class-citizens-in-ocaml/2030 "2024-09-15T06:00:11Z")

</div>

Is it possible to use types in OCaml as first class citizens? For example, I want to implement relational data model in OCaml and create a database as a library solution. By definition relation contains header (it looks…

---

## [Lazy dynamic programming in OCaml?](https://discuss.ocaml.org/t/lazy-dynamic-programming-in-ocaml/12807)

<div class="topic-metadata">

**Author:** [@Solid](https://discuss.ocaml.org/u/Solid)\
**Replies:** 1\
**Last updated:** [August 12, 2023, 3:40pm UTC](https://discuss.ocaml.org/t/lazy-dynamic-programming-in-ocaml/12807 "2023-08-12T15:40:24Z")

</div>

Hi, I just started out learning OCaml, so I apologise if this is too basic a question for this Discourse. In an effort to get a grip on OCaml’s handling of laziness, I wanted to implement the min coin change problem. H…