An experimental programming language called Kip is making waves. It leverages the grammatical cases of the Turkish language within its type system. The project, hosted on Github, aims to explore how natural language morphology can be integrated into programming language design. It's a research project, not a production tool, aimed at the intersection of linguistics and type theory.

Kip allows for flexible argument ordering because Turkish cases explicitly mark grammatical relationships. Developers can define algebraic data types with Turkish syntax and utilize pattern matching. The language also supports polymorphic types, constants, and I/O operations. The project's structure includes features such as bytecode caching and a browser-based WASM playground for exploration.

This approach could offer a new way for programmers to interact with code. While the project is experimental, it could influence future language designs. The project uses the TRmorph transducer for Turkish morphological analysis. The language is still in development, so users should expect changes to the syntax and behavior.

Those interested in experimenting can find tutorials in both Turkish and English. The project's source code, including an example program, is available on GitHub. It demonstrates how to prompt a user for a number and print the Fibonacci sequence. The project suggests a unique way to approach software development, using language as a core building block.