derrickturk

fun iota_vec(n: int): vector<int>
  vector-init(n, id)

fun oddity(n: int): exn vector<int>
  var v := iota_vec(n)
  for(0, n) fn(i)
    v[i] := v[i] + 3
  v

fun space-oddity(n: int): exn vector<int>

derrickturk

open type openvar
  A
  B

extend type openvar
  C

fun do_it_try_it(v: openvar): console ()
  match v
    A -> println("got an A")

derrickturk

derrickturk

(* yeah, so, Eff doesn't actually support polymorphic effects *)

effect Save: string -> int
effect Load: string * int -> empty

let save name = perform (Save name)
let load name v = absurd (perform (Load (name, v)))

let savegames = handler
  | effect (Save name) k ->

derrickturk

effect QuickSave: int option
effect QuickLoad: int -> empty

let quicksave () = perform QuickSave
let quickload n = absurd (perform (QuickLoad n))

let quicksaving = handler
  | effect QuickSave k ->
      let rec quickloading () = handler
        | effect (QuickLoad n) _ ->

derrickturk

tree(nil).
tree([_, Left, Right]) :- tree(Left), tree(Right).
revtree(nil, nil).
revtree([Data, RLeft, RRight], [Data, Left, Right]) :-
  revtree(RLeft, Right),
  revtree(RRight, Left).

derrickturk

import sys
from zipfile import ZipFile

LINES = 10

def main(argv: list[str]) -> int:
    with ZipFile(argv[1]) as z:
        for fn in z.namelist():
            if not fn.endswith('.csv'):
                continue

derrickturk

let rec fix f x = f (fix f) x

let fac =
  let fac' f n = if n = 0 then 1 else n * f (n - 1) in
  fix fac'

let rec fix2 f =
  let rec a inp =
    let (fix_a, _) = f (fix2 f) in
    fix_a inp

derrickturk

(* extensible variant types, including GADTs
 * not to be confused with polymorphic variants
 *)

type extend_me = ..

type extend_me += This
type extend_me += That of int
type extend_me += TheOther of string

derrickturk

use std::io::{self, BufRead};

fn rot13(s: &str) -> String {
    s.chars().map(|c| {
        if c.is_ascii_lowercase() {
            ((c as u8 - b'a' + 13) % 26 + b'a') as char
        } else if c.is_ascii_uppercase() {
            ((c as u8 - b'A' + 13) % 26 + b'A') as char
        } else {
            c