Skip to content

Meeting minutes

Jump to bottom
Daniel Hillerström edited this page Sep 28, 2021 · 14 revisions

2021-09-27, version 0.9.4

  • 0.9.4 release
    • Release pipeline easier than ever!
  • Admin: organisation/repository privileges for past members
    • Garbage collected students and interns.
  • Headless testing
    • Test workshop in a (near) future?
  • 0.9.5 roadmap
    • Temporal database stuff (!)
    • Effect handlers enabled by default (!)
  • Misc
    • Undergrad projects (MInf):
      • Zulip channel #links-webrtc
      • Update Links INSTALL.md for opam version 2.1.0 (no depext)
      • Simon has an IT student, who will do a project in Links (TBD)
    • Location inference (Kwanghoon)
      • PolyRPC -- prototype compiler for the poly rpc calculus
      • Locations need only be written down in type signature, not terms
      • Some locations can be omitted altogether as the compiler is capable of inferring them.
      • Location types to appear in the IR of Links?
      • Location inference can be done with ordinary type inference: A -> B L ~ ((L * A) -> B) Is the location a capability?
      • Separate meeting about location inference/PolyRPC
      • SF: The current realisation of locations in Links are a bit of a mess spawnClient, here, there Space for a nicer design
    • Wasm backend. Daniel and Sam are working on MULTIPLE Wasm backends for Links Motivation: Compiling functional languages to Wasm Experimentations with effect handlers on Wasm One "unified" backend for client & server side Links programs
Backends: Links IR -> JankyScript
          Links IR -> NotWasm
          Links IR -> Wasm bytecode
          \
          | Direct style
          | CPS

2021-08-30, version 0.9.3

  • End-to-end tests (PR #1035)
  • Preparation of release 0.9.4
    • Release responsible: Dee and dhil
    • Change changelog with PRs
  • Miscellaneous
    • Minor issue: Emit a warning when shadowing a binding
    • Next meeting: 27th September 2021
    • Two undergraduate students to work on "gather.town clone in Links"
    • Dee to work on wasm compilation

2021-07-26, version 0.9.3

  • Links benchmarks (dhil)

  • Pull request updates

    • Fix error with global let bound anonymous functions #1009, #1015, #1023 (Dee & dhil)
    • Coping with deeply nested literal JSON objects #1019 (dhil)
    • Roundtrip printer patch to handle current shared effect sugar #1006 (Samo)
    • Surface syntax for Presence type arguments #1000 (dhil)
    • Run interpreter testsuite on ubuntu-latest and macos-latest #981 (dhil)
    • Heterogeneous queries and delateralization #936 (wricciot)

  • Temporal database update? (simonjf)

  • Progress on version 0.9.4

  • Miscellaneous

2021-06-28, version 0.9.3

  • Release 0.9.3 (dhil)

    • Simplified release process
    • Possibly change license from GPL-2 to GPL-3
      • Let's try GPL3-only

  • Migration of continuous integration from Travis to GitHub Actions (dhil)

    • Changes to the test infrastructure
    • Potential enhancements

  • Up-to-date documentation (slindley)

    • (slindley): Poorly maintained documentations Various "competing" unmaintained documentations We need the documentation on the webpage, up-to-date.
    • (simonfowler): Quite a bit of effort has already been invested into Sphinx * Markdown-like syntax * expressions.rst is fairly complete * Structure in place for most things, for more advanced things only stubs are in place
    • (rudihorn): Use Pull Request templates, e.g. have a checkbox for "Have you updated the documentation?" CI to automatically deploy documentation
    • (vashti): GitHub wiki already records the basic, and ought to be merged into more complete documentation Happy to spend some time to make sure the documentation is meaningful

    Simon Fowler will take the lead on documentation maintaince

  • Pull request updates

    • Parsing recursive rows #993 (Samo)
    • New round-tripping pretty printer #982 (Samo)
    • Heterogeneous queries and delateralization #936 (wricciot)
    • Permissive escape bodies #981 (dhil)

Closed pull requests

  • In DesugarInners, don't patch already frozen variables #988 (merged by frank-emrich)
  • Sugartoir: Fix setting ambient effect when traversing zero-ary function #972 (merged by frank-emrich)
  • Freshen generalized type variables after turning lambda into named function #971 (by frank-emrich, merged by dhil)
  • fix #967 #968 (by kwanghoon, merged by dhil)
  • fix #895 #965 (by jamescheney, merged by dhil)
  • Consolidate primitive row labels and type informations #984 (merged by dhil)
  • Move the function tt to typeUtils.ml #983 (merged by dhil)
Clone this wiki locally