Drasil Research Group Meeting Agenda, 1:30 pm, Friday Feb 18, 2022 (On Teams)

[smiths]

The agenda for this coming week is as follows:

1. Dong update
2. Jason update
3. Peter update
4. List of recommended artifacts
5. Cold cases:
   a. Build ODEInfo from InstanceModel #2194 (Don)
   b. Use pandoc for documentation language #412 - At the very least, if we choose to not use pandoc, we might be able to learn from some of its inner mechanics (Jason)
   d. Add lvalues to GOOL #1715 (Peter)
6. Questions/Comments/Concerns/Discussion

[balacij]

I don't think we discussed the email that @smiths sent out, entitled "Recommended Artifacts". Should we add that to this discussion (if we have time, of course)? The email + linked wiki has a lot of great recommendations!

[smiths]

Good idea @balacij. I've added this to our agenda.

[cd155]

A quick question about lens topic we discussed last week. I think Dr.Carette mentioned that we are currently using the classy lens, and pin point to look at the Drasil.Language.Class. I just wonder know what is the exact directory. I tried looking at drasil-code -> Language, is that the right directory. Do you know where it is? @balacij

[balacij]

I've mostly seen them in drasil-lang. The classy lenses will be of the form:

class HasThing a where
    thing :: Lens' a Thing

[JacquesCarette]

And when a function has an a parameter with a HasThing a constraint, it basically means that is only cares that there is a unique, visible thing of type a somehow contained in what we're given.

It's basically used to request that we can "project out" a Thing.

[smiths]

For the meeting we covered everything except for 5.c.