# \#tagless-final

**URL:** https://discuss.ocaml.org/tag/tagless-final/330.md

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

---

## [Faking type families to encode extensible tagless-final interpreters](https://discuss.ocaml.org/t/faking-type-families-to-encode-extensible-tagless-final-interpreters/14647)

<div class="topic-metadata">

**Author:** [@Matthieu\_Lemerre](https://discuss.ocaml.org/u/Matthieu_Lemerre)\
**Replies:** 2\
**Last updated:** [May 16, 2024, 11:53am UTC](https://discuss.ocaml.org/t/faking-type-families-to-encode-extensible-tagless-final-interpreters/14647 "2024-05-16T11:53:26Z")

</div>

Hello, I am trying to define a language in the style of the tagless-final interpreters of Carett, Kiselyov and Shan (my goal is to perform tagless-final abstract interpretation, as described in a forthcoming PLDI paper)…

---

## [Explain like I'm 5 years old: Tagless-final pattern](https://discuss.ocaml.org/t/explain-like-im-5-years-old-tagless-final-pattern/9394)

<div class="topic-metadata">

**Author:** [@olleharstedt](https://discuss.ocaml.org/u/olleharstedt)\
**Replies:** 12\
**Last updated:** [February 28, 2022, 8:02pm UTC](https://discuss.ocaml.org/t/explain-like-im-5-years-old-tagless-final-pattern/9394 "2022-02-28T20:02:29Z")

</div>

Hi! It would be nice to have a friendly introduction to tagless-final somewhere on the Internet. What it is, what it isn’t, when it’s used, other alternatives for similar use-case. Some questions: Why is it called tag…

---

## [Questions on processing DSL in tagless-final](https://discuss.ocaml.org/t/questions-on-processing-dsl-in-tagless-final/4429)

<div class="topic-metadata">

**Author:** [@arbipher](https://discuss.ocaml.org/u/arbipher)\
**Replies:** 2\
**Last updated:** [September 26, 2019, 6:47am UTC](https://discuss.ocaml.org/t/questions-on-processing-dsl-in-tagless-final/4429 "2019-09-26T06:47:45Z")

</div>

Hi, I am thinking to use tagless-final style to rewrite a small project on DSL. Actually it’s a set of DSLs with small variants. For each of them, I have already check interpret pp functions for them. As you might see, t…