> I wonder if one day we will be able to use a lighter version of formal methods... | Hacker News

Hacker News .hnnew | past | comments | ask | show | jobs | submit

tizoc on Sept 8, 2014 | parent | context | favorite | on: A shallow survey of formal methods for C code

> I wonder if one day we will be able to use a lighter version of formal methods to web development.

https://en.wikipedia.org/wiki/Type_system#Type_checking

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact