Andreas Stadelmeier abe4f78490 Fix Type in README
2022-07-23 09:36:37 +02:00
2021-11-03 02:00:30 +01:00
2022-06-29 15:20:59 +02:00
2021-11-16 17:11:24 +01:00
2021-11-16 17:11:24 +01:00
2022-07-23 09:36:37 +02:00

Typeinference for Featherweight Java

Getting started

Try it here

Building

sbt fullLinkJS

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 Overloading().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%