Alexander Gryzlov (Jun 27 2020 at 18:17): Alexander Gryzlov (Jun 27 2020 at 18:17):I need to create a shallow but wide hierachy of partial commutative monoids: there would be 5-7 independent properties that I would later need to mix and match in different places. Is hierarchy builder or packed classes a good approach for this task or would it lead to a combinatorial explosion of interfaces?
Karl Palmskog (Jun 27 2020 at 18:23):are you aware of this development of PCMs using packed classes? https://github.com/imdea-software/fcsl-pcm
Alexander Gryzlov (Jun 27 2020 at 19:50):Yes, I'm refactoring it :)
Enrico Tassi (Jun 29 2020 at 09:24):As far as I can tell it should let you do that. If you encounter any problem feel absolutely free to report issues or ask for help!
Kazuhiko Sakaguchi (Jun 29 2020 at 09:59):@Alexander Gryzlov If you mean that you need to define 2^5 -- 2^7 structures that bundle some of those independent properties, that is indeed where hierarchy-builder should help you. But if you need to do that by hand, it would worth to read my IJCAR '20 paper to understand how to implement multiple inheritance with packed classes and also to use my checking tool hierarchy.ml bundled in MathComp.
Alexander Gryzlov (Jun 29 2020 at 12:04):Kazuhiko Sakaguchi said:
Alexander Gryzlov If you mean that you need to define 2^5 -- 2^7 structures that bundle some of those independent properties, that is indeed where hierarchy-builder should help you. But if you need to do that by hand, it would worth to read my IJCAR '20 paper to understand how to implement multiple inheritance with packed classes and also to use my checking tool
hierarchy.mlbundled in MathComp.
Oh thanks, I'll definitely read that paper. Are you presenting it this week by any chance?
Alexander Gryzlov (Jun 29 2020 at 12:32):Ah, found it: https://easychair.org/smart-program/IJCAR2020/2020-07-03.html#talk:147126
Last updated: Oct 08 2024 at 14:01 UTC