funkcja i surowość seq
Bardzo się nad tym zastanawiałem, ale nie byłem w stanie niczego o tym dowiedzieć.
Podczas korzystania zseq
funkcja, jak to się dziejenaprawdę praca? Wszędzie wyjaśniono, że tak jestseq a b
oceniaa
, odrzuca wynik i zwracab
.
Ale co to robinaprawdę oznaczać? Czy następujące wyniki doprowadzą do ścisłej oceny:
foo s t = seq q (bar q t) where
q = s*t
Mam na myśli, że jestq
ściśle oceniane przed użyciembar
? A czy poniższe będą równoważne:
foo s t = seq (s*t) (bar (s*t) t)
Uważam, że trochę trudno jest uzyskać szczegółowe informacje na temat funkcjonalności tej funkcji.