I finally have a spec for the Ken Programming Language that I'm happy with. It is at https://docs.google.com/document/d/1EPYLojn9PzslmOFhBT4PYFKFGkrmreRBxPHN_KHEkRw/edit?usp=sharing. It's a bit over-mathematical. Don't let that fool you. It is meant for general programming, but with a lot of mathematics made available with proofs.
[Update 2023-06-08: It seems there was a comment in the doc, but I didn't see it and somehow lost it. Obviously I don't understand it, so I'm turning it off. Big apologies if I lost your comment. Feel free to comment here or email me at robert.kenneth.smart@gmail.com.] Comments are enabled in the doc, or comment here.
This is a successor to the wombat programming language: https://wombatlang.blogspot.com/. There is an implementation of wombat at https://github.com/rks987/marsupial that does just enough for the talk I gave on it. I am adding Python types to parts of that code which I plan to use for Ken.
I'm happy to give talks on the Ken specification and plans. Suggested talk titles are:
- "Why proposition types improve programming language design" for computer folk.
- "Expressing Category Theory in the Ken Programming Language" for math folk.
Or any other aspects of the language.
I can give in person talks in South East Australia. I have no experience giving remote talks, but at least I've got a reasonable USB microphone.
No comments:
Post a Comment