翻訳と辞書
Words near each other
・ stratus
・ strawman
・ stream
・ stream-oriented
・ streaming
・ streaming simd extensions
・ streams
・ strength reduction
・ stress
・ stress testing
strict
・ strict evaluation
・ strided
・ string
・ string expression interpreter
・ string oriented interactive compiler
・ string oriented symbolic language
・ string processing language
・ string reduction
・ stripe


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

strict : FOLDOC
strict
A function f is strict in an argument if
f bottom = bottom

(See bottom). In other words, the result depends on the argument so evaluation of an application of the function cannot terminate until evaluation of the argument has terminated.
If the result is only bottom when the argument is bottom then the function is also bottom-unique.
See also strict evaluation, hyperstrict.
(1995-01-25)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.