search

con-kitty / categorifier

Interpret Haskell programs into any cartesian closed category.
BSD 3-Clause "New" or "Revised" License
57 stars 2 forks source link

Support Lookup in MakerMap. #61

Closed sellout closed 2 years ago

sellout commented 2 years ago

This was added to support operations on Vec, so the new vec integration is in here, and a bunch of base operations that take advantage of the new Lookup support.

sellout commented 2 years ago

Yeah, I think this change would be much simpler with the CoreM support. But I'm actually using this functionality now. Would be happy to see it go away.

And yeah, I've been waffling on the GHC support. I've been surprised that we can actually support as far back as we do, considering that all the dependencies also need to work across all those versions, and most libraries aren't actually testing any of it. I think the categorifier-ghc and categorifier-th libs have isolated pretty much all of the conditionalization, so I'm not too bothered at the moment. But maybe we drop GHC 8 support altogether once GHC 9.6 is out? The 8.10 -> 9.0 reorg is the biggest cause of conditionalization.