d-plaindoux

#                                                                                                                                                                             
# Simpla and Naive type checker ...                                                                                                                                           
#                                                                                                                                                                             

import inspect

class TypeCheckError(Exception):
    pass

d-plaindoux

package main

import "fmt"

type Peano interface { isPeano() }

// Zero
type Zero struct {}
func (z Zero) isPeano() {}