r/scheme • u/dharmatech • 8d ago

Compact : smart contract language being worked on by Kent Dybvig

https://github.com/LFDT-Minokawa/compact

And yes, it's implemented in Chez Scheme

21 Upvotes

92% Upvoted

2 comments sorted by

2

u/spicybright 7d ago

Why can't crypto just integrate formal proofs instead of this quasi-formal "I guess I'll risk a million dollars that this stranger's compiler doesn't have any bugs". Most smart contracts barely have any code paths.

1

u/zynaps 6d ago

Quite a few "Claude-assisted" PRs and commits. Hard to take any smart contract language seriously when it's partly vibe-coded.