Stream: Hierarchy Builder devs & users

Topic: "Wide" hierarchies


view this post on Zulip 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?

view this post on Zulip 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

view this post on Zulip Alexander Gryzlov (Jun 27 2020 at 19:50):

Yes, I'm refactoring it :)

view this post on Zulip 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!

view this post on Zulip 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.

view this post on Zulip 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.ml bundled in MathComp.

Oh thanks, I'll definitely read that paper. Are you presenting it this week by any chance?

view this post on Zulip 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: Jan 29 2023 at 16:02 UTC