Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Dependent types

Name: Anonymous 2018-10-12 17:08

So, why are you not using dependent types yet? Do you like your programs randomly crashing?

Name: Anonymous 2018-10-15 5:17

>>54
Lets reiterate:
1.Scanf-equivalent outputs integers
2. ...
3.Dependent type accept only restricted subset of integers.
What is happening at #2

Newer Posts