combine the best invention of 20th century mathematics (types) with the worst invention of 20th century computing (javascript) and you get something which is kind of cool when it's not actively trying to kill you