Andy Friesen andyfriesen

## subtyping.md

      
              2 files
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                andyfriesen
                / subtyping.md
            
            
              Last active
              August 12, 2023 23:24
            
          
    $$
\tag*{r = f(x)}
\cfrac
{\Gamma \vdash f: (A) \rightarrow B, x: T, r: R}
{(A) \rightarrow B <: (T) \rightarrow R}
$$

  
## BUCK
# compdb/BUCK

python_bootstrap_binary(
    name = "combine_compdbs",
    main = "combine_compdbs.py",
    visibility = ["PUBLIC"]
)

## circle.html
<html>
  <canvas id="canvas" width="256" height="256" />
  <script>
    const canvas = document.getElementById('canvas');
    const ctx = canvas.getContext('2d');
    ctx.fillStyle = 'black';
    ctx.fillRect(0, 0, 256, 256);

    ctx.fillStyle = 'white';

## Clock.re

module Clock = {
  include ReactRe.Component.Stateful;
  let name = "Clock";
  type props = ();
  type state = {now: Js_date.t, timerID: option Js_global.intervalId};

  let getInitialState () => {
    { now: Js_date.make (), timerID: None };
  };

## hurbl.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                andyfriesen
                / hurbl.md
            
            
              Created
              July 12, 2016 00:45
            
              
                A quick example of why STM is amazing
              
          
    Say we want to spin off threads every so often, but we also need the ability to wait until they all go away before exiting the application.
In Haskell, we can do this naive thing:
main = do
    count <- newTVarIO 0
    
 let spawnThread action = do

  
## rect.rs
use std::ops::{Add, Sub};

#[derive(Copy, Debug)]
pub struct Rect<T> {
    pub left: T,
    pub top: T,
    pub right: T,
    pub bottom: T
}

## Main.js
// This object will hold all exports.
var Haste = {};

/* Thunk
   Creates a thunk representing the given closure.
   If the non-updatable flag is undefined, the thunk is updatable.
*/
function T(f, nu) {
    this.f = f;
    if(nu === undefined) {

## Surface Syntax.hs
{-# LANGUAGE RecordWildCards #-}

module Promise where

import Control.Monad
import Data.IORef
import Data.Maybe

data Status
    = Pending

## colourize.sh
#!/bin/bash

set -ex

if [ `uname` == 'Linux' ]; then
    PASTE=xclip\ -o
    OPEN=xdg-open
else
    # Assume OSX
    PASTE=pbpaste

## irrefutable.hs
x :: String
Just (Just (x:[])) = Just (Just [])

main :: IO ()
main = putStrLn x
	# compdb/BUCK

	python_bootstrap_binary(
	name = "combine_compdbs",
	main = "combine_compdbs.py",
	visibility = ["PUBLIC"]
	)
	<html>
	<canvas id="canvas" width="256" height="256" />
	<script>
	const canvas = document.getElementById('canvas');
	const ctx = canvas.getContext('2d');
	ctx.fillStyle = 'black';
	ctx.fillRect(0, 0, 256, 256);

	ctx.fillStyle = 'white';

	module Clock = {
	include ReactRe.Component.Stateful;
	let name = "Clock";
	type props = ();
	type state = {now: Js_date.t, timerID: option Js_global.intervalId};

	let getInitialState () => {
	{ now: Js_date.make (), timerID: None };
	};
	use std::ops::{Add, Sub};

	#[derive(Copy, Debug)]
	pub struct Rect<T> {
	pub left: T,
	pub top: T,
	pub right: T,
	pub bottom: T
	}
	// This object will hold all exports.
	var Haste = {};

	/* Thunk
	Creates a thunk representing the given closure.
	If the non-updatable flag is undefined, the thunk is updatable.
	*/
	function T(f, nu) {
	this.f = f;
	if(nu === undefined) {
	{-# LANGUAGE RecordWildCards #-}

	module Promise where

	import Control.Monad
	import Data.IORef
	import Data.Maybe

	data Status
	= Pending
	#!/bin/bash

	set -ex

	if [ `uname` == 'Linux' ]; then
	PASTE=xclip\ -o
	OPEN=xdg-open
	else
	# Assume OSX
	PASTE=pbpaste
	x :: String
	Just (Just (x:[])) = Just (Just [])

	main :: IO ()
	main = putStrLn x