Thursday, June 1, 2023

Trivia

Ken's mascot is Kenny the wombat.

Ken's motto is "Stop messing about": https://youtu.be/3W4UkoJ3-zA?t=28.

I just need an AI expert to make a video of a wombat saying "stop messing about" in Kenneth William's voice.

Ken has a spec

 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.