jcoglan

Rust types reference

Prelude

• std::borrow::ToOwned
• std::boxed::Box
• std::clone::Clone
• std::cmp::{PartialEq, PartialOrd, Eq, Ord}
• std::convert::{AsRef, AsMut, Into, From}
• std::default::Default

jcoglan

require_relative "./base"
require_relative "../diff"
require_relative "../rev_list"

module Command
  class Blame < Base

    def run
      @lines   = []
      @commits = []

jcoglan

require "set"

mods = Class.ancestors +
       Method.ancestors +
       UnboundMethod.ancestors

reserved = %i[
  ==
  ===
  =~

jcoglan

o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o---o   o   o---o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o
                                                                                                                                                                                                                                                                                                                |   |       |   |                                                                            
o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o   o---o---

jcoglan

#!/bin/bash

cd ~/src
dir="git-long-uninteresting-branch"

git init $dir > /dev/null
cd $dir

export GIT_COMMITTER_DATE="1600000000"

jcoglan

.................................................................................................|...............................................................#....#..................
........#........................................................................................|...............................................................#....#..................
........#.............#..........................................................................|...............................................................#....#..................
........#.............#..........................................................................|...............................................................#....#..................
........#.............#..........................................................................|...#....#......................................................#....#..................
........#.............#.......................................................................

jcoglan

module Pack
  module Numbers

    module VarIntLE
      def self.write(size, shift)
        bytes = []
        mask  = 2 ** shift - 1

        until size <= mask
          bytes << (0x80 | size & mask)

jcoglan

class SuperPermutation
  CHARS = ('a'..'z').map(&:to_sym)

  def initialize(size)
    @size  = size
    @chars = CHARS.take(@size)
    @used  = {}
    @index = Hash.new { |h, k| h[k] = [] }

    @chars.permutation.each do |seq|

jcoglan

    rule Foldl-0 {
      foldl $f $init ∅ = $init
    }

    rule Foldl-N {
      $init $f $head = $init' / foldl $f $init' $tail = $res
      ------------------------------------------------------
                foldl $f $init ($head $tail) = $res
    }

jcoglan

Haskell

There follows an extremely rough approximation to Haskell's type checker, written as a logic program. Mostly to explore type inference and syntactic sugar.

For the most part, we won't need a lot of syntactic checks in this implementation, but for terms with no internal structure, like variables and numbers, it's useful to specify their members.