Haskell is our first choice for building production software systems

Re: Haskell is our first choice for building production soft... by Blikkentrekker on Monday January 11, 2021 @06:09AM (#25727362)

I learned both Haskell and Rust self-taught an still find the latter's type system a bit of a cage for it's lack of higher kinded types, frankness be.

I know not much of Java, but my sentiments concerning C++ are even worse.

I do not regularly program in Haskell and far more often in Rust.

[ Parent | on HN ]

Re: Haskell is our first choice for building production soft... by platinumrad on Monday January 11, 2021 @07:27AM (#25728002)

"I don't know much about this thing but I don't like it, and I know even less about this other thing and I like it even less!"

For what it's worth, C++ has HKTs in the form of template template parameters, making it possible to write, e.g., monad transformers, which cannot be done in Rust, last I checked. Now as for whether you'd actually want to do this in a production codebase...

[ Parent | on HN ]

Re: Haskell is our first choice for building production soft... by marcosdumay on Monday January 11, 2021 @09:14AM (#25729054)

Rust metadata (not just types) have an habit of getting in your way.

It is all for good reason, you can't ditch the GC and have control over the memory structure without the compiler complaining about details here and there. But fixing those strings versus slices and iterator type mistakes is really annoying.

[ Parent | on HN ]