dariusf

using UnityEngine;
using System.Collections;

public class PlayerControl : MonoBehaviour {

	public float moveSpeed;
	public float jumpForce;

	private Rigidbody2D myRigidbody;

dariusf

using UnityEngine;
using System.Collections;
using Prime31;

public class PlayerControl : MonoBehaviour
{
    // movement config
    float gravity = -3f;
    float runSpeed = 8f;
    float groundDamping = 20f; // how fast do we change direction? higher means faster

dariusf

using UnityEngine;
using System.Collections;

public class PlayerControl : MonoBehaviour {

    public KeyCode jumpKey = KeyCode.Space;

    // How long (in seconds) the key must be held for the player to levitate
    // (i.e. time taken for the player to reach the peak of the jump).

dariusf

using UnityEngine;
using System.Collections;

public class FadeTo : MonoBehaviour {

	void Start () {
		StartCoroutine (Fade (1.0f, 1.0f));
	}

	void Update () {

dariusf

Traced functions will have this type.

type ('a, 'b) traced = Traced of ('a -> 'b)

When we see a [@@trace] annotation, we preserve the information with types.

let id = fun x -> x [@@trace]

dariusf

➜ ~/python python3 poetry.py
damoose cathay than saves 'n francophile
for steinberg krass cutugno sowed because
lheureux hm phillip's projects' mercantile
forestalls mochida staffers doty kaus
bertino whittinghill employ pingree
adele affliction whetsel welles' amar's
debater argentina honoree
kuwait ferraris neeld will detjen kahrs
with choppy inacom attenuates

dariusf

stop words: the, that, and, was, her, she, had, not, this, for, with, were, there, from, then, would, his, have, been, also, which, did, when, whether, but, who, him, could, they, these, where, into, went, than, what, very, our, has, are, their, how, why, here

word	frequency
accused	651
deceased	444
slr	161
prosecution	156

dariusf

// Purely functional: no mutable state
// Imperative programming: no need for monads to sequence computations
// Stringly-typed: type system is both weak and string at the same time
// Object-oriented programming: or anything you can string together
// Elegant error-handling: garbage in, garbage out
// Literate programming: use emoji to clarify obscure code

// 'programs'

dariusf

Initial = [
  accessible(mon_house, town),
  accessible(town, mon_house),
  accessible(cap_house, town),
  accessible(town, cap_house),
  at(romeo, town),
  at(montague, mon_house),
  at(capulet, cap_house),
  at(mercutio, town),

dariusf

from urwid import *

def unhandled_input(key):
    # print 'got some event', key
    if key == 'esc' or key == 'q':
        raise ExitMainLoop()

single_color = [
    ('basic', 'yellow', 'dark blue'),