Risto Stevcev Risto-Stevcev

Below is my understanding of affine types and how they help us in Rust (unsure if I got this right - please correct if I am talking nonsense).

The issue is... How can we use the power of a type system so a compiler will block us from doing this wrong sequence of calls?

FILE *fp = NULL;
fclose(fp);
fp = fopen("...");

An idea is to "mirror" the states that the file variable goes through (unused/closed, opened) in the type system:

	% Example on how to get all Erlang formats from source code to disassembled bytecode
	% Erlang Source --> Erlang AST --> Erlang Expanded AST --> Core Erlang --> BEAM Bytecode

	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
	%%% First the original module
	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

	-module(add).
	-export([add/2]).

	{-
	A bunch of useful primitives when using PureScript to prove things.

	Idea of using Leibniz equality comes from http://code.slipthrough.net/2016/08/10/approximating-gadts-in-purescript/
	-}

	module Leibniz where

	import Prelude ((<<<), ($))
	import Unsafe.Coerce (unsafeCoerce)

	data Post = Post { id :: Maybe Int
	, title :: String
	, body :: String
	, userId :: Int
	}

	instance decodeJsonPost :: DecodeJson Post where
	decodeJson json = do
	obj <- decodeJson json
	id <- obj .? "id"

	<!DOCTYPE html>
	<html>
	<head>
	<meta charset="utf-8">
	<meta name="viewport" content="width=device-width">
	<title>JS Bin</title>
	<script src="https://cdnjs.cloudflare.com/ajax/libs/redux/3.5.2/redux.min.js"></script>
	<script src="https://wzrd.in/standalone/reduce-reducers"></script>
	<style id="jsbin-css">
	#tabs span {

	<!DOCTYPE html>
	<html>
	<head>
	<meta charset="utf-8">
	<meta name="viewport" content="width=device-width">
	<title>JS Bin</title>
	<script src="https://cdnjs.cloudflare.com/ajax/libs/redux/3.5.2/redux.min.js"></script>
	<script src="https://wzrd.in/standalone/redux-watch"></script>
	<style id="jsbin-css">
	#tabs span {

	#!/bin/bash
	set -o pipefail
	tvservice -s \| grep -q '\[TV is off\]'
	if [[ $? -eq 0 ]]; then
	# Turn display on.
	/usr/bin/tvservice -p &> /dev/null
	# Change color depth to 8 and back to 16.
	/bin/fbset -xres 1920 -yres 1200 -depth 8
	/bin/fbset -xres 1920 -yres 1200 -depth 16
	# Now that something has changed refresh.