Obsidian: A safer blockchain programming language

Re:Obsidian: A safer blockchain programming language by whyrusleeping on Friday May 31, 2019 @01:26PM (#20063001)

Is there a language spec and examples anywhere? I can only find one example of what the language looks like in their insurance policy case study paper.

[ Parent | on HN ]

Re:Obsidian: A safer blockchain programming language by mcoblenz on Friday May 31, 2019 @07:17PM (#20065971)

There are some examples in the repository, e.g. https://github.com/mcoblenz/Obsidian/tree/master/resources/c...

Also see a draft paper: http://obsidian-lang.com/obsidian-oopsla-19-submitted.pdf

[ Parent | on HN ]

Re:Obsidian: A safer blockchain programming language by uncletaco on Friday May 31, 2019 @05:41PM (#20065252)

I think this is a student project that hasn't really made it to that level yet. It looks pretty neat and they apparently won an award for it.

[ Parent | on HN ]