blob: 42ec8dcd89fe593eb8db287ecb813355d8be0294 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
+++
title = "Type system to enforce"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["2e4a"]
forwardlinks = ["2e4a2"]
zettelid = "2e4a1"
+++
The first solution is to use linear types to enforce the resource usage
constraints at compile time, which guarantees that destructive updates
can be performed on the data structure, as it will never be read again.
|
