4ad

45 ms·

511.
by 4ad 5y ago
True of OCaml and Rust (and many others), but Haskell certainly has overloaded functions through type classes. In fact, once OCaml gets implicit modules, this won't be true anymore of OCaml either.
512.
by 4ad 5y ago
Go's type system is actually expressive enough to ensure exhaustiveness, although it's non-obvious and syntactically heavy and impractical. I am working on a paper that will explore this.
513.
by 4ad 5y ago
Because it can only be a type parameter. There is no specialization. (TBH I think that's a mistake because if prevents a solution to the Expression Problem.)
514.
by 4ad 5y ago
You can absolutely write type-safe higher order functions without generics. You can't write generic higher order functions, but that's a tautology. Also higher-order functions are a moot point. Higher-order functions give you co
515.
by 4ad 5y ago
There are two meanings of "type erasure". One concerns the user, the other the compiler writer. When most users people ask about type erasure, they ask whether types are erased when compiling the reflection information for polymor
516.
by 4ad 5y ago
Functions are useful because you can call them from your program.
517.
by 4ad 5y ago
It's already in, it has to be requested by the user with `-gcflags='-G=3'`. Of course, the feature is in heavy development and not ready for production use, YMMV.
518.
by 4ad 5y ago
You would only see one hemisphere from infinity.
519.
by 4ad 5y ago
There is nowhere to get a paper copy from in my country. At least not without going through insurmountable hoops. I tried. You have to log-in to a government website, and you do it either through a mobile phone registered with the governmen
520.
by 4ad 5y ago
Obviously I can't speak for every country and every bank, but at least in two countries and with two banks they are trying really hard to get me off the hardware tokens and onto mobile phones. They have done all kinds of dark patterns,
521.
by 4ad 5y ago
Rust traits are not subtyping, Rust's type system is principal (although with subtyping you could achieve the same thing as described by the OP, e.g. in C++, C#, etc, which only have subtyping but no existentials exposed as a syntactic
522.
by 4ad 5y ago
What you describe are existential types, a feature that every statically-typed language with parametric polymorphism has, either through some explicit syntactic feature (Rust traits, Haskell type classes, ML modules), or even without, as fr
523.
by 4ad 5y ago
Rust's traits are a copy of Haskell's type classes. They are as far removed from dynamically-typed languages as you can get.
524.
Cars, funerals and home improvements: EU to crack down on large cash payments(independent.ie)
36 points by 4ad 5y ago|12 comments
525.
by 4ad 5y ago
You might be interested in this video https://www.youtube.com/watch?v=wIC-iGDTU40 .
526.
by 4ad 5y ago
Lazyness requires monads for IO, but monads are useful for much more than IO, even in eager languages.
527.
by 4ad 5y ago
Truly excellent information, but the "tabs" that you have to click in order to read the next part is positively the worst UX I have ever seen on a static website.
528.
by 4ad 5y ago
64bit didn't come in 2003, it came in 1991 in MIPS, in 1992, in Alpha, and in 1995, in SPARC. Nintendo 64 and Playstation 2 were using 64-bit CPUs before PCs. x86 was really late in the game.
529.
by 4ad 5y ago
Of course that computers, computer programs, and computer science all evolved from previous machines, techniques and concepts. But that's almost meaningless, a truism, (almost?) everything can be traced back historically from something
530.
by 4ad 5y ago
> it‘s exactly what we all fear, just „some guy“ trolling around on Facebook Well that "guy" is the mayor of one of the capital's districts, and she used to be a member of the european parliament. No idea if anything wil
531.
by 4ad 5y ago
I'm pretty critical of academia, but even without knowing what lambdaschool.com is I am pretty certain it can't, or should not compete with academia. Vocational training and academic training are very different things. (And both a
532.
by 4ad 5y ago
I have always done it, and will continue to do it. It's absolutely essential for my mental sanity and growth as a person. After I finish a project, I take 1-2-3 years off. During this time, I start working on personal stuff driven by p
533.
by 4ad 5y ago
Ah, so we're just supposed to trust the same people who tried introducing the vulnerabilities in the first place...
534.
Leaving Freenode for a new network(kline.sh)
613 points by 4ad 5y ago|296 comments
535.
by 4ad 5y ago
I live in Austria. With the risk that comes from generalizations, I think you are mostly correct. They get respect from the general population, but when it comes to management and executives, software engineers are mostly seen as IT support
536.
by 4ad 5y ago
Electric motors, just like any other motor have moving parts. End of discussion. Their purpose is to move things. Less moving parts doesn't mean "practically no moving parts", as the idiotic article claims. Coincidentally, th
537.
by 4ad 5y ago
> Unlike internal-combustion engines, electric motors have practically no moving parts . WAT. If they have no moving parts, why even have a motor at all? As other commenters have already said, terrible, terrible article. I expected more
538.
by 4ad 5y ago
Algebraic effects as described in the OCaml papers about effects are dynamically typed. I recently heard in some talk that this idea was abandoned, and the new algebraic effects are in fact statically typed. Do I remember this correctly? If
539.
by 4ad 5y ago
Not quite what you ask, but very related: http://yedlin.net/ResDemo/
540.
by 4ad 5y ago
Convince Oracle to donate a machine... for an Oracle Solaris competitor?! Oracle was the one that shut down OpenSolaris in the first place!

More ›