DEV Community

Discussion on: What language or tool are you curious about, but have not found the time to use or learn?

Collapse
 
pinotattari profile image
Riccardo Bernardini

SPARK/Ada the language derived from Ada suited for formally checking your software. In my free time I am using it for small projects. Every now and then I post something about my experiences with it.