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

It's official: Go sucks, ABSTRACT BULLSHITE FTW

Name: Anonymous 2014-06-29 18:17

http://yager.io/programming/go.html

Name: Anonymous 2014-07-02 5:25

>>52
Proving an invariant is undecidable via the halting problem. Typechecking a program with dependent types reduces to proving invariants.
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode + RSS -