What's this project I'm planning for December I've been discussing this morning?

It'd be a simple & expressive visual functional programming language. You start with a single metatype in which to write to write type signatures. Once you've defined a function's type you can leave it empty to become a type constructor, or you can fill-in auto-generated pattern-matching "() ⇒ () []" blocks with the same or other functions.

Thus expressing the entirety of computation!

1/2?

As decided this morning I'll have special
* "🙂" which takes a function returning the appropriate type & has the user fill in any missing arguments.
* "🎲" would generate random values
* "🌐" would interface to TCP or TLS (using a funny type signature)
* "🕰️" would return the UNIX timestamp.

Furthermore you'd be able to drop files into it the program for the runtime to help you select a module to parse its list of bytes. And you'll be able to save lists of bytes.

So you can process files!

2/3!

Follow

@alcinnz I've only taken a cursory glance, but a similar use of special glyphs came up in

uiua.org/

which was just mentioned by @vanderZwan.

Sign in to participate in the conversation
CleverLibre Social

CleverLibre Social is an inclusive social instance for open discussion, learning, and community.
All cultures welcome.
Hate speech and harassment strictly forbidden.