Rae Why We Sometimes Need The Monomorphism Restriction

@rae: Why we sometimes need the monomorphism restriction

I

@rae: Monomorphism restriction can improve performance

I

@rae: The monomorphism restriction in Haskell causes order dependency. Ack!

We

@rae: Let-generalization is confusing

I

@rae: Why -XNoPolyKinds should be removed from Haskell

I

Why is Haskell unable to avoid repeated evaluation without the monomorphism restriction?

https://amzn.to/4aLHbLD You're literally one click away from a better setup — grab it now! As an Amazon Associate

@rae: Let should not be generalized: the MonoLocalBinds extension to GHC

I

@rae: The principles behind an update to scoped type variables

I

@rae: Figuring out what constraints to generalize is hard

Recent work within GHC has opened up questions about which constraints should be generalized (that is, included in an inferred ...

@rae: Avoid boilerplate instances with -XDerivingVia

I

@rae: A not-so-quick look at Quick Look impredicativity

I

@rae: GHC sometimes infers the wrong type

In some GHC work

@rae: Update on Dependent Haskell

I

Gilbert Ryle attacks Descartes' Dualism as a 'Category Mistake'

I

@rae: Use Coercible for zero-cost abstractions

I

The algorithm that (eventually) revolutionized statistics - #SoMEpi

My submission to the Summer of Math Exposition, community edition: a video on the Metropolis algorithm and how it works ...

The psychology behind irrational decisions - Sara Garofalo

View full lesson: http://ed.ted.com/lessons/the-psychology-behind-irrational-decisions-sara-garofalo