A programming language based on grammatical cases of Turkish

Summary

Kip Kip (meaning "grammatical mood" in Turkish) is an experimental programming language that uses Turkish grammatical cases as part of its type system. It demonstrates how natural language morphology—specifically Turkish noun cases and vowel harmony—can be integrated into programming language design. This is a research/educational project exploring the intersection of linguistics and type theory, not a production programming language. There is also a tutorial in Turkish and a tutorial in English that explains how to write Kip programs. Note Kip is experimental. Expect changes in syntax and behavior over time. For you to get a taste of what Kip looks like, here is an example program that prompts the user to enter a number and then prints that many of the Fibonacci numbers: (* İlk n Fibonacci sayısını yazdırır. *) (bu tam-sayıyı) (şu tam-sayıyı) (o tam-sayıyı) işlemek, (onla 0'ın eşitliği) doğruysa, durmaktır, yanlışsa, bunu yazıp, şunu (bunla şunun toplamını) (onla 1'in farkını) işlemektir. çalıştırmak, "Bir sayı girin:" yazıp, isim olarak okuyup, ((ismin tam-sayı-hali) yokluksa, "Geçersiz sayı." yazmaktır, n'nin varlığıysa, 0'ı 1'i n'yi işlemektir). çalıştır. Table of Contents Language Features Turkish Grammatical Cases as Types Kip uses Turkish noun cases (ismin halleri) to determine argument relationships in function calls: Case Turkish Name Suffix Example Nominative Yalın hal (none) sıfır Accusative -i hali -i, -ı, -u, -ü sayıyı Dative -e hali -e, -a sayıya Locative -de hali -de, -da, -te, -ta listede Ablative -den hali -den, -dan, -ten, -tan listeden Genitive Tamlayan eki -in, -ın, -un, -ün sayının Instrumental -le eki -le, -la, ile sayıyla Possessive (3s) Tamlanan eki -i, -ı, -u, -ü, -si, -sı ardılı Flexible Argument Order Because Turkish cases mark grammatical relationships explicitly, Kip allows flexible argument ordering. These two calls are equivalent: (5'le 3'ün farkını) yaz. (3'ün 5'le farkını) yaz. As long as arguments have different case suffixes or dif...