Viewing profile — thedataangel

`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 terminate…

In "serious" Haskell code, almost all top-level definitions (i.e. functions) are given types - for exactly the reason you specify.

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…

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!). Mos…

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 …

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!

No filters you say? That sounds terrible. Could you provide a link so that I can definitely avoid it.

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 t…

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 compan…

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…

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…

Sure: 1) Should basically never happen anyway. It's a point of pride on my team that we rarely (as in, maybe once a year) have breakages in production that are actually caused by H…

I write Haskell commercially, and none of the problems you list are problems my team actually has in reality.

With their butthole. ;)

It was Conal Elliott's stuff, though it was a more recent paper - Compiling to Categories, if memory serves me.

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 definiti…

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 la…

The key is that there is a distinction between "not statistically significant" and "statistically insignificant".

Not an issue in practice. Most students choose degrees that have real world demand.

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 …

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.

> 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 t…