An interactive prototype for dynamic dispatching via type conjunctions

https://jmacc93.github.io/TypeConjunctionDispatchPrototype/

by jmacc93 • 2 years ago

3 1 2 years ago

jmacc93.github.io

jmacc93• 2 years ago

This is a demonstration prototype I made of a transpiler to Javascript from a variant of Javascript extended with type conjunctions and tag types (I describe both on the page) for a form of dynamic dispatching via implicit guard clauses. It is very rough behind the scenes and is really likely to break if too much is done with it haha. But its really just to demonstrate and illustrate type conjunctions and tag types. The explanation on the page is hopefully worth more than the demonstration, anyway

I hope you all like it :)

P.S. the demonstration requires javascript but the other stuff on the page I wrote in markdown then used pandoc to turn that into html and manually spliced that into the page's index.html. It pulls CodeMirror from the web, and I think that's it iirc

An interactive prototype for dynamic dispatching via type conjunctions

Related Stories