dyerw

function fish_prompt
        test $SSH_TTY; and printf (set_color red)(whoami)(set_color white)'@'(set_color yellow)(hostname)' '

    test $USER = 'root'; and echo (set_color red)"#"

    # Main
        echo -n (set_color cyan)(prompt_pwd)(set_color purple)(__fish_vcs_prompt) (set_color red)'❯'(set_color yellow)'❯'(set_color green)'❯ '
end

dyerw

import * as ts from "typescript";

// Haven't dealt with arrays and records
type AvscType = "string" | "int" | "null";
type TsTypes =
  | ts.SyntaxKind.StringKeyword
  | ts.SyntaxKind.NumberKeyword
  | ts.SyntaxKind.NullKeyword;

interface AvscField {

dyerw

import * as t from "io-ts";
import * as R from "fp-ts/lib/Record";

type AvroStringSchema = "string";
type AvroNullSchema = "null";
type AvroFieldSchema = { name: string; type: AvroSchema };
type AvroRecordSchema = {
  type: "record";
  namespace: string;
  name: string;

dyerw

type Count<A, S extends 0[] = []> = A extends S["length"]
  ? S
  : Count<A, [...S, 0]>;

type IncC<A> = [...Count<A>, 0];
type DecC<A> = Count<A> extends [infer _H, ...(infer R)] ? R : [];

// Basic Arithmetic
type Inc<A> = IncC<A>["length"]; 
type Dec<A> = DecC<A>["length"];

dyerw

curl https://raw.githubusercontent.com/brunoklein99/deep-learning-notes/master/shakespeare.txt | say

dyerw

// From https://react-redux.js.org/api/hooks#using-memoizing-selectors

import { createSelector } from 'reselect'

// A Selector is just a fn from State to T
type Selector<T> = (state: State) => T;

const selectCompletedTodosCount = createSelector( // This utility does nothing you can't do easily without it
  (state) => state.todos,
  (_, completed) => completed, // Why would we do this? This is just a roundabout way of parameterizing a fn.

dyerw

// Monads for functional programming in TypeScript

// Here's a basic evaluator
type Term = 
    | { tag: 'Con', n: number } 
    | { tag: 'Div', arg1: Term, arg2: Term }

const con = (n: number): Term => ({ tag: 'Con', n });
const div = (arg1: Term, arg2: Term): Term => ({ tag: 'Div', arg1, arg2 });