Y
Hacker News
new
|
ask
|
show
|
jobs
by
danpla
1230 days ago
As I know, SPARK can do this (in particular, thanks to the strong type system).
https://learn.adacore.com/courses/intro-to-spark/chapters/01...