Haskell, 06 лекция (от 02 ноября)

Материал из eSyr's wiki.

• Аудиозапись: http://esyr.org/lections/audio/haskell_2010_winter/haskell_10_11_02.ogg
• Видеозапись: http://esyr.org/video/haskell/haskell_10_11_02.raw.ogv

...

задача на ... про переписывание кода на Haskell, перемножение матриц

\(u, v) →  i ← v | j ← u]

• sum — сумма
• zipWith :: (a → b → c) → [a] → [b] → [c]

И автоматически будет выведен тип данного выражения (Integer, Integer), и если попытаться, например в интерпретаторе, скормить нечто, не являещееся таковым, то возникнет ошибка.