Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Haskell typeclasses. They really are interfaces that don’t leak.

Solid state disks. Huge speed boost.



I came here to says SSD. There's never been as big a performance upgrade you could make.


This made me think back to HDD days. As much as they sucked I kind of miss the HDD grunt - I could hear when stuff was using my disk, it was kind of reassuring that the PC was working. Sort of like that floppy drive boot check sound. That HDD seek rumble and CD spin when you were installing games. Objectively these things are a negative but I kind of miss it. This also made me realize where car fans complaining about the electric car feel are coming from :)


I remember the first time I used a computer with an SSD. Many of the performance issues I naively blamed on the CPU or lack of memory were really the HDD. I just never had anything better to compare it to.


I recently moved from a M.2 750MB/s SSD to an M.2 NVME one that does about 3,750MB/s.

That was an amazing boost that I'm so very glad to have purchased. Ironically enough, it was to have enough space to install Cyberpunk 2077 :)


Instead of making my own top level comment I'll just add onto this one: functional programming in general and Elm in particular. A lot of languages and frameworks promise to make programming fun, Elm is the only one that's held up for more than a few weeks. Months later I'm still doing substantial side projects in it and get a rush just from opening up a new .elm file and starting a new set of types and pure functions.

Funny you should mention type classes-- that's one of the biggest things that Elm, the little brother to Haskell in many ways, doesn't support (and doesn't intend to, for reasons of limiting the footguns available to devs and also keeping to the high standard it sets for itself for error messages IIRC...)


I would agree with "Haskell", and typeclasses are probably are the most important feature, if such a thing could exist. However, was there a lot of hype for typeclasses when they came out in the 90s? It seems like outside the pure functional programming domain, typeclasses have not yet reached their zenith!


Interesting, i've haven't seen hype for Haskell type classes, is there anywhere I can see the hype for this on the internet?


Uh, not typeclasses specifically, but Haskell gets a bit of hype. Typeclasses deliver so much, I think they alone make the pain of learning worth it.


To elaborate a bit, I came from a perl, java background. I'm aware of clos protocols, I've fiddled with squeak and the "here's a test case, give me all the functions that pass the test". Different languages have different strengths.

But golly, Haskell has (had) a lot of hype. Monads, lazy evaluation, random lens stuff is fine and all, but type classes are unreal. you get to specify up front what capabilities you want to buy into.

I guess, just try implementing Num of Float as the first derivative. It's pretty magical how much power the compiler provides. And you _know_ it's doing what you think it's doing.

Haskell opens up a bunch of rabbit holes. but really getting a good grasp on interfaces that don't leak is, well from my background, really really mind expanding. There's a large difference between being real smart and having the compiler enforce assumptions. I dunno. I think the Haskell hype lives up to the claims from type classes alone.


F# feature request forum :)


> Solid state disks. Huge speed boost.

You should have seen the leap from tapes to magnetic disks :)




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: