Next Sydney PLT Meeting is on Tuesday 5th November (this week)

Skip to first unread message

Ben Lippmeier

Nov 3, 2019, 6:06:39 AM11/3/19
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. 

The Local Taphouse
122 Flinders St, Darlinghurst NSW 2010
6:30pm Tuesday, 5th November 2019

If you arrive and can’t find us then call Ben Lippmeier +61 421 381 880.


Current projects include:

Tako: An experimental programming language for ergonomic software verification using Hoare Logic.

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

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

Accelerate: An embedded language for accelerated array processing on GPGPUs. More info at

If any of the attendees have another project they want publicised then reply to this mail, or let me know for next month and I’ll include it.

Reply all
Reply to author
0 new messages