haxor@derp.fooMB to Hacker News@derp.fooEnglish · 1 year agoA Gentle Introduction to Liquid Typesgoto.ucsd.eduexternal-linkmessage-square1fedilinkarrow-up13arrow-down10file-textcross-posted to: [email protected]
arrow-up13arrow-down1external-linkA Gentle Introduction to Liquid Typesgoto.ucsd.eduhaxor@derp.fooMB to Hacker News@derp.fooEnglish · 1 year agomessage-square1fedilinkfile-textcross-posted to: [email protected]
minus-squarejbrainslinkfedilinkEnglisharrow-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.