thedataangel

10 ms·

1.
Microsoft is a black hole of money and talent(hada-ionut.mataroa.blog)
28 points by thedataangel 2y ago|9 comments
2.
by thedataangel 2y ago
`Void` is not equivalent to the unit type. Haskell _has_ a unit type, called `()`. A return value of `Void` represents a function which is unimplementable, or which never terminates. It can also represent an unreachable possibility, e.g. in
3.
by thedataangel 4y ago
In "serious" Haskell code, almost all top-level definitions (i.e. functions) are given types - for exactly the reason you specify.
4.
by thedataangel 4y ago
The second. Because everything in Haskell is immutable, it can take a _lot_ of liberties in terms of letting structures share parts of one another, in the case where one version is derived from the other. Conversely, in the case where somet
5.
by thedataangel 4y ago
Quite a few of Rust's features were borrowed from or inspired by ones in Haskell - albeit often modified to be more suitable for systems programming (and systems programmers!). Most Haskellers I know are quite fond of Rust :)
6.
by thedataangel 4y ago
Having used Haskell in industry, I can say it's actually _surprisingly_ good at boring run-of-the-mill software. The strong focus on correctness and the ecosystem-wide consistency of it's core design patterns means you spend a lot
7.
by thedataangel 4y ago
That's the stupidest password I've ever heard in my life! That's the kind of thing an idiot would have on his luggage!
8.
by thedataangel 4y ago
No filters you say? That sounds terrible. Could you provide a link so that I can definitely avoid it.
9.
by thedataangel 4y ago
The one you linked is close to how you'd write this in idiomatic Haskell. The paper is describing a particular technique, and using FizzBuzz as an example problem, not suggesting that the technique is a good way to solve FizzBuzz.
10.
by thedataangel 4y ago
I don't _think_ Accenture were the original or primary contractor. I'm Australian and interviewed with Digital Asset for that project - as far as I'm aware, DA were the main company responsible, although from what I've h
11.
by thedataangel 7y ago
Haskell's syntax without Haskell's type system sounds like a nightmare. The type system is what makes me at least vaguely confident that the incomprehensible string of symbols that make up a good chunk of Haskell expressions are a
12.
by thedataangel 7y ago
In general you can't mutate records. Nothing prevents you from making a new one that's slightly different though. It just won't change the already existing one. In practice this is not actually a problem. It just takes a litt
13.
by thedataangel 7y ago
I write Haskell commercially, and none of the problems you list are problems my team actually has in reality.
14.
by thedataangel 7y ago
It was Conal Elliott's stuff, though it was a more recent paper - Compiling to Categories, if memory serves me.
15.
by thedataangel 7y ago
My understanding of automatic differentiation (AD) is that it's only really possible at the compiler level, since you need the ability to interpret and manipulate function definitions themselves. Certainly, no library would be able to
16.
by thedataangel 7y ago
This is actually huge. I saw a proof of concept of something like this in Haskell a few years back, but it's amazing it see it (probably) making it into the core of a mainstream language. This may let them capture a large chunk of the
17.
Client-side web programming in Haskell: A retrospective(chrisdone.com)
4 points by thedataangel 7y ago|0 comments
18.
Regarding the Deplatforming of John de Goes(justpaste.it)
6 points by thedataangel 7y ago|0 comments
19.
by thedataangel 8y ago
The key is that there is a distinction between "not statistically significant" and "statistically insignificant".
20.
by thedataangel 8y ago
Not an issue in practice. Most students choose degrees that have real world demand.
21.
by thedataangel 8y ago
Starbucks is next to non-existent in Australia. Partly it's because there were already established local chains when they tried to move into the market, but mostly because you can walk into almost any cafe in the country and get a muc
22.
by thedataangel 8y ago
I personally use VSCode with the Haskell IDE Engine as a backend. It's definitely not as nice as something like Visual Studio or IntelliJ, but it's not too bad.
23.
by thedataangel 8y ago
> The same goes for mutability, it is there and you should certainly use it when it makes sense but it is not the default. This is also true for Haskell. It's not especially hard to get and use mutable variables, they're just n
24.
by thedataangel 8y ago
Java's types become incomprehensible once you start trying to do anything complex with generics. Haskell _allows_ you to write some true type monstrosities (cf. Lens), but almost all the useful instances of that are wrapped in librarie
25.
by thedataangel 8y ago
I'd probably rephrase "not" to "less". Haskell is sufficiently unlike other languages that a lot of knowledge/skills that are usually transferable between languages don't apply to it. That means you need t
26.
by thedataangel 8y ago
> You'll have to be more specific here - polymophism in the return type is clearly trivial w/o specific constraints, e.g. <T> T identity(T x) { return x; } Consider a function "decode :: Read a => String -> a&q
27.
by thedataangel 8y ago
Practically speaking, Haskell's type system gives you a lot of code for free. Stuff like "toString", "equals" and inequalities that you'd usually implement manually in something like Java are done for you autom
28.
by thedataangel 8y ago
Your second and third points are just wrong. The community is one of the more helpful and responsive ones I've come across. You can generally jump on IRC and find either the people who wrote the stuff that's tripping you up (e.g.
29.
by thedataangel 8y ago
Haskell's type system is _worlds_ better than Java's, and it's absolutely essential to the maintenance benefits that Haskell gives you over other languages.
30.
by thedataangel 8y ago
In my experience, languages that try to bridge OO and functional ecosystems (F#, Scala, etc) tend to suffer from a lot of split-brain / "worst of both worlds" syndrome. You miss a lot of the advantages of FP unless you go all

More ›