Language BFPL

GitHub

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

---

Expansion

Basic Functional Programming Language

---

Headline

A trivial first-order functional programming language

---

Details

BFPL supports primitive types for integer and Boolean values; it does not support algebraic datatypes. BFPL can be viewed as a small fragment of Haskell, but with an eager semantics.

---

Properties

• this relatesTo Language:Haskell
• this facilitates Functional programming
• this subsetOf Language:EFPL
• this embeds Language:EL

---

Representations

• bfpl(text)
• bfpl(term)

---

Components

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

---