Skip to content

Miking Meeting Notes 2020

Jump to bottom Edit New page
Oscar Eriksson edited this page May 18, 2021 · 6 revisions

Meeting Notes 2020-12-17

Note-taker: Viktor Palmkvist

  • PRs
    • Oscar: https://github.com/miking-lang/miking/pull/229
      • There was a rename of a local min that should not have been renamed, but after that we like. @Oscar Eriksson will ping when updated.
    • Trio: discussion on draft, performance problems. Possible things to look at:
      • bind_all in ast-builder.mc might be quadratic
      • assocmap has linear insertion since it maintains the invariant that there is at most one pair per key
      • The environment is threaded through the entirety of pprint.mc, as opposed to only passed down the tree, meaning that the environment will contain all symbols in the entire program, as opposed to only those currently in scope.
  • Other

Meeting Notes 2020-12-10

Note-taker: Oscar Eriksson

  • We discussed if there is a point to move matching to multiple cases compared to match ... then ... else ..., to make compilation easier (specifically to ocaml). We concluded that this is probably not worth it since we have more advanced patterns.
  • We might want to have a and construct to sequence patterns (issue @vipa).
  • Regular (language) patterns in mexpr will be changed to prefix patterns when we have Ragnar (issue @vipa).
  • Add warning parameter to ocamlCompile (issue @Oscar Eriksson if necessary)

Meeting Notes 2020-12-08

Note-taker: Linnea Ingmar

PRs

Meeting Notes 2020-12-03

Note-taker: Daniel Lundén

Pull Requests

Discussions

  • Discussion of Lars's future work. Lars will have separate meetings with @Daniel Lundén and @vipa + @Linnea Ingmar (correct me if I got this wrong).
  • We discussed future work on a front-end (parsing, syntax, etc.) tool in Miking.
  • Viktor presented compilation of pattern matching to OCaml.

Meeting Notes 2020-11-26

Note-taker: Daniel Lundén

Previous Pull Requests

When the above two have been merged, ping @Daniel Lundén (actually, I will get notifications by mail either way).

Discussions

  • We discussed the semantics of partial symbolization. For now, we will go with the approach in which already symbolized names are ignored.
  • We briefly discussed the type AST proposed by @Daniel Lundén.

Meeting Notes 2020-11-24

Note-taker: Lars Hummelgren

Pull requests

Meeting Notes 2020-11-19

Note-taker: Viktor Palmkvist

Meeting Notes 2020-11-17

Note-taker: Linnea Ingmar

PR: Compiler task force: https://github.com/miking-lang/miking/pull/219

  • Discussion about reusing of AST nodes: TmVar assumes that all strings are valid. This assumption should be preserved. This means that the escaping of identifiers should be moved to a separate pass. Trio will do this in a subsequent PR, or create an issue about it if it’s too hard.
  • We like except some minor comments from Viktor.
  • Discussion about issue #201, Viktor will add a comment to the issue.

Meeting Notes 2020-11-12

Note-taker: Oscar Eriksson

Meeting Notes 2020-11-10

Note-taker: Viktor Palmkvist

  • Daniel: https://github.com/miking-lang/miking/pull/215
    • We like, but @david should look at the removal of types in closures in particular (we think it makes sense to not have them since we shouldn't need types at runtime). Might also be good with someone to review it, no one has had time to do that yet.
  • Oscar et al: https://github.com/miking-lang/miking/pull/216
    • Draft, but we mostly like. Fail more nicely if the boot package is not installed, and return a cleanup function so that you can remove the temporary executable.

Meeting Notes 2020-11-03

Note-taker: Lars Hummelgren

Pull Requests

Discussions

  • Type collisions in language fragments. @Daniel Lundén will create an issue on this.
  • Current status of types and type annotations in the interpreter. @Daniel Lundén will go through this.

Will have a look at https://github.com/miking-lang/syncon/pull/21 in another meeting.

Meeting Notes 2020-10-27

Note-taker: Gizem Caylak

Pull Requests

Meeting Notes 2020-10-20

Note-taker: Gizem Caylak

Pull Requests

Proposals

  • [Oscar] ocamlformat: https://github.com/miking-lang/miking/pull/206
    • Voting
    • default[conventional]: 1
    • ocamlformat: 4
    • compact: 0
    • janestreet: 2
    • Final decision: ocamlformat 🎉
  • Issues + Discussions:
  • [@Oscar Eriksson] Create an issue on these questions:
    • Should we use compare function? (i.e ltsrting, gtstring vs compare)
    • If so, common signature for compare functions?
  • [@Daniel Lundén] Create an issue on adding test cases for ANF

For Thursday meeting, if there is no PR then we can cancel it.

Meeting Notes 2020-10-15

Note-taker: Oscar Eriksson

Meeting Notes 2020-10-13

Note-taker: Viktor Palmkvist

Meeting Notes 2020-10-08

Note-taker: Daniel Lundén

Pull Requests

Notes

  • It would be nice to allow "use Lang1 + Lang2 in" and similar.

Discussions

  • Is "lang" the correct keyword to use for language fragments?
  • Discussion of match. For now, no change to how we write matches. In general, we want changes to be very well-motivated before applying them.

Meeting Notes 2020-10-06

Note-taker: Lars Hummelgren

Pull requests

We updated the Miking board.

Still need to have a discussion of matches.

Meeting Notes 2020-10-01

Note-taker: Daniel Lundén

Pull Requests

Issues

Backlog

  • Discussion of match

Meeting Notes 2020-09-29

Note-taker: Gizem Caylak

Pull Requests

Daniel: Alpha Equivalence for MExpr + additional cleanups https://github.com/miking-lang/miking/pull/189

  • We liked but fix according to naming conventions (camelCase) David: Mcore parsing https://github.com/miking-lang/miking/pull/190
  • No merging yet. First the problems in parser.mc [Victor’s comment], token problem will be fixed. After fixes, it will be presented on next Tuesday .
  • Discussion: Instead of comparing strings, can do utest with using (or do both) [mexpr.mc]
  • Future discussions:
    • We may want to parametrise language fragments.
    • Language composition of fragments of patterns: Difference between wild card and named wild card

Discussion

  • Problem with Language fragments: it depends on order and gives no pattern match error.
  • Suggested TODO convention: TODO(vipa, 2020-09-17): this is something that should be done. These should not live [https://github.com/miking-lang/miking/issues/181]

Remaining Discussions

  • Linnea’s PR
  • Discussion of match.

Meeting Notes 2020-09-24

Note-taker: Elias Castegren

Pull Requests

  • No new pull requests

Discussions

  • snake_case vs. camelCase.
    • Last meeting there was a discussion and votes regarding genSym vs gensym and type2type vs typeToType.
    • We reiterated that we shouldn’t push camelCase too hard, for example we prefer gensym over genSym, just like we write foldl and not foldL.
    • There is still some controversy regarding type2type vs typeToType. We had another vote with following results
      • To: 4
      • 2: 5
      • Both: 1
      • Additionally, we had a discussion on the conventions of functions named like this, for example that a function of the shape foo2bar should be a total, invertible function.
      • We decided to keep the naming as is right now, but that the rest of PR #183 should be merged. We conjectured that we would revisit this later...
    • The decision should go into the conventions document.
  • The discussion on the style of pattern matching (from last meeting) was punted on to the next meeting.

Meeting Notes 2020-09-22

Note-taker: Linnea Ingmar

PRs

Anders (snake_case->camelCase and type2type->typeTotype) https://github.com/miking-lang/miking/pull/183

  • We had some varying opinions about spelling of gensym and type2type functions, so we made a vote:
  • typeToType: 3 votes, type2type: 2 votes
  • gensym: 3 votes, genSym: 0 votes Oscar (remove exp intrinsic) https://github.com/miking-lang/miking/pull/184
  • We like, merge Viktor (syncon) https://github.com/miking-lang/syncon/pull/16
  • We like, Viktor will merge. Viktor https://github.com/miking-lang/miking/pull/180
  • We like after Viktor makes a change.
  • Discussion: Convention for pattern matching. Whether to always end with a never, or to have a “catch all” branch. We leaned towards the never option (explicit but more tedious to write). We raised the question of whether we want to change the match term to have a list of patterns instead of the if-then-else style. To be discussed next meeting as well.
  • We updated the Miking board.

Issue #181: TODO notes

  • We like Viktor’s suggestion (TODO: should be done, OPT: could be done, NOTE: gives information).
  • We think option #2 (statistics bot) or #3 (automatically create issues from TODOs) would be nice to have. Oscar volunteered to have a look at the options.

EDIT: I accidentally switched place of the votes for type2type/typeToType in the first post, now corrected.

Meeting Notes 2020-09-17

Note-taker: Daniel Lundén

Pull Requests

Discussions

  • Avoid TODOs in code if possible. If needed, make sure to annotate TODOs with name and date. Comment from John: it would be nice with a compiler flag for warning about existing TODOs.

Meeting Notes 2020-09-15

Note-taker: Oscar Eriksson

Agenda:

  • Stack trace for boot.
  • Common list of Miking papers.
  • Merge ´ast-builder.mc´ and ´ast.mc´?
  • Split ext into sundials/elementary functions?
  • Argparser lib discussion.
  • Ocaml compiler taskforce.

PRs:

Notes:

  • David: Create syntax maintainers group.
  • David: Test sundials build on mac.
  • Oscar: Factor out elementary functions from ext.
  • Oscar: Test sundials build on ubuntu 20.04.
  • Ocaml compiler taskforce: Oscar, Lars, Viktor, Linnea, and David.
  • David (Or anyone really): Post relevant miking papers on slack.
  • Daniel: Add Stack trace for boot feature on issues and board.
  • Viktor: Move smap, sfold tests into separate file.
  • We genererally like Johns argparser and think it would be useful.

Syntax Change:

Meeting Notes 2020-09-10

Note-taker: Viktor Palmkvist

Meeting Notes 2020-09-08

Note-taker: Daniel Lundén

Pull Requests

Discussions

  • Miking board: try to keep relatively up to date in order to inform others about ongoing work.
  • Comment syntax: We agreed upon -- for one-line comments, and - - for block comments.

For next meeting

  • Utest of symbolized terms.
  • Go through Miking board.
  • Stack trace for boot.
  • Common list of Miking papers.
  • Merge ´ast-builder.mc´ and ´ast.mc´?

Meeting Notes 2020-09-03

Note-taker: Linnea Ingmar

PRs

  • We like after also removing not as intrinsic.
  • Daniel: https://github.com/miking-lang/miking/pull/158
    • We discussed some corner cases for pretty printing sombolized terms (later PR?).
    • Daniel and David will discuss some details. Topics we planned to cover but didn’t have time to discuss (if I forgot something you can comment on this post):
  • Utest of symbolized terms.
  • Go through Miking board.
  • Stack trace for boot.
  • Common list of Miking papers.
  • Merge ´ast-builder.mc´ and ´ast.mc´? Next meeting (Tuesday 8 Sep) the meeting time is 13-14!

Meeting Notes 2020-09-01

Note-taker: Oscar Eriksson

Meeting Notes 2020-08-27

Note-taker: Daniel Lundén

Pull requests

Discussions

Meeting Notes 2020-08-25

Note-taker: Linnea Ingmar

PRs

Discussions

  • New meeting time from now on: 16-17
  • assoc.mc: whether we should change assocInsert to be constant time (thereby penalizing e.g. assocRemove). We decided to not make any change unless performance for assoc.mc becomes a problem.

Meeting Notes 2020-08-20

Note-taker: Anders Nilsson

Pull requests:

Meeting Notes 2020-08-18

Note-taker: Moa Andersson

PRs

https://github.com/miking-lang/miking-jupyter/pull/6 (from last time). Environment variable removed

Other:

  • Linnea will look at seq/hashmap restructure
  • More documentation should be added to the functions in standard library

Meeting Notes 2020-08-13

Note-taker: Viktor Palmkvist

Meeting Notes 2020-08-11

Note-taker: Theo Puranen Åhfeldt

PR:s

Other:

  • Convention to prefix identifiers that should not be exposed with underscore.
  • Create issue for discussing short-circuiting of “and” and “or” statements.
  • Installation of ipm-server using environment variable “MI_IPM” to reference the path to the directory.
  • Rename “MCORE_STDLIB” to “MI_STDLIB”.
  • Create new repo “miking-lsp” for the language server.

Meeting Notes 2020-08-06

Note-taker: Anders Ågren Thuné

PRs

  • #127: Python intrinsics We like, after adding a few more tests. Things that are not tested should be documented.
  • #128: Repl improvements We like.
  • #131: Project restructure We like, after renaming src/boot/boot. People will take a look at the PR, if no additional concerns pop up, David will merge. The mechanics of the optional dependencies are changed in a way that may be surprising to users, this should be documented properly in the PR and in the relevant dune file. Should be rebased onto master after #128 is merged.
  • miking-jupyter: #3: OCaml kernel based on boot We like. Should be merged after #131 is merged into the main repo.
  • #132: Restructure nfa We like. Should be merged before #130.
  • miking-ipm: #11: OCaml server to replace Node version Should print the port used, and select another port if the default is unavailable. We like, after adressing the above. In the end, the webclient should not be polling. Instead a websocket should be used.
  • #130: Regular expressions in stdlib We like. This breaks things for the IPM group. Should be merged after #132.

Meeting Notes 2020-08-04

Note-taker: Linnea Ingmar

PRs

  • #9: NFA, BTree, digraph and graph https://github.com/miking-lang/miking-ipm/pull/9
    • The team will fix some comments on the PR, then it can be merged.
    • More documentation should be added, but this will be in next PR. Linnea would like to have the dfa.mc and nfa.mc included the main repo
  • #120: Jupyter kernel https://github.com/miking-lang/miking/pull/120
    • We decided to move the Jupyter kernel to its own repo.
    • This PR will become one PR for the main repo (about restructuring boot etc) and one for the Jupyter kernel repo.
    • The team will respond to the comments in the PR and make sure they’re fixed.
  • #123 Json parser https://github.com/miking-lang/miking/pull/123
    • The team will add more corner cases to the test cases, then David will merge.
  • #124 Start of the MCore compiler. Includes a new main function and argument parsing. https://github.com/miking-lang/miking/pull/124
    • We like, merge. Discussions
  • Status of the type system?
    • A lot of progress has been done but some parts are still being worked on.
  • Long-term plans for handling name collisions between included files?
    • This is a bigger question regarding how the module system should be designed.
    • John creates an issue where people can brain storm on the topic Demos
  • Jupyter+Visualisation
    • Will be extended to communicate via sockets, not just via files
  • Language server
    • Started implementing RPC protocol in miking-lsp repo Next time
  • OCaml server and REST API

Meeting Notes 2020-07-30

Note-taker: Calin Capitanu

Pull requests (Jupyter):

https://github.com/miking-lang/miking/pull/120

  • Added documentation
  • Added a notebook full of examples

IPM:

  • No pull requests
  • ocaml server works on linux, not on mac yet
  • Updating all the models to support displayName for specific display configurations

TODO:

  • Check each others PRs
  • IPM: finish the PRs until tuesday

Comments:

  • Anders recommended having a Client that handles the mcore file instead of the server handling it, and then have the text editor handle updates.
  • Delete unused files in PRs for IPM team
  • Discuss the IPM philosophy with David on what differences are between the paper and what has been done.

Next steps:

  • IPM getting input from the webpage back to the source
  • Jupyter integrating models into notebook

Meeting Notes 2020-07-28

Note-taker: Anders Nilsson

Pull request (data constructors behave like first-class functions) https://github.com/miking-lang/miking/pull/122

Comments:

  • Keep PR
  • Extend the documentation with the new features and with examples
  • Code review by others. (Anders and Theo will ping when the code is updated with the above)
  • Like it but one week more for testing and reviewing.

TODO next Jupyter:

  • More comprehensive documentation
  • Work on the LSP.
  • Writing some wrapper code for mcore for matplotlib (low priority)
  • Integration with IPM. Ability to show the IPM generated models in Jupyter notebook.

Pull request PR1/PR2 (IPM) https://github.com/miking-lang/miking-ipm/pull/7 https://github.com/capitanu/miking-ipm/pull/8

  • Extended to handle several different types of models
  • Extended to handle several models at the same time
  • PDF/JPG conversion

Comments:

  • Keep the NFA simulation as it is (for now). Non deterministic simulation is a bit tricky.
  • Change status from integers to strings.
  • Add optional label to the nodes.
  • Finalize one PR what can be merged next Tuesday.
  • (David gives instructions for differential equation simulation when he comes back.)

IPM TODO next:

  • Work on the OCAML server.
  • Make the pdf/jpg converter more convenient and extend it with states/nodes highlighting.
  • A clear design of the IPM framework. REST API (commands and so on)
  • Review the Jupiter team.

Meeting Notes 2020-07-23

Note-taker: Anders Ågren Thuné

  • Pull requests

  • Next steps

    • Jupyter The Jupyter team will look into making an LSP language server for MCore
    • IPM The IPM team is working on improving the efficiency of their model generation. It could be worth it to send models one by one as they are generated. After that, they will look into generating LaTeX output.

Meeting Notes 2020-07-21

Note-taker: Moa Andersson

Pull requests

Other items

  • Future work for jupiter group: work on autocompletion
  • Future work IPM group: work on making code more efficient, update README, cleanup code etc.

Meeting Notes 2020-07-16

Note-taker: Daniel Lundén

Pull requests

Other items

  • No PRs from ipm group. They are working on handling more models.
    • Comment from jupyter group: rename "parse" to "format".
    • Remove #8 (since it has now been combined with #7)
  • Future work for jupyter group:
    • Fix currently hard-coded paths (should resemble python kernel as closely as possible).
    • Work on mixing python and miking code in jupyter.

Meeting Notes 2020-07-14

Note-taker: Daniel Lundén

Pull requests

  • https://github.com/miking-lang/miking-ipm/pull/7
    • Fixed old comments from #6 above.
    • Moved logic for checking input correctness to Miking.
    • Added unique label check.
    • Fixed comments from Jupyter group.
  • https://github.com/miking-lang/miking-ipm/pull/8
    • New pull request for allowing more than one graph in the browser view.
    • Since this PR also contains #7, we decided that these would be combined for now, since we have not yet established how to handle dependencies between unmerged PRs. We also decided to not do any squashing while working in the PR branches (instead, we do the squash when merging).

Other items

  • The Jupyter group had no PRs, but are currently working on:
    • Handling the combination of Python and Miking code.
    • A standalone Miking Jupyter kernel.

Meeting Notes 2020-07-09

Note-taker: Theo Puranen Åhfeldt

Pull requests

Other items We discussed how the Jupyter- and IPM-team will continue to work during the coming weeks when the seniors are taking leave. The Jupyter-team will work on creating a jupyter-kernel in OCaml using the boot interpreter. The IPM-team has a list of things to do in the slack channel. Both teams will review each others PRs. We will not merge PRs to develop during this time. We should try to do it so that we have multiple smaller PRs. This requires testing some strategies. In the worst case we can do one big PR instead.

Meeting Notes 2020-07-07

Note-taker: Daniel Lundén

Pull requests

Other items

  • We discussed co-authoring of PRs. Viktor posted a link about this above. It seems that squashed PRs retain all authors.

Meeting Notes 2020-07-02

Note-taker: Oscar Eriksson

Jupyter

Executable name discussion Change executable name miking to mi. Boot will temporarily be installed as mi.

Meeting Notes 2020-06-30

Note-taker: Viktor Palmkvist

Agenda

  • Introductions for new members and procedures.
  • PRs
  • Discussion on whether to use the same PR process for other miking repos. We'll do this, for the smaller repos this essentially just becomes a matter of keeping everyone else informed of what's happening.
  • Discussion on where to keep the autodiff stuff: in PPL-repo, in the main repo, or in a separate repo. No decision yet.
  • Written instructions on the PR procedure, David will write a draft
  • Status of IPM and Jupyter projects
    • IPM: understanding the paper and planning work thus far
    • Jupyter: work has begun on a REPL and a simple kernel is working

Meeting Notes 2020-06-25

Note-taker: Daniel Lundén

Pull requests

Other items

  • 5 new students will start tomorrow. There are 2 new repos in miking-lang which they will use: miking-jupyter and miking-ipm. The miking-jupyter repo will contain support for Miking together with python (for visualization) in Jupyter. The miking-ipm repo will contain support for live programming in Miking, with automatic model and data visualization. There will be a Zoom meeting with the new students 8:30-10:00 tomorrow.
  • Linnea gave a presentation on decision points.

Meeting Notes 2020-06-11

Note-taker: Linnea Ingmar

PRs:

Discussion:

  • David: Plan to start a non-profit Miking association. Main reason copyright issues, but also for creating a community around Miking. Expenses for domain names/servers etc will be supported by Joel. Everyone in today’s meeting will be a member.
  • David: Plan to initiate an award in Christian Schulte’s name. For work related to compilers, domain-specific languages, combinatorial optimisation or programming languages. Details to be decided. Miking association would be responsible for the award (we don’t necessarily have to be the committee).
  • Klas: Reading group? Sounds like a good idea for the future, we will think about it.

Meeting Notes 2020-06-09

Note-taker: John Wikman

PRs

  • https://github.com/miking-lang/miking/pull/99 (Oscar) Undirected graph library. A wrapper around Linnea's digraph library. We like it, but should probably change the mnemonic on the graph functions to clarify that it is undirected. Waiting to merge until having decided on the mnemonic to use.
  • https://github.com/miking-lang/miking/pull/101 (Daniel) C language fragments for expressions, statements, and a top level. Reusing much of the MExpr AST syntax. We like it, merge. Think about restructuring language fragments in the standard library in the future.

Discussions

  • "How up to date it the interpreter with boot?" Things such as record patterns are missing from the interpreter, but are present in boot. Most changes planned for boot have already been implemented, should start switching focus to the interpreter. Daniel will look at porting boot functionality to the interpreter.
  • 4 assistant positions available, summerjobs for 3 months. One job is to integrate Jupyter with MCore. The other is to integrate JavaScript and Node with MCore. Set up mentor groups of 3 people to help the assistants during the summer. Update introduction to MCore help new students come into Miking.
  • Discussion about Miking organization is postponed to Thursday.

Meeting Notes 2020-06-02

Note-taker: Viktor Palmkvist

PRs - Oscar: https://github.com/miking-lang/miking/pull/98 - Offshoot: probably want utest in mlang to be used as doctests - Offshoot: naming conventions for functions that error vs. functions that return an Option. - Offshoot: convention for how to encode functions with optional arguments in mcore. - negi apparently already exists, no detailed code review, and should add a few more tests, but otherwise we like

Discussion - Daniel: transformations between disparate languages, how do we write them? - Case: two language fragments A and B describing separate languages. Want to implement functions A -> A, A -> B, B -> String. The middle function is the significant one - Part of the issue: syns with the same name are merged, even if that's accidental - Workaround: rename syn in target language, write transformation as a language fragment - Offshoot: Daniel's C/CUDA target language and ANF transform should be merged into main, and the compilation should be shown and discussed as input into the design process of mlang - Offshoot: C expressions and Mexpr expressions share some semantics, it would be nice to be able to reuse implementation work between them without necessarily saying they belong to the same language or extend the same language.

Meeting Notes 2020-05-28

Note-taker: Elias Castegren

Pull Requests

  • No pull requests today!

Discussions

  • We discussed the syntax of comments.
    • We decided to punt on decisions regarding the precise syntax for documentation, etc., but we noted that we should keep it in mind for the decision.
    • We said that whatever we pick should ideally also be compatible with Ragnar in the future.
    • We discussed whether we should optimize for free-standing block comments or for commenting out code inline. Most people agreed that the latter is done rarely.
    • Some more suggestions were put forth, summarized in the GitHub issue: https://github.com/miking-lang/miking/issues/95

Meeting Notes 2020-05-26

Note-taker: Oscar Eriksson

https://github.com/miking-lang/miking/pull/94 Change to nested patterns, then we like it, merge

Meeting Notes 2020-05-19

Note-taker: Daniel Lundén

Pull requests

Discussions

  • We will start implementing many things in MCore from now on, rather than in boot.
  • We will not add Ragnar stuff to boot parser because of bootstrapping issues.
  • Postpone comment discussion; Elias will create issue on Github.

Meeting Notes 2020-05-14

Note-taker: Elias Castegren

Pull Requests

  • https://github.com/miking-lang/miking/pull/90 (David)
    • Constructors are no longer first-class (they need to be fully applied). Constructor definitions statically define a unique symbol, rather than it being handled dynamically. Constructor and variable names now live in the same namespace.
    • David will revert the change regarding namespaces. Variables and constructors will be syntactically distinct.
    • Viktor will finish his review.
    • We will revisit this PR next week.
  • https://github.com/miking-lang/miking/pull/91 (Viktor)
    • Semantic functions now have nested, order-independent patterns. There is also support for and-patterns, or-patterns and not-patterns. Ambiguous patterns (where two patterns are unordered by specificity but are still overlapping) are considered a compilation error.
    • Viktor will write a few more test cases.
    • Elias will have a look at the PR.
    • We will revisit this PR next week.

Discussions

  • We need a story for writing test cases which fail due to compilation errors, or test cases that depend on a specific output.
  • We should put Linnea’s lstlisting under github.com/miking-lang/

Meeting Notes 2020-05-12

Note-taker: Linnea Ingmar

PRs

  • MExpr simplifications https://github.com/miking-lang/miking/pull/89
    • Proposal: remove unit keyword (@vipa volunteered to fix)
    • We like it (merged during meeting)
  • We will move Miking meetings to 14
  • Discussion on benchmark ideas for decision points
    • Viktor: pattern matching: use memoization or not
    • Oscar: Sorting of equations and variables, and representation of data
    • Klas: window aggregation algorithms
    • John: choice to run on a GPU or CPU
    • Daniel: choice of inference algorithms
    • Use refinement types for performance (choice of AVX instructions)
    • Compile javascript to webassembly or not
    • Some related works suggested by Elias

Meeting Notes 2020-05-05

Note-taker: Oscar Eriksson

PRs

Meeting Notes 2020-04-30

Note-taker: Viktor Palmkvist

PRs - David: mention of removal of de bruijn indices in boot, which might be merged in-between meetings. - Oscar: https://github.com/miking-lang/miking/pull/83 - We like it, merge - Daniel: look at https://github.com/miking-lang/miking/pull/86, though it's not intended to be merged at this point

  • Discussion
    • WebAssembly: not really looked at yet, but definitely an interesting target. Analogues to John's compilation to GPU.
    • Daniels questions: see response by Elias above, but briefly: things are in progress and those questions are explicitly in the case studies we're considering.

Meeting Notes 2020-04-23

Note-taker: Elias Castegren

Pull Requests

Discussions

  • We decided to introduce a construct #label (symmetric to #var and #con) for specifying record labels which are not syntactically correct (e.g. numeric values).
  • We decided to have maintainers for the repos of different editing modes, for updating them when the language evolves. Elias takes the Emacs mode, Daniel takes the Vim mode and John takes the Sublime mode.
  • We discussed if let _ = ... in ... should be valid or not. We decided to punt on the decision.

Meeting Notes 2020-04-14

Note-taker: Linnea Ingmar

  • PRs
  • Discussion about generating unique variable names
    • Three alternatives: 1. “Locally Nameless”, 2. a mapping from AST with strings->AST with symbols, or 3. the AST nodes have both a string and a symbol.
    • We will probably go with the last alternative, unless any problems arise.
    • Elias and David will think more about consequences on the type system etc. of this.
    • Daniel’s problem solved by fresh function in eval.mc for now.

Meeting Notes 2020-04-09

Note-taker: Viktor Palmkvist

Meeting Notes 2020-04-07

Note-taker: Oscar Eriksson

PRs

https://github.com/miking-lang/miking/pull/71

  • We like it, merge

https://github.com/miking-lang/miking/pull/70

  • Replace patterns implementation data-structure with sequence.
  • Move init, head, tail, last to stdlib
  • Elias reviews

https://github.com/miking-lang/miking/pull/72

  • Merge with pprint.ml
  • Viktor reviews

https://github.com/miking-lang/miking/pull/21

  • Add andThen
  • replace Dyn with lower case parameters, then: accept

Conventions

Make conventions page at Wiki (Oscar) So far, we have adopted the following conventions:

  • Type parameters should be lower-case
  • CamelCase
  • 2 space indent
  • 80 char width (if possible)

Meeting Notes 2020-04-02

Note-taker: Elias Castegren

Pull requests

Discussions

  • Elias’ issue https://github.com/miking-lang/miking/issues/67 regarding matching on primitives and sequences in semantic functions
    • Some of the features asked for has already been implemented for MExpr (matching on sequences and primitives). Viktor writes a reply to the issue mentioning this. It still needs a translation from MLang though.
    • Viktor pointed out that this is very similar to the problems encountered when doing extensible lexing and parsing. The solution we come up with (whether it is a compiler feature or a programming pattern) should be applicable to both.
  • Oscar’s experiments with Finger Trees, from Batteries
    • Should provide faster random access and concatenation (compared to lists).
    • Needs exposing more constant functions to be efficient.
      • We went through the interface and decided on which functions to have.
    • Oscar would like to have a Map type, since Finger Trees does not help with this. We might add a special case for Oscar’s use-case, to allow us to punt on design decisions regarding, e.g., type classes.
  • Discussion on Git(Hub) hygiene
    • We decided to use the “Squash and merge” feature of GitHub. This makes the heading of the resulting commit the title of the PR, and the body the concatenation of the commits. This means we should be careful to write informative PR titles (and ideally also informative commit messages).

Meeting Notes 2020-03-31

Note-taker: Daniel Lundén

Pull requests

Discussions

  • Lists/sequences/vectors/universal collections
    • John needs fast concat.
    • Oscar needs fast random access.
    • Temporary solution: finger trees or other more efficient data structure? Oscar will look at it.
  • Merging semantic functions with nested patterns
    • Discussions lead by Viktor. Viktor and Elias will look at it further? (edited)

Meeting Notes 2020-03-27

Note-taker: Viktor Palmkvist

Meeting Notes 2020-03-24

Note-taker: John Wikman

Attendees: David Broman, Viktor Palmkvist, Linnea Ingmar, Daniel Lundén, Oscar Eriksson, Klas Segeljakt, John Wikman Pull requests

  • Review and discussion postponed to next meeting due to time shortage.

Code formatting conventions

  • Try to keep to 80 characters per line until further notice. Can exceed 80 characters if it aid readability.
  • Scope indentation should be 2 spaces. Formally voted in favor of by 6 out of 7 attendees.
  • This will be handled by an automatic formatter in the end.

Remove the Const from the AST

  • An idea brought forward was to remove the Const type from the AST and replace all removed functionality by Expr constructs. E.g. TmConst (CInt) would become TmInt and TmConst (CAddi) would become TmIntrinsic (Addi).
  • This idea was positively received by the attendees.
  • Also discussed how to keep gti, lti, neqi, eqi (etc.) in the environment, but in the end that these could be mapped differently to the builtin intrinsics.

Option to output desugared program in boot

  • It would be nice to have the option in boot to output the program as it looks after the MLang flattening and desugaring has been applied. Would be passed an an argument option.
  • We like it, Daniel will implement it if it doesnt take up too much time.

Factor out convenience functions

  • Take the convenience functions from lamlift.mc that are used to create an AST without a parser and move them to a separate file under the stdlib/mexpr.
  • We like it, John will implement it.

Benchmarks

  • Viktor and Linnea presented their current progress on the benchmark setup.
  • The benchmarks will be kept in a separate repository from the miking repository. This will contain benchmarks written in MCore as well as the same tests implemented in other languages for comparison.
  • Two approaches of how to organize the benchmarks were presented: A flat structure or a hierachical structure where datasets and test configuration can be inherited from the higher level.
  • The discussion leaned towards using some form of hierachy for the structure, but not too hierarchical as some benchmarks might be very specific and not share much configuration or datasets with other benchmarks.
  • The tool to manage these testcases would be developed by ourselves. Go was brought up as a candidate language to develop the tool in due to its cross-platform support, but Rust was brought up as a preferrable alternative.
  • Some remarks brought forth was that this setup should take into account factors such as architectures, compilers, and compiler flags.
  • The benchmark system will be split into 3 separate repostirories: one for the benchmarks, one for the tool, and one for the results.
  • Will start sketching on the benchmark structure until next meeting.

Meeting Notes 2020-03-18

Note-taker: Linnea Ingmar

  • From next week and onward: we will have two 1 hour meetings per week. Tuesdays and Thursdays 15-16 by default.
  • Went through the board and discussed what everyone is working on
  • Created a Wiki to put documentation such as Recursion Cookbook. Anyone logged into GitHub can edit, but we assume this is not a problem.
  • PRs -- General comment: Always check on GitHub that PRs can be rebased. -- #57 Bug fix in lambda lifting. https://github.com/miking-lang/miking/pull/57 We like it, merge! -- #59 Reuse of generated arguments within the same scope. https://github.com/miking-lang/miking/pull/59 We like it, merge! -- #58: Forward mode auto diff. https://github.com/miking-lang/miking/pull/58 Needs a review. David volunteers.
  • Oscar presented Forward Mode Auto Differentiation.
  • Documentation of code: at least, give an overview description in the top of the file. If relevant, include sources of implementation, e.g. reference to papers.
  • Follow up discussion on whether to remove CSeq. Agreed to do so!
  • Follow up discussion on column in board: agreed to remove pull-request column.
  • Next meeting: Linnea and Viktor go through thoughts on benchmarking framework. Use merge sort as example. (edited)

Meeting Notes 2020-03-11

Note-taker: Oscar Eriksson

PRs

  • Add lambda lifting in MCore https://github.com/miking-lang/miking/pull/46 We like it - merge Going forward:
    • To be able to handle partial applications over constants we can use eta-expansion.
    • Add test: evaluate lifted to non-lifted.
  • Add missing parenthesis in pretty printer for TmApp https://github.com/miking-lang/miking/pull/56 We like it - merge
  • Implemented non-observable unique symbols https://github.com/miking-lang/miking/pull/54 Fix: Change gensymb to gensym then: We like it - merge
  • Failed const app error point to app rather than arg declaration https://github.com/miking-lang/miking/pull/55/commits We like it - merge
  • From Last time
  • CSeq in Const contains Expr, do we want to only have TmSeq instead? (it's in Expr) We want operators over consts to be closed. We have to look at this further and we do not want this duplication in the CSeq case.
  • Put editor support in separate repositories? Under miking organization? Yes, add as task. Name repo as miking-.
  • Columns in board We suggest that we keep done and remove pull-request column so that done includes tasks that have an associated PR. (edited)

Meeting Notes 2020-03-04

Note-taker: Viktor Palmkvist

PRs:

Meeting Notes 2020-02-25

Note-taker: Viktor Palmkvist

Summary on the recursion part of the meeting today:

  • Have a semantic function for a single generic step, and a semantic function for a generic fold
  • smap : (focus -> a) -> term -> term[focus -> a] (The square brackets mean substitution, but we haven't really solved how this looks in the type system, since we don't have a typesystem) (For the example, replace term with Statement and focus with Expression)
  • sfold : (b -> a -> b) -> b -> term[focus -> a] -> b
  • concretely, we will initially implement these as sem smap_term_focus and sem sfold_term_focus
  • with these we can write, e.g., bottom-up fold as foldbu f = smap (foldbu f) >>> f (using >>> for left-to-right function composition), or counting the number of nodes as countNodes = foldbu (sfold (+) 1)

Meeting Notes 2020-02-19

Note-taker: Daniel Lundén

  1. Reviewing policy:
    • Write in Slack when PR ready, ask for review.
  2. New PRs:
    • [Accept] #36 Pretty printer for MExpr.
    • [Accept] #43 Replace environment with a context and add float arithmetic.
  3. Recursion schemes:
    • Read up and discuss on future meeting (Viktor lead?)
  4. Term equivalence:
    • Write separate eq checks for own types.
    • Have as a semantic function (+ ordering).
  5. k-CFA:
    • Seems like a good idea in general, will discuss further on future meeting (Daniel lead?)
  6. Mutability:
    • Implement everything with immutable data structures for now.
  7. Syntactic sugar (record with):
    • To be continued. Merge operator?
  8. Default values, types:
    • Will be discussed on Slack.

Upcoming meetings

2020-02-25, 13:00-15:00

  • Recursion schemes
  • k-CFA (edited)
Add a custom footer
Add a custom sidebar
Clone this wiki locally