Try out Coq-style type classes

gmalecha / mirror-core

A framework for extensible, reflective decision procedures.

Other

19 stars 5 forks source link

Try out Coq-style type classes #93

Open gmalecha opened 7 years ago

gmalecha commented 7 years ago

This is potentially a very interesting alternative approach to representing type classes, especially when coupled with the latest modular types code. It might make reasoning about structures such as monads and logics in full generality much easier.

The reason that this is a question is that it will increase the term size by quite a bit. This could affect performance, but only trying it out will tell.

gmalecha commented 7 years ago

@jesper-bengtson this might be an interesting thing to look at for Charge.