Mukul Rathi

Language design ideas

5

Random ideas to implement: - [x] Inheritance - [x] Generics - [x] Method overloading & overriding - [ ] Access modifiers (to enforce encapsulation) - [ ] More primitive types...

Right now we annotate each method type-signature with capabilities used. I think the method annotations could be inferred by constructing a method call graph for each class, and then generating...

Refactor lock LLVM IR generation code

8

Create a struct containing locking info and have a pointer in the class ``` class Foo{ struct *lockingInfo } ``` ``` struct{ bool isLockBeingUpdated; pthread_t *ownerThread; int writerCount; int readerCount;...

Get syntax highlighting + code completion for Bolt in VSCode Could bootstrap using Java LSP?

So can do ``` class Foo{ ... linear } void main(){ let x = new Foo (); ... something something... // x is linear bound x as blah { //...

Create custom Docker Image for CI

1

CI installation steps are taking too long - should create custom Docker image with ocaml, opam, protoc, bazel, c++ pre-installed. Then can cache bolt.opam dependencies