[Haskell'26] Lightning Talk: Morphosyntactic Programming: Case, Mood, and Type-Directed(…)

ACM SIGPLAN · 10:29

The talk presents Kip, an experimental programming language based on Turkish. Instead of just translating keywords, Kip puts Turkish grammar into the type system: function arguments carry grammatical cases, so their o...

Read the full summary on tuber

Redirecting...