Olle Fredriksson
Olle Fredriksson
Nice, that might be easier to get going. Cheers! :)
Hey, and thanks for reaching out! The backend is quite unfinished, so I'm not too surprised at this stage. Most of my effort has gone into the type checker so...
I'm not sure. It seems to be more complicated in Sixten because values that are only used in types can not always be erased (when they contribute to type size...
Yeah, I don't have a good answer to this question at the moment. It seems like it would still be useful to have some sort of user specified erasure in...
`M` is also a `Task`, which allows the evaluator to make queries such as asking for the definition or type of top-level entities. It is used by the compiler driver...
I've just switched to `unsafeDupablePerformIO` wrapped in (what I believe is) a safe API. It doesn't make any noticable performance difference in my tests, but it might be that it...
Another idea is to use the convention that only constructors are capitalised, i.e. that types, like functions, are not capitalised: ```haskell type list a = Nil | Cons a (ptr...
The above was suggested by @harlanhaskins who's even a Swift fan!!1
Oof. Can you see a way to implement it? Might have to be removed.
This is a neat idea. I had a little think about the API and implementation: If we had ```haskell expose :: Prod r e t a -> Prod r e...