search

FormationAI / dhall-bhat

Tasty meal of Dhall
66 stars 11 forks source link

Transformer, ReaderT and StateT #5

Closed FintanH closed 6 years ago

FintanH commented 6 years ago
sellout commented 6 years ago

I think you’ll eliminate a lot of duplication here by adding Id as λ(a: Type) -> a (and instances), then Reader/Type becomes λ(r: Type) → ./ReaderT/Type r Id, and normalizes to exactly the same code that’s currently hand-written. Same for other non-transformers. But I don’t think that needs to happen in this PR.

sellout commented 6 years ago

Also, it looks like Gabriel is calling “Module”s, “package.dhall”, so we should probably switch to that at some point, too.

FintanH commented 6 years ago

Ya cool, dya wanna make some issues? I'll let you merge when if you're happy.