Anonymous user
Rosetta Code talk:Village Pump/Suggest a programming task: Difference between revisions
Rosetta Code talk:Village Pump/Suggest a programming task (view source)
Revision as of 01:13, 4 February 2009
, 15 years ago→Assertions
Line 27:
: Is there a literary definition of the concept? As far as I know, it's a runtime check of a boolean condition, combined with a debugging aid, such as a breakpoint or logging command. That concept seems fairly universal, at least for procedural languages. I'd be curious what the analog would be for languages like Lisp or Haskell. --[[User:Short Circuit|Short Circuit]] 23:39, 3 February 2009 (UTC)
:: I know Modula-3 and Ada both have assertion pragmas. I believe OCaml/F#
| |||