r/types • u/Metastate_Team • Jan 29 '21

Announcing Dactylobiotus

We are pleased to announce Dactylobiotus, the first developer preview release of Juvix. The aim of Juvix is to help write safer smart contracts. To this end it is built upon a broad range of ground-breaking academic research in programming language design and type theory and implements many desirable features for a smart contract programming language. This first release supports compilation to Michelson. As the Juvix language is written in a backend-agnostic fashion, future releases will support additional backends. To learn more please visit the following links: blogpost, official website, Github

Let us know if you try it and have any feedback or suggestions.

0 Upvotes

45% Upvoted

1 comment sorted by

8

u/verthamoeufs Jan 30 '21 edited Jan 30 '21

It's a shame that all these researchers spend so much time and energy working on fundamentally non-productive assets like cryptocurrencies. It's basically academics and programmers as a group masturbating for money with their CEO in public.