37 lines
1.3 KiB
HTML
37 lines
1.3 KiB
HTML
<!DOCTYPE html>
|
|
<html>
|
|
<head>
|
|
<meta charset="UTF-8">
|
|
<link rel="stylesheet" type="text/css" href="index.css">
|
|
<link rel="stylesheet" type="text/css" href="default.min.css">
|
|
<title>Type-inference for Featherweight Java</title>
|
|
</head>
|
|
<body>
|
|
<h1>Type-inference for Featherweight Java</h1>
|
|
<div id="content">
|
|
<div id="left">
|
|
<textarea id="fj-input">
|
|
class Test extends Object{}
|
|
</textarea>
|
|
<!-- let rec recursive_monster = fun x ->
|
|
{ thing = x;
|
|
self = recursive_monster x } -->
|
|
</div>
|
|
<div id="right">
|
|
<pre><div id="ast-output"></div></pre>
|
|
</div>
|
|
</div>
|
|
<div id="bottom">
|
|
<div id="unify-output"></div>
|
|
</div>
|
|
<script type="text/javascript" src="highlight.min.js"></script>
|
|
<script type="text/javascript" src="target/scala-2.13/fj-typeinference-fastopt/main.js"></script>
|
|
<br/>
|
|
<p>
|
|
Hint: The type inference algorithm processes one class at a time and starts with the first declared class.
|
|
Classes can therefore only use methods from classes declared before them.
|
|
</p>
|
|
<p>Credit: the CSS style sheet of this page was shamelessly stolen from <a href="https://github.com/LPTK/simple-algebraic-subtyping">the Simple-sub demo page</a>.</p>
|
|
</body>
|
|
</html>
|