made via 논리상수,logical_constant.

MKLINK
뜻,meaning
의미,meaning
의미론,semantics
{
strictness? 에 따라

strict_semantics
https://wiki.haskell.org/Strict_semantics
"undefined argument of a function leads to an undefined function value."
비정의된 인수값이 비정의된 함수값,function_value를 이끌어내는?

non-strict_semantics

Semantics_(computer_science)
}
값,value

Compare
진리값,truth_value → 진리값,truth_value