Go is not statically typed, really. Consider using Haskell, if not Agda.
news.ycombinator.com/item?id=34230884Posted Jan 3, 2023, 6:27 PM UTC
9423
news.ycombinator.com
This, but unironically.
58
[deleted]
1
Go is statically typed but damn if it isn't the worst type-system I've seen since Java 1.4
53
The key point here is… Java is for smarter people
11
Can confirm:
Integer a = 127;
Integer b = 127;
System.out.println(a == b); // true
Integer c = 128;
Integer d = 128;
System.out.println(c == d); // false
It really takes a phd in compsci to fully grasp such level of idiotic "clever" language design.
9
Clearly you're unjerking, Mr. f-berasategui
2
Am I?
2
Somehow JVM designers decided to make an exception for numbers less than 128 for optimization, whether it's the right call or not I don't know.
2
Should be for numbers between 1024 and 2048 imo
2
Lisp is not functional, really. Consider using Haskell, if not Agda.
15
half-correct
14
As in, Haskell is half way between babies first type system of C++ and statically typed Agda.
8
Oof size large
2
lol 0.1xer recommends Agda rather than Idris.
3
I'm more of a cock man myself, sorry coq! I meant coq 😅
1
"Took endeavor" was right there.
1
You expect me to read another 7 words to get to that? 🤓
2
Broke: C is statically typed because you literally write the type declarations
Woke: Go is not statically typed because lol no sum types and nil inhabits everything
Bespoke: Python is statically (uni-)typed because preservation+progress
In Haskell, every useful value is a monad, and a monad is a burrito. Therefore in Haskell every value is of type
Burrito, and Haskell is a dynamically-typed (uni-typed) language.Go is just a mode of use of Modernized Algol.
Weird way to say neutered.
PHP is stringly typed and thus superior to all challengers