Drasil Research Group Meeting, Monday July 8, 3pm, ITB/225

[smiths]

1. Rendering assets in mdBook #3835 (@BilalM04 )
2. Design of procedural languages in GOOL #3792 (@B-rando1)
3. Order of eNames' #3828 (@NoahCardoso)
4. Ideas for reorganizing the Drasil repo now that we have a Drasil Org

Virtual: @JacquesCarette (possibly), @samm82

[BilalM04]

Weekly Update

• Issue Percent (%) symbol is being rendered in italics in the HTML SRS #3748: conducted an experiment on the HTML SRS speeds (Percent (%) symbol is being rendered in italics in the HTML SRS #3748 (comment)).
  • @JacquesCarette mentioned that the differences between full TeX and current SRS is noticeable.
  • Majority of the time is from scripting (Mathjax) and rendering (?),
• Issue Rename Jupyter Notebook DocType and Format #3830: created a PR that resolves the issue (Renamed Jupyter Notebook Doctype and Format #3832).
• Issue Experiment with generating an mdBook-based variant of the SRS #3722
  • Continued working on Generating an mdBook-based variant of the SRS - UPDATED #3823, implementing the suggestions.
  • Created makefile targets to build and launch mdBook server.
  • Took a deep dive into rendering assets in mdBook. Findings are detailed in Rendering assets in mdBook #3835.

Agenda / Blockers

The only blocker for the mdBook project is the rendering of assets. I spent the week looking into various solutions, testing them out, and having productive discussions with @balacij. My findings and work are detailed in #3835. For the meeting, deciding on a concrete solution to proceed with would be ideal.

[B-rando1]

Weekly Update

• Created a test for sorting interleaved inputs. #3817 I got a sorting algorithm for Interleaved inputs working the way we want it too. Now that that's working, I have a better idea of what I'll need to do in order to generate interleaved code. I'm not exactly sure when I'll have time to do this (there's lots to do with Julia/procedural languages), but at least the way is a bit clearer.
• Negative Step in listSlice (GOOL) #3809 I finished fixing listSlice, and we got the changes merged.
• Local scope in Julia #3821 I started implementing a distinction between local and global scoped variables in GOOL. I got a decent start creating the necessary data structures, but I ran into a weird type error in the C++ renderer, and I haven't been able to get it working.
• The last couple days I've mainly been working on splitting GOOL into components that are OO-only and shared between OO and Procedural languages, as I've documented here. I created a diagram (viewable here) to keep track of which typeclasses belong where, and which ones need to be split up in order to separate things correctly. So far I've successfully split up a group of 5 or so typeclasses with TypeSym as their root. I think I'll have a PR out by today for that.

Blockers/Agenda

• I think I might need some help with the error I'm getting in Local scope in Julia #3821. This probably isn't an agenda item though, as we can probably figure it out over the week.
• We could discuss Design of procedural languages in GOOL #3792. It's going well so far, but it's a large change and I'm sure there's lots of potential missteps. I would appreciate any guidance I can get.

[NoahCardoso]

Update

• Finished nounPhraseSP Erroneous use of nounPhraseSP #3831. I only fixed the simple example as @balacij mentioned in the pr the more complex example should be done on a case-by-case basis.
• I started working on adding Sets to Drasil. I also started working on adding back Sets as constraints Add back OneOf Value constraints #2655 which has taken up most of my time.

Blockers

• For Switch some lists to Set from containers #3761 I am waiting to know what should be done about the Ord of eNames' Order of eNames' #3828

[JacquesCarette]

I will try hard to attend.

[smiths]

We completed this meeting. All agenda items were discussed. We don't have a specific plan for reorganizing the Drasil repo, but candidate folders to move elsewhere in the Org include People, Presentations and notes.