I feel like there was a name for formal specs that produce an exact output, but ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

jimbokun 4 months ago | parent | context | favorite | on: Go: Support for Generic Methods

I feel like there was a name for formal specs that produce an exact output, but it escapes me…

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact