haxor@derp.fooB to Hacker News@derp.fooEnglish · 1 year agoA Gentle Introduction to Liquid Typesgoto.ucsd.edumessage-square1fedilinkarrow-up13arrow-down10file-text
arrow-up13arrow-down1external-linkA Gentle Introduction to Liquid Typesgoto.ucsd.eduhaxor@derp.fooB to Hacker News@derp.fooEnglish · 1 year agomessage-square1fedilinkfile-text
minus-squarejbrains@sh.itjust.workslinkfedilinkEnglisharrow-up2·1 year agoContract semantics as types? Sure, let’s see how far it goes, how much it helps, and when it becomes a problem. If it saves us some contract tests, I’m all for it.
Contract semantics as types? Sure, let’s see how far it goes, how much it helps, and when it becomes a problem. If it saves us some contract tests, I’m all for it.