HaskellWiki

Haskell | Wiki community | Recent changes
Random page | Special pages

 

Not logged in
Log in | Help
Request an account if you don't have one.

Strict semantics

Categories: Glossary

Is the opposite of ... yeah guess what? ... the opposite of non-strict semantics. It means, that an undefined argument of a function leads to an undefined function value. 

forall f.  f undefined = undefined

It may be implemented by eager evaluation.

Strict semantics is used e.g. in OCaml and LISP.

Retrieved from "http://haskell.cs.yale.edu/haskellwiki/Strict_semantics"

This page has been accessed 679 times. This page was last modified 16:54, 28 December 2008. Recent content is available under a simple permissive license.