georgelesica-wf

List<dynamic> _stuff = [];

void inject(dynamic thing) {
  _stuff.add(thing);
}

T request<T>() => _stuff.firstWhere((thing) => thing is T, orElse: () => null);

class MyThing {
  final String value = 'hello, world';

georgelesica-wf

Visitor Pattern in Dart

A couple nice references on the visitor pattern:

1. Source Making - Visitor
2. Crafting Interpreters

The code in this Gist implements a simple visitor using nonsensical, but reasonably clear, types.

georgelesica-wf

#!/usr/bin/env bash

set -e

CACHE_FILE="$HOME/.tags-cache"

if [ -f "$CACHE_FILE" ]; then
    CURRENT_TAG=$(<"$CACHE_FILE")
else
    unset CURRENT_TAG

georgelesica-wf

#!/usr/bin/env bash

# Switches between various Julia versions. By default, looks for versions in
# $HOME/local/julia/, but this can be configured by setting the JVM_BIN_PREFIX
# variable. Also links the corresponding packages directory to $HOME/julia-pkgs
# for convenience.

JVM_PKG_PREFIX=${JVM_PKG_PREFIX:-"$HOME/.julia"}
JVM_BIN_PREFIX=${JVM_BIN_PREFIX:-"$HOME/local/julia"}

georgelesica-wf

module Landscape

data Landscape : Nat -> Nat -> Double -> Type where
  NK  : (n : Nat) -> (k : Nat) -> Landscape n k 0.0
  NKp : (n : Nat) -> (k : Nat) -> (p : Float) -> Landscape n k p

getN : Landscape n _ _ -> Nat
getN _ = n

getK : Landscape _ k _ -> Nat