A programming language based on grammatical cases of Turkish. - joom/kip

Lobsters is a community-driven platform for sharing and discussing links to articles, tutorials, and projects related to technology and programming. Readers can learn about a wide range of topics, from software development and system administration to cybersecurity and artificial intelligence. With user submissions, comments, and voting, Lobsters provides a platform for collaborative learning and knowledge sharing among technology enthusiasts.

Lobsters

Kip is an experimental programming language that integrates Turkish grammatical cases into its type system. It uses Turkish noun cases (nominative, accusative, dative, etc.) to determine argument relationships in function calls, enabling flexible argument ordering. The language supports inductive data types, polymorphic types, pattern matching, and effects/I/O operations, all expressed using Turkish syntax and morphology. Built with Haskell and using the TRmorph transducer for morphological analysis, Kip includes features like bytecode caching, a REPL, and a standard library. This research project explores the intersection of natural language morphology and type theory.

joom/kip: A programming language based on grammatical cases of Turkish.