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.

questionAnswers(2)

yourAnswerToTheQuestion