denotational-semantics

1熱度

1回答

我在寫一個語言規範，我需要解決以下基本問題。假設我有（被認爲是人爲的）抽象語法： <A> ::= <B> | <C> <B> ::= 1 | 2 | 3 <C> ::= 4 | 5 | 6 這種語言的指稱語義是什麼樣的？非終端包含在'<'和'>'中，終端不是。我想將1 ... 6映射到自然數域。我不清楚的是我是否需要爲非終端提供映射。似乎我不需要，因爲，例如，<A> ::= <B> | <

8熱度

1回答

Haskell的「評估」會降低到正常還是WHNF？

我的理解（I think）是Haskell的seq，將（一般）reduce它的第一個參數WHNF，看到這種行爲，因爲預計在GHCI： λ> let x = (trace "foo" Foo (trace "bar" Bar 100)) in seq x 0 foo 0 然而，儘管documentation for evaluate說，這也降低了它的參數到WHNF，它看起來像它實際上完全降低