TIL that Idris also has a very similar `!` operator (in the prefix position inst... | Hacker News

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

		rtfeldman on April 29, 2024 \| parent \| context \| favorite \| on: Functional semantics in imperative clothing TIL that Idris also has a very similar `!` operator (in the prefix position instead of suffix) - thank you for sharing!

alipang on April 29, 2024 [–]

Even Javascript has a similar syntax, though `yield` / `await` only works for certain "monads" (promises seem close enough)

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