deniok: (пацифик)
А вот подскажите, на 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: (ухмыляюсь)
Что-то у меня хаскелевский импорт вот так работает
{-# 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)
А с каких это пор у нас в Data.Monoid поселился такой оператор
infixr 6 <>

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

Profile

deniok: (Default)
deniok

February 2022

S M T W T F S
  12345
6789101112
13141516171819
20212223 242526
2728     

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 7th, 2025 02:31 am
Powered by Dreamwidth Studios