News for hackers. Stuff that matters.

A comment on Blockchain at CMU and Beyond [video].

Re:Blockchain at CMU and Beyond [video] by azhenley on Friday January 04, 2019 @10:33PM (#18829722)
Check out the Obsidian programming language for blockchain from CMU: http://obsidian-lang.com/
[ Parent | on HN ]
Re:Blockchain at CMU and Beyond [video] by nivertech on Saturday January 05, 2019 @02:56PM (#18833826)
Obsidian seems like Solidity married with FSMs.

IMO using an FP language with a strong strict type system based on algebraic data types, pattern matching and exhaustive checking would be a better approach.

[ Parent | on HN ]