Josef Svenningsson

I just want to show my support for a non-determinism effect. LogicT would be overkill for my particular use-case but anything which supports the operations in MonadPlus would make my...

Travis doesn't support the latest version of OTP yet. I didn't check before submitting the PR. Oh well, I guess I'll just leave this one here for the time being.

The big difference between these two functions is if you know the type that you want an expression to have, or if you're trying to synthesize the type. Even if...

I don't think this is feasible. The type language isn't expressive enough to express the kinds of inferences that we want to do about operators.

> Perhaps just it needs some small tweak to solve the known problem..? Yes, I think there should be a way to fix what I have to make the counter...

@ilya-klyuchnikov I'm too stupid to figure out why your recursive record example loops. To me it seems like if it's going to loop forever it needs to unfold the recursive...

@FrankBro both of the examples you bring up are correct. A `msub` is a subtype of another map `msup` if it contains at least all the keys of `msup`. That...

@zuiderkwast Thanks for writing this document! That's super helpful and a good basis for further discussion. That being said, there are a few things that I disagree with. You say...

> I'd argue that the function actually has the spec f(#{any() => any()) -> ok. I assume you're referring to the first function. I think it'd be very confusing and...

Thanks for the excellent bug report! Currently the `constraint-solver` branch doesn't help with this example. Most of the important pieces are in place but they need to be put together...