deniok: (пацифик)
2015-09-30 12:07 pm
Entry tags:

Вопрос про WHNF

А вот подскажите, на Haskell Wiki вот тут в последнем абзаце дурь написана, да? Никакой разницы между встроенными и пользовательскими частично примененными функциями нет?
Prelude> (+) undefined `seq` 5
5
Prelude> const undefined `seq` 5
5
Prelude> (\x y -> x) undefined `seq` 5
5
Или это только в последней версии GHC?

UPD. Нет, понял, там все верно, сам дурак. Пусть висит, демонстрирует мою глупость urbi et orbi.
deniok: (ухмыляюсь)
2012-11-29 08:54 pm
Entry tags:

Рабочий момент, Agda

Что-то у меня хаскелевский импорт вот так работает
{-# IMPORT System.IO #-}
а вот так ломается
{-# IMPORT System.IO (hPutStrLn) #-}
говоря Parse error (hPutStrLn). Хотя у Норелла в Dependently Typed Programming in Agda список импорта в примере используется. Agda 2.3.0.1 под Windows. Посмотрите у кого более свежая (2.3.2) и/или другая OS.
deniok: (Default)
2012-03-27 07:13 pm
Entry tags:

Вопрос

А с каких это пор у нас в Data.Monoid поселился такой оператор
infixr 6 <>

(<>) :: Monoid m => m -> m -> m
(<>) = mappend
и где это задокументировано?