secondwtq

(* Implementation of Local Bidirectional Type Inference
 * Based on:
 * Jones, Simon L. Peyton, Dimitm.
 *)

(*
 * Tau Type - Monotype
 * Rho Type - Tau | Sigma Sigma
 *   (the second form of Rho is absent in Rank-1 system)

secondwtq

Present & Past
  the Matt question
Present perfect and past
  the weather question
  the camera question
  the it ... raining question
  the NY question
  the I wasn't sure who she was question
Future
  the coming to cinema with us question

secondwtq

	else_if = {
		limit = {
			check_variable = { sin_angle = 0.0001 }
		}
		set_temp_variable = { cos_angle = 0.9999 }
	}
	else_if = {
		limit = {
			check_variable = { sin_angle = 0.0002 }
		}

secondwtq

• Building a backend in 24 hours, Anton Korobeynikov, 2009 & 2012

• Building an LLVM Backend, Fraser Cormack & Pierre-Andre Saulais, Codeplay

• A Tourist’s Guide to the LLVM Source Code – Embedded in Academia, https://blog.regehr.org/archives/1453

  • A Tourist’s Guide to the LLVM Source Code | Hacker News, https://news.ycombinator.com/item?id=13334168

    I feel like I ought to have a side project that uses my HN favorites, pinboard links, comments, etc to seed a recommendation engine of 'other stuff you should probably read'.

• [SITE?] Rosetta Code, https://rosettacode.org/wiki/Rosetta_Code

secondwtq

open Printf
    
module IntSet = Set.Make(struct type t = int let compare = compare end)
    
let compute (base: int) (units: int list): IntSet.t =
  printf "base: %d, (" base; List.iter (printf "%d, ") units; printf ")\n";

  let rec f (digits: IntSet.t) (new_digits: IntSet.t) =
    if IntSet.cardinal new_digits = 0

secondwtq

music_directory "~/Documents/music"
playlist_directory "~/Documents/music/playlists"

database {
	plugin "simple"
	path "/var/lib/mpd/db"
}

input {

secondwtq

{-# START_FILE ./.gitignore #-}
.DS_Store
.idea
*.log
tmp/

*.py[cod]
*.egg
build
htmlcov

secondwtq

using _ = Music#Classical

# problem: Type vs. Entry
type HumanStatus =
    | Active
    | Deceased

# optional property should be allowed in entry & type
entry #Human {

secondwtq

using _ = personal#olive;
using _f = _#typography;
using _et = _#entityType;

ensure _et#typeface;

lhs isSimilarTo rhs = {
  bidirectionalEdge <-similarTo> lhs rhs;
}

secondwtq

Overview

The StarCraft II API is an interface that provides full external control of StarCraft II.

This API exposes functionality for developing software for:

• Scripted bots.
• Machine-learning based bots.
• Replay analysis.