Titan

Titan is a functional, dynamic, and strongly typed concatenative language written by vatsjijj. It is inspired by Joy, BQN, and FP, and takes heavily from them. Notably it uses mostly unicode glyphs rather than ASCII characters.

For more information, check out https://github.com/vatsjijj/titan.

Hello World

"Hello, world!" .

ForAll Implementation

∀ == [
   >s2
   :s2 / ∘
   :s2 /
   # 1 -
   : ' [⋄] ∪ :s ∪ ['] ∪
   ⟷ 1 + ∇
   <s /
   [∪] <s # 1 - ∇
]

Reduce Implementation

⊥ == [
   >s2
   :s2 / ∘
   :s2 ⟷
   # 1 - ∇
   <s2 / /
]

If Implementation

? == [⋄ ⟷ / ∘]