henrytill

{-# LANGUAGE DeriveDataTypeable, GeneralizedNewtypeDeriving, TemplateHaskell, FlexibleInstances #-}
{-# OPTIONS_GHC -Wall -fno-warn-missing-signatures #-}
module QQAST where

import Control.Applicative
import Control.Exception
import Control.Monad.State
import Data.Data (Data)
import Data.Generics (extQ)
import Data.IORef

henrytill

# Python 3
import collections
Write = collections.namedtuple("Write", ["written"])

def hello_world():
    yield Write("Hello, world!")
    yield Write("Hello, world!")
    return 1

def identity(gen):

henrytill

(** Supporting code for the "GADTs gone mild" talk *)

(** Compact Arrays
    https://blogs.janestreet.com/why-gadts-matter-for-performance/
*)
module CompactArray = struct

  type 'a t =
    | Array of 'a array
    | String of string

henrytill

from dataclasses import dataclass
from typing import Generator, TypeVar, Any, Callable, Optional, cast, NamedTuple, Dict, Type, Tuple, Generic

R = TypeVar("R")

Eff = Generator[Tuple[Any, ...], Any, R]

def handle_op(
    g: Eff[R],
    op: Tuple[Any, ...],

henrytill

{-# OPTIONS --postfix-projections #-}

module tuple where





------------------------------------------------------------------------------
--