Language EFPL

GitHub

https://github.com/softlang/yas/tree/master/languages/EFPL

---

Expansion

Extended Functional Programming Language

---

Headline

A trivial first-order functional programming language

---

Details

EFPL is an extension of BFPL to support higher-order functions, polymorphism, and type inference.

---

Properties

• this relatesTo Language:Haskell
• this facilitates Functional programming
• this supersetOf Language:BFPL
• this embeds Language:EL

---

Representations

• efpl(text)
• efpl(term)

---

Components

• languages/EFPL/cs.egl (Context-free grammar)
• languages/EFPL/ls.egl (Context-free grammar)
• languages/EFPL/as.esl (Algebraic signature)
• languages/EFPL/.hinzu (Annotation)
• languages/EFPL/README.md (Markup)
• languages/EFPL/as-to-cs.pro (Logic program)
• languages/EFPL/efplAbstract.pro (Logic program)
• languages/EFPL/.ueber (Megamodel)

---