Post #4438815

I understand why everyone uses Hindley Milner at this point. It doesn’t get in the way at all, it doesn’t care if your types are pure or effectful or if there are different kinds of effects, it just cares about unifying types and it’s so fucking good at it.