276 lines
6.4 KiB
HTML
276 lines
6.4 KiB
HTML
<!doctype html>
|
||
<html lang="en">
|
||
<head>
|
||
<meta charset="utf-8">
|
||
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
|
||
<meta name="description" content="">
|
||
<meta name="author" content="Eelco Visser">
|
||
<meta name="generator" content="Jekyll v3.8.5">
|
||
<title>Week 1.3: Type Constraints</title>
|
||
<!-- <base href="/2021"> -->
|
||
|
||
<!--link rel="canonical" href="https://getbootstrap.com/docs/4.3/examples/starter-template/"-->
|
||
|
||
<link rel="icon" href="../img/logo/pl_ico2_2B3_icon.ico" type="image/x-icon">
|
||
|
||
<!-- Bootstrap core CSS -->
|
||
<!--link href="https://getbootstrap.com/docs/4.3/dist/css/bootstrap.min.css" rel="stylesheet" integrity="sha384-ggOyR0iXCbMQv3Xipma34MD+dH/1fQ784/j6cY/iJTQUOhcWr7x9JvoRxT2MZw1T" crossorigin="anonymous"-->
|
||
|
||
<link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/css/bootstrap.min.css" integrity="sha384-ggOyR0iXCbMQv3Xipma34MD+dH/1fQ784/j6cY/iJTQUOhcWr7x9JvoRxT2MZw1T" crossorigin="anonymous">
|
||
|
||
|
||
|
||
<style>
|
||
.bd-placeholder-img {
|
||
font-size: 1.125rem;
|
||
text-anchor: middle;
|
||
-webkit-user-select: none;
|
||
-moz-user-select: none;
|
||
-ms-user-select: none;
|
||
user-select: none;
|
||
}
|
||
|
||
@media (min-width: 768px) {
|
||
.bd-placeholder-img-lg {
|
||
font-size: 3.5rem;
|
||
}
|
||
}
|
||
</style>
|
||
<!-- Custom styles for this template -->
|
||
<link href="../css/main.css" rel="stylesheet">
|
||
<link href="../css/borders-responsive.css" rel="stylesheet">
|
||
|
||
<link rel="stylesheet" href="../css/pl.css">
|
||
</head>
|
||
<body>
|
||
|
||
<nav class="navbar navbar-expand-md navbar-dark bg-dark fixed-top">
|
||
|
||
<a class="navbar-brand" href="../index.html">
|
||
TU Delft | CS4200
|
||
</a>
|
||
|
||
<button class="navbar-toggler" type="button" data-toggle="collapse" data-target="#navbarsExampleDefault" aria-controls="navbarsExampleDefault" aria-expanded="false" aria-label="Toggle navigation">
|
||
<span class="navbar-toggler-icon"></span>
|
||
</button>
|
||
|
||
<div class="collapse navbar-collapse" id="navbarsExampleDefault">
|
||
<ul class="navbar-nav mr-auto">
|
||
|
||
|
||
|
||
|
||
|
||
<li class="nav-item active">
|
||
<a class="nav-link" href="../lectures/index.html" tabindex="-1" aria-disabled="true">Lectures</a>
|
||
</li>
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
<li class="nav-item active">
|
||
<a class="nav-link" href="index.html" tabindex="-1" aria-disabled="true">Homework</a>
|
||
</li>
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
<li class="nav-item active">
|
||
<a class="nav-link" href="../project/index.html" tabindex="-1" aria-disabled="true">Project</a>
|
||
</li>
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
<li class="nav-item active">
|
||
<a class="nav-link" href="../news/index.html" tabindex="-1" aria-disabled="true">News</a>
|
||
</li>
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
<li class="nav-item active">
|
||
<a class="nav-link" href="../blog/index.html" tabindex="-1" aria-disabled="true">Blog</a>
|
||
</li>
|
||
|
||
|
||
|
||
|
||
|
||
</ul>
|
||
|
||
</div>
|
||
</nav>
|
||
|
||
|
||
<div class="container">
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
<div class="row">
|
||
<div class="col-sm-12 col-md-12 col-lg-12 col-xl-12">
|
||
|
||
|
||
<div class="mt-3 mb-3 pt-3 pb-3 text-dark border-top border-bottom border-grey">
|
||
<div class="text-dark font-weight-bold">
|
||
<h1>
|
||
|
||
Week 1.3: Type Constraints
|
||
|
||
</h1>
|
||
</div>
|
||
<div>
|
||
|
||
|
||
</div>
|
||
<div>
|
||
|
||
|
||
Homework
|
||
|
||
|
||
|
||
|
||
|
||
|
||
|
||
</div>
|
||
<div>
|
||
September 16, 2021
|
||
</div>
|
||
</div>
|
||
</div>
|
||
</div>
|
||
|
||
<div class="row">
|
||
<div class="col-sm-12 col-md-12 col-lg-9 border-lg-right border-grey">
|
||
<p>In this set of assignments, published on <a href="https://weblab.tudelft.nl/cs4200/2021-2022/assignment/87716/view">WebLab</a>, we exercise the definition of simple type constraints in Statix following the material of <a href="../lecture/4.html">Lecture 4</a>.</p>
|
||
|
||
<!-- You can make the assignments directly in WebLab, but we recommend following the [instructions](/2021/homework/1-3-a) to set up a Spoofax project to make the assignments in Spoofax. -->
|
||
|
||
<p>The template for the assignments this week is: given this language (the syntax definition of which you can find in the ‘test data’ of the assignment) define the given predicate (e.g. <code class="language-plaintext highlighter-rouge">typeOfExp</code>) for all the constructs of the language such that all tests succeed. The assignment text gives a high-level explanation of the expected properties of operators. The tests provide concrete examples.</p>
|
||
|
||
|
||
</div>
|
||
<div class="col-sm-12 col-md-12 col-lg-3 col-xl-3 " >
|
||
<div class="sticky-top top70 d-none d-lg-block d-xl-block">
|
||
<div class="pb4 mb3 border-bottom border-grey ">
|
||
<nav>
|
||
<ul class="pagination justify-content-left">
|
||
|
||
<li class="page-item">
|
||
<a class="page-link" href="1-1.html">
|
||
«
|
||
</a>
|
||
</li>
|
||
|
||
<li class="page-item">
|
||
<a class="page-link" href="index.html">
|
||
^
|
||
</a>
|
||
</li>
|
||
|
||
<li class="page-item">
|
||
<a class="page-link" href="1-4.html">»</a>
|
||
</li>
|
||
|
||
</ul>
|
||
</nav>
|
||
</div>
|
||
|
||
|
||
</div>
|
||
</div>
|
||
</div>
|
||
|
||
<div class="row">
|
||
<div class="col-12">
|
||
<div class="border-top border-bottom border-grey mt-3 pt-3">
|
||
<nav>
|
||
<ul class="pagination justify-content-center">
|
||
|
||
<li class="page-item">
|
||
<a class="page-link" href="1-1.html">
|
||
Previous
|
||
</a>
|
||
</li>
|
||
|
||
|
||
<li class="page-item">
|
||
<a class="page-link" href="1-4.html">Next</a>
|
||
</li>
|
||
|
||
<li class="page-item">
|
||
<a class="page-link" href="index.html">
|
||
Index
|
||
</a>
|
||
</li>
|
||
</ul>
|
||
</nav>
|
||
</div>
|
||
</div>
|
||
</div>
|
||
|
||
</div>
|
||
|
||
|
||
|
||
<!-- Optional JavaScript -->
|
||
<!-- jQuery first, then Popper.js, then Bootstrap JS -->
|
||
<script src="https://code.jquery.com/jquery-3.3.1.slim.min.js" integrity="sha384-q8i/X+965DzO0rT7abK41JStQIAqVgRVzpbzo5smXKp4YfRvH+8abtTE1Pi6jizo" crossorigin="anonymous"></script>
|
||
<script src="https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.14.7/umd/popper.min.js" integrity="sha384-UO2eT0CpHqdSJQ6hJty5KVphtPhzWj9WO1clHTMGa3JDZwrnQq4sF86dIHNDz0W1" crossorigin="anonymous"></script>
|
||
<script src="https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/js/bootstrap.min.js" integrity="sha384-JjSmVgyd0p3pXB1rRibZUAYoIIy6OrQ6VrjIEaFf/nJGzIxFDsf4x0xIM+B07jRM" crossorigin="anonymous"></script>
|
||
|
||
</body>
|
||
</html>
|