Nattapong Amornbunchornvej choestelus

The Interaction Calculus

The Interaction Calculus (IC) is term rewriting system inspired by the Lambda Calculus (λC), but with some major differences:

Vars are affine: they can only occur up to one time.
Vars are global: they can occur anywhere in the program.
There is a new core primitive: the superposition.

An IC term is defined by the following grammar:

Introductory resources

High level overview https://yogthos.github.io/ClojureDistilled.html
An Animated Introduction to Clojure https://markm208.github.io/cljbook/
Interactive tutorial in a browser https://tryclojure.org/
Interactive exercises http://clojurescriptkoans.com/
Clerk notebooks with introductory examples https://github.clerk.garden/anthonygalea/notes-on-clojure
More interactive exercises https://4clojure.oxal.org/
Lambda Island tutorials https://lambdaisland.com/
Functional Programming with Clojure resources https://practicalli.github.io/

Say we have a prop.users of the shape:

const users = [
    {username: 'bob', age: 30, tags: [{name: 'work', id: 1}, {name: 'boring', id: 2}]},
    {username: 'jim', age: 25, tags: [{name: 'home', id: 3}, {name: 'fun', id: 4}]},
    {username: 'jane', age: 30, tags: [{name: 'vacation', id: 5}, {name: 'fun', id: 4}]}
];

Install the ELRepo and GPG key

rpm --import https://www.elrepo.org/RPM-GPG-KEY-elrepo.org
yum install -y http://www.elrepo.org/elrepo-release-7.0-2.el7.elrepo.noarch.rpm

Enable kernel updates from elrepo

yum-config-manager --enable elrepo-kernel

	def package_local_targets(input_dir, output_dir):
	trace = 'package_local_targets'
	os.chdir(input_dir)

	try:
	print(f"{trace}: create directory {output_dir}")
	os.makedirs(output_dir)
	except FileExistsError:
	print(f"delete existing {output_dir}")
	shutil.rmtree(output_dir)

	# open terminal
	# cmd - return : /Applications/Kitty.app/Contents/MacOS/kitty --single-instance -d ~

	# focus window
	alt - h : yabai -m window --focus west
	alt - j : yabai -m window --focus south
	alt - k : yabai -m window --focus north
	alt - l : yabai -m window --focus east

	# swap window


	// [dependencies]
	// futures = "0.1.27"
	// http = "0.1.17"
	// tokio = "0.1.21"
	// tower-request-modifier = { git = "https://github.com/tower-rs/tower-http" }
	// tower-grpc = { version = "0.1.0", features = ["tower-hyper"] }
	// tower-service = "0.2"
	// tower-util = "0.1"
	// tokio-rustls = "0.10.0-alpha.3"

	use std::fmt;

	enum FizzBuzzOr {
	Fizzbuzz(&'static str),
	Or(i32)
	}

	impl fmt::Display for FizzBuzzOr {
	fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
	use FizzBuzzOr::*;

	package main

	import (
	"context"
	"fmt"
	"io/ioutil"
	"os"

	"github.com/containerd/containerd/content/local"
	"github.com/containerd/containerd/images"

	package main

	import (
	"crypto/tls"
	"crypto/x509"
	"flag"
	"io"
	"io/ioutil"
	"log"
	"os"