Roger Qiu CMCDragonkai

ADTs in TypeScript/JavaScript

Here are the different ways of creating an algebraic datatype or a tagged value.

type Type = 'A' | 'B';
type Value = any;

type ADTTuple = [Type, Value];
type ADTNamed = { type: Type } &amp; {};

After importing OVA, to run it, you need to change Display settings to be:

Otherwise you'll enter a boot-loop.

nmcli device wifi connect 'CapitalOneCafe'

Then click on the Connect to free WiFi.

Then setup shared folders:

	// Extracted from https://github.com/paulmillr/noble-ed25519/blob/main/index.ts
	// This is a minimal implementation of taking a 32 byte (256 bit) private key and deriving the public key

	const hashed = await crypto.subtle.digest('SHA-512', privateKey); // data is Uint8Array or ArrayBuffer
	type Bytes = Uint8Array;
	const head = hashed.slice(0, 32); // slice creates a copy, unlike subarray
	head[0] &= 248; // Clamp bits: 0b1111_1000,
	head[31] &= 127; // 0b0111_1111,
	head[31] \|= 64; // 0b0100_0000
	const mod = (a: bigint, b = P) => { let r = a % b; return r >= 0n ? r : b + r; }; // mod division

	// I've deliberately named this `forP_` becaus it matches Haskell's `forP_` too

	function forP_<T, P extends PromiseLike<void> = Promise<void>>(
	items: readonly T[],
	f: (item: T) => PromiseLike<void>,
	seed?: P
	): P {
	return items.reduce((pChain, item) => {
	return pChain.then(() => f(item));
	}, seed ?? Promise.resolve()) as P;

	import type { JsonWebKey } from 'crypto';
	import crypto from 'crypto';

	/**
	* Generates equivalent to RSASSA-PKCS1-v1_5 keypair
	*/
	async function generateKeyPairRSA(): Promise<{
	publicKey: JsonWebKey,
	privateKey: JsonWebKey
	}> {