view wisdom/substructural typing @ 2249:129aa859f1db

<oerjan> sed -i \'s/str[^ ]*/\'\\\'\'%02d\'\\\'\' % random.randrange(2,15)/\' bin/colorize
author HackBot
date Mon, 25 Feb 2013 22:33:45 +0000
parents c75f9294c99f
children
line wrap: on
line source

Not to be confused with structural subtyping.