davidad

MOVED to https://github.com/davidad/asymptones_script

davidad

0/no straight: 11111
0/no straight: 11112
0/no straight: 11113
0/no straight: 11114
0/no straight: 11115
0/no straight: 11116
0/no straight: 11121
0/no straight: 11122
0/no straight: 11123
0/no straight: 11124

davidad

\documentclass[letter,11pt]{article}

\usepackage[english]{babel}
\usepackage[T1]{fontenc}
\usepackage[ansinew]{inputenc}
\usepackage{verse}

\usepackage{parskip}
\usepackage{lmodern}	% font definition
\usepackage{graphicx}

davidad

Lucid Typing: Resolving the false dichotomy of static vs. dynamic

Abstract

In designing a programming language, it is conventional wisdom that one must decide quite early whether its type system will be static or dynamic. If it is static, then all the types must be resolved at compile time, without any knowledge of the actual data the program will operate on. On the other hand, if it is dynamic, then all the types must be resolved at the moment it is necessary, with no way of anticipating potential errors or optimizations in advance. We show that the primary reason for this dichotomy is the common notion of mutability, and propose a system of "lucid types" which provides static-like analysis in the runtime environment, while smoothly permitting fully dynamic typing and fully compile-time typing as two ends of a continuum.

davidad

{-# LANGUAGE UndecidableInstances, FlexibleInstances #-}
module Main where

import IO
import Control.Concurrent
import Control.Exception
import System.IO.Unsafe
import Data.Ord

class JoinLattice a where

davidad

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Homoiconic Propagator Networks
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

An MMP Mini-Proposal by David Dalrymple
=======================================

============
Who are you?
============

davidad

#!/bin/bash

# Install dependencies
sudo apt-get install ghc6 ghc6-prof ghc6-doc haddock libglut-dev happy alex \
  libedit-dev zlib1g-dev checkinstall libghc6-mtl-prof

# Get haskell-platform
wget http://hackage.haskell.org/platform/2009.2.0.2/haskell-platform-2009.2.0.2.tar.gz
tar -xzf haskell-platform-2009.2.0.2.tar.gz
cd haskell-platform-2009.2.0.2

davidad

Apparently, git + pastebin = gist.github.com...