Skip to content

Miking Meeting Notes 2024

Jump to bottom Edit New page
Lars Hummelgren edited this page Dec 5, 2024 · 37 revisions

Meeting Notes 2024-12-05

Note-taker: Lars Hummelgren

Participants: Lars Hummelgren, Didrik Munther, Oscar Eriksson, Viktor Palmkvist, Marten Voorberg, John Wikman, David Broman

Pull Requests

Discussion

Meeting Notes 2024-11-21

Note-taker: Marten Voorberg

Attendees: John, Viktor P., David, Lars, Oscar, Gizem, Marten, Tim

Pull Requests

Meeting Notes 2024-11-14

Note-taker: Gizem Caylak

Participants: John Wikman, Didrik Munther, Marten Voorberg, John Wikman, Viktor Palmkvist, Anders Ågren Thuné, Gizem Caylak, Lars Hummelgren, David Broman

Pull Requests

Discussions

Meeting Notes 2024-11-07

Note-taker: Marten Voorberg

Participants: John Wikman, Didrik Munther, Marten Voorberg, Oscar Eriksson, John Wikman, Viktor Palmkvist, Tim Virgoulay, Gizem Caylak, Lars Hummelgren

Pull Requests

  • Gizem: https://github.com/miking-lang/miking/pull/872
    • We like, but functions in file-ext.mc should have the file prefix. E.g. readLine should be named something like fileReadLine.
    • Problems occur relating to pprinting and shadowing of intrinsics. We should handle shadowing of intrinsics in the pretty printer. Probably want to make an issue for this. Oskar will make an issue about this
  • Tim: https://github.com/miking-lang/miking-dppl/pull/187/files
    • The runtime is around 70s so it can be slow. It should fall under a slow test target.
    • Tim is a little unsure about the code since he is new to Miking-DPPL. It would be good if someone else reviews the code. Viktor can help form the coding side, although he cannot help much with the probability theory.
    • We like, but we wait for it to be reviewed by Viktor P.
  • Viktor P: https://github.com/miking-lang/miking/pull/873
    • Dune removed from mi. It is however still used when using boot. This means there is one less dependency after bootstrapping.
    • We like, but check that performance is not affected or improved.
  • Didrik: https://github.com/miking-lang/miking/pull/868
    • The same stuff as 872 about prefixing applies.
    • We like, but a prefix should be added.

Meeting Notes 2024-10-31

Note-taker: Lars Hummelgren

Participants: John Wikman, Didrik Munther, David Broman, Lars Hummelgren, Anders Ågren Thuné, Marten Voorberg, Benjamin Driscoll

Pull Requests

Discussion

  • Result of a long discussion on syntax:
    • syn is used for extensible sum and product types.
    • erec is used specifically when we want product types, for convenience.
    • sem and cosem are used for deconstruction and construction of types.

Meeting Notes 2024-10-24

Note-taker: John Wikman

Participants: John Wikman, Anders Ågren Thuné, David Broman, Marten Voorberg, Lars Hummelgren, Didrik Munther, Oscar Eriksson

Pull-Requests:

Meeting Notes 2024-10-03

Note-taker: Marten Voorberg

Participants: John Wikman, Anders Ågren Thuné, David Broman, Marten Voorberg, Gizem Çaylak

Pull-Requests:

Meeting Notes 2024-09-26

Note-taker: Lars Hummelgren

Participants: Lars Hummelgren, John Wikman, Anders Ågren Thuné, David Broman, Marten Voorberg, Didrik Munther, Gizem Çaylak, Oscar Eriksson, Benjamin Driscoll

Pull Requests

Meeting Notes 2024-09-19

Note-taker: Oscar Eriksson

Participants: John Wikman, David Broman, Oscar Eriksson, Didrik Munther, and Marten Voorberg

Pull Requests

Discussions We should add an external file-ext.mc that reads a bounded number of bytes from stdin.

Meeting Notes 2024-08-29

Note-taker: Marten Voorberg

Participants: Lars Hummelgren, John Wikman, Gizem Çaylak and Marten Voorberg

Pull Requests

Ready to be merged:

Marten:

Gizem:

Meeting Notes 2024-08-22

Note-taker: Gizem Caylak

Participants: David Broman, Lars Hummelgren, John Wikman, Gizem Çaylak, Marten Voorberg, Yang

Discussions

Meeting Notes 2024-08-15

Note-taker: Lars Hummelgren

Participants: Viktor Palmkvist, David Broman, Lars Hummelgren, Oscar Eriksson, John Wikman, Gizem Çaylak, Marten Voorberg, Anders Ågren Thuné

Pull Requests

Meeting Notes 2024-08-08

Note-taker: Oscar Eriksson

Participants: Viktor Palmkvist, Lars Hummelgren, Oscar Eriksson, Anders Ågren Thuné, Marten Voorberg, David Broman

Pull Requests

Meeting Notes 2024-05-30

Note-taker: Gizem Caylak

Participants: Viktor Palmkvist, Lars Hummelgren, Gizem Caylak, Oscar Eriksson, Anders Ågren Thuné, Marten Voorberg, David Broman, John Wikman

Pull Requests

Meeting Notes 2024-05-23

Note-taker: Viktor Palmkvist

Participants: Viktor Palmkvist, Lars Hummelgren, Gizem Caylak, Oscar Eriksson, Anders Ågren Thuné, Marten Voorberg, David Broman

Pull Requests

Meeting Notes 2024-05-02

Note-taker: Gizem Caylak

Participants: Viktor Palmkvist, Lars Hummelgren, John Wikman, David Broman, Oscar Eriksson, Anders Ågren Thuné, Gizem Caylak, Didrik Munther

Pull Requests

Meeting Notes 2024-04-25

Note-taker: Oscar Eriksson

Participants: Viktor Palmkvist, Lars Hummelgren, John Wikman, David Broman, Marten Voorberg, David Broman (last half)

Pull Requests

Discussion

We discussed Martins proposed extensions to the MLang syntax.

Meeting Notes 2024-04-18

Note-taker: John Wikman

Participants: Viktor Palmkvist, Lars Hummelgren, John Wikman, David Broman, Marten Voorberg, Anders Ågren Thuné, Gizem Çaylak, Oscar Eriksson

Pull Requests

Discussion

  • We want to have a hard requirement on documentation
    • Always require a comment at the top of the file, which describes the file
    • We should continue this discussion at a further time to get a agree on a list of requirements for comments.

Meeting Notes 2024-04-11

Note-taker: John Wikman

Participants: Viktor Palmkvist, Lars Hummelgren, Gizem Çaylak, John Wikman, David Broman, Marten Voorberg

Pull Requests

Meeting Notes 2024-04-04

Note-taker: Lars Hummelgren

Participants: Oscar Eriksson, John Wikman, Anders Ågren Thuné, Marten Voorberg, Lars Hummelgren, Didrik Munther, Gizem Çaylak

Pull Requests

Meeting Notes 2024-03-21

Note-taker: Viktor Palmkvist

Participants: David Broman, Viktor Senderov, Gizem Caylak, Oscar Eriksson, John Wikman, Anders Ågren Thuné, Marten Voorberg, Lars Hummelgren

PRs

Discussion

  • Changelog: is this a thing we want to have, given the extra work? At what point would we commit to keeping such a thing updated?

Meeting Notes 2024-03-14

Note-taker: Oscar Eriksson

Participants: Gizem Çaylak, Viktor Palmkvist, Lars Hummelgren, Oscar Eriksson, John Wikman, Marten Voorberg

Pull requests

Discussion For the task force working on MLang parsing to make progress, we propose the following steps going forward.

  • Extend bootparser with MLang
  • Extend symbolize with MLang
  • Extend type-checker (check that compositions are valid)
  • Add generation of MExpr from MLang

At a later stage, we need to port some or all things related to externals from boot.

Meeting Notes 2024-03-07

Note-taker: John Wikman

Participants: Gizem Çaylak, David Broman, Viktor Palmkvist, Lars Hummelgren, Oscar Eriksson, John Wikman, Anders Ågren Thuné

Pull requests

Discussion

  • John:
    • Externals system, recap and discussed next steps
    • David will open a GitHub issue with some initial ideas and requirements
  • David:
    • Miking paper next steps
    • Issue for previous deadline was that we could not boostrap the compiler with the type system implementation at that time
    • Discussed using the effects system
    • Proposal is to go ahead with the effects system

Meeting Notes 2024-02-29

Note-taker: Viktor Palmkvist

Participants: Anders Ågren Thuné, John Wikman, Oscar Eriksson, Lars Hummelgren, Linnea Stjerna

Pull requests

Other We'd like a short reference description on the documentation site, but we don't think the PR should be blocked on that.

Meeting Notes 2024-02-15

Note-taker: Anders Ågren Thuné

Participants: Anders Ågren Thuné, Lars Hummelgren, Viktor Palmkvist, John Wikman, David Broman

Pull requests None

Discussion We discussed the tuple projection issue, and decided to adopt John's first suggestion since it would be self-consistent and remove one case of syntactic sugar.

We decided to not adopt his third suggestion for now.

We discussed how to prevent breakage in dependent projects. We talked about adopting proper versioning and (hopefully stable) releases that third-party projects can depend on.

Meeting Notes 2024-02-08

Note-taker: Viktor Palmkvist

Participants: Anders Ågren Thuné, Oscar Eriksson, Linnea Stjerna, Lars Hummelgren, David Broman, John Wikman, Gizem Çaylak

Pull requests

Discussion We discussed the tuple projection issue, and we are leaning towards John's first suggestion since it would be self-consistent and remove one case of syntactic sugar.

We're kind of liking his third suggestion, in the same post, independently of the first, but that can be a separate discussion.

Meeting Notes 2024-01-18

Note-taker: Lars Hummelgren

Participants: Anders Ågren Thuné, Oscar Eriksson, Linnea Stjerna, Lars Hummelgren, David Broman, John Wikman, Gizem Çaylak

Pull requests

Meeting Notes 2024-01-11

Note-taker: Oscar Eriksson

Pull requests

Participants: Anders Ågren Thuné, Oscar Eriksson, Linnea Stjerna, Lars Hummelgren, David Broman, John Wikman

Discussion

We add negative number literals because:

  1. We can then match on negative integers (right now we can only match on positive integers).
  2. We do not have to re-discover negative numbers after transformations, such as constant folding or partial evaluation, and translate these to applications of negi or negf on positive numbers before, e.g., pretty printing.
  3. There is no ambiguity between negative number literals and applications of negation operations negi and negf.
Add a custom footer
Add a custom sidebar
Clone this wiki locally