4 ms·You should check out some dependently typed languages.by ufo 13y agoYou should check out some dependently typed languages.