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.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Apparently, git + pastebin = gist.github.com... |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | |
Homoiconic Propagator Networks | |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | |
An MMP Mini-Proposal by David Dalrymple | |
======================================= | |
============ | |
Who are you? | |
============ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# 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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
\documentclass[letter,11pt]{article} | |
\usepackage[english]{babel} | |
\usepackage[T1]{fontenc} | |
\usepackage[ansinew]{inputenc} | |
\usepackage{verse} | |
\usepackage{parskip} | |
\usepackage{lmodern} % font definition | |
\usepackage{graphicx} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
MOVED to https://github.com/davidad/asymptones_script |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(•_•) | |
( •_•)>⌐■-■ | |
(⌐■_■) | |
YEEEEEEEAAAAAAAAAAAHHHHH!!!!! |
OlderNewer