David Himmelstrup

How far along is your Haskell implementation? Are there examples I can play around with?

Hi @taktoa. Hope finals went well. Can you tell me more about your eqsat library? What are your plans and time horizon for the project?

LHC used to go that route in the past but it requires you to deal with a bunch of GHCisms and I decided it wasn't worth it for me. @csabahruska...

A previous incarnation of LHC did just that. However, by the time the code has been compiled to Core, GHC has already made a bunch of implementation decisions (eg regarding...

They don't interfere with GRIN, I just don't like that GHC gets to make the decisions. The biggest decision is probably about how type-classes are implemented. GHC uses dictionary passing....

Type-classes by dictionary passing and type-classes by type inspection are fundamentally incompatible. For example, dictionary passing only allows compile-time specialization where type inspection allows run-time specialization. That is, you can...

Yes, LHC does that. But you can't if you let GHC do your desugaring for you. :)

How would you recover the needed information from dictionaries? That is, if I give you a function that takes a dictionary, how would you do runtime specialization?

Let's say you have this code: > square :: Num a => a -> a > square a = a+a > {-# SPECIALIZE square :: Int -> Int #-} For...

So you would ignore the SPECIALIZE pragma and trust that the optimizer handles the case? What if the user wrote their own specialized function? And what if there are newtypes...