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-13 15:52

>>15
int main(){A[90]=100;printf("%d",A[90]);;}
Now try
int main(){int i; scanf("%d\n", &i); A[i] = 100; printf("%d\n", i);}
It will compile just fine.

Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List