start new:
tmux
start new with session name:
tmux new -s myname
{-# | |
LANGUAGE | |
DeriveGeneric, DeriveDataTypeable, | |
MultiParamTypeClasses, | |
ViewPatterns | |
#-} | |
-- A short example of an ML-style module system atop a core lambda calculus. | |
-- | |
-- The core expression language has variables, applications and | |
-- lambdas and constants. The type language has variables (of the single kind *) |
#!/usr/bin/env cabal | |
{- cabal: | |
build-depends: base, mwc-random | |
ghc-options: -with-rtsopts=-s -Wall | |
-} | |
{- | |
Copyright (C) 1998 Ross Ihaka | |
Copyright (C) 2000-2014 The R Core Team | |
Copyright (C) 2007 The R Foundation |
{-# LANGUAGE GADTs #-} | |
module Main where | |
import Control.Applicative (liftA2) | |
data Yaml | |
= String String | |
| Object [(String, Yaml)] | |
deriving Show |
Every once in a while I investigate low-level backend options for PL-s, although so far I haven't actually written any such backend for my projects. Recently I've been looking at precise garbage collection in popular backends, and I've been (like on previous occasions) annoyed by limitations and compromises.
I was compelled to think about a system which accommodates precise relocating GC as much as possible. In one extreme configuration, described in this note, there
#!/usr/bin/env cabal | |
{- cabal: | |
build-depends: base, mtl, containers, uniplate | |
ghc-options: -Wall | |
-} | |
-- | An example of a kind inference for data types using | |
-- unification-based constraint solving. | |
-- | |
-- See the blog post: |