Next Sydney PLT Meeting is on Tuesday 5th November (this week)
9 views
Skip to first unread message
Ben Lippmeier
unread,
Nov 3, 2019, 6:06:39 AM11/3/19
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to fp-...@googlegroups.com, discu...@googlegroups.com
Various programming languages diaspora are meeting monthly on Tuesday evenings, two weeks after FP-Syd. This is an informal gathering and discussion without pre-prepared talks. All interested parties are welcome.
If you arrive and can’t find us then call Ben Lippmeier +61 421 381 880.
Cheers,
Ben.
Current projects include:
Tako: An experimental programming language for ergonomic software verification using Hoare Logic. https://github.com/Cypher1/tako
Salt: The compilation target that functional programmers always wanted. Salt is what you get when you leave C out in the sun for too long. Now comes with a partially baked VSCode language server plugin. Repo is at https://github.com/discus-lang/salt
Discus: An experimental dialect of Haskell that investigates static typing and program transformation in the presence of computational effects. DDC is the compiler for it. More info at http://discus-lang.org/