問題タブ [weak-head-normal-form]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
haskell - Haskell はこの素数関数をどのように評価しますか?
primesHaskell がこの関数をどのように評価するかを理解するのはかなり難しいと思います。関数はprimes何度も評価されますか、それとも関数primes内のprimeFactorsは最初の を指しprimesますか?
haskell - Haskells ウィークヘッドノーマルフォーム
私はいくつかの刺激的なことにつまずきました。haskell が弱い頭部正規形 (WHNF) で機能することを知っており、これが何であるかを知っています。次のコードを ghci に入力します (私の知る限りでは、式を WHNF に縮小するコマンド :sprint を使用しています)。
これはintlist = _私にとって完全に理にかなっています。
これはstringlist = [_,_]
すでに私を混乱させます。しかしその後：
驚くほど与えるcharlist = ["hi","there"]
私が Haskell を理解している限り、文字列は char のリストに他なりません。これは、型"hi" :: [Char]と['h','i'] :: [Char].
私の理解では、上記の 3 つの例はすべてほぼ同じ (リストのリスト) であり、したがって同じ WHNF、つまり _. 私は何が欠けていますか？
ありがとう