# \#eyg

**URL:** https://erlangforums.com/tag/eyg/1083.md

[Latest](https://erlangforums.com/latest.md) · [Categories](https://erlangforums.com/categories.md) · [Tags](https://erlangforums.com/tags.md)

---

## [EYG - a functional language with managed effect and sound type inference, embeddable in Erlang](https://erlangforums.com/t/eyg-a-functional-language-with-managed-effect-and-sound-type-inference-embeddable-in-erlang/6066)

<div class="topic-metadata">

**Author:** [@CrowdHailer](https://erlangforums.com/u/CrowdHailer)\
**Replies:** 0\
**Last updated:** [October 21, 2026, 9:35pm UTC](https://erlangforums.com/t/eyg-a-functional-language-with-managed-effect-and-sound-type-inference-embeddable-in-erlang/6066 "2026-10-21T21:35:34Z")

</div>

EYG is a functional language with managed effect and sound type inference. The main interest in it’s type system is that it type checks against the set of effects available to it and performing effects is the only method…