4 ms·
As far as I understand, for LMS: Those types T for which one has implemented needed operations for the Rep[T] type. Shameless plug: For another comparison of M
by kagebe 10y ago
As far as I understand, for LMS: Those types T for which one has implemented needed operations for the Rep[T] type.
Shameless plug: For another comparison of MetaOCaml, LMS, Terra and AnyDSL (our approach) under the lens of staging/partial evaluation see our paper from GPCE'15: http://www.cdl.uni-saarland.de/papers/gpce15.pdf http://www.cdl.uni-saarland.de/papers/gpce15.pdf
- rubenfiszel 10y agoHello, I work on lms and we are preparing a new version where Rep is implemented as a typeclass instead of a monad. It's much more pleasant because you manipulate IR.Int and scala.Int. So with the proper import you actually handle IR.Int so you're staged code is no different than a normal code.