typ.py

import operator

class RuntimeError(Exception):
    pass

def objectify(x):
    if isinstance(x, int): return Integer(x)
    if isinstance(x, float): return Decimal(x)
    if isinstance(x, str): return String(x)
    return x

def compose(f, g): return lambda *a: f(g(*a))
op_add = compose(objectify, operator.add)
op_sub = compose(objectify, operator.sub)
op_mod = compose(objectify, operator.mod)
op_eq = compose(objectify, operator.eq)
def op_smod(f, *a): return objectify(operator.mod(f, a))

class S(object):
    all = {}
    def __new__(clas, s):
        if isinstance(s, S): return s
        if not isinstance(s, str): raise TypeError("can't intern non-string")
        if s not in clas.all:
            clas.all[s] = object.__new__(clas)
        return clas.all[s]

    def __init__(self, s):
        if isinstance(s, str):
            self.s = s

    def __str__(self): return self.s
    def __repr__(self): return self.s
    def __eq__(self, other):
      return self is other
    def __cmp__(self, other):
      return cmp(self.s, other.s)

    def __getitem__(self, k):
        return self.s[k]

class Integer(int):
    pass
setattr(Integer, '+', op_add)
setattr(Integer, '-', op_sub)
setattr(Integer, '%', op_mod)
setattr(Integer, '=', op_eq)

class Decimal(float):
    pass
setattr(Decimal, '+', op_add)
setattr(Decimal, '-', op_sub)
setattr(Decimal, '%', op_mod)
setattr(Decimal, '=', op_eq)


class String(str):
    def setpos(self, pos):
        self.pos = pos
        return self
setattr(String, '+', op_add)
setattr(String, '-', op_sub)
setattr(String, '%', op_smod)
setattr(String, '=', op_eq)

class ForeignString(str):
    def setpos(self, pos):
        self.pos = pos
        return self

class InlineMethEntry(object):
    def __init__(self, name):
        self.name = str(name)
    def __str__(self):
        return self.name


def pair2tuple(pair):
    return pair.car(), pair.cdr()