2022-03-11 12:54:03 +01:00
2021-11-03 02:00:30 +01:00
2021-11-16 17:11:24 +01:00
2021-11-16 17:11:24 +01:00
2022-03-11 12:54:03 +01:00
2021-12-02 03:04:00 +01:00

Typeinference for Featherweight Java

Try it here

Input Examples

class Identity extends Object{
  id(a){
    return a;
  }
}

class Overloading extends Object{
  m(a, b){return a;}
  m(a,b){return b;}
}

class TestOverloading extends Object{
  test(a){
    return new Test().m(this,a);
  }
}
class List<A extends Object> extends Object{
  A head;
  List<A> tail;
  add( a){
    return new List(a, this);
  }
  get(){
    return this.head;
  }
}

class PrincipleType extends Object {
  function(a){
    return a.add(this).get();
  }
}

Description
No description provided
Readme 824 KiB
Languages
Scala 96.3%
CSS 2.3%
HTML 1.4%