- Haskell-Cafe - Haskell.org

mine sockets lib vs yesod
by Branimir Maksimovic 27 Sep '21

27 Sep '21

Let’s compare: 1000 parallel connections 100k requests yesod : 7658 recs/sec Errors 85808 Timeouted 0 Mine:: 12699 recs/sec Errors 0 Timeouted 0 10k connections, 100k requests: yesod: 5205 recs/sec Errors 81152 Timeouted 3842 Mine: 8160 recs/sec Errors 0 Timeouted 46 Sources: Yesod: / HomeR GET |] instance Yesod HelloWorld getHomeR :: Handler () getHomeR = do number <- liftIO (randomIO :: IO Float) let txt = pack $ "hello world " ++ show number sendResponse (txt:: Text) main :: IO () main = warp 3838 HelloWorld Mine: import Sockets import Foreign.C.String import Data.IORef import Control.Concurrent main = do ref <- newIORef 1 s <- socket defaultCallbacks { constructor = \ci -> set_cb ci defaultCallbacks { done_connected = binded ref, done_reading = process } } pl <- epoll 1000 pl1 <- epoll 1000 pl2 <- epoll 1000 pl3 <- epoll 1000 listen s "8080" pl_accept pl s pl_accept pl1 s pl_accept pl2 s pl_accept pl3 s let run pl = do forkIO $ run_loop pl (-1) run pl run pl1 run pl2 run_loop pl3 (-1) binded ref pl s = do i <- readIORef ref putStrLn $ "connection nr:"++show i writeIORef ref (i+1) pl_read pl s return 0 process pl s buf len = do str <- peekCStringLen (buf,fromIntegral len) ip <- client s str1 <- peekCString ip putStrLn $ "from "++str1++" \ngot "++str write pl s "Hello World!!!\r\n" return 0 if using -threaded performance is *worse*. Greetings, Branimir.

3 4

Munich Haskell Meeting, 2021-09-27 @ 19:30
by Leah Neukirchen 25 Sep '21

25 Sep '21

Dear all, next week, our monthly Munich Haskell Meeting will take place again on Monday, September 27 at Augustiner-Gaststätte Rumpler(!!) at 19h30. For details see here: http://muenchen.haskell.bayern/dates.html If you plan to join, please add yourself to this dudle until Monday 12:00 so we can reserve enough seats! It is OK to add yourself to the dudle anonymously or pseudonymously. Please note that not more than 10 people can attend---first come, first serve. https://dudle.inf.tu-dresden.de/haskell-munich-sep-2021/ Everybody is welcome! cu, -- Leah Neukirchen <leah(a)vuxu.org> https://leahneukirchen.org/

1 0

[BUG] Criterion is tied to x86 architecture
by Branimir Maksimovic 25 Sep '21

25 Sep '21

Problem as I work on Apple M1 processor, can’t compile Criterion as it use x86 specific features. Greetings, Branimir.

2 2

Re: [Haskell-cafe] Numerics (was: Re: Trouble with asinh)
by Carter Schonwald 24 Sep '21

24 Sep '21

Hey David, Create a tracking ticket on the ghc for the set of changes / issues you wanna address and how, and @ me on it (I’ll then make sure to at other applicable Dolan )and I’ll try to help you get oriented and make sure it has the right visibility so we can help you out! On Sat, Sep 18, 2021 at 12:00 PM David James <davjam(a)live.com> wrote: > Hi thanks for the comments. I actually have draft rewrites of the Haskell > complex functions with (I think) the correct behaviour, including branch > cuts. But I discovered the errors in the underlying real functions while > testing them. I’d like to try fixing all of these, but will probably need > some help. > > Are there instructions somewhere on the process to fix a bug (presumably > forking in GitHub, fixing code, adding test cases, running some CI, both > for Linux and Windows, etc)? (And is there something similar for fixing > mingle-w64 bugs?) > > I’ve been developing more test cases (esp for infinities +/-0, etc), but > if there are any ideas/references on how to thoroughly test real or complex > functions, that would also be useful. > > I’m currently away (and struggling to type on a phone) but will send more > details (and pictures based on those in Common Lisp The Language 2nd > edition) when I’m back. > > Thanks! David. > > > > > On 17 Sep 2021, at 22:06, Barak A. Pearlmutter <barak(a)pearlmutter.net> > wrote: > > > > I suspect that most implementations of Common Lisp just call the C > > standard library catan(3) etc, which are well tuned. > > > > $ clisp > > Welcome to GNU CLISP 2.49.92 (2018-02-18) <http://clisp.org/> > > [1]> (atan #c(0 1d-40)) > > #C(0 1.0d-40) > > > > In this particular case, the problem is that the Haskell Data.Complex > > code has its own implementation of atan, which uses a log(1 + x) in > > calculating the imaginary part. A foreign function call to the > > appropriate libm routine would robustly address this, but that would > > be difficult because it's trying to be generic over RealFloat a => > > Complex a, instead of special casing Complex Float / Complex Double. > > Anyway, the Standard Prelude code for this is naïve: it should call > > log1p, at the very least—which it actually goes to the trouble of > > defining correctly, but not exporting. > > _______________________________________________ > > Haskell-Cafe mailing list > > To (un)subscribe, modify options or view archives go to: > > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe > > Only members subscribed via the mailman list are allowed to post. >

1 0

ANN: hledger-1.23
by Simon Michael 22 Sep '21

22 Sep '21

We are very pleased to announce.. ..that the hledger repo recently passed 10000 commits. See https://hledger.org/CREDITS.html for more details, perhaps your name is there. Also.. hledger 1.23 ! https://hledger.org/release-notes.html#hledger-1-23 describes the user-visible changes. Highlights include: - Capital gains reporting (`bal --gain`) - Separate symbol/number display (`--commodity-column`) - Command line commodity styling (`-c|--commodity-style`) - budget selection (`bal --budget=BUDGETNAME`) - weekday/weekend recurrence (`~ every weekday ...`) - 10% speedup - Bugfixes. Thank you to release contributors: Stephen Morgan, Lawrence Wu, Jakob Schöttl, Dmitry Astapov, Malte Brandy, Arsen Arsenović, Arjen Langebaerd, Alan Young, Daniel Gröber. hledger (https://hledger.org) is a dependable, cross-platform "plain text accounting" tool, with command-line, terminal and web interfaces. It is an actively maintained, largely compatible reimplementation of Ledger CLI with many improvements. You can use it to track money, time, investments, cryptocurrencies, inventory and more. See also the Plain Text Accounting site (https://plaintextaccounting.org) https://hledger.org/download shows all the ways to install hledger on mac, windows or unix (stack, cabal, brew, nix, CI binaries, your package manager..). Or, run this bash script to install or upgrade to the latest release: $ curl -sO https://raw.githubusercontent.com/simonmichael/hledger/master/hledger-insta… $ less hledger-install.sh # security review $ bash hledger-install.sh New users, check out https://hledger.org/quickstart or the tutorials (with pictures) at hledger.org -> FIRST STEPS or the https://hledger.org/videos.html. To get help, see https://hledger.org#help, and join our chat via Matrix: - #hledger:matrix.org (http://matrix.hledger.org) or Libera (they are bridged): - #hledger:libera.chat (http://irc.hledger.org) Beginners and experts, contributors, sponsors, and all feedback are most welcome. Wishing you health and prosperity, -Simon

1 0

I wish to share IRC bot C++ code and lib as needed, if interrested
by Branimir Maksimovic 22 Sep '21

22 Sep '21

Collected hangman game and some from internet… Greetings, Branimir. -------- {-# Language ScopedTypeVariables,BangPatterns #-} import Sockets import Foreign.C.String import Data.List import Data.Char import Data.IORef import System.Random import Data.Time.Clock.POSIX import Control.Applicative ((<$>), (<*>)) import Text.Read import Text.Printf import Control.Monad (when) import Data.Char (toLower) import Data.List (transpose) import System.Random (randomIO) import System.IO.Unsafe import System.Mem import System.Process main = do pt <- getPOSIXTime let tm = round pt :: Int stdgen <- newIORef $ mkStdGen tm ref <- newIORef "" gen <-readIORef stdgen gsref <- newIORef $ fst $ newGame gen tm <- newIORef pt let myCallbacks = defaultCallbacks { done_connected = binded, done_reading = response_get tm ref stdgen gsref, done_writing = response_written, done_closed = \pl s -> do putStrLn "peer closed, reconnecting" s <- socket myCallbacks connect pl s "170.178.184.36:6667" return 1, handle_error = \pl s buf len-> do str <- peekCStringLen (buf,fromIntegral len) putStrLn $ "error "++str++", reconnecting" s <- socket myCallbacks connect pl s "170.178.184.36:6667" return 1, tick = binded_tick tm } s <- socket myCallbacks pl <- epoll 1000 connect pl s "170.178.184.36:6667" run_loop pl (-1) nick :: [StdGen] -> (String,[StdGen]) nick [gen] = let (s,gen') = randomR(0::Int,100) gen in ("zeka_bot_"++ show s,[gen']) nick [] = ("zeka_bot",[]) binded pl s = do let (s',_) = nick [] write pl s $ "NICK "++s'++"\r\n" return 0 binded_tick tm s = do t <- readIORef tm t' <- getPOSIXTime if (t'-t) > 900 then return 1 else return 0 list_zeka = [ "PRIVMSG #hr.soc.politika :OS ME TRTIS?\r\n", "PRIVMSG #hr.soc.politika :LJUCKA BEDA\r\n", "PRIVMSG #hr.soc.politika :OS?\r\n", "PRIVMSG #hr.soc.politika :NOMEN EST OMEN\r\n", "PRIVMSG #hr.soc.politika :DECAK MURAT\r\n", "PRIVMSG #hr.soc.politika :KULT JARCA\r\n", "PRIVMSG #hr.soc.politika :DAJ ME TRTI\r\n", "PRIVMSG #hr.soc.politika :KULT VAGINE\r\n", "PRIVMSG #hr.soc.politika :KULT PENISA\r\n", "PRIVMSG #hr.soc.politika :subice mi se moraju smesta podati!!!!!!!!!!!!\r\n", "PRIVMSG #hr.soc.politika :OS ME?\r\n", "PRIVMSG #hr.soc.politika :Zeka kakio, pa pasulj fini ždere a vešmašina veš lepo pere, yeeeeeeeee\r\n", "PRIVMSG #hr.soc.politika :PRKNO\r\n", "PRIVMSG #hr.soc.politika :DAJ MENI\r\n", "PRIVMSG #hr.soc.politika :CELOVJEK DLAKUS\r\n", "PRIVMSG #hr.soc.politika :KAKIO SAM\r\n", "PRIVMSG #hr.soc.politika :GADE!!!\r\n", "PRIVMSG #hr.soc.politika :DAJ ME NABIJAJ JEBATE\r\n", "PRIVMSG #hr.soc.politika :DAJ ME JEBI\r\n", "PRIVMSG #hr.soc.politika :ZELIS ME GOLOG?\r\n", "PRIVMSG #hr.soc.politika :A sad opet pod deku....\r\n", "PRIVMSG #hr.soc.politika :Gentleman Dominant, to je moja titula, tako i izgledam, tako se i oblačim\r\n", "PRIVMSG #hr.soc.politika :Ja obožavam DREK\r\n", "PRIVMSG #hr.soc.politika :Konačno precima na grobu!!\r\n", "PRIVMSG #hr.soc.politika :Zeka sa drugarom prošo celi Mirogoj, yeeeeeeeee\r\n", "PRIVMSG #hr.soc.politika :Lepo bi bilo da odem do Beograda za 10 dana\r\n", "PRIVMSG #hr.soc.politika :da pojebem srpske subice\r\n", "PRIVMSG #hr.soc.politika :Neka mi daju i dobru ženicu subicu, da mi rodi dečicu, yeeeeeeee\r\n", "PRIVMSG #hr.soc.politika :zahvalio sam im na grobu\r\n", "PRIVMSG #hr.soc.politika :Jeste, duhovi predaka mi donose oporavak ovih dana\r\n", "PRIVMSG #hr.soc.politika :Ja usamljen? 5 sati sam danas šetao i pričao sa drugarom\r\n", "PRIVMSG #hr.soc.politika :1 + 4,5 = 5,5 sati sna\r\n", "PRIVMSG #hr.soc.politika :Zeka je bolje, pomogo xanax, ne kolje mi se više\r\n", "PRIVMSG #hr.soc.politika :Naručio pizzu da se počastim :-)\r\n", "PRIVMSG #hr.soc.politika :uvek istu vrstu pizze već godinama\r\n", "PRIVMSG #hr.soc.politika :Tako sam dobar, duša od čoveka\r\n", "PRIVMSG #hr.soc.politika :Volim ja kurve ali NEĆU da plaćam više\r\n", "PRIVMSG #hr.soc.politika :BDSM subice............ žude da se podaju Dominantu.......\r\n", "PRIVMSG #hr.soc.politika :Točno, ja sada hoću isključivo subice slatkice :-))\r\n", "PRIVMSG #hr.soc.politika :Došao eka sa tuluma Filozofskog fakulteta, yeeeeeeeeeeee\r\n", "PRIVMSG #hr.soc.politika :Treba slejvicu povesti u Maksimir i pojebati je ispred kaveza s majmunima\r\n", "PRIVMSG #hr.soc.politika :Nazivaš me smrdom a ja mirišem po prekrasnom parfemu\r\n", "PRIVMSG #hr.soc.politika :Pičke mene ne zanimaju nego prkna\r\n", "PRIVMSG #hr.soc.politika :Zeka se vasceo dan odmarao i spavao\r\n", "PRIVMSG #hr.soc.politika :Kaže ta Zadranka 'imam malo drukčiji ukus što se tiče osobnosti muškaraca'\r\n", "PRIVMSG #hr.soc.politika :a ja samo odgovorio 'OK, o ukusima se ne raspravlja' :-)\r\n", "PRIVMSG #hr.soc.politika :<Zdepasti_Zeka>oduvek sam hteo da vladam, a vremenom sam se naučio i da upravljam ljudskim životima\r\n", "PRIVMSG #hr.soc.politika :Reci im kume\r\n", "PRIVMSG #hr.soc.politika :oy drug\r\n", "PRIVMSG #hr.soc.politika :Danas ću poslati Dadeku stvari za Novi Sad :-)\r\n", "PRIVMSG #hr.soc.politika :Sanjam Dadeka kako se \"kreše\" s drugima.... yaoy\r\n", "PRIVMSG #hr.soc.politika :OLOSU!\r\n", "PRIVMSG #hr.soc.politika :JA ZUDIM!\r\n", "PRIVMSG #hr.soc.politika :Želiš moje TESTISE???????? MUDA??????????\r\n", "PRIVMSG #hr.soc.politika :DAJ MI MOLOHA JEBATE PATAK\r\n", "PRIVMSG #hr.soc.politika :Jezivo........\r\n", "PRIVMSG #hr.soc.politika :Gade, ja sam siroče\r\n", "PRIVMSG #hr.soc.politika :Prrrrrd........\r\n", "PRIVMSG #hr.soc.politika :ĆE ME TRTIŠ?\r\n", "PRIVMSG #hr.soc.politika :OŠ MOJA MUDA? \r\n", "PRIVMSG #hr.soc.politika :OŠ ME JEBAT? \r\n", "PRIVMSG #hr.soc.politika :JEDAN JEBE A DRUGI JE JEBEN!! \r\n", "PRIVMSG #hr.soc.politika :AKTIVAC I PASIVAC \r\n", "PRIVMSG #hr.soc.politika :Uuuuuuuu, kako sam iz-bacivao iz-metine iz ČMARA! \r\n", "PRIVMSG #hr.soc.politika :MIRSAD JE PONOVO ROĐENI KRŠĆANIN \r\n", "PRIVMSG #hr.soc.politika :LOOOOOL \r\n", "PRIVMSG #hr.soc.politika :U MENI IMA ZRNO LJUDSKOSTI \r\n", "PRIVMSG #hr.soc.politika :Mirsad opet prdi \r\n", "PRIVMSG #hr.soc.politika :ŽIVI LEŠ \r\n", "PRIVMSG #hr.soc.politika :PRAVO U ĆĆĆĆMAR! \r\n", "PRIVMSG #hr.soc.politika :NABIJANJE KURĆĆĆĆĆĆINE U ĆĆĆĆĆĆĆMAR \r\n", "PRIVMSG #hr.soc.politika :RAZBIJANJE LOBANJE ČEKIĆEM \r\n", "PRIVMSG #hr.soc.politika :PEDERE U LUDNICE \r\n", "PRIVMSG #hr.soc.politika :SAĆE DA TE TRTIM!!! \r\n", "PRIVMSG #hr.soc.politika :JA SAM AKTIVAC \r\n", "PRIVMSG #hr.soc.politika :JA NIJESAM PASIVAC \r\n", "PRIVMSG #hr.soc.politika :JEBEM TI SRBOČETNIČKU MATERIJU!!!!! \r\n", "PRIVMSG #hr.soc.politika :SRBOČETNICIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIII \r\n", "PRIVMSG #hr.soc.politika :ŽIV'LA 'RVACKA \r\n", "PRIVMSG #hr.soc.politika :PAZITE SE SRBOČETNICI \r\n", "PRIVMSG #hr.soc.politika :MI DOLAZIMO \r\n", "PRIVMSG #hr.soc.politika :GNJIDO \r\n", "PRIVMSG #hr.soc.politika :SAĆU DA TE TRTIM \r\n", "PRIVMSG #hr.soc.politika :SRBO \r\n", "PRIVMSG #hr.soc.politika :JA SAM GENIJE DO YAYA \r\n", "PRIVMSG #hr.soc.politika :DA, TO SAM YA \r\n", "PRIVMSG #hr.soc.politika :PE------ŠKOOOOOO \r\n", "PRIVMSG #hr.soc.politika :ZNAJU GEJEVI DA PEVAJU \r\n", "PRIVMSG #hr.soc.politika :KAO KASTRATI AKA 'KONTRATENORI' \r\n", "PRIVMSG #hr.soc.politika :DAJ GEJA BRE \r\n", "PRIVMSG #hr.soc.politika :NE ŽELIŠ VEČITE GOLE ORGIJE S KURVAMA??????? \r\n", "PRIVMSG #hr.soc.politika :JA VOLIM \r\n", "PRIVMSG #hr.soc.politika :KURVE \r\n", "PRIVMSG #hr.soc.politika :MRZIM TRŽIŠTE \r\n", "PRIVMSG #hr.soc.politika :TRŽIŠTE LJUCKIH BIĆA \r\n", "PRIVMSG #hr.soc.politika :POČNI DA ME MLATIŠ PO GLAVI \r\n", "PRIVMSG #hr.soc.politika :GAY KLUB \r\n", "PRIVMSG #hr.soc.politika :MASNI PASIVAC \r\n", "PRIVMSG #hr.soc.politika :ŽELIM TE GOLOG! \r\n", "PRIVMSG #hr.soc.politika :DEČACI KURVE \r\n", "PRIVMSG #hr.soc.politika :DEČACI MURATI \r\n", "PRIVMSG #hr.soc.politika :NEŠ GA KUPIT \r\n", "PRIVMSG #hr.soc.politika :ŽELIM PAKAO \r\n", "PRIVMSG #hr.soc.politika :UNAKAZITE ME!!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :ZEKA ZNA \r\n", "PRIVMSG #hr.soc.politika :NEŠ \r\n", "PRIVMSG #hr.soc.politika :AJDE DOĐI I KOLJI \r\n", "PRIVMSG #hr.soc.politika :SUDIT ĆE TI BOJOVNICI IZ ČAVOGLAVA \r\n", "PRIVMSG #hr.soc.politika :TAKO SE BOJIM.......... \r\n", "PRIVMSG #hr.soc.politika :NEMOJ ME UMLAĆIVAT MOČUGOM \r\n", "PRIVMSG #hr.soc.politika :ŽELATINOZNA MASA \r\n", "PRIVMSG #hr.soc.politika :ŽVALE \r\n", "PRIVMSG #hr.soc.politika :STRAH OBUZIMA \r\n", "PRIVMSG #hr.soc.politika :BOJIM SE........ \r\n", "PRIVMSG #hr.soc.politika :ULAZE MI U ČAKRU \r\n", "PRIVMSG #hr.soc.politika :ULJEZI \r\n", "PRIVMSG #hr.soc.politika :U Istočnoj Hercegovini se govori ijekavski ludaku \r\n", "PRIVMSG #hr.soc.politika :ŠAŠOLJENJE MUDA \r\n", "PRIVMSG #hr.soc.politika :GUJE U POTAJI \r\n", "PRIVMSG #hr.soc.politika :VOLIM DEČAKE \r\n", "PRIVMSG #hr.soc.politika :NEŠ MENE!! \r\n", "PRIVMSG #hr.soc.politika :YAOY \r\n", "PRIVMSG #hr.soc.politika :ZARIJ MI GA U ĆĆĆĆĆĆMAR \r\n", "PRIVMSG #hr.soc.politika :kajkaFske popeFke \r\n", "PRIVMSG #hr.soc.politika :MUŠKARCI MUŠKARCI \r\n", "PRIVMSG #hr.soc.politika :OH DAAAAAAAAAAAA \r\n", "PRIVMSG #hr.soc.politika :KRŠTENJE MARKA MARINA \r\n", "PRIVMSG #hr.soc.politika :Hlače mi se sve više raspadaju, već nekoliko rupa yay \r\n", "PRIVMSG #hr.soc.politika :APAURIN je iz Raja izašo \r\n", "PRIVMSG #hr.soc.politika :ORGIJE!!!!!!!!!!! ORGIJE!!!!!!!!!!!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :OŠ AGRESORU \r\n", "PRIVMSG #hr.soc.politika :JA SAM GUZIČAR \r\n", "PRIVMSG #hr.soc.politika :UBITI KURVE \r\n", "PRIVMSG #hr.soc.politika :SRbSKE KURVEŠTIJE \r\n", "PRIVMSG #hr.soc.politika :DRISLO \r\n", "PRIVMSG #hr.soc.politika :Đa Đa \r\n", "PRIVMSG #hr.soc.politika :FEMINIZIRANI FRATRI \r\n", "PRIVMSG #hr.soc.politika :Poždrao sam lignje do kraja \r\n", "PRIVMSG #hr.soc.politika :TRAGEDIJA MOZGOVA \r\n", "PRIVMSG #hr.soc.politika :Popio sam kefir! \r\n", "PRIVMSG #hr.soc.politika :POŽUDA LUDAKA PREMA FRATRIMA \r\n", "PRIVMSG #hr.soc.politika :GOLA POŽUDA \r\n", "PRIVMSG #hr.soc.politika :FRATRI \r\n", "PRIVMSG #hr.soc.politika :BELZEBUB \r\n", "PRIVMSG #hr.soc.politika :Dzabe Oko \r\n", "PRIVMSG #hr.soc.politika :JA SAM ČIKA PEŠKO \r\n", "PRIVMSG #hr.soc.politika :VADI GA VAN!!!!!!! VADI GA VAN!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :RAŽDAGINJA I PROSLAP \r\n", "PRIVMSG #hr.soc.politika :VELELEBNI LIBAR \r\n", "PRIVMSG #hr.soc.politika :DAJ MI GUBICU \r\n", "PRIVMSG #hr.soc.politika :ČIMPANZE ODGRIZAJU LJUDSKA LICA \r\n", "PRIVMSG #hr.soc.politika :VELIKONEMAČKI REICH!!!!!!!!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :HEIL HITLER!!!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :KREVELJIM SE I URLAM \r\n", "PRIVMSG #hr.soc.politika :Begam pod deku! \r\n", "PRIVMSG #hr.soc.politika :TRGANJE MEEEEEEESSSSAAAAAAA \r\n", "PRIVMSG #hr.soc.politika :BLJUV \r\n", "PRIVMSG #hr.soc.politika :NEŠ GNJIDOOOOOOOOOOOOOOOO \r\n", "PRIVMSG #hr.soc.politika :Đoš \r\n", "PRIVMSG #hr.soc.politika :DAJ MI PASJU GUBICU \r\n", "PRIVMSG #hr.soc.politika :Hroh \r\n", "PRIVMSG #hr.soc.politika :Dođi mi otmi penziju, ajde!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :Odoh da buljim u strop..... i zvodoravnog položaja, heh \r\n", "PRIVMSG #hr.soc.politika :DAJ MI KURVE DAJ MI IH \r\n", "PRIVMSG #hr.soc.politika :DAJ MI BOŽE KURVE!!!!!!!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :Zašto, o zašto mi jeBog oduzeo KURVE??????????? \r\n", "PRIVMSG #hr.soc.politika :KURVE sam sanjo \r\n", "PRIVMSG #hr.soc.politika :Na gležnjevima imam sloj smeđe prljavštine, mrtvu kožu koja se ljušti \r\n", "PRIVMSG #hr.soc.politika :U BERLINU je moje mesto \r\n", "PRIVMSG #hr.soc.politika :Odstupi Sotono! Ja sam Božje Dijete! \r\n", "PRIVMSG #hr.soc.politika :Gri-boyed Gribo-yedovič Gri-bo-yedoF \r\n", "PRIVMSG #hr.soc.politika :Jeste, SveCka Zavera \r\n", "PRIVMSG #hr.soc.politika :URBAN SAM DO KOSKE! \r\n", "PRIVMSG #hr.soc.politika :Evo ME drugari!!! \r\n", "PRIVMSG #hr.soc.politika :Paranoja me pere........ \r\n", "PRIVMSG #hr.soc.politika :Tako sam dobar!!!! \r\n", "PRIVMSG #hr.soc.politika :GLEDAŠ TI PEDERA U PRKNU! \r\n", "PRIVMSG #hr.soc.politika :AAAAHAHHAAAHAHHHH \r\n", "PRIVMSG #hr.soc.politika :TRTADŽIJA TRTKO \r\n", "PRIVMSG #hr.soc.politika :Žderao sam desetke čokoladnih tortica.... danima.... \r\n", "PRIVMSG #hr.soc.politika :Potiho URLAM \r\n", "PRIVMSG #hr.soc.politika :ISTO--SPOLCI \r\n", "PRIVMSG #hr.soc.politika :PEDER PEDRO \r\n", "PRIVMSG #hr.soc.politika :KRUTE KURĆĆĆĆĆINE \r\n", "PRIVMSG #hr.soc.politika :PENIS PEDERA \r\n", "PRIVMSG #hr.soc.politika :TRUNITE U FILTERU \r\n", "PRIVMSG #hr.soc.politika :Vreme za ŠIBANJE..........\r\n", "PRIVMSG #hr.soc.politika :Yeeeeeeeee, donet će mi drugar sa sela vrbove šibe :-)))\r\n", "PRIVMSG #hr.soc.politika :Odoh opet pod deku da njušim dlaku i smirujem se....\r\n", "PRIVMSG #hr.soc.politika :PSINO ČETNIČKA CRNA\r\n", "PRIVMSG #hr.soc.politika :Oyla! Zeku nazvao drugar pa sam jeo, i to toplo, ugrijao pasulj prebranac, yeeeeeeeee\r\n", "PRIVMSG #hr.soc.politika :ISTOVARUJEŠ GOLA GOVNA BRE\r\n", "PRIVMSG #hr.soc.politika :Sad ću ja da idem lepo u šetnju opet, lep je dan :-)\r\n", "PRIVMSG #hr.soc.politika :Hehe, dok ja radim svoje, vi se pitate šta ću i kako ću ja, a ja i dalje radim svoje i ide mi\r\n", "PRIVMSG #hr.soc.politika :Izaći će Zeka opet ujutro u kafić na jutarnju kafu\r\n", "PRIVMSG #hr.soc.politika :yeha, Zeka ždero\r\n", "PRIVMSG #hr.soc.politika :STRAH........\r\n", "PRIVMSG #hr.soc.politika :Strah i žudnja.....\r\n", "PRIVMSG #hr.soc.politika :Zeka mete pod od mrvica\r\n", "PRIVMSG #hr.soc.politika :Strah me obuzeo.......\r\n", "PRIVMSG #hr.soc.politika :Kako god bilo- Zeka dolazi :-)\r\n", "PRIVMSG #hr.soc.politika :Piše u pozivu - možete doneti svoje igračke....\r\n", "PRIVMSG #hr.soc.politika :+ donesite i grickalice i piće\r\n", "PRIVMSG #hr.soc.politika :a ja ću doneti 2 sexy bombonjere + flašu finog likera\r\n", "PRIVMSG #hr.soc.politika :Zeka ide na sado-mazo žurku, yeeeeeeeeeeeee\r\n", "PRIVMSG #hr.soc.politika :Yeah, Zeka se obrazovao u BDSM-u :-)))\r\n", "PRIVMSG #hr.soc.politika :Prelepo je videti rođenu subicu kako služi Gospodaru\r\n", "PRIVMSG #hr.soc.politika :Kaj se more, nije bilo slobodnih subitza\r\n", "PRIVMSG #hr.soc.politika :Oprali svoj veš kod mene i sutra će još\r\n", "PRIVMSG #hr.soc.politika :hlače, čarape, majice....\r\n", "PRIVMSG #hr.soc.politika :Ide Zeka zadovoljan pod deku :-))\r\n", "PRIVMSG #hr.soc.politika :One čekaju da im ja odredim vrem i mesto sastanka, jer su poslušne subice\r\n", "PRIVMSG #hr.soc.politika :Sad ću da naručim Zečice za dejt\r\n", "PRIVMSG #hr.soc.politika :Kulminirat ću ja svojom spermom u njihovim guzama......\r\n", "PRIVMSG #hr.soc.politika :imat ćemo blind date! :-) da bude uzbudljivo\r\n", "PRIVMSG #hr.soc.politika :POzvao subicu na dejt u sredu\r\n", "PRIVMSG #hr.soc.politika :Ma........ ali super je bio film Blind Date sa Kim Basinger i Bruceom Willisom\r\n", "PRIVMSG #hr.soc.politika :Ovaj tjedan bi trebali stići NOVCI :-)))))))))\r\n", "PRIVMSG #hr.soc.politika :Izaći ću ujutro u dućan i kafić\r\n", "PRIVMSG #hr.soc.politika :6 sati mirnog sna\r\n", "PRIVMSG #hr.soc.politika :Popio 2 xanaxa\r\n", "PRIVMSG #hr.soc.politika :Sat vremena urlao u kujini\r\n", "PRIVMSG #hr.soc.politika :O-ho-ho, kako Zeka RADI...... svaki dan\r\n", "PRIVMSG #hr.soc.politika :Bit će na partyju sprava za mučenje, žestokog bičevanja i torture strujom\r\n", "PRIVMSG #hr.soc.politika :Idem sutra poi kartu za novi sado-mazo party\r\n", "PRIVMSG #hr.soc.politika :Nemaš blage veze šta je to subica\r\n", "PRIVMSG #hr.soc.politika :ti poznaš samo kurve\r\n", "PRIVMSG #hr.soc.politika :Ne pada mi na pamet tebi išta objašnjavati\r\n", "PRIVMSG #hr.soc.politika :2 sata sna, sanjanje subica\r\n", "PRIVMSG #hr.soc.politika :Ja ne drkam\r\n", "PRIVMSG #hr.soc.politika :Deka....\r\n", "PRIVMSG #hr.soc.politika :Da bar tegliš kad ništa ne pomažeš u domaćinstvu\r\n", "PRIVMSG #hr.soc.politika :ali naše parcele su sve plodne a tvoje su goleti\r\n", "PRIVMSG #hr.soc.politika :Boduli imaju male parcele\r\n", "PRIVMSG #hr.soc.politika :Ja imam 2 kuće i 3,5 ha zemlje\r\n", "PRIVMSG #hr.soc.politika :Nema kubičnog metra mog stana koji nije uredila moja ruka!\r\n", "PRIVMSG #hr.soc.politika :Javljaju mi se nove subice na BDSM oglas svaki dan :-))\r\n", "PRIVMSG #hr.soc.politika :Sve ih treba pojebat iizbičevat\r\n", "PRIVMSG #hr.soc.politika :drugara u posetu čeka\r\n", "PRIVMSG #hr.soc.politika :Maska Zeke dolazi prema meni\r\n", "PRIVMSG #hr.soc.politika :brže će mi doći ovako s manjom poštarinom nego s većom\r\n", "PRIVMSG #hr.soc.politika :SVE mi ide na ruku\r\n", "PRIVMSG #hr.soc.politika :Zeka cveta\r\n", "PRIVMSG #hr.soc.politika :Život je lep :-))\r\n", "PRIVMSG #hr.soc.politika :Predivno je........\r\n", "PRIVMSG #hr.soc.politika :Sve mi to šalje moj zaštitnik - sveti mamek sa Nebesa!\r\n", "PRIVMSG #hr.soc.politika :toliko sam iskusan i verziran u igri zavođenja\r\n", "PRIVMSG #hr.soc.politika :malo bucmasta, lepa, mekana i podatna, mmmmm\r\n", "PRIVMSG #hr.soc.politika :Osećam se sposoban da idem tako daleko\r\n", "PRIVMSG #hr.soc.politika :a male subice vole zrele muškarce\r\n", "PRIVMSG #hr.soc.politika :FILTER \r\n", "PRIVMSG #hr.soc.politika :ZAKLAO BI I TI DA MOREŠ\r\n", "PRIVMSG #hr.soc.politika :Čmar jer ja sam GUZIČAR\r\n", "PRIVMSG #hr.soc.politika :Najlepše je trteti robinje u prkno...........\r\n", "PRIVMSG #hr.soc.politika :Oporavljam se dakle u svakom pogledu :-)) A sasvim ću se oporaviti kada nađem DEVOJKU\r\n", "PRIVMSG #hr.soc.politika :Lučenje kortizola, hormona straha, mi je manje, pa trebam sve manje slatkog jesti\r\n", "PRIVMSG #hr.soc.politika :STRAH mi je sve manji, više se ne bojim groma, ne pomišljam na požar, ali se i dalje bojim PSA\r\n", "PRIVMSG #hr.soc.politika :Zeka je umoran, nije dovoljno spavao, ali treba trtiti\r\n", "PRIVMSG #hr.soc.politika :Da, ali ja ne jebem bilo koga!\r\n", "PRIVMSG #hr.soc.politika :SAMO U JEBANJU JESTE SPAS ZA OVAJ PALI SVET......\r\n", "PRIVMSG #hr.soc.politika :Dominacija i usred noći............\r\n", "PRIVMSG #hr.soc.politika :MOja prva devojka-subica Sunčica je dobro sisala kurac\r\n", "PRIVMSG #hr.soc.politika :Sanjao sam kako mi pred vrata banuo narkoman\r\n", "PRIVMSG #hr.soc.politika :Umor me shrvava........ pod deku..........\r\n", "PRIVMSG #hr.soc.politika :Zeka ždero lep sendvič s pohanom piletinom kupljen kod Šiptara\r\n", "PRIVMSG #hr.soc.politika :Dominant se dopisuje i usred noći sa ženama, yeeeeeeeee\r\n", "PRIVMSG #hr.soc.politika :Đorč, gotovo........ hladno mi je, svaki put nakon što idem van\r\n", "PRIVMSG #hr.soc.politika :Zeka pod deku konačno....\r\n", "PRIVMSG #hr.soc.politika :Ma... odoh ja jopet pod deku\r\n", "PRIVMSG #hr.soc.politika :Da želim mogao bih i trandže i pedere da trtim\r\n", "PRIVMSG #hr.soc.politika :Ode Zeka pod deku.......\r\n", "PRIVMSG #hr.soc.politika :đorč, opet sam dobro :-))\r\n", "PRIVMSG #hr.soc.politika :Evo, smirio sam se skroz.... xanax pomaže!\r\n", "PRIVMSG #hr.soc.politika :Izbacili me iz takta MIrko i Ilija, gadoooovi\r\n", "PRIVMSG #hr.soc.politika :Ja sam prelepi Zeka, karizmatična ličnost\r\n", "PRIVMSG #hr.soc.politika :Popio još 1 xanax, pomozi Bože!!\r\n", "PRIVMSG #hr.soc.politika :Svinja nije samo sub, on je switch. On i trti i biva trten\r\n", "PRIVMSG #hr.soc.politika :Ljudi me hvale kako sam 'opaki Dominant', vele... hehe\r\n", "PRIVMSG #hr.soc.politika :Sanjao sam opet nakon dužeg vremena noćnu moru, yay\r\n", "PRIVMSG #hr.soc.politika :Opaka Dominacija........\r\n", "PRIVMSG #hr.soc.politika :sub sub sub\r\n", "PRIVMSG #hr.soc.politika :Subice me spopadaju, žude za mojom prisutnošću\r\n", "PRIVMSG #hr.soc.politika :Zeka kakio usred noći\r\n", "PRIVMSG #hr.soc.politika :POkorit će se meni SVI\r\n", "PRIVMSG #hr.soc.politika :Bijedni Zeka nije višpe bijedan :-))\r\n", "PRIVMSG #hr.soc.politika :Zeka nema kompleksa odavno.... od 1992.\r\n", "PRIVMSG #hr.soc.politika :Jednom u životu sam probao viski \r\n", "PRIVMSG #hr.soc.politika :Piškio sam i češao skrotum \r\n", "PRIVMSG #hr.soc.politika :Zatvorena mi je prva čakra \r\n", "PRIVMSG #hr.soc.politika :AGRESIJA POVAMPIRENIH USTAŠA NA REPUBLIKU SRbSKU KRAJINU \r\n", "PRIVMSG #hr.soc.politika :NIJEDAN USTAŠA NE KANI PROĆI! \r\n", "PRIVMSG #hr.soc.politika :NEŠ VIŠE NIKAD!!!!!!!!!!!!!!!!!!!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :OLOOOOOŠI \r\n", "PRIVMSG #hr.soc.politika :SMEĆEEEEEEE \r\n", "PRIVMSG #hr.soc.politika :PUSTITE ME NA MIRU GADOVI!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :Nema serije nedeljom \r\n", "PRIVMSG #hr.soc.politika :Pustite me da živim kao PAS!!!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :Ja radim kao mrav!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :Dirinčim za mameka!! \r\n", "PRIVMSG #hr.soc.politika :Prljav sam ko svinja!! \r\n", "PRIVMSG #hr.soc.politika :Ja nisam lažov!! Stvarno imam skorelu prljavštinu koja se ljušti!! \r\n", "PRIVMSG #hr.soc.politika :NEĆETE MI UNIŠTITI EGZISTENCIJU!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :i dok spavam brljavite o meni! \r\n", "PRIVMSG #hr.soc.politika :Prokleti bullyji!!!!!! \r\n", "PRIVMSG #hr.soc.politika :Znate da sam nemoćnik i udri po meni \r\n", "PRIVMSG #hr.soc.politika :Ja sam DOBAR! \r\n", "PRIVMSG #hr.soc.politika :Živim mirno s mamekom i nikoga ne ugoržovam \r\n", "PRIVMSG #hr.soc.politika :Reći ću svima šta mi radite!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :SMEĆE ljucko \r\n", "PRIVMSG #hr.soc.politika :Ajde DOĐI I ZAKOLJI ME \r\n", "PRIVMSG #hr.soc.politika :Ne, nego otimaš zadnji dinar invalidima?? \r\n", "PRIVMSG #hr.soc.politika :Tako te učio tvoj šloser??? \r\n", "PRIVMSG #hr.soc.politika :DOKAŽITE!! \r\n", "PRIVMSG #hr.soc.politika :Ne tučem ja mameka \r\n", "PRIVMSG #hr.soc.politika :Zasmegmana je tvoja gubica!! \r\n", "PRIVMSG #hr.soc.politika :Svrbi me od puno sedenja pa se uznoji \r\n", "PRIVMSG #hr.soc.politika :Neću se utopiti ali mogu pasti i ubiti se! \r\n", "PRIVMSG #hr.soc.politika :Pa se počešem ko čovek \r\n", "PRIVMSG #hr.soc.politika :Ja nisam peder \r\n", "PRIVMSG #hr.soc.politika :Pederi su čisti :-) \r\n", "PRIVMSG #hr.soc.politika :VI mene zajebavate kao mladog majmuna \r\n", "PRIVMSG #hr.soc.politika :A ja to neću više da trpim!!! \r\n", "PRIVMSG #hr.soc.politika :Ovo je bullyjing gori nego kad su trešeri zajebavali Turinu \r\n", "PRIVMSG #hr.soc.politika :Trebam puno sna jer sam bolesnik!! \r\n", "PRIVMSG #hr.soc.politika :a ja pijem sve po propisu! \r\n", "PRIVMSG #hr.soc.politika :prokleti pomahnitali alkoholičar! \r\n", "PRIVMSG #hr.soc.politika :Svrbe me prsti gadovi \r\n", "PRIVMSG #hr.soc.politika :Gadni buliji \r\n", "PRIVMSG #hr.soc.politika :Ja sam SIROTI smrda \r\n", "PRIVMSG #hr.soc.politika :................. \r\n", "PRIVMSG #hr.soc.politika :ćeš me zaklati na Ovčari??? \r\n", "PRIVMSG #hr.soc.politika :NEŠ ČETNIČARO!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :Sve je ovo gluma, mrzite me samo zato što sam HRVAT IZVORNJAK! \r\n", "PRIVMSG #hr.soc.politika :CVILITE \r\n", "PRIVMSG #hr.soc.politika :JESAM VAS OLOOOOOOŠI!!!!!!!!!!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :JECAJ ČETNIČARO \r\n", "PRIVMSG #hr.soc.politika :ZAJEBO SAM VAS GNJIDE \r\n", "PRIVMSG #hr.soc.politika :POBEDA!!! POBEDA!!! \r\n", "PRIVMSG #hr.soc.politika :Mislili ste da sam vaše govno!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :Četkam četkom nokat, prst koji smrdi od češanja čmara! \r\n", "PRIVMSG #hr.soc.politika :Bolje mi ponjuši smrdljiv čmar!! \r\n", "PRIVMSG #hr.soc.politika :Znaš li ti da je mene peško u javnom nužniku vatao za muda??? \r\n", "PRIVMSG #hr.soc.politika :OŠ SVRAČJE CRKOTINE? \r\n", "PRIVMSG #hr.soc.politika :OŠ MIŠJE STRVINE? \r\n", "PRIVMSG #hr.soc.politika :Ne trza....... \r\n", "PRIVMSG #hr.soc.politika :Ja obožavam lučenje smrdljivih sekreta iz skrotuma \r\n", "PRIVMSG #hr.soc.politika :ORGIJE LUDAKA........... \r\n", "PRIVMSG #hr.soc.politika :KULT VAGINE JE KULT ZMIJURINE!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :A KULT PENISA - KULT JARCA!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :DEST HILJADA DO ZUBA NAORUŽANIH USTAŠA......... \r\n", "PRIVMSG #hr.soc.politika :UBI UBI SRbINA \r\n", "PRIVMSG #hr.soc.politika :ŽIVEO SRbSKI NAAAAAAAAAAROD \r\n", "PRIVMSG #hr.soc.politika :\"U Imockom ima ništo pravoslavni, narod ji zove rišćani i rkači, nu svagdi su u velikoj manjini. Ljudi dobri i mirni, ne valeć jim zakona.\" \r\n", "PRIVMSG #hr.soc.politika :Ološu, jedem tunj iz konzerve \r\n", "PRIVMSG #hr.soc.politika :a meso pileće ostavljam mameku! \r\n", "PRIVMSG #hr.soc.politika :AJDE REZAČI LJUCKIH TELA, AJDE!!! \r\n", "PRIVMSG #hr.soc.politika :Onanišete opet na mene? \r\n", "PRIVMSG #hr.soc.politika :ZBLJUV OLOŠI \r\n", "PRIVMSG #hr.soc.politika ::-)))) dao Bog! \r\n", "PRIVMSG #hr.soc.politika :ALLAH ILLAHIM \r\n", "PRIVMSG #hr.soc.politika :ALLAH ALLAH \r\n", "PRIVMSG #hr.soc.politika :Kako je lep taj filter \r\n", "PRIVMSG #hr.soc.politika :DoŽot Fy-ka \r\n", "PRIVMSG #hr.soc.politika :Jebali te srBski zločinci, četniče!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :U ničemu ja ne uživam kao u svom statusu INVALIDA \r\n", "PRIVMSG #hr.soc.politika :NEŠ GMIZAT!!! \r\n", "PRIVMSG #hr.soc.politika :KRAO SI??? \r\n", "PRIVMSG #hr.soc.politika :Moj mamek nije krao \r\n", "PRIVMSG #hr.soc.politika :Ode gad \r\n", "PRIVMSG #hr.soc.politika :Ma zaklali ga \r\n", "PRIVMSG #hr.soc.politika :Zove me mamek da mu pomažem \r\n", "PRIVMSG #hr.soc.politika :O dragi mamek moj :-)) \r\n", "PRIVMSG #hr.soc.politika :Prikrivam svoju gadost \r\n", "PRIVMSG #hr.soc.politika :Pasja gubica je nešto najogavnije \r\n", "PRIVMSG #hr.soc.politika :NE VERUJ ČETNIKU NI KAD DAROVE NOSI \r\n", "PRIVMSG #hr.soc.politika :Idem da čalabrcnem skroman obrok \r\n", "PRIVMSG #hr.soc.politika :ŽIVIJA GOLI STIPE MESIĆ!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :da stiskam sfinkter i izbacujem izmet iz čmara \r\n", "PRIVMSG #hr.soc.politika :Pokakio sam se, ko vidra \r\n", "PRIVMSG #hr.soc.politika :Uvek je lepo kakiti \r\n", "PRIVMSG #hr.soc.politika :Zeka ide pod deku malo \r\n", "PRIVMSG #hr.soc.politika :Hladno je drug \r\n", "PRIVMSG #hr.soc.politika :Imam debelu jaknu ali je poderana! \r\n", "PRIVMSG #hr.soc.politika :Kao student sam hodao u zelenoj vojničkoj jakni \r\n", "PRIVMSG #hr.soc.politika :hehe, darkerska subkultura \r\n", "PRIVMSG #hr.soc.politika :a jedno vreme sam nosio i crnu dolčevitu \r\n", "PRIVMSG #hr.soc.politika :SAND BAKIJA \r\n", "PRIVMSG #hr.soc.politika :Kašljem ko konj! od cigareta \r\n", "PRIVMSG #hr.soc.politika :povraća mi se \r\n", "PRIVMSG #hr.soc.politika :GOLI MUŠKARAC VITLA PENISOM NA NASIPU SAVSKOM \r\n", "PRIVMSG #hr.soc.politika :SAVSKI NASIP \r\n", "PRIVMSG #hr.soc.politika :Mamek traži da joj donesem čepiće za čmar \r\n", "PRIVMSG #hr.soc.politika :Opet piškiti... \r\n", "PRIVMSG #hr.soc.politika :Bokač! \r\n", "PRIVMSG #hr.soc.politika :Opet ću tegliti \r\n", "PRIVMSG #hr.soc.politika :Obući ću zimske cipele \r\n", "PRIVMSG #hr.soc.politika :Jeo sam GUJDU \r\n", "PRIVMSG #hr.soc.politika :Ždero sam SVINJE \r\n", "PRIVMSG #hr.soc.politika :O kako sam ŽDERO \r\n", "PRIVMSG #hr.soc.politika :Knjabež Buls \r\n", "PRIVMSG #hr.soc.politika :Joj što volem PEDERE \r\n", "PRIVMSG #hr.soc.politika :BALKAN POTARACATI ATOMSIM BOMBAMA!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :RINI MI PENIS U PRKNO \r\n", "PRIVMSG #hr.soc.politika :TURI MI GA \r\n", "PRIVMSG #hr.soc.politika :ŠABAT ŠALOM \r\n", "PRIVMSG #hr.soc.politika :PA TO SU USTAŠE JEBA TE PATAK \r\n", "PRIVMSG #hr.soc.politika :BRAVO!!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :Klao bih ja SVAKOGA \r\n", "PRIVMSG #hr.soc.politika :Pedere treba TRTITI! \r\n", "PRIVMSG #hr.soc.politika :Okani se pedera!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :ONI SU DIVNI \r\n", "PRIVMSG #hr.soc.politika :Svrbi me trbuh, češem ga \r\n", "PRIVMSG #hr.soc.politika :USTAŠO, JEL JEČIŠ???????? \r\n", "PRIVMSG #hr.soc.politika :NE DIRAJ MI PUPAFCA GADE \r\n", "PRIVMSG #hr.soc.politika :GADE ČETNIČKI \r\n", "PRIVMSG #hr.soc.politika :PRDARO STARA! \r\n", "PRIVMSG #hr.soc.politika :SVE SAM JA SHVATIO \r\n", "PRIVMSG #hr.soc.politika :OBA U FILTERU \r\n", "PRIVMSG #hr.soc.politika :Bog će da mi da MILIONE \r\n", "PRIVMSG #hr.soc.politika :Moram kakiti drugari \r\n", "PRIVMSG #hr.soc.politika :Češanje dandala je najlepše, najugodnije \r\n", "PRIVMSG #hr.soc.politika :Tako si stimulišem Prvu Čakru! \r\n", "PRIVMSG #hr.soc.politika :SAKATA, MORBIDNA RITUALNA KLANJA \r\n", "PRIVMSG #hr.soc.politika :JA SAM OD SUŠTINSKE VAŽNOSTI ZA SVET \r\n", "PRIVMSG #hr.soc.politika :POKAKIT ĆE TI BRABONJAK NA GLAVU \r\n", "PRIVMSG #hr.soc.politika :Žderao sam skroman obrok skuše i nudli \r\n", "PRIVMSG #hr.soc.politika :FRATAR KAO OBJEKT POŽUDE \r\n", "PRIVMSG #hr.soc.politika :Piškio sam prvo, sad idem \r\n", "PRIVMSG #hr.soc.politika :MALO PRIJE SI PRETIO \r\n", "PRIVMSG #hr.soc.politika :PSIHOPATU \r\n", "PRIVMSG #hr.soc.politika :SVIM ŽRTVAMA KAŽEŠ DA IH VOLIŠ \r\n", "PRIVMSG #hr.soc.politika :MLATIT ĆEŠ ME KAO PSA!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :I SILOVATI \r\n", "PRIVMSG #hr.soc.politika :JA SAM SLAB I NEMOĆAN \r\n", "PRIVMSG #hr.soc.politika :Kaje zlikofci? Kakio sam tvrdu stolicu \r\n", "PRIVMSG #hr.soc.politika :Enigma liže muda hercegovačkom fratru \r\n", "PRIVMSG #hr.soc.politika :Zaklat ću te četniče!!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :Prenosiš sidu bre!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :Ilija PEDERU \r\n", "PRIVMSG #hr.soc.politika :Kaje peško??? \r\n", "PRIVMSG #hr.soc.politika :FUUUUUUUUUUUJJJJJJJJJJJJJJJJ \r\n", "PRIVMSG #hr.soc.politika :FALA DRUG! \r\n", "PRIVMSG #hr.soc.politika :FEMINIZIRAN FRATAR \r\n", "PRIVMSG #hr.soc.politika :MIrsad žestoko žudi za fratrom \r\n", "PRIVMSG #hr.soc.politika :Kakio sam i češao dandalo i čmar \r\n", "PRIVMSG #hr.soc.politika :HAHAHAHHAHAHHHAHHHH \r\n", "PRIVMSG #hr.soc.politika :PRDARO stara!! \r\n", "PRIVMSG #hr.soc.politika :Egeštenija Maka \r\n", "PRIVMSG #hr.soc.politika :Bolje snimi ČMAROVE \r\n", "PRIVMSG #hr.soc.politika :Kaje Mirkec??? Buš me JEBAL????????!??!?!?? \r\n", "PRIVMSG #hr.soc.politika :Isprdim ti se na lobanju ćelavu! \r\n", "PRIVMSG #hr.soc.politika :JA SAM IZRAZITO PERVERZAN PERVERTIT \r\n", "PRIVMSG #hr.soc.politika :TI Mirko ločeš na LITRE \r\n", "PRIVMSG #hr.soc.politika :Stimuliram ti ja čmar butt plugom MIrko! \r\n", "PRIVMSG #hr.soc.politika :trt \r\n", "PRIVMSG #hr.soc.politika :Ja imam predivno prkno \r\n", "PRIVMSG #hr.soc.politika :Evo, čim sam pojeo moram da kakim \r\n", "PRIVMSG #hr.soc.politika :Mamek veli da je iskakio veliku kobasicu \r\n", "PRIVMSG #hr.soc.politika :Zaranjam u kacu s govnima!! \r\n", "PRIVMSG #hr.soc.politika :Mazanje govnima golog Turila \r\n", "PRIVMSG #hr.soc.politika :Gola Mazanja \r\n", "PRIVMSG #hr.soc.politika :TRANDŽAAAAAAAAAA \r\n", "PRIVMSG #hr.soc.politika :Banketi od govana....... \r\n", "PRIVMSG #hr.soc.politika :Žderanje dreka \r\n", "PRIVMSG #hr.soc.politika :PERVERZIJE S PTERODAKTILOM \r\n", "PRIVMSG #hr.soc.politika :GADE JA SAM LUD \r\n", "PRIVMSG #hr.soc.politika :Sad sam urlao na mameka pa pobego da pijem antipsihotik \r\n", "PRIVMSG #hr.soc.politika :NAKAZO LJUCKA!!!!!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :FUJ SMEĆE PROKLETO!!!!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :MENE ĆEŠ TI, MENE..........!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :NGO DINH DIEM BUDALE!!!!!!!!!!!!!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :DOĐI I CIGLOM MI RAZBIJAJ GLAVU \r\n", "PRIVMSG #hr.soc.politika :GNJIDE jedne proklete!! \r\n", "PRIVMSG #hr.soc.politika :RAD JE SMRT \r\n", "PRIVMSG #hr.soc.politika :ČETNIKE UBITI \r\n", "PRIVMSG #hr.soc.politika :Ispijam 2 jutarnja leka \r\n", "PRIVMSG #hr.soc.politika :Mamek je meni ZAHVALAN!! \r\n", "PRIVMSG #hr.soc.politika :Ja sam hranu DONEO \r\n", "PRIVMSG #hr.soc.politika :Mamek i ja ćemo da se gostimo! \r\n", "PRIVMSG #hr.soc.politika :Pojeo sam 5 čoko štangica \r\n", "PRIVMSG #hr.soc.politika :A sad ću da preživam pod dekom! \r\n", "PRIVMSG #hr.soc.politika :SAKATI SRRRRRRBBBBBBUUUUUUUUUUU \r\n", "PRIVMSG #hr.soc.politika :EJ SRRRRRBO ČEKA TE VRRRRRRBO \r\n", "PRIVMSG #hr.soc.politika :Kaj kaj kaj, predragi domaČi naš KAJ \r\n", "PRIVMSG #hr.soc.politika :HM... \r\n", "PRIVMSG #hr.soc.politika :BDSM PEDERASTIJA \r\n", "PRIVMSG #hr.soc.politika :GUZIM TE ČETNIČE \r\n", "PRIVMSG #hr.soc.politika :LJUCKI OLOOOOOŠI \r\n", "PRIVMSG #hr.soc.politika :JEZIVO \r\n", "PRIVMSG #hr.soc.politika :Život nam je jednoličan pa da dam malo živosti \r\n", "PRIVMSG #hr.soc.politika :Pevam kao operni pevač \r\n", "PRIVMSG #hr.soc.politika :UDBA UBIJA \r\n", "PRIVMSG #hr.soc.politika :POjeo sam cele čoko štangice \r\n", "PRIVMSG #hr.soc.politika :KRVNIČE hrvatskog naroda!!!! \r\n", "PRIVMSG #hr.soc.politika :Meni je Božić svaki dan \r\n", "PRIVMSG #hr.soc.politika :VEŠTAĆĆĆĆĆĆKA VAGINA \r\n", "PRIVMSG #hr.soc.politika :ALTIPLANO \r\n", "PRIVMSG #hr.soc.politika :RAD JE SMRT! \r\n", "PRIVMSG #hr.soc.politika :ARBEIT IST TODT \r\n", "PRIVMSG #hr.soc.politika :DEČAK SPERMA \r\n", "PRIVMSG #hr.soc.politika :DOĐI TA TE TASLAČIM \r\n", "PRIVMSG #hr.soc.politika :BUĐAVO DETE \r\n", "PRIVMSG #hr.soc.politika :NAMAŽEM TE GOVNIMA \r\n", "PRIVMSG #hr.soc.politika :PROLJEV \r\n", "PRIVMSG #hr.soc.politika :PEVAJU O GOVNETU \r\n", "PRIVMSG #hr.soc.politika :Upravo mi se raspala šlapa! provirio palac van :-D \r\n", "PRIVMSG #hr.soc.politika :DA LI TI IMAŠ PENIS????????????????? \r\n", "PRIVMSG #hr.soc.politika :SRbINA SKINI DO GOLOG \r\n", "PRIVMSG #hr.soc.politika :TRI PRSTA!!!!!!!! U ĆĆĆĆĆĆMAR!!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :TROPRSTI JUGOOFICIRI \r\n", "PRIVMSG #hr.soc.politika :PEVAJ PARTIJO!!!!!!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :PARTIJO MAJKO!!!!!!!!!!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :DAJ MI KRUTE KURĆĆĆĆĆINE PEŠKO \r\n", "PRIVMSG #hr.soc.politika :MiliJon ustaških ubica je spremno da kolje!! \r\n", "PRIVMSG #hr.soc.politika :Satanski masakri \r\n", "PRIVMSG #hr.soc.politika :DEČAK ZELEN OD MRŽNJE \r\n", "PRIVMSG #hr.soc.politika :PRIMAĆĆĆĆ KRUTIH CIGANSKIH KURĆĆĆĆĆĆINA \r\n", "PRIVMSG #hr.soc.politika :SAD SAM SE MLATIO PO ŽELUCU \r\n", "PRIVMSG #hr.soc.politika :ALLE JUDEN VERGASEN!!!!!!!!!!!!!!!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :AKTIVAC NABIJA GLAVU PASIVCA U KACU S GOVNIMA \r\n", "PRIVMSG #hr.soc.politika :BOZON! \r\n", "PRIVMSG #hr.soc.politika :PSYHOZA \r\n", "PRIVMSG #hr.soc.politika :Ja sam MNOGOSTRUK \r\n", "PRIVMSG #hr.soc.politika :==U== \r\n", "PRIVMSG #hr.soc.politika :Izjedam Jaffa kekse \r\n", "PRIVMSG #hr.soc.politika :ŽUDNJA PRKNADŽIJE ZA PRKNOM \r\n", "PRIVMSG #hr.soc.politika :Mamek me tera da si redovno mažem kraste na prstima \r\n", "PRIVMSG #hr.soc.politika :Ja sam mrtav čovek....... mrca...... \r\n", "PRIVMSG #hr.soc.politika :PARANJE UTROBE \r\n", "PRIVMSG #hr.soc.politika :Neš mi oduzet zoloft!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :NEHIGIJENA \r\n", "PRIVMSG #hr.soc.politika :NEPRANJE \r\n", "PRIVMSG #hr.soc.politika :ZA PENISE GOLE PEDERI VAS MOLE \r\n", "PRIVMSG #hr.soc.politika :Muškarac siše penis muškarcu, na kolenima u zahodu javnom \r\n", "PRIVMSG #hr.soc.politika :USHTRIA QLIRIMTARE E KOSOVES \r\n", "PRIVMSG #hr.soc.politika :Lep, velik drek, zapažene teksture i mirisa!!! \r\n", "PRIVMSG #hr.soc.politika :Mamek pokakio velik drek, hoh \r\n", "PRIVMSG #hr.soc.politika :Polevanjem dreka vodom nastala je čorbasta smesa \r\n", "PRIVMSG #hr.soc.politika :Trtili te crnački azilanti????? \r\n", "PRIVMSG #hr.soc.politika :ŽIVILI ČETNIČKI DERNECI \r\n", "PRIVMSG #hr.soc.politika :Napred, napred četnici!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :Kad ustanem prvo piškim a onda uvek malo žderem \r\n", "PRIVMSG #hr.soc.politika :žderem Jaffa kekse! \r\n", "PRIVMSG #hr.soc.politika :LJUBLJENJE VRAGA U STRAŽNJICU!!!! \r\n", "PRIVMSG #hr.soc.politika :Grecam krastu pa opet mažem i obavijam flasterom \r\n", "PRIVMSG #hr.soc.politika :Ja ne pijem sopstveni URIN \r\n", "PRIVMSG #hr.soc.politika :Kurva mi je govorila da će piti moj urin \r\n", "PRIVMSG #hr.soc.politika :DAJ MI GUBICU RAZBIJAJ BOKSEROM \r\n", "PRIVMSG #hr.soc.politika :Ja sam BEDA - NIKO & NIŠTA! \r\n", "PRIVMSG #hr.soc.politika :Kakio sam, izbacio sigurno kilu dreka! \r\n", "PRIVMSG #hr.soc.politika :Smatraš me budalom? \r\n", "PRIVMSG #hr.soc.politika :POJEDI NOVAC I RECI 'HVALA TI ŽIVOTEEEEEEE' \r\n", "PRIVMSG #hr.soc.politika :NIMA UMENI NIKAPI SRBSKE KRFCE \r\n", "PRIVMSG #hr.soc.politika :PARENJE U SRODSTVU \r\n", "PRIVMSG #hr.soc.politika :REŽEM ŽILE BREZ TEBE \r\n", "PRIVMSG #hr.soc.politika :BUŠAN TI JE KAZAN, JUGOOFICIRU \r\n", "PRIVMSG #hr.soc.politika :TAKO TEPAŠ FLAŠI DREKOVAČE? \r\n", "PRIVMSG #hr.soc.politika :POSERITE se po meni!!!!!!!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :Komad pizze čeka mameka ujutro, moj komentar: a ja sam pozdrao ostalih 7 \r\n", "PRIVMSG #hr.soc.politika :Digo se i ždero malo ribe bez ulja \r\n", "PRIVMSG #hr.soc.politika :Imam rupu na košulji, na laktu \r\n", "PRIVMSG #hr.soc.politika :MILIJON USTAŠA JE SPREMNO DA KOLJE U SVAKOM TRENUTKU! \r\n", "PRIVMSG #hr.soc.politika :Poždro sam sva medena srca \r\n", "PRIVMSG #hr.soc.politika :Naručio me mamek kod zubara \r\n", "PRIVMSG #hr.soc.politika :Mamek me je spasio da me ne strpaju \r\n", "PRIVMSG #hr.soc.politika :Koje KURVE u mojoj seriji!!! \r\n", "PRIVMSG #hr.soc.politika :Pomažem popišanom mameku! \r\n", "PRIVMSG #hr.soc.politika :Ja sam dječarac jarac \r\n", "PRIVMSG #hr.soc.politika :ISKUSNI PREVEJANI PEDERI \r\n", "PRIVMSG #hr.soc.politika :GOLO KOLJAŠTVO \r\n", "PRIVMSG #hr.soc.politika :Dragi Isuse, molim te oslobodi me pederluka!! \r\n", "PRIVMSG #hr.soc.politika :Odoh pod deku, mamek kaki umesto da jede \r\n", "PRIVMSG #hr.soc.politika :Mamek bi hteo da ga pazim celu noć! \r\n", "PRIVMSG #hr.soc.politika :NIšta još nisam spavao, svako malo moram piškiti \r\n", "PRIVMSG #hr.soc.politika :Zaljubljen si u mene pederu???? \r\n", "PRIVMSG #hr.soc.politika :NAŠMINKANI PASIVAC \r\n", "PRIVMSG #hr.soc.politika :PEDER JECA ZA KURCOM \r\n", "PRIVMSG #hr.soc.politika :Izluđuje me ludački STRAH koji me parališe! \r\n", "PRIVMSG #hr.soc.politika :Odoh kakiti \r\n", "PRIVMSG #hr.soc.politika :Iz nosa mi raste dlaka \r\n", "PRIVMSG #hr.soc.politika :Idem da jedem skroman obrok \r\n", "PRIVMSG #hr.soc.politika :O što volem SF serije \r\n", "PRIVMSG #hr.soc.politika :ČETNIKA UBITI KAO P S A !!!!!!!!!!!!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :PROKLETI SRBOČETNIČKI KOLJAČI!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :Mamek zamolio da joj dam - jednu pusu :-))))))) \r\n", "PRIVMSG #hr.soc.politika :Ja sumnjam da možda imam DVE bešike/mjehura!! \r\n", "PRIVMSG #hr.soc.politika :Vadim goleme smeđe balce iz nosa \r\n", "PRIVMSG #hr.soc.politika :Probudio me mamek nemilosrdni \r\n", "PRIVMSG #hr.soc.politika :Treba ti ODSEĆI PENIS, najbolje satarom! \r\n", "PRIVMSG #hr.soc.politika :Možeš da mi puvaš i prdneš pod prozor!! \r\n", "PRIVMSG #hr.soc.politika :MUTEŽ U MOZGU \r\n", "PRIVMSG #hr.soc.politika :GMIZAVCI \r\n", "PRIVMSG #hr.soc.politika :SKUPO ĆU PRODATI SVOJU KOŽU!!! \r\n", "PRIVMSG #hr.soc.politika :KLAN, KLAN, PA ZAKLAN \r\n", "PRIVMSG #hr.soc.politika :Mamek voli sineka najviše na svetu!! \r\n", "PRIVMSG #hr.soc.politika :Probudim se i vidim - doživio sma opet IZLJEV u snu! \r\n", "PRIVMSG #hr.soc.politika :sanjao seks s maloleticama \r\n", "PRIVMSG #hr.soc.politika :Čelovjek Jarac \r\n", "PRIVMSG #hr.soc.politika :ROČNICI I PRIČUVNICI \r\n", "PRIVMSG #hr.soc.politika :Nemam poriv da zatučem mameka šipkom \r\n", "PRIVMSG #hr.soc.politika :NJihove pretnje su SNIMLJENE!!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :Nemojte mene drugari, šalio sam se!!!!! \r\n", "PRIVMSG #hr.soc.politika :DEDA DŽUKELAMA LIŽE GUBICU \r\n", "PRIVMSG #hr.soc.politika :ŽIVIJA DOTUR IVO SANADER \r\n", "PRIVMSG #hr.soc.politika :SAMO UBIJANJA NA PAMETI LUDAKA \r\n", "PRIVMSG #hr.soc.politika :ŠTETA ŠTO NEMAM SABLJU \r\n", "PRIVMSG #hr.soc.politika :Ja sam invalid i ne mogu čučati i klečati \r\n", "PRIVMSG #hr.soc.politika :MLAĆENJE MAČKOM SA DEVET REPOVA \r\n", "PRIVMSG #hr.soc.politika :Opet sam češao čmar, svrbi \r\n", "PRIVMSG #hr.soc.politika :SRBSKO TLO NATOPITI RADIOAKTIVNIM URANOM \r\n", "PRIVMSG #hr.soc.politika :Ćuti ćććććetnićććććar \r\n", "PRIVMSG #hr.soc.politika :Uvaljo bi ja njega u crnački i ciganski DREK!!!!!! \r\n", "PRIVMSG #hr.soc.politika :JEBO GA ĆALE DUŠAN U PRKNO!!!! SMEĆE CIGANSKO!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :HAHAHAHHAHAHAA, CVILI OD STRAHA ČETNO!!!! \r\n", "PRIVMSG #hr.soc.politika :Mi HRvati te NEĆEMO :-) \r\n", "PRIVMSG #hr.soc.politika :Oprat ću ja vas SrBe u krvavoj kupelji! \r\n", "PRIVMSG #hr.soc.politika :saterao sam SrBu u mišju rupu!! \r\n", "PRIVMSG #hr.soc.politika :JA napadam kao besan pas \r\n", "PRIVMSG #hr.soc.politika :KOga ću prvog da trtim ovde??? \r\n", "PRIVMSG #hr.soc.politika :Fliktuacije u kemiji mozga drug.... \r\n", "PRIVMSG #hr.soc.politika :Pederastija druže..... \r\n", "PRIVMSG #hr.soc.politika :Nećeš me pomaknuti ni za jotu! \r\n", "PRIVMSG #hr.soc.politika :STAN JE MOJ! \r\n", "PRIVMSG #hr.soc.politika :Krckam zglobove na prstima, mamek kaže da mi je to od dide \r\n", "PRIVMSG #hr.soc.politika :PENIS UBOJICA \r\n", "PRIVMSG #hr.soc.politika :SELJAK SODOMIT \r\n", "PRIVMSG #hr.soc.politika :Cudi me da jos nisi shvatio da se sa Zecom ne raspravlja. Sto mislis, zasto ga svi normalni ljudi na ovoj grupi drze u filteru? \r\n", "PRIVMSG #hr.soc.politika :I dok ja preživam pod dekom govna ljuCka seru li seru \r\n", "PRIVMSG #hr.soc.politika :Imam o--durnu žgaravicu od odvratnih cigareta \r\n", "PRIVMSG #hr.soc.politika :JA NISAM HOMOSEKSUALAC, MENE NAPASTUJE HOMOSEKSUALNI DUH! \r\n", "PRIVMSG #hr.soc.politika :LOČI DREKOVAČU JUGOOFICIRU \r\n", "PRIVMSG #hr.soc.politika :POPIT ĆU LEK PROTIVU STRAHA \r\n", "PRIVMSG #hr.soc.politika :Mamek plače... platit ćete mi za svaku njegovu suzu, zlikovci!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :Kreten si ti! Ovo sad nisu gluposti, žele da nas izbace \r\n", "PRIVMSG #hr.soc.politika :Možemo samo da se dignemo u vazduh zajedno sa stanom!! \r\n", "PRIVMSG #hr.soc.politika :IMA meso pileće, ribu tunj, sve ima!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :SVE LAŽ DO LAŽI...... \r\n", "PRIVMSG #hr.soc.politika :JA NISAM ČOVEK MIRKO \r\n", "PRIVMSG #hr.soc.politika :Obožavam da žderem zobene pahuljice sa mlekom \r\n", "PRIVMSG #hr.soc.politika :Često povraćam \r\n", "PRIVMSG #hr.soc.politika :Podrigujem kao svinja \r\n", "PRIVMSG #hr.soc.politika :Moj mamek se zna piškiti u gaće i ja mu onda pomognem!! \r\n", "PRIVMSG #hr.soc.politika :Ja piškim u kahlicu ako je mamek na WC-u \r\n", "PRIVMSG #hr.soc.politika :JESTE, PRODAO VERU ZA VEČERU........... ALI STIĆĆĆĆI ĆĆĆĆE GA ĆĆĆĆĆĆETNIĆĆĆĆĆKA PRAVDA......... \r\n", "PRIVMSG #hr.soc.politika :Kakio sam, i žestoko si češao čmar \r\n", "PRIVMSG #hr.soc.politika :Ja žudim da si četkicom za zube češem čmar! \r\n", "PRIVMSG #hr.soc.politika :Al mamek mi kaže da to ne smem, da je čmar osetljiv \r\n", "PRIVMSG #hr.soc.politika :ŽIVOT TI JE UNIŠTEN OTKAD SI NAPAO NA ZECA!!! \r\n", "PRIVMSG #hr.soc.politika :UNIŠTENI STE S V I !!!!!!!!!!! \r\n", "PRIVMSG #hr.soc.politika :TI SI GOVNO \r\n", "PRIVMSG #hr.soc.politika :ULIČARU PRLJAVI \r\n", "PRIVMSG #hr.soc.politika :Vređao sam mameka LUDAČKI \r\n", "PRIVMSG #hr.soc.politika :Ja sam obično SMEĆE \r\n", "PRIVMSG #hr.soc.politika :Opet sam ga malo pre popio!! \r\n", "PRIVMSG #hr.soc.politika :Ja ne mogu da trpim jer sam bolesnik psihički \r\n", "PRIVMSG #hr.soc.politika :Iščačko sam si levo uvo i sad bolje čujem \r\n", "PRIVMSG #hr.soc.politika :Sve meni lepo piše u psihijatrijskom nalazu \r\n", "PRIVMSG #hr.soc.politika :Dragi mamek! toliko je drag.... \r\n", "PRIVMSG #hr.soc.politika :ŠTA PAMETUJEŠ, GLUPI \r\n", "PRIVMSG #hr.soc.politika :TI SI ILIJA BULLY \r\n", "PRIVMSG #hr.soc.politika :Kad sam patio za njom imao sam rupu u auri \r\n", "PRIVMSG #hr.soc.politika :GADNI SRbINE \r\n", "PRIVMSG #hr.soc.politika :Mamek me probudio urlanjem...... :-) \r\n", "PRIVMSG #hr.soc.politika :U-hu-hu, drugi put kakio danas \r\n", "PRIVMSG #hr.soc.politika :Volem da kakim, tako izbacujem otrove iz tela! \r\n", "PRIVMSG #hr.soc.politika :Ja sam viša rasa - ne perem se a ne smrdim! \r\n", "PRIVMSG #hr.soc.politika :Trbuh mi je naduven, u želucu mi fermentira.... \r\n", "PRIVMSG #hr.soc.politika :Odoh treći put da kakim... al nije proljev \r\n", "PRIVMSG #hr.soc.politika :Evo kakio sam ČETVRTI put danas! \r\n", "PRIVMSG #hr.soc.politika :Ti stigmatiziraš nas psihičke bolesnike, gade \r\n", "PRIVMSG #hr.soc.politika :Dok vi laprdate ja pomažem & pomažem svom mameku u kujini \r\n", "PRIVMSG #hr.soc.politika :yey, jeo sam skorman obrok zobene pahuljice s jagodom u mleku \r\n", "PRIVMSG #hr.soc.politika :Odoh pod deku da se molim Bogu \r\n", "PRIVMSG #hr.soc.politika :Odoh pod deku da se molim Bogu \r\n", "PRIVMSG #hr.soc.politika :DOĐI, GADE, DOĐI \r\n", "PRIVMSG #hr.soc.politika :KRVNIČE POGANA RASO \r\n", "PRIVMSG #hr.soc.politika :Odvratan je ovaj bot :-( \r\n", "PRIVMSG #hr.soc.politika :NABIJ GA \r\n", "PRIVMSG #hr.soc.politika :ROBOVI GREHA \r\n", "PRIVMSG #hr.soc.politika :SATANSKO SKVIČANJE \r\n", "PRIVMSG #hr.soc.politika :JEBI BARABU BRE \r\n", "PRIVMSG #hr.soc.politika :Odoh probati pod deku..... \r\n", "PRIVMSG #hr.soc.politika :Vršim defragmentaciju diska! \r\n", "PRIVMSG #hr.soc.politika :Ima fragmentiranih datoteka \r\n", "PRIVMSG #hr.soc.politika :Brabonjci ispadaju iz čmara \r\n", "PRIVMSG #hr.soc.politika :Podriguju mi se jetrene knedle \r\n", "PRIVMSG #hr.soc.politika :JEBI JAREĆE PRKNO \r\n", "PRIVMSG #hr.soc.politika :LJUBAV :-) \r\n", "PRIVMSG #hr.soc.politika :NABIJAĆĆĆĆINA PEDERA U PRKNO \r\n", "PRIVMSG #hr.soc.politika :Njištim kao konj, lud sam \r\n", "PRIVMSG #hr.soc.politika :Škrgućem zubima i režim \r\n", "PRIVMSG #hr.soc.politika :kreveljim se \r\n", "PRIVMSG #hr.soc.politika :1800 UDARACA PENISOM U ČMAR U SEKUNDI? \r\n", "PRIVMSG #hr.soc.politika :Toliko sam ponosan što sam INVALID :-) \r\n", "PRIVMSG #hr.soc.politika :Ja moram da izgovaram REČI \r\n", "PRIVMSG #hr.soc.politika :PIJ MUŠKI URIN \r\n", "PRIVMSG #hr.soc.politika :JEL I TAMO IMA PEDERA? \r\n", "PRIVMSG #hr.soc.politika :MASOVNA KUPOVINA VEŠTAČKIH VAGINA \r\n", "PRIVMSG #hr.soc.politika :Imam majicu prljavu od pepela.... oseća se i užegli smrad.... \r\n", "PRIVMSG #hr.soc.politika :Ne pada mi na pamet da se operem! \r\n", "PRIVMSG #hr.soc.politika :HRANIT ĆU JA TEBE GOVNIMA \r\n", "PRIVMSG #hr.soc.politika :SALATA OD SRbSKE DECE \r\n", "PRIVMSG #hr.soc.politika :ZAGRIZI GOVNO \r\n", "PRIVMSG #hr.soc.politika :Povratim ti po vratu \r\n", "PRIVMSG #hr.soc.politika :ČEKA VAS 50 GODINA MUČENJA \r\n", "PRIVMSG #hr.soc.politika :JA NE SMEM NI DA VIDIM NOŽ \r\n", "PRIVMSG #hr.soc.politika :POKENJAM TI SE NA USNE \r\n", "PRIVMSG #hr.soc.politika :U, kako sam kakio, u \r\n", "PRIVMSG #hr.soc.politika :Čim sam pojeo - kakio \r\n", "PRIVMSG #hr.soc.politika :SRbOČETNIČKA ARMADA....... \r\n", "PRIVMSG #hr.soc.politika :https://www.facebook.com/watch/?v=2324409530910955 \r\n", "PRIVMSG #hr.soc.politika :POKAKIM TI SE PRAVO U USNE \r\n", "PRIVMSG #hr.soc.politika :Džinofska klaonica..... \r\n", "PRIVMSG #hr.soc.politika :POdešavam kompjuter, večeras mi ga je doneo majstor sa popravka!! \r\n", "PRIVMSG #hr.soc.politika :NAUČEN SAM NA GOLO TRPLJENJE \r\n", "PRIVMSG #hr.soc.politika :TRTIM MIRKA U PRKNO \r\n", "PRIVMSG #hr.soc.politika :Šaralampov Krycaj \r\n", "PRIVMSG #hr.soc.politika :Promjene donose smrt \r\n", "PRIVMSG #hr.soc.politika :Mrzim promjene \r\n", "PRIVMSG #hr.soc.politika :Ja mrzim automobile, konje i pse \r\n", "PRIVMSG #hr.soc.politika :Moraš ti probati TRTENJE U ČMAR! \r\n", "PRIVMSG #hr.soc.politika :Popiškio sam se u gaće! \r\n", "PRIVMSG #hr.soc.politika :da se skineš nag i potrčiš ulicom sa sekirom u ruci????? \r\n", "PRIVMSG #hr.soc.politika :3 sata ukočenog ležanja zatvorenih očiju, heh \r\n", "PRIVMSG #hr.soc.politika :Ne mogu...................... \r\n", "PRIVMSG #hr.soc.politika :Prodaješ mi četničku bozu......... \r\n", "PRIVMSG #hr.soc.politika :IZgleda da ću opet kakiti od štrudli \r\n", "PRIVMSG #hr.soc.politika :Ja nijesam Hrki \r\n", "PRIVMSG #hr.soc.politika :MOJ ČMAR JE UZAK, NEMA ULJEZA UNJEMU\r\n", "PRIVMSG #hr.soc.politika :LAŽ\r\n", "PRIVMSG #hr.soc.politika :Kao dečak sam kopao prstom po sopstvenom čmaru i vadio drek van\r\n", "PRIVMSG #hr.soc.politika :ZNam sve o čmarovima :-) :-(\r\n", "PRIVMSG #hr.soc.politika :TRT TRT TRTICA :-)\r\n", "PRIVMSG #hr.soc.politika :SAMO SAM ANALAN, ALI NE PEDER\r\n", "PRIVMSG #hr.soc.politika :ZAŠTO ONDA NE PRIMAM PENISE U SVOJ ČMAR, HA??\r\n", "PRIVMSG #hr.soc.politika :MNOGI PEDERI SU ME HTELI, A JA SAM BEŽAO\r\n", "PRIVMSG #hr.soc.politika :Meni je zakržljao mali prst na levoj ruci\r\n", "PRIVMSG #hr.soc.politika :Ja sam moćan momak a ti si PIZDEK koji anonimno čita i skriva se\r\n", "PRIVMSG #hr.soc.politika :Odoh da kakim od gomile višanja koje sam poždro\r\n", "PRIVMSG #hr.soc.politika :Kakio, pa češao čmar, dandalo i skrotum\r\n", "PRIVMSG #hr.soc.politika :Pedro je moćan peder\r\n", "PRIVMSG #hr.soc.politika :RAZMAZUJEM TI GOVNO PO GUBICI MIRKO\r\n", "PRIVMSG #hr.soc.politika :MASAKRI SMAKA SVETA\r\n", "PRIVMSG #hr.soc.politika :Kakio sam brzo ko vidra\r\n", "PRIVMSG #hr.soc.politika :Čelovjek Mozgoyed\r\n", "PRIVMSG #hr.soc.politika :JA SAM IZVORNI MEDITERANAC\r\n", "PRIVMSG #hr.soc.politika :KAD BUDEM KREPAO BULIJI ĆE URLATI OD SLADOSTRAŠĆA\r\n", "PRIVMSG #hr.soc.politika :SVINJE ĆE SE VALJATI U BLATU I DREKU\r\n", "PRIVMSG #hr.soc.politika :SMRDI MI SKROTUM\r\n", "PRIVMSG #hr.soc.politika :bwuahahahahahahahhahahh\r\n", "PRIVMSG #hr.soc.politika :https://www.facebook.com/gayshitpostingar/\r\n", "PRIVMSG #hr.soc.politika :Ja sam užasno moćan bednik, dobivam milostinju i onda cvilim od radosti\r\n", "PRIVMSG #hr.soc.politika :POKORITE SE PEDRU\r\n", "PRIVMSG #hr.soc.politika :Zeka kakio kobasu :-), pa jeo jabuku pa kahvu\r\n", "PRIVMSG #hr.soc.politika :prd prd prd\r\n", "PRIVMSG #hr.soc.politika :Kad mi se ždere - ja žderem!\r\n", "PRIVMSG #hr.soc.politika :Žderem još 1 konzervu tunja sa teksaškim miksom povrća :-)\r\n", "PRIVMSG #hr.soc.politika :Smrdim ko FUTAVAC\r\n", "PRIVMSG #hr.soc.politika :Iz dana u dan sve više SMRDIM........\r\n", "PRIVMSG #hr.soc.politika :Sad bih još mogo da operem skrotum i međunožje i - kosu!\r\n", "PRIVMSG #hr.soc.politika :OŠ ME UBIT?\r\n", "PRIVMSG #hr.soc.politika :PROKLETI CRNCI ODGRIZAJ IM LOBANJE\r\n", "PRIVMSG #hr.soc.politika :SAMO UBIJAJ CRNACA ŠTO VIŠE!\r\n", "PRIVMSG #hr.soc.politika :VUDU ZOMBIJI.........\r\n", "PRIVMSG #hr.soc.politika :Žderao sam skroman obrok oslića i žganaca/palente\r\n", "PRIVMSG #hr.soc.politika :Obožavaj GOLI DIVOVSKI PENIS!\r\n", "PRIVMSG #hr.soc.politika :GOLA ŽILAVA HOMOSEKSUALNOST\r\n", "PRIVMSG #hr.soc.politika : HOĆEŠ LI DA SIŠEŠ P E N I S ???????????????????\r\n", "PRIVMSG #hr.soc.politika :To ti je sve MIrko jedan KRUG zapravo, i na jednom mestu se dotiču ekstremna ljevica i ekstremna desnica. Na tom mjestu sedim JA\r\n", "PRIVMSG #hr.soc.politika :SEKIRČETOM PO LOBANJI BREEEEEEEE............\r\n", "PRIVMSG #hr.soc.politika :Spao mi je nokat sa palca nožnog, yey\r\n", "PRIVMSG #hr.soc.politika :MOj tatek je imao bič, a sada i ja imam bič - korbač\r\n", "PRIVMSG #hr.soc.politika :A ja ležem sa muškarcem i budim se sa jarcem\r\n", "PRIVMSG #hr.soc.politika :Muči me opet srčana čakra sad popodne\r\n", "PRIVMSG #hr.soc.politika :tanka mi je aura.....\r\n", "PRIVMSG #hr.soc.politika :Nekako mi se podebljala aura na srčanoj čakri, hu\r\n", "PRIVMSG #hr.soc.politika :A JA SAM BIO PRVI KURVAR GRADA ZAGREBA\r\n", "PRIVMSG #hr.soc.politika :Kad su me pipali još nisam bio dominantan\r\n", "PRIVMSG #hr.soc.politika :Zdepasti_Zeka is now known as GAY_GLODAR\r\n", "PRIVMSG #hr.soc.politika :Invalid se digao, a vi niste prestajali da prdite o meni\r\n", "PRIVMSG #hr.soc.politika :HOMOSEKSUALNOŠĆ?\r\n", "PRIVMSG #hr.soc.politika :PSINO\r\n", "PRIVMSG #hr.soc.politika :Zeka loče punu čašu sa tabletom multivitamina\r\n", "PRIVMSG #hr.soc.politika :EJ ČETNO! GDE TI JE \"MIRKO\"?!?!?!?!?!?!? KAJ NIJE \"DOŠO\"??!?!?!?\r\n", "PRIVMSG #hr.soc.politika :3 put su me pipali\r\n", "PRIVMSG #hr.soc.politika :UJMOCA ISINA IDUVA SVETOGA AMIN\r\n", "PRIVMSG #hr.soc.politika :ĐIRČ\r\n", "PRIVMSG #hr.soc.politika :UGUŠI SE KURĆĆĆĆĆĆĆĆINOM, PEDERĆĆĆĆĆINO\r\n", "PRIVMSG #hr.soc.politika :NA MENE SI NAŠAO ONANISATI U SVOJIM PEDERSKIM FANTAZMAGORIJAMA, LUDAČE?!?!?!?\r\n", "PRIVMSG #hr.soc.politika :SRBOSEČA SRBE SEČE\r\n", "PRIVMSG #hr.soc.politika :OPSEDNUT SI PUŠENJEM PENISA, PEDERU\r\n", "PRIVMSG #hr.soc.politika :Noćno mučenje........ mučim se........\r\n", "PRIVMSG #hr.soc.politika :STARI I PREVEJANI HOMOSEKSUALAC.........\r\n", "PRIVMSG #hr.soc.politika :SRbSKA ŽENA JE KURVA, A RVACKA JE GOVNO\r\n", "PRIVMSG #hr.soc.politika :AFRO - ETNO - ČETNO\r\n", "PRIVMSG #hr.soc.politika :GOLO DETE TERAJ NAULICU BRE\r\n", "PRIVMSG #hr.soc.politika :OOOOOOOOOOOO\r\n", "PRIVMSG #hr.soc.politika :Peder si Ilija, peder koji onaniše na grube mišićave primitivce!\r\n", "PRIVMSG #hr.soc.politika :VEWLIKOSRBI!!!!!!! NEĆETE NIKAD VIŠE!!!!!!!!!!!\r\n", "PRIVMSG #hr.soc.politika :SPREČIT ĆU JA SERVSKU VOJSKU U AGRESIJI NA RVACKU\r\n", "PRIVMSG #hr.soc.politika :VELIKI MOĆNIK ZEKA, HILJADE KURVI KLEČI PRED NJIM\r\n", "PRIVMSG #hr.soc.politika :Nemate poYma s kim sam sada razgovarao preko FB, sa jednom - ženom! :-)\r\n", "PRIVMSG #hr.soc.politika :M.O.Ć.\r\n", "PRIVMSG #hr.soc.politika :Zeka je MOĆAN\r\n", "PRIVMSG #hr.soc.politika :Zeka moćno prosjači\r\n", "PRIVMSG #hr.soc.politika :POLA\r\n", "PRIVMSG #hr.soc.politika :Danas sam vidio 1 lepu devojku u kafiću, dečačkog izgleda sa kratkom kosom, darkerica\r\n", "PRIVMSG #hr.soc.politika :Drugari ja se neprekidno ČEŠEM\r\n", "PRIVMSG #hr.soc.politika :Evo poždrao pola štrudle\r\n", "PRIVMSG #hr.soc.politika :PROKLETI SRbI!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!\r\n", "PRIVMSG #hr.soc.politika :SMRSKAJ SRbE!!!!!!!!!!!!!!!!!!\r\n", "PRIVMSG #hr.soc.politika :Samo da je instant kave, cigareta i kolača :-)\r\n", "PRIVMSG #hr.soc.politika :Šta ću sad da gledam kad je gotova moja serija?\r\n", "PRIVMSG #hr.soc.politika :Pogle ga kak ima srpski nos :-D\r\n", "PRIVMSG #hr.soc.politika :NEĆETE DUGO!!!!!!!!!!!!!!!!\r\n", "PRIVMSG #hr.soc.politika :TURKOVLAŠKI NAKOT UME SAMO DA PLJAČKA I KOLJE\r\n", "PRIVMSG #hr.soc.politika :6,5 sati sna\r\n", "PRIVMSG #hr.soc.politika :POĆĆĆĆNITE DA KOLJETE, ČČČETNICCCI!!!!!!!!!!!!\r\n", "PRIVMSG #hr.soc.politika :ČEREČI ČETNIČARU\r\n", "PRIVMSG #hr.soc.politika :BODENJE, UBADANJE\r\n", "PRIVMSG #hr.soc.politika :KOPRIVA U VAGINI A ĐUMBIR U ČMARU\r\n", "PRIVMSG #hr.soc.politika :Kad ja imam za jesti - ja žderem, kad nemam - gladujem, heh\r\n", "PRIVMSG #hr.soc.politika :Sad sam skoro pao u nesvest od kašlja od cigareta, yao\r\n", "PRIVMSG #hr.soc.politika :MI RVATI KOLJEMO SA STRAŠĆU\r\n", "PRIVMSG #hr.soc.politika :UŠMRKAVANJE DROGE U NOZDRVU \r\n", "PRIVMSG #hr.soc.politika :Stigle cigarete :-)\r\n", "PRIVMSG #hr.soc.politika :Probat ću isprositi i koji keks\r\n", "PRIVMSG #hr.soc.politika :Kašljem, ispuhujem nos, imam neki virus ali slab\r\n", "PRIVMSG #hr.soc.politika :Gadni peder se uvlaććći u ćććoveććććji ćććććmar\r\n", "PRIVMSG #hr.soc.politika :POpiškim ti se na muške usne!!\r\n", "PRIVMSG #hr.soc.politika :MRŽNJA PREMA SRbIMA SVIM SRCEM!!!\r\n", "PRIVMSG #hr.soc.politika :Širite se bre od 1804. u svim smerovima\r\n", "PRIVMSG #hr.soc.politika :Treba vas satrti\r\n", "PRIVMSG #hr.soc.politika :Ja sam već 20 godina dominantan!\r\n", "PRIVMSG #hr.soc.politika :Grecam skorene kraste iz nosa\r\n", "PRIVMSG #hr.soc.politika :POdrezujem par dlaka na kosi s leve strane\r\n", "PRIVMSG #hr.soc.politika :Šiašam se sam već 30 godina........\r\n", "PRIVMSG #hr.soc.politika :ILIJA MANDIĆ JE GLADAN KURĆĆĆINE!!!\r\n", "PRIVMSG #hr.soc.politika :Upregnut ću susedu da mi donosi voćne štrudle po 8 kuna\r\n", "PRIVMSG #hr.soc.politika :Treba se obžderavati u slatkom\r\n", "PRIVMSG #hr.soc.politika :Zove me Darija... :-)))))))))) napričali se, yeeeeeeee\r\n", "PRIVMSG #hr.soc.politika :O kako mi je pasala palačinka sa čokoladom\r\n", "PRIVMSG #hr.soc.politika :Zamolio sam susedu da mi kupi štrudle voćne\r\n", "PRIVMSG #hr.soc.politika :Stavio sam novooprani tepih u klozet\r\n", "PRIVMSG #hr.soc.politika :Sve aparate u kući imam nove, yeeeeeeeeee\r\n", "PRIVMSG #hr.soc.politika :Odoh da piškim\r\n", "PRIVMSG #hr.soc.politika :MLAD MULAT??\r\n", "PRIVMSG #hr.soc.politika :Femmi Boy\r\n", "PRIVMSG #hr.soc.politika :Jedem das Seine.......\r\n", "PRIVMSG #hr.soc.politika :U zemaljskom životu blagoslovljen patnjom, na kraju dobiva sve šta je zaslužio\r\n", "PRIVMSG #hr.soc.politika :Božji čovek, da\r\n", "PRIVMSG #hr.soc.politika :Ajoj deko, utebi je meko! reko Zeko\r\n", "PRIVMSG #hr.soc.politika :TI ustao a ja ću pod deku\r\n", "PRIVMSG #hr.soc.politika :Advocatus Diaboli :-)\r\n", "PRIVMSG #hr.soc.politika :A ona inače ima puno novaca ali baš voli da pomaže ljudima, ne samo meni, puno ljudi, kao Anđeo je :-))\r\n", "PRIVMSG #hr.soc.politika :Ne kuca mi na vrata ali kad ona ZA SEBE ide da kupi nešto pita me jel i meni šta treba....\r\n", "PRIVMSG #hr.soc.politika :KAMERA TURENA U PIZDURINU\r\n", "PRIVMSG #hr.soc.politika :ZAKLATI MORAM...........\r\n", "PRIVMSG #hr.soc.politika :URLAM PO KUJINI KA NEZDRAV\r\n", "PRIVMSG #hr.soc.politika :Bez večere pod deku.........\r\n", "PRIVMSG #hr.soc.politika :BOG. LJUBAV. DOBROTA!\r\n", "PRIVMSG #hr.soc.politika :Zeka kakio, kakvo olakšanje\r\n", "PRIVMSG #hr.soc.politika :DOšla je bila već 2001. pa smo preživeli prosjačeći i prodajući dedine zlatne zube\r\n", "PRIVMSG #hr.soc.politika :Ohrabrujem svaku subverziju protiv Sistema\r\n", "PRIVMSG #hr.soc.politika :Pisano je: LJUBAV je jaka kao Smrt!\r\n", "PRIVMSG #hr.soc.politika :SVATKO tko DANAS ima nofce je proklet........danas i OVDE\r\n", "PRIVMSG #hr.soc.politika :SIFILIS ILI LUES?!?!?!?!!?!?!?\r\n", "PRIVMSG #hr.soc.politika :JAHANJE PASIVCA NA KURCU??????????????!?!?!?!?!??!!\r\n", "PRIVMSG #hr.soc.politika :SUBMISIVAC KOJI U PSEĆOJ ZDELICI DOBIVA OBROK GOVANA?!?!!?\r\n", "PRIVMSG #hr.soc.politika :Svi smo svedoci - oko 3 godine intenzivne propagande je dovoljno da jedan narod poludi\r\n", "PRIVMSG #hr.soc.politika :Treba na kolena pasti i zahvaljivati\r\n", "PRIVMSG #hr.soc.politika :jecati i cviliti dominantno\r\n", "PRIVMSG #hr.soc.politika :Sve poderano sam bacio\r\n", "PRIVMSG #hr.soc.politika :a za nagradu - šiba\r\n", "PRIVMSG #hr.soc.politika :NERAST NADNIČAR\r\n", "PRIVMSG #hr.soc.politika :NERAST!!\r\n", "PRIVMSG #hr.soc.politika :Napada me jedna Domina što sam se nazvo 'intelektualcem' :-D\r\n", "PRIVMSG #hr.soc.politika :Cviljenje........\r\n", "PRIVMSG #hr.soc.politika :U--hu--hu, kako sam Dominantan!!\r\n", "PRIVMSG #hr.soc.politika :Prepun sam madeža po telu i stalno rastu novi\r\n", "PRIVMSG #hr.soc.politika :MONSTRUOZNA MRŽNJA PREMA RVATU\r\n", "PRIVMSG #hr.soc.politika :NERAST KAO OBJEKT POŽUDE\r\n", "PRIVMSG #hr.soc.politika :Bole me prepone, madež na preponi mi se tare o hlače, yay\r\n", "PRIVMSG #hr.soc.politika :Unošenje u lice i dihanje za ovratnik........\r\n", "PRIVMSG #hr.soc.politika :Imam 3 male sličice mameka u sobi i u kujini\r\n", "PRIVMSG #hr.soc.politika :Ima jedna Hrvatica koja živi u Nemačkoj, ona se pali na muški znoj i smrad :-)\r\n", "PRIVMSG #hr.soc.politika : Da je ponižavam da udiše vonj mošusa sa mojih muda\r\n", "PRIVMSG #hr.soc.politika :Dajte mi stare, okorele i raspale KURVE!\r\n", "PRIVMSG #hr.soc.politika :Sad više nemam ništa poderano na sebi!\r\n", "PRIVMSG #hr.soc.politika :Pojeo sam i par zalogaja sira i vuršta uz krastavac\r\n", "PRIVMSG #hr.soc.politika :Annie Lennox peva pesmu Doubleplusgood\r\n", "PRIVMSG #hr.soc.politika :Dvaputvišedobar patkogovoritelj\r\n", "PRIVMSG #hr.soc.politika :Pod deku nakon žderanja skromnog suhog obroka\r\n", "PRIVMSG #hr.soc.politika :Svima nam je ntko umro od rodbine u tih 6 godina\r\n", "PRIVMSG #hr.soc.politika :Čim netko obrati pažnju na bednika zeca ja cvetam :-)\r\n", "PRIVMSG #hr.soc.politika :U klozetu imam grijalicu na zidu koju je ugradio prijatelj-majstor\r\n", "PRIVMSG #hr.soc.politika :Još bdijem u kujini slušam muziku i razmišljam a sad sam se vratio u sobu\r\n", "PRIVMSG #hr.soc.politika :KO oće dame zakolje zato što spavam - nek dođe da me zakolje!!!!\r\n" ] teranje = ["socna pica","lizi picu","vlazna pica","meka,spremna","pohotna pica","https://pbs.twimg.com/media/EAt9NNwXsAEo_Lz?format=jpg&name=small","https://www.menshealth.rs/stil/9832/higijenska-abeceda-za-svakog-muskarca"] zvijeri = ["Threadripper 2990WX","Xeon W-3175X"] jadnici = ["mali","veliki","ekstreman","pomalo"] response_get tm ref stdgen gsref pl s buf len = do gen <- readIORef stdgen str <- peekCStringLen (buf,fromIntegral len) if str == [] then do let (val,gen') = randomR (0,(length list_zeka)-1) gen write pl s $ list_zeka !! val writeIORef stdgen gen' t <- getPOSIXTime writeIORef tm t return 0 else do putStrLn $ "got "++str if isSuffixOf "\r\n" str then do b <- readIORef ref gs <- readIORef gsref let (res,gen',gs') = parse (b++str) gen gs putStrLn $ "Writing : "++ res writeIORef ref [] writeIORef stdgen gen' writeIORef gsref gs' write pl s res else do b <- readIORef ref writeIORef ref (b++str) pl_read pl s return 0 response_written pl s = do putStrLn "default done_write" pl_read pl s return 0 parse str stdgen gs = foldl parse_line ([],stdgen,gs) $ lines str where parse_line (s,stdgen,gs) l = case words l of ("PING":xs) -> (s++"PONG "++unwords xs++"\r\n",stdgen,gs) (_:"004":xs) -> (s++"JOIN :#hr.soc.politika\r\n",stdgen,gs) (_:"433":xs) -> let (s',[gen]) = nick [stdgen] in (s++"NICK "++s'++"\r\n" ,gen,gs) (who:"PRIVMSG":xs) -> let (str,gen,gs') = response (parse_who who) xs in (s++str,gen,gs') (who:"JOIN":xs) -> (s++(if parse_who who /= "zeka_bot" then "PRIVMSG #hr.soc.politika :Hello, " else "PRIVMSG #hr.soc.politika :Hi folks, ")++parse_who who++"\r\n",stdgen,gs) xs -> case find (=="response") xs of Nothing -> (s,stdgen,gs) _ -> (s++"USER zeka_bot 8 * :zeka_bot\r\n",stdgen,gs) parse_who (w:who) = if w == ':' then parse_who who else if w == '!' then [] else w:parse_who who response who (channel:cmds) = parse cmds where parse ((_:cmd'):cmds) = case cvt cmd' of cmd | cmd == "ustaša" || cmd == "budala" || cmd == "ustasa" || cmd == "усташа" || cmd == "cetnik" || cmd == "četnik" || cmd == "четник" || cmd == "komunist" || cmd == "комунист" || cmd == "peder" || cmd == "pederčina" || cmd == "srbin" || cmd == "србин" || cmd == "hrvat" || cmd == "хрват" || cmd == "crnogorac"|| cmd == "musliman" || cmd == "katolik" || cmd == "pravoslavac" || cmd == "židov" || cmd == "zidov" || cmd == "invalid" || cmd == "decak" || cmd == "dečak" || cmd == "dječak" || cmd == "znanstvenik" || cmd == "naučnik" || cmd == "kvir" || cmd == "bednik" || cmd == "jadnik" -> let (val,gen) = (case (cmd,who) of ("crnogorac","imandic")-> randomR (90::Int,100) stdgen ("crnogorac","IkaPrisnazitelj")-> randomR (90::Int,100) stdgen (cmd,"Zdepasti_Zeka") | cmd== "invalid" || cmd == "kvir" || cmd == "katolik" || cmd == "dečak" || cmd == "bednik" || cmd == "budala" -> randomR (80::Int,100) stdgen (cmd,"Stefan_J") | cmd == "naučnik" || cmd == "znanstvenik" -> randomR (85::Int,100) stdgen _ -> randomR (0::Int,100) stdgen) in case cmds of [] | cmd == "jadnik" ->("PRIVMSG #hr.soc.politika "++":"++ who ++ " ti si "++ jadnici !! (val `mod` (length jadnici)) ++ " jadnik\r\n",gen,gs) [] | cmd /= "jadnik" -> ("PRIVMSG #hr.soc.politika "++":"++ who++", you are "++show val++"% "++cmd'++"\r\n",gen,gs) (w:[]) -> ("PRIVMSG #hr.soc.politika "++":"++w++" is "++show val++"% "++cmd'++"\r\n",gen,gs) _ -> ("",gen,gs) cmd | cmd == "calc" -> ("PRIVMSG #hr.soc.politika "++":"++(calculate $ unwords cmds) ++ "\r\n",stdgen,gs) cmd | cmd == "quote" -> let (val,gen) = randomR(0,(length list_zeka)-1) stdgen in (list_zeka!!val,gen,gs) cmd | cmd == "fortune" -> unsafePerformIO $ do strs <- readProcess "fortune" ["-s","-a"] [] return (sendList $ lines $ strs,stdgen,gs) cmd | cmd == "teraj" -> let (val,gen) = randomR(0,(length teranje)-1) stdgen in (sendList $ [teranje!!val],gen,gs) cmd | cmd == "zvijer" -> let (val,gen) = randomR(0,(length zvijeri)-1) stdgen in (sendList $ [zvijeri!!val],gen,gs) cmd | cmd == "h" -> case cmds of [] -> if gameStatus gs /= Guessing then let (gs',gen') = newGame stdgen in (sendList $ displayState gs',gen',gs') else (sendList $ displayState gs,stdgen,gs) cmds -> let (res',gs',gen') = gameLoop gs cmds stdgen in (sendList res',gen',gs') _ -> ("",stdgen,gs) sendList strs = foldl cumul [] strs where cumul s str = s++"PRIVMSG #hr.soc.politika :"++str++"\r\n" cvt str = fmap toLower str type Operator = Rational -> Rational -> Rational type Entry = (String, Operator) type Register = [Entry] modulu :: Rational -> Rational -> Rational modulu a b = toRational ((round (fromRational a::Double)) `mod` (round (fromRational b::Double))) operatorRegister :: Register operatorRegister = [ ("-", (-)), ("+", (+)), ("/", (/)), ("*", (*)), ("%", modulu) ] --main = print $ calculate "3 * 2 + 5 / 2" calculate :: String -> String calculate str = case (eval operatorRegister . words) str of Just r -> printf "%.2f" (fromRational r::Double) Nothing -> "Nothing" eval :: Register -> [String] -> Maybe Rational eval [] _ = Nothing -- No operator found. eval _ [] = Nothing -- If a operator don't have anything to operate on. eval _ [number] = let a :: Maybe Double = readMaybe number in case a of Just a -> Just (toRational a) Nothing -> Nothing eval ((operator, function):rest) unparsed = case span (/=operator) unparsed of (_, []) -> eval rest unparsed (beforeOperator, afterOperator) -> function <$> (eval operatorRegister beforeOperator) <*> (eval operatorRegister $ drop 1 afterOperator) wordsPath :: FilePath wordsPath = "words.txt"-- "/usr/share/dict/words" data GameState = GameState { _wordsToGuess :: [String] , guesses :: [[String]] } data GameStatus = Guessing | GameWon | GameLost deriving Eq hangmanImages :: [[String]] hangmanImages = transpose [ [ " ", " O ", " O ", " O ", " O " , "_O " , "_O_" ] , [ " ", " ", " | ", " | ", " | " , " | " , " | " ] , [ " ", " ", " ", "/ ", "/ \\", "/ \\", "/ \\" ] ] fullHangmanImage :: Int -> [String] fullHangmanImage index = "=========" : "| |" : map ("| " ++) img where img = hangmanImages !! index maxWrongGuesses :: Int maxWrongGuesses = length hangmanImages - 1 numberOfWrongGuesses :: GameState -> Int numberOfWrongGuesses (GameState words' guesses') = length $ filter (charNotInWord.head.concat) guesses' where charNotInWord c = c `notElem` concat words' gameStatus :: GameState -> GameStatus gameStatus (GameState words' guesses') | isGuessed = GameWon | isLastGuess = GameLost | otherwise = Guessing where isGuessed = guesses' /= [] && (all isCharInGuesses (concat words') || concat words' == (concat.last) guesses') isCharInGuesses x = x `elem` map (head.head) guesses' gameState = GameState words' guesses' isLastGuess = numberOfWrongGuesses gameState == maxWrongGuesses displayState :: GameState -> [String] displayState gameState@(GameState words' guesses') = fullHangmanImage' ++ case gameStatus gameState of Guessing -> [ "Word to guess: " ++ wordWithGuesses , "Guesses: " ++ (unwords.concat) guesses' ] GameWon -> [ "CONGRATULATIONS!" , "You correctly guessed the word " ++ unwords words' , " in " ++ show (length guesses') ++ " tries " ] GameLost -> [ "YOU FAILED!" , "You failed to guess the word " ++ unwords words' ] where fullHangmanImage' = fullHangmanImage currentHangmanIndex currentHangmanIndex = numberOfWrongGuesses gameState wordWithGuesses = blankOrChar <$> unwords words' blankOrChar c | c `elem` (map (head.head)) guesses' = c | c == ' ' = c | otherwise = '_' gameLoop :: GameState -> [String]-> StdGen -> ([String],GameState,StdGen) gameLoop gameState words' gen = let gameState' = gameState { guesses = guesses gameState ++ [words'] } res = displayState gameState' in if gameStatus gameState == Guessing then (res,gameState',gen) else let (gs',gen') = newGame gen in (displayState gs',gs',gen') newGame :: StdGen -> (GameState,StdGen) newGame stdgen = unsafePerformIO $ do contents <- readFile wordsPath let words' = map words $ lines contents (randomNumber,gen) = randomR (0,length words'-1) stdgen randomWord = words' !! randomNumber return (GameState randomWord [],gen)

1 0

Troubles with PostgreSQL, Persistent and Apple M1
by Geraldus 22 Sep '21

22 Sep '21

Hi, dear Cafe! I'm having trouble compiling an application which uses PostgreSQL on a macbook with an M1 chip. Postgre itself seems to work fine. It is installed via `homebrew` (if I'm not mistaken this is the only way on Mac to get pg_config, which is required for `persistent-postgresql`). The error message is following: ``` persistent-postgresql> <command line>: dlopen(/Users/arthurfayzrakhmanov/.stack/snapshots/x86_64-osx/36432054bd8d13c1da6134758733286b536c65d34222dcf10ecb29bd437c8117/8.10.7/lib/x86_64-osx-ghc-8.10.7/libHSpostgresql-libpq-0.9.4.3-GrxZELytXmSAOH6lAioiw9-ghc8.10.7.dylib, 5): *Symbol not found: _PQclear* persistent-postgresql> Referenced from: /Users/arthurfayzrakhmanov/.stack/snapshots/x86_64-osx/36432054bd8d13c1da6134758733286b536c65d34222dcf10ecb29bd437c8117/8.10.7/lib/x86_64-osx-ghc-8.10.7/libHSpostgresql-libpq-0.9.4.3-GrxZELytXmSAOH6lAioiw9-ghc8.10.7.dylib persistent-postgresql> *Expected in: flat namespace* persistent-postgresql> in /Users/arthurfayzrakhmanov/.stack/snapshots/x86_64-osx/36432054bd8d13c1da6134758733286b536c65d34222dcf10ecb29bd437c8117/8.10.7/lib/x86_64-osx-ghc-8.10.7/libHSpostgresql-libpq-0.9.4.3-GrxZELytXmSAOH6lAioiw9-ghc8.10.7.dylib ``` The minimal setup to reproduce is following: ``` dependencies: - base >= 4.7 && < 5 - persistent >= 2.13.1.2 && < 3 - persistent-postgresql >= 2.13.1.0 && < 3 ``` Digging around gave me just a few clues. It seems that `libpq` I have is compiled some other way it expected, and missing some symbols required `persistent-postgresql` to work. I believe this is not a bug, rather that a local configuration issue. Does anyone know which is right setup to build persistent-postgresql on Macs with M1 chip? Thanks in advance. Sincerely. Arthur. P.S. Please apologize if this is not a right place to ask such questions. Asked already in Yesod Google Groups and Stack Overflow. But didn't received any feedback.

2 6

Re: [Haskell-cafe] Better writing about Haskell through multi-metaphor learning
by Olaf Klinke 21 Sep '21

21 Sep '21

> As noted a few times in this thread List takes multiple paths. The > "non-determinism" (something that not always explained well, since > taking all paths is still rather deterministic) extends the simple > pipeline model. In principle you could make the different paths race against each other and return the one that finishes (first). That would be proper non- determinism. List, Sequence, Tree and such are set-like monads, which I would put into the non-determinism corner. Years ago I was experimenting with decision-making and sequence alignment in particular. The hypothesis was that if you have a functional program that makes a decision on exact data, then lifting the program through a suitable monad M will give you a decision procedure for M-fuzzy inputs. For example, we managed to implement string matching for the ListT monad transformer, so you can match fuzzy strings against fuzzy strings. Here a full-text index (e.g. suffix tree) is itself a special kind of fuzzy string parametrized by the list monad. Decomposing it into head and tail takes you simultaneously to every position in the indexed text. Set-like monads do not fit the pipeline model well, it seems. By the way, I struggle with the pipeline metaphor. If a monad is a pipeline, what are the connectors? Is (m a) a piece of pipe and (>>) a connector? Or is (a -> m b) a piece of pipe and (>=>) a connector? In my Haskell exposition for mathematicians I chose the monad of formal linear combinations for introduction of monads. In this monad M, (M b) is a vector over basis b, (b1 -> M b2) describes a linear map (matrix) w.r.t. bases b1 and b2, (<=<) is matrix multiplication and (=<<) is matrix-vector multiplication. So if you like matrices, mentally replace (a -> m b) by "linear map" and (m a) by "vector". Olaf

1 0

Re: [Haskell-cafe] Cabal v3 public sub-libraries
by Mikolaj Konarski 21 Sep '21

21 Sep '21

Hi Daniel, > Should I try a candidate upload to hackage, or is the testing about something in hackage-server or cabal itself? I don't remember if candidates now display haddocks, but if they do, that's probably a good way to test the multilib haddocks. Otherwise, I guess, spin a private Hackage and test there. I looked closer and there is also some related work remaining to do in cabal https://github.com/haskell/cabal/issues/7669 and in haddock (polishing the multilib case and extending to backpack) https://github.com/haskell/haddock/issues/1363 but probably not a lot in hackage-server itself https://github.com/haskell/hackage-server/issues/924 https://github.com/haskell/hackage-server/issues/577 It may be useful to get in touch with the interested parties and comment in these issues or open new ones. Kind regards, Mikolaj On Tue, Sep 21, 2021 at 4:56 PM Daniel Winograd-Cort <dwincort(a)gmail.com> wrote: > > Hi Mikolaj, > > Thanks for the response! Do you have any tips on how I can go about testing? Should I try a candidate upload to hackage, or is the testing about something in hackage-server or cabal itself? > > Best, > Daniel > > On Mon, Sep 20, 2021 at 3:10 AM Mikolaj Konarski <mikolaj(a)well-typed.com> wrote: >> >> Hi Daniel, >> >> IIRC, the main, or the only remaining problem with public multi-libs >> is haddocks, and this set of haddock PRs paves the way and offers a >> manual workaround: https://github.com/haskell/haddock/pull/1419 >> >> Contributions and testing very welcome. >> >> Kind regards, >> Mikolaj >> >> On Sun, Sep 19, 2021 at 3:53 PM Daniel Winograd-Cort <dwincort(a)gmail.com> wrote: >> > >> > Hi cafe, >> > >> > I remember hearing about public sub-libraries in cabal v3, providing the ability to declare multiple libraries in the same cabal file that can be accessed (individually) by other packages. Does anyone know if this is supported on hackage, and if not, if there is a plan to allow this behavior on hackage? >> > >> > Thanks, >> > Daniel >> > >> > _______________________________________________ >> > Haskell-Cafe mailing list >> > To (un)subscribe, modify options or view archives go to: >> > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe >> > Only members subscribed via the mailman list are allowed to post.

1 0

Optimising ReadP
by Andrew Kvapil 21 Sep '21

21 Sep '21

Hi, I'm trying to optimise a short Haskell program (inspired by Rust's performance). From simple profiling, I discovered that 90+% of time and allocations is spent in a `ReadP`-based parser. The parser is fairly small, I assumed GHC would inline/optimise most of it. I tried adding some `SPECIALISE` pragmas but found out those don't work: they require `INLINE`/`INLINEABLE` pragmas or compiling with `-O`. I'm confused by the latter requirement as I thought dependencies of the Stack project are compiled with optimisation enabled. I copied the entirety of the `ReadP` module into my project along with what I used from `Text.Read.Lex` to be able to optimise this code locally. I managed to get some speedups by specialising the integer parsers. Cloning the `ReadP` code also helped with more detailed profiling reports, I now know that the majority of time and allocations are spent in `>>=`. That's it for the long-winded intro, here are my questions: - what's the problem with GHC complaining about missing `INLINE(ABLE)` pragmas and/or `-O` in Stack dependencies? - Are these things just never inlined unless library authors specifically mark them as such? - What profiling tools do people usually use in situations like this? - I cannot specialise `>>=` even when I mark it `INLINEABLE` in the `Monad ReadP` instance, apparently, the pragma should be placed at the declaration site (at least that's what the warning says). So I run into the same issue with `INLINE(ABLE)`/`-O` as above. That seems pretty silly, I feel like I should be able to inline/specialise this particular instance and not worry about the global declaration of `>>=`. Is there a workaround for this? - I also used `BangPatterns` in my optimisations, but it's been hit-and-miss. They (surprisingly) helped in small, local definitions marked `INLINE` (I assumed strictness analysis would pick up on those), but in other places, such as `ReadP`'s `>>=`, strictness annotations slightly worsened performance. How do people look for good patterns to annotate as strict? - How do I find out to what extent is laziness slowing things down, or look for places with unintended thunks? As these are general optimisation questions, I'm not looking for parsing alternatives suggestions. I'd like to write high-level code and have it efficiently compose, this is a toy program anyway and I'm wondering how far can I get with such a simple parsing library. I suspect the majority of allocations coming from the parser are short-lived garbage that I should be able to avoid with optimisations and maybe a little bit of refactoring. One thing that's specific to my implementation is that the parser first produces a `[(Int, Int)]` and then converts that to `IntMap (Set Int)` with a `foldl'`. I would like to ensure the list is never built in the first place, is there a way to do that? As to the code itself, it's only 90 lines, but I'm not sure what the consensus is on attachments in this mailing list. I can provide the whole Stack project along with a test case and a reference solution in Rust upon request. (I'd post it on my GitHub, but there's a slight chance a participant in the competition this is a reference solution to may find it there.) Best regards, Andrew

1 0

Re: [Haskell-cafe] Better writing about Haskell through multi-metaphor learning
by Anthony Clayden 21 Sep '21

21 Sep '21

> Neither [degrees nor radians] is really wrong. Degrees are strange, ... That sounds like the pot calling the kettle black. 'Irrational' means ... errm ... strange. 'Transcendental' was the word Leibniz reached for when he realised he had something stranger than irrationals. > an artifact of the Babylonian system with no real mathematical significance. Hmm? An artefact of being approximately the number of days in a year (which is as true for us as the Babylonians), and a number which has many factors, so can happily measure quarter-turns, eighth turns (bracing to keep your right-angles upright), whole-number of degrees for internal angles of all the faces needed for the Platonic solids ... I would have thought there's a teachable moment there about prime numbers, factorisation, and for bringing fractions into a coherent continuum. It's not like ignorance of this alleged "mathematical significance" of radians prevented building Hanging Gardens or Pyramids, Stonehenge, the fractals of the Walls of Benin, Machu Picchu trapeziums or aqueducts or anything. (A bit like Category Theory, really.)

2 1

Re: [Haskell-cafe] Field types
by Anthony Clayden 21 Sep '21

21 Sep '21

Report section 4.2.1 "A `data` declaration may use the same field label in multiple constructors as long as the typing of the field is the same in all cases after type synonym expansion." > In that hypothetical context, the field name wouldn't be usable as a > function—at least without future Dependent Haskell. TRex manages to support same label different field type in different records. The record's type includes the field labels, as a distinct Kind. `#lab` is the syntax to access a field labelled `lab`. > #lab :: a\lab => Rec (lab :: b | a) -> b `(lab :: b | a)` is of Kind Row, means a row with label `lab` at type `b`; `| a` captures any other fields in the record; `Rec( )` is a magic type constructor that makes Rows into Kind `*`. Context `a\lab` means `a` must not include label `lab`. Hugs.Trex> let myTuplePair = (( lab = 5 :: Int, lab2 = True), (lab = 'c', lab3 = Just 7)) > in (#lab $ fst myTuplePair, #lab $ snd myTuplePair) > (5,'c') On Mon, Sep 20, 2021, 1:19 PM Tom Ellis <tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk <http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe>> wrote: >* On Mon, Sep 20, 2021 at 01:13:43PM -0400, David Feuer wrote: *>* > Does one field name for one datatype always refer to a field with the *>* same *>* > type? Or is there some wacky extension that would allow things like *>* > *>* > data Foo *>* > = Bar { zoom :: Int } *>* > | Baz { zoom :: Char } *>* > *>* > I'm hoping I don't have to worry about the latter possibility.... *>>* Me too! Under such circumstances what would the type of *>* field-as-function be?*

1 0

Field types
by David Feuer 20 Sep '21

20 Sep '21

Does one field name for one datatype always refer to a field with the same type? Or is there some wacky extension that would allow things like data Foo = Bar { zoom :: Int } | Baz { zoom :: Char } I'm hoping I don't have to worry about the latter possibility....

3 5

Cabal v3 public sub-libraries
by Daniel Winograd-Cort 20 Sep '21

20 Sep '21

Hi cafe, I remember hearing about public sub-libraries in cabal v3, providing the ability to declare multiple libraries in the same cabal file that can be accessed (individually) by other packages. Does anyone know if this is supported on hackage, and if not, if there is a plan to allow this behavior on hackage? Thanks, Daniel

2 1

Re: [Haskell-cafe] Haskell-Cafe Digest, Vol 217, Issue 16
by Michael Turner 20 Sep '21

20 Sep '21

"The seeds of your confusion are very evident from your message". The seeds of your unsubstantiated assumptions about me are very evident from yours. "You can't just 'translate' an algorithm from OOP to Haskell" Wow, I'm either "trying to translate Haskell to C++" (someone else, above) or trying to translate C++ to Haskell. I'm actually doing neither. I started by trying to understand this: https://www.stwing.upenn.edu/~wlovas/hudak/aug.pdf (And no, just because Haskell is great for writing little special-purpose programming languages does not automatically mean it's up to snuff for handling natural language.) I'd originally hoped to fully understand the rather short program in that paper (full code, in two versions, elsewhere on Paul Jones aca dite) by getting it to run again, then commenting the code as I began to understand it. And then, on to more important issues for a fuller Haskell implementation, issues described here https://www.aclweb.org/anthology/C94-2137.pdf and here http://www.lacus.org/volumes/23/22.sypniewski.pdf Both of which are references I dug up and supplied here https://en.wikipedia.org/wiki/Applicative_universal_grammar as I took the Wikipedia article from stub status to something less stubby -- it actually started in this state: https://en.wikipedia.org/w/index.php?title=Applicative_universal_grammar&di… The ASCII-art diagrams you see there are output from code that I've gotten working again. I learned about lazy evaluation in college, when I got interested in how Lisp might implement it. I'm very familiar with the arguments for purity, especially from learning Erlang some years ago (during which I wrote my share of accumulator-based tail-recursive functions.) I prefer static typing but hated the way C++ templates extended the concept, mostly because the syntax error messages were so bad for so long. My career includes a time in the late 80s when the kind of computing power we have in our phones now with multicore processors filled a box of hardware too heavy to lift. This was at a startup where the founder was substantially inspired by this stream-oriented single-assignment language: https://en.wikipedia.org/wiki/SISAL I started programming at 15. It's been a very rare year, even after leaving the software profession, when I didn't write at least some code, learning new things in the process. Which means I've been looking at programming languages and how to implement things at the most appropriate level of abstraction possible for just a few months shy of fifty years. The arguments here are following a familiar pattern, one I see in discussions of everything from programming to government policy. (1) I disagree with someone (2) This person instantly assumes I must be ignorant of what they know (3) They start Mansplaining It All To Me. This is particularly irksome when the person is actually considerably more ignorant of the subject than I am. I'm still ignorant of most of Haskell, to be sure. However, I'm not ignorant when it comes to writing. (Published articles on request.) A great deal of what's written about Haskell, usually with very good intentions, has proved useless to me. Have I had a stroke that leaves me apparently unharmed, but actually no longer able to absorb a different programming language? Was I always just too dumb to learn Haskell? Somehow, I think it's more related to the writing. To some extent the community seems to recognize there's a problem -- e.g., the Monad Tutorial Explosion. I finally got (most of?) what monads really mean for practical programming when none other than Simon Peyton-Jones said F# called a very similar construct "workflow," a word he likes. Wow, plain English instead of a mathematical abstraction that, in the math introductions, looks weirdly clunky to me, if anything, but, in any case, very hard to relate to writing better code. Lambda calculus? I have vague memories of Eugene Lawler https://en.wikipedia.org/wiki/Eugene_Lawler covering it when I took computing theory from him. And again, when I was grading computing theory homework for this required course for graduate students (for their prelim exams) for Richard Lipton https://en.wikipedia.org/wiki/Richard_Lipton in the fall term of 1980 at U.C. Berkeley. It's not that I'm too stupid to learn lambda calculus. It's that I seriously doubt that refreshing my memory on the details is going to add significantly more to my grasp of functional programming in Haskell. I disagree with some people here. They jump to the conclusion that I'm some ignorant moron. They also keep trying to sell Haskell as something dramatically, fundamentally -- nay transcendentally! -- different from anything I've ever known. Are you doing that? Stop. Just stop. Haskell's big problem right now is adoption. And I'm telling you why adoption has been hard for me. You lecture back, telling me things I already know, making sweeping assumptions about me. When you do that, you're not part of the solution to Haskell's biggest problem right now. You're part of the problem. Regards, Michael Turner Executive Director Project Persephone 1-25-33 Takadanobaba Shinjuku-ku Tokyo 169-0075 Mobile: +81 (90) 5203-8682 turner(a)projectpersephone.org Understand - http://www.projectpersephone.org/ Join - http://www.facebook.com/groups/ProjectPersephone/ Donate - http://www.patreon.com/ProjectPersephone Volunteer - https://github.com/ProjectPersephone "Love does not consist in gazing at each other, but in looking outward together in the same direction." -- Antoine de Saint-Exupéry On Fri, Sep 17, 2021 at 4:19 AM <haskell-cafe-request(a)haskell.org> wrote: > > Send Haskell-Cafe mailing list submissions to > haskell-cafe(a)haskell.org > > To subscribe or unsubscribe via the World Wide Web, visit > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe > or, via email, send a message with subject or body 'help' to > haskell-cafe-request(a)haskell.org > > You can reach the person managing the list at > haskell-cafe-owner(a)haskell.org > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Haskell-Cafe digest..." > > > Today's Topics: > > 1. Re: Haskell's "historical futurism" needs better writing, not > better tools (Richard Eisenberg) > 2. Re: Haskell's "historical futurism" needs better writing, not > better tools (Jeffrey Brown) > 3. Re: Haskell's "historical futurism" needs better writing, not > better tools (Gregory Guthrie) > 4. Re: Bundle patterns with type aliases (Carter Schonwald) > 5. Re: Bundle patterns with type aliases (David Feuer) > 6. Re: Bundle patterns with type aliases (David Feuer) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Thu, 16 Sep 2021 14:05:19 +0000 > From: Richard Eisenberg <lists(a)richarde.dev> > To: Anthony Clayden <anthony.d.clayden(a)gmail.com> > Cc: haskell-cafe(a)haskell.org > Subject: Re: [Haskell-cafe] Haskell's "historical futurism" needs > better writing, not better tools > Message-ID: > <010f017beeed148e-35512a1d-0412-45c5-b1ac-ca532fa70f72-000000(a)us-east-2.amazonses.com> > > Content-Type: text/plain; charset="utf-8" > > I just want to pipe up and say I'm not comfortable with this response. When I feel this way about writing on a forum, I normally contact the author in private, but I think posting publicly here has its merits. I'm hoping that the long correspondence AntC and I have had -- often with opposing viewpoints but with mutual respect -- with withstand this email. > > Michael posted here expressing frustration with his experience learning and using Haskell. In my opinion, he has spent too much time reading older papers, written by experts for experts -- which Michael is not. I do not fault Michael for this: these resources are sometimes what appear when searching, and we as a community have done a poor job marshaling our educational resources. (Michael, I just thought of a resource you might find useful: http://dev.stephendiehl.com/hask/ is an oft-linked resource attempting to do that marshaling. I am not vouching for it here, per se, but I know others have found it useful.) > > However, Michael very specifically said that "just learn lambda-calculus" was not helpful for him, and so I think it's unhelpful for someone to respond with "just learn lambda-calculus". There are a number of other statements in the email below which could be seen as belittling -- also not helpful. > > Instead, I wish that we, as a community, could take posts like Michael's at face value: this is the experience of someone who wants to learn Haskell. While some of the conclusions stated in that post are misunderstandings, it is not the sole fault of the learner for these misunderstandings: instead, we must try to understand what about our community and posted materials induced these misunderstandings, and then seek to improve. Many people in Michael's situation may not have posted at all -- and so this kind of information can be very hard to get. > > Michael, I have no silver bullet to offer to you to try to help you here. I do tend to agree with AntC that you have developed some misconceptions that are hindering your continued learning. The terminology actively hurts here. (To be fair, the first Haskell standard pre-dates both Java and C++, and so one could argue who got the terms wrong.) For my part, I am trying to help with this situation both by trying to improve error messages, and though my support of the Haskell Foundation's Haskell School initiative (https://github.com/haskellfoundation/HaskellSchool) These will take time to grow, but my hope is that a future person like you will have an easier route in. > > In the meantime, I implore us to take all expressed experiences as exactly that: the experience of the person writing. And if they say they don't want X, please let's not feed them X. :) > > Richard > > > On Sep 16, 2021, at 12:53 AM, Anthony Clayden <anthony.d.clayden(a)gmail.com> wrote: > > > > Hi Michael, oh dear, oh dear, oh dear. > > > > The seeds of your confusion are very evident from your message. How to back you out of whatever deep rabbit-hole you've managed to get your head into? > > > > > ... Your average reader (already a programmer) would be better served by a comparative approach: Here's how to say something in a couple of other programming languages, here's how to say something roughly equivalent in Haskell -- BUT, here's how it's subtly different in Haskell. > > > > No. Just no. Haskell is not "subtly different" to (say) Java in the way that C++ or C# are different. (I'll leave others to judge how subtly different they are.) > > > > Haskell is dramatically and fundamentally different. You can't just 'translate' an algorithm from OOP to Haskell. Many newbies try, and there's many tales of woe on StackOverflow. Just No. > > > > I really don't know how you could have got any experience with Haskell and say "subtly". > > > > I suggest you unlearn everything you think you know about Haskell, and strike out in an entirely different direction. The best approach would be to spend a few days playing with lambda calculus. (That's what I did before tackling Haskell.) > > > > > (I've actually been curtly informed on the beginners' list -- yes, the beginner' list! -- that my problems of comprehension can be solved simply: "Learn lambda calculus.") > > > > Lambda calculus is an excellent place for beginners to start. What could be easier to learn? It's certainly easier than grokking a Turing machine; and much easier than Haskell: less than a handful of primitives yet can compute anything computable. > > > > > And since the concepts are seldom described in concrete enough and time-honored programming language terms (by comparison to other programming languages) > > > > I'm guessing that the concepts you're talking of simply don't correspond to anything in time-honoured (procedural) programming. Anybody writing about Haskell (including anybody writing the User Guide) assumes a base level of understanding of Haskell. You've clearly veered off the track and haven't yet reached base. Remember the User Guide builds on top of the Language Report. > > > > (On the point of 'time-honoured': lambda calculus is almost exactly the same age as Turing machines. The first well-known programming language using lambda-calculus ideas (LISP 1966) is almost exactly the same age as the first OOP language (Simula 1967). Which is the more time-honoured?) > > > > You do have a point that the terminology in Haskell is often mysterious > > > > > [SPJ said] F# had settled on the term "workflow" instead of "monad", and he felt this was wise. > > > > Yes many have yearned for a more warm-and-cuddly term than "monad". But the terminology barrier starts before that. > > > > Haskell typeclasses are not 'classes' in any sense recognisable from OOP. There are no objects, no hidden state, no destructive assignment. We might go back to February 1988 when a strawman for what became typeclasses used OVERLOAD/INSTANCE. > > > > AntC > > > > > > > > > > _______________________________________________ > > Haskell-Cafe mailing list > > To (un)subscribe, modify options or view archives go to: > > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe > > Only members subscribed via the mailman list are allowed to post. > >

13 20

Re: [Haskell-cafe] Pattern synonyms and explicit forall.
by Anthony Clayden 19 Sep '21

19 Sep '21

Thank you Kai-Oliver. > pattern Any2 :: forall . forall a. a -> Some We're friends here. I think I can share that my reaction was a rather loud WTF??!!?? And there's not a mention in the docos that this is even a thing. I feel like dragging whoever's responsible to the headmaster's office. Ok that seems to work -- in the sense that pattern-matching on it yields an `x` that's unusable on RHS just as much as the `Any` decl with implicit `forall`, or with no type signature at all. What would be useful is to be able to introduce a constraint into the sig, so I can do something like > foo (Any2 x) y = x == y After playing with it, all I'm getting is weird rejections. > pattern Any2 :: forall . forall a. () => (Eq a) => a -> Some > * Pattern synonym `Any2' has one argument > but its type signature has 1 fewer arrows I need to put the constraints inside the scope of the `forall a.`. A single `(Show a) => a -> Some` complains no instance provided.

5 4

Shrink function names
by Caeeh 19 Sep '21

19 Sep '21

4 8

Re: [Haskell-cafe] On finding the right exposition...
by Olaf Klinke 19 Sep '21

19 Sep '21

Perhaps one thing that speaks in favour of Anthony Clayden's suggestion to learn lambda calculus before/along Haskell is this: Haskell shares the evaluation model with the lambda calculus. One of Michael Turner's points of criticism was, as I understand it, insufficient documentation about the inner workings of Haskell [1]. Haskell needs constructs like the ST monad because of the evaluation model. Once the learner knows, perhaps by experimenting with it on paper or on [2,3], that a lambda term can be reduced in several ways, and confluence guarantees that all ways result in the same normal form, then some things might be much clearer: * Which freedoms the compiler can exercise in evaluating your program. * Why one needs the State monad for ordering sequences of effects (the programmable semicolon) [4]. * How the various tricks and pitfalls around lazy and strict functions work, e.g. Viktor's new Foldable documentation. I looked at the first chapter of my K&R. It presents small example C programs and explains what they do. Taking small Haskell programs and explaining how these lambda terms are reduced to normal form would be a comparable (and desirable, in Michael's view) approach? The Haskell language report does not say anything in this respect, as far as I can see. Only translation of syntactic constructs to core Haskell is given. Olaf [1] Of course the documentation is out there somewhere, but not written in a style which pleases learners like Michael. [2] https://lambdacalc.io/ [3] https://capra.cs.cornell.edu/lambdalab/ [4] I tried to convince myself that the state monad indeed sequences effects. In a pure lambda world I think this should mean that a certain lambda term has only one way of being reduced. Is the following valid reasoning? type State s a = s -> (a,s) When Church-encoding the tuple (a,s) one finds that (m :: State s a) >>= (k :: a -> State s b) = \s -> m s k so the only applicable rule is beta-reducing m when applying to some s.

5 4

Re: [Haskell-cafe] Pattern synonyms and explicit forall.
by Anthony Clayden 19 Sep '21

19 Sep '21

> With an implicit forall, the code does type check. So to recap. Explicit/implicit forall doesn't seem to matter here (both compile, both work): > pattern Justy :: a -> Maybe a > pattern Justy x = Just x > > pattern Justy2 :: forall a. a -> Maybe a > pattern Justy2 x = Just x (The docos for Pattern Synonyms don't give any examples with explicit `forall`; neither do they discuss whether it makes a difference. I'm inclined to say don't bother with outermost `forall`.) But it does matter here: > data Some where > Some :: a -> Some > > pattern Any :: a -> Some > pattern Any x = Some x > > pattern Any2 :: forall a. a -> Some > pattern Any2 x = Some x > > pattern Any3 :: (forall a. a) -> Some > pattern Any3 x = Some x `Any` is accepted; `Any2` and `Any3` are rejected with a type mismatch/rigid tyvar message per your o.p. (I'm not surprised `Any3` is rejected.) The message complains about the binding line, not the signature. If you don't give a signature for `Any`, we get (with `-fprint-explicit-foralls`) `Any :: forall {a}. a -> Some`, which is the same as for `Justy, Justy2 :: forall {a}. a -> Maybe a` mutatis mutandis. As to 'working', I presume your actual code doesn't merely have an existential for `Some`(?) but rather a constraint. Otherwise pattern-matching with `(Any x)` or with `(Some x)` you can't do anything with the `x` on RHS. Your o.p. asked > Is there a way around it, or is this a missing feature? What feature would you like that you think is "missing"? Do you think a pattern's explicit `forall` for an existential data constructor should do something different vs for a regular datatype? This could just be a stray loose end that nobody anticipated with Pattern Synonyms.

3 2

Re: [Haskell-cafe] Pattern synonyms and explicit forall.
by Anthony Clayden 19 Sep '21

19 Sep '21

> And there's not a mention in the docos that this is even a thing. To moderate myself ... There's one example pattern sig with explicit `forall`s, and it's wrt existentials/GADTs. https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/pattern_synonyms.ht…, bullet wrt lexically-scoped tyvars. It doesn't say you can have a dangling `forall` quantifying nothing -- indeed that you need such a thing in this case. It looks like if you want to constrain the existential, you have to declare that in the datatype, then repeat it in the sig for the pattern.

1 0

Writing about Haskell, and the Lambda Sidebar
by Michael Turner 19 Sep '21

19 Sep '21

The debate over how much theory to give newbies seems endless, and there are good arguments on both sides. Maybe the synthesis is to just offer expository prose AND the mathematical approach, on the same page, side by side. Notational compression has its points. When I was in college and getting a little impatient with an expository text, whether it was something algorithmic or in the physical sciences, I'd often write the tightest thing I could, using not much more than set-theoretic notation. I even made a little game of it: could I almost completely eliminate English words? This gave my eye a much smaller space to range over. (Later, I heard this recommended by my favorite CS professor, Bernard Mont-Reynaud, a former student of Knuth's.) Although it's bad study practice to rewrite the text, this seemed an allowable exception. Whatever the philosophical problems of naive set theory, they didn't matter because computers are pretty naive anyway. And you could abstract away machine details; these were, in a way, still annoyingly present even back in the day when it was common to publish algorithm papers with Algol in them, which often still seemed too verbose to me. A few times, I thought I could mark up my textbook with, "I have discovered a truly concise way to express what this page says, and it CAN fit in the margin!" The debate over math-first-or-not is really an old problem: syllabus sequencing. But syllabus sequencing isn't quite learning sequencing. To be sure, you really do need to fully learn some concepts as the foundation for later ones. But psychologists have found that a feeling of "not quite getting it" isn't necessarily bad. It can even be good. Strangely, concepts can finally gel long after you've convinced yourself that they just overflowed from your overfilled brain. It's been suggested that a mild state of anxiety actually helps absorption of concepts at a subconscious level, after which they start to float back up and swim at your command when you need to apply them. So instead of arguing where the lambda calculus chapter should go (or anything else mathematical for that matter) how about putting the math in sidebars? When I was in college, I probably would have ended up in the Haskell text sidebar out of impatience. These days, with math study literally decades behind me, I might instead look over on that side with a little anxiety, and often press on impatiently in the main text after thinking, "I didn't get that." But that wouldn't mean I wasn't absorbing anything. I might even be learning faster, in a longer-term view. Because learning gels at different levels at different times, under different pressures, it might even be more efficient theory-acquisition for me than a solidly mathematical chapter, no matter where in the text it appeared. Regards, Michael Turner Executive Director Project Persephone 1-25-33 Takadanobaba Shinjuku-ku Tokyo 169-0075 Mobile: +81 (90) 5203-8682 turner(a)projectpersephone.org Understand - http://www.projectpersephone.org/ Join - http://www.facebook.com/groups/ProjectPersephone/ Donate - http://www.patreon.com/ProjectPersephone Volunteer - https://github.com/ProjectPersephone "Love does not consist in gazing at each other, but in looking outward together in the same direction." -- Antoine de Saint-Exupéry

1 0

Re: [Haskell-cafe] Pattern synonyms and explicit forall.
by Anthony Clayden 18 Sep '21

18 Sep '21

The end of your error message: > | > 63 | pattern Any a <- Some a > | ^ Appears to have program text (a mono-directional pattern binding) that doesn't correspond to the program text you quote. Whereas > pattern Any :: forall a. a -> Some > pattern Any a = Some Is a implicitly bi-directional pattern binding that will never work. (The free var `a` on LHS does not appear in RHS.) I'm suspecting the explicit forall is not much to do with it.

2 1

Re: [Haskell-cafe] Haskell-Cafe Digest, Vol 217, Issue 22
by Michael Turner 18 Sep '21

18 Sep '21

"I don't remember learning being as difficult as the claims on this thread. (Memory can deceive, I guess.)" Yes, it can. What really matters for that question is quantification. How hard was it for other people a decade ago? How hard is it now? What kinds of people were learning a decade ago? What kinds of people are learning now? Without measures, you're just offering anecdotal evidence. You say that Haskell is having problems because it wasn't true to the faith of "Avoid success at all costs". I always thought that was supposed to be a wryly paradoxical statement of strategy, not an "objective"; it was an impishly witty design-methodology heuristic, not a hymn. Perhaps I'm misreading the community spirit at Haskell Foundation, but it seems the tune shifted a while back. You feel that the wrong kinds of people are learning Haskell now, that it's "adopting" too many problem children. Thank you for your generous offer to help me dig myself out of the hole you said I dug for myself, though I can't understand why. After all, you've made it clear that you think I'm a problem child. How else to explain why you distorted what I've said elsewhere, in your summary of my positions, when you could have just linked to my actual words, in archives, and let them speak for themselves? "This juvenile delinquent has got Haskell all wrong -- stop him before he vandalizes again!" But I suppose it's just in your humanitarian nature to help even us juvenile delinquents. Still, are you sure you don't have things upside down? I'm afraid I can't offer much to you, from the way I feel the direction of gravity. >From where I am, I think the only thing I can send downward to you is a shovel full of dirt. Is GHC part of the problem? I'm pretty sure of that. Are lots of people getting Haskell wrong? That's symptomatic, at least. Has Haskell gotten too big. I wouldn't be surprised. Should more mathematical approaches be emphasized? I'm not against it, as long as there's emphasis where it's due -- for some Haskellers coming up, it may be better to bring in the math later, when they are already feeling certain patterns in coding but don't quite know how they can be concisely and rigorously expressed, and applied. But over and above all that, you can't learn Haskell by sitting with a reference manual, and trying things out in GHCI. Nor can you learn it very easily by studying relatively mature code. And if "avoiding success" means a book is giving examples that don't work anymore, that's more frustration for readers who are already feeling the steepness of the learning curve. People who want to learn need better things to read. What's "better"? It'll vary according to the reader. I'm a reader who doesn't need another sermon about, say, the virtues of static types -- I converted to that religion long ago. I'm a reader who keeps the machine level in mind, because I've been on projects where a new release of a product that used to be fast enough is suddenly extremely slow on startup initialization -- e.g., someone rewrote an SQL query in the ORM to be "more elegant" but unfortunately also as if disk-head seeks, platter rotations, and block reads were as virtually instantaneous as, say, a line fetch from L3 cache. The problem isn't overpopulation, it isn't like all those Irish that Reverend Malthus thought should starve to death because, well, they'll just breed out of control otherwise. It's the problem of professionalization, which software has always had. Entry is cheap and easy. Hardly a month goes by that we don't hear of some (supposed) miracle of modern software science from some senior in high school who started a software company. Turnover is high. This means a lot of internal treadmills to retain knowledge of how the code works. Lots of people burn out in ten years -- a ten years that, in other engineering professions, is the point at which you're considered fully seasoned, ready to hit your stride. Why the continuing immaturity? Software hasn't killed a lot of people (yet, he says, scanning the sky nervously for drones.) As long as most software was mostly in corporate information systems, the casualties tended to be only corporate-political. If you were such a casualty, it was a bit like being a player in an MMPORG. You could get "reincarnated" in another division, or another corporation, no matter how ignominious your failure. Not much karmic justice either. Even if you perpetrated fraud, which most financial firms prefer to cover up than prosecute, sending you on, because it would be bad PR to send your case to trial and have customers discover that the firm is not as good about internal security threats as it claims. To some extent, it's the very softness of software that has kept the field so immature. Mistakes are made, but unlike a shifty bridge or a shaky plane, they can be corrected cheaply and (for now) safely -- or at least, any new bugs that your patch introduced are subtler, less frequently manifested, easier to blame on someone else. Or maybe you jumped to another company by the time your code became a problem. Never have to grow up, not me! But one sign of maturity in an engineering profession is that it stops being a priesthood/guild and starts being a public responsibility. And that starts with clear communication, within and beyond the profession. Better tools are nice, of course. But if they are effectively impenetrable to those outside the guild, you're not really solving the problem. A firmer grounding in theory is also very important. But if it's hermetic incantations and thumping of mathematical bibles, that's also not good, clear communication, within and beyond the profession. Haskell has survived what is, for programming languages, a truly staggering infant mortality rate. But what stage of life is it in, now? Who are the models of maturity, for use of Haskell professionally? How can they be elevated to influence, both within and beyond Haskell programmer subculture? Bishops and guild masters were ultimately answerable to feudal lords, and modern institutions that fund software development are significantly feudal, both internally and in their interactions with other institutions. Professionalism confers an advantage: You can speak with the authority of backing from your own institution, its own ethics and values, its own standards -- as long as that profession has proven that it's motivated from a sense of public responsibility. But your profession has to speak clearly, as clearly as possible, on all levels, to maintain itself as an institution, to remain influential -- i.e., from a stance of being IN these feudal mini-worlds but not OF them. This is because, in a way, apart from the brains of its members, clear communication is the only real asset a professional institution has. And that's where better writing comes in. Regards, Michael Turner Executive Director Project Persephone 1-25-33 Takadanobaba Shinjuku-ku Tokyo 169-0075 Mobile: +81 (90) 5203-8682 turner(a)projectpersephone.org Understand - http://www.projectpersephone.org/ Join - http://www.facebook.com/groups/ProjectPersephone/ Donate - http://www.patreon.com/ProjectPersephone Volunteer - https://github.com/ProjectPersephone "Love does not consist in gazing at each other, but in looking outward together in the same direction." -- Antoine de Saint-Exupéry On Sat, Sep 18, 2021 at 12:40 PM <haskell-cafe-request(a)haskell.org> wrote: > > Send Haskell-Cafe mailing list submissions to > haskell-cafe(a)haskell.org > > To subscribe or unsubscribe via the World Wide Web, visit > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe > or, via email, send a message with subject or body 'help' to > haskell-cafe-request(a)haskell.org > > You can reach the person managing the list at > haskell-cafe-owner(a)haskell.org > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Haskell-Cafe digest..." > > > Today's Topics: > > 1. Re: Numerics (was: Re: Trouble with asinh) (Jerzy Karczmarczuk) > 2. On finding the right exposition... (Viktor Dukhovni) > 3. Re: On finding the right exposition... (Tom Ellis) > 4. Re: On finding the right exposition... (Monads) > (Joachim Durchholz) > 5. Re: On finding the right exposition... (Viktor Dukhovni) > 6. Re: On finding the right exposition... (Monads) (Brandon Allbery) > 7. Re: On finding the right exposition... (Monads) (Viktor Dukhovni) > 8. Re: On finding the right exposition... (David Feuer) > 9. Re: On finding the right exposition... (Tom Ellis) > 10. Re: Numerics (was: Re: Trouble with asinh) (Barak A. Pearlmutter) > 11. Re: On finding the right exposition... (Chris Smith) > 12. Re: On finding the right exposition... (Albert Y. C. Lai) > 13. Re: Haskell reference documentation, laws first or laws last? > (Keith) > 14. Re: Haskell's "historical futurism" needs better writing, not > better tools (Douglas McIlroy) > 15. Better writing about Haskell through multi-metaphor learning > (Michael Turner) > 16. Re: Haskell-Cafe Digest, Vol 217, Issue 16 (Anthony Clayden) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Fri, 17 Sep 2021 20:31:24 +0200 > From: Jerzy Karczmarczuk <jerzy.karczmarczuk(a)unicaen.fr> > To: haskell-cafe(a)haskell.org > Subject: Re: [Haskell-cafe] Numerics (was: Re: Trouble with asinh) > Message-ID: <32be9982-6be3-c136-c0b4-7622f3d88404(a)unicaen.fr> > Content-Type: text/plain; charset="utf-8"; Format="flowed" > > Le 17/09/2021 à 19:16, Carter Schonwald a écrit : > > > Hey Barak, is Common Lisp the only extant language to take those > > issues seriously or are there other examples or better ones? > > // tan / atan troubles cited by Barak. > > Common Lisp?? > > But even the ugly Python reacts better to such examples: > > *>>> from numpy import * > >>> rr, ii = 1.0e-20+0j, 1.0e-20j > * > > *>>> tan(rr),arctan(rr) > ((1e-20+0j), (1e-20+0j)) > >>> tan(ii),arctan(ii) > (1e-20j, 1e-20j)* > > *==* > > This works also with cmath (with arctan as atan). > ** > > Jerzy Karczmarczuk > > > > > -- > L'absence de virus dans ce courrier électronique a été vérifiée par le logiciel antivirus Avast. > https://www.avast.com/antivirus > >

1 0

Pattern synonyms and explicit forall.
by coot＠coot.me 18 Sep '21

18 Sep '21

Consider the following existential type: ``` data Some where Some :: a -> Some ``` The following (bidirectional) pattern synonym is accepted: ``` pattern Any :: a -> Some pattern Any a = Some a ``` However using an explicit `forall` results in a type error: ``` pattern Any :: forall a. a -> Some pattern Any a = Some ``` ``` Patterns.hs:63:23: error: • Couldn't match expected type ‘a’ with actual type ‘a1’ ‘a1’ is a rigid type variable bound by a pattern with constructor: Some :: forall a. a -> Some, in a pattern synonym declaration at Patterns.hs:63:18-23 ‘a’ is a rigid type variable bound by the signature for pattern synonym ‘Any’ at Patterns.hs:62:23 • In the declaration for pattern synonym ‘Any’ • Relevant bindings include a :: a1 (bound at Patterns.hs:63:23) | 63 | pattern Any a <- Some a | ^ ``` This is indpendent whether `ExplicitForAll` or `ScopedTypedVariables` extensions are enabled or not. Is there a way around it, or is this a missing feature? Best regards, Marcin Szamotulski Sent with ProtonMail Secure Email.

1 0

Re: [Haskell-cafe] Haskell-Cafe Digest, Vol 217, Issue 16
by Anthony Clayden 18 Sep '21

18 Sep '21

>>* Haskell's big problem right now is adoption. * Heh heh, this sentence is multi-ways ambiguous. As in the 'problem' is that there's too many adopters/the wrong sort of people trying to adopt Haskell. The 'problem' is that Haskell is not keeping to its objective to "avoid success at all costs". > I'm not quite sure this is a problem. Haskell and its libraries are designed around math concepts, as opposed to CS concepts (semigroup vs IConcatenable). Learning it all but requires learning some algebra as well, thus a lower adoption rate is expected. Thank you for saying that out loud. I've been feeling for some time that GHC is getting harder to use. You're telling me that because I don't get Category Theory you want to throw me out of using Haskell. People who are allergic to Lambda-calculus are already excluded. So the ostensible difficulty on these threads: that the documentation is unhelpful, is not the problem at all. In fact it's deliberate that the docos are exclusionary. As part of this grand plan, Viktor is deliberately making the Libraries docos impenetrable. (By which I mean: the style is clear, but the material is unlearnable. Apparently I need to know what is an endomorphism before I can write a Foldable instance) And that explains a paradox: I learnt Haskell over a decade ago. There was far less intro material; and certainly no store of StackOverflow questions/answers. It should have been more difficult to learn than today. But I don't remember learning being as difficult as the claims on this thread. (Memory can deceive, I guess.) Back then Haskell was a much smaller, simpler language. There was less that could go wrong at the type level; and the error messages didn't keep recommending to switch on bamboozling features that (as it turned out) made the difficulty harder. Don't go claiming that if I switch off those features today it's as if I was still using H2010. Simply not true. I know that's not true, because I can still go back and use Hugs, or use GHC v7.10 (vintage ~2015), and have a much more pleasant/less bamboozling experience. Then "Haskell's big problem right now" is (depending on your point of view) either GHC or too many of the wrong adopters. And with Dependent Types coming along GHC is going to get a lot worse. (Maybe GHC will eventually get through the fog, throw out a load of cruft and become on average as usable as v7.10. I'm not prepared to go through the pain for 5 years to find out. I'll stick with v7.10.)

4 3

Re: [Haskell-cafe] Haskell's "historical futurism" needs better writing, not better tools
by Douglas McIlroy 18 Sep '21

18 Sep '21

> Lambda calculus is an excellent place for beginners to start. > What could be easier to learn? It's certainly easier than grokking > a Turing machine; and much easier than Haskell: less than a > handful of primitives yet can compute anything computable. There's a category error (in the sense of logic, not algebra) here. Learning a language is not comparable to understanding a program. The concept of lambda calculus is far more subtle than that of Turing machine. But if you know both, a program is likely to be much easier to understand when presented in lambda calculus than when presented as a Turing machine. Doug

1 0

Re: [Haskell-cafe] Haskell-Cafe Digest, Vol 217, Issue 20
by Michael Turner 17 Sep '21

17 Sep '21

On Thu, Sep 16, 2021 at 11:57 PM Michael Turner < michael.eugene.turner(a)gmail.com> wrote: > Wow, someone on this thread said of me, from what I wrote on the > beginner's list, "He's trying to translate Haskell to C/C++." > Brandon Allbery: "Actually no, they were talking about someone on StackOverflow." I'm afraid Anthony Clayden actually WAS talking about me: https://mail.haskell.org/pipermail/haskell-cafe/2021-September/134468.html (Or am I missing some Haskeller in-joke about StackOverflow?) Regards, Michael Turner Executive Director Project Persephone 1-25-33 Takadanobaba Shinjuku-ku Tokyo 169-0075 Mobile: +81 (90) 5203-8682 turner(a)projectpersephone.org Understand - http://www.projectpersephone.org/ Join - http://www.facebook.com/groups/ProjectPersephone/ Donate - http://www.patreon.com/ProjectPersephone Volunteer - https://github.com/ProjectPersephone "Love does not consist in gazing at each other, but in looking outward together in the same direction." -- Antoine de Saint-Exupéry On Fri, Sep 17, 2021 at 9:08 PM <haskell-cafe-request(a)haskell.org> wrote: > > Send Haskell-Cafe mailing list submissions to > haskell-cafe(a)haskell.org > > To subscribe or unsubscribe via the World Wide Web, visit > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe > or, via email, send a message with subject or body 'help' to > haskell-cafe-request(a)haskell.org > > You can reach the person managing the list at > haskell-cafe-owner(a)haskell.org > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Haskell-Cafe digest..." > > > Today's Topics: > > 1. Re: Haskell's "historical futurism" needs better writing, not > better tools (Tom Ellis) > 2. Re: Haskell-Cafe Digest, Vol 217, Issue 17 (Brandon Allbery) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Fri, 17 Sep 2021 11:15:05 +0100 > From: Tom Ellis <tom-lists-haskell-cafe-2017(a)jaguarpaw.co.uk> > To: haskell-cafe(a)haskell.org > Subject: Re: [Haskell-cafe] Haskell's "historical futurism" needs > better writing, not better tools > Message-ID: <20210917101505.GA3781@cloudinit-builder> > Content-Type: text/plain; charset=us-ascii > > On Fri, Sep 17, 2021 at 06:54:50PM +0900, Michael Turner wrote: > > On Fri, Sep 17, 2021 at 4:58 PM Tom Ellis > > <tom-lists-haskell-cafe-2017(a)jaguarpaw.co.uk> wrote: > > > Michael, I have an offer for you (in fact two): > > > > > > 1. I will collaborate with you to produce the guide to Haskell's > > > evaluation that *you* would want to read. > > > > > > 2. I will collaborate with you to write the NLP tool that you want to > > > write in Haskell. > > > > I think if I write anything long, it would first have to be my > > "Haskell in Plain English: A Guide for Lexical Semanticists." > > Fair enough. > > > > I can't do these without collaborating with someone like you. I > > > simply don't know what someone else wants to read. > > > > So much of good writing is just figuring out an audience. As I wrote > > to Viktor above, the section he presented to me in case I had trouble > > with it could be absolutely ideal for someone with more grounding. > > They could admire the sentence I struggled with, for how it > > encapsulates their understanding while refreshing their memory. > > Yes indeed. The audience that I write for is myself since that's the > audience I know. I am interested in writing for a more general > audience but I don't have motivation at the moment to do so without a > member of that general audience on the team. > > > I'm not sure that gearing a piece toward what /I/ would like to read > > is a much bigger audience > > I suspect the group of people who are interested in yet frustrated by > Haskell is *far* bigger than the group of people who are already > familiar with Haskell! > > > If I had to suggest an approach you could try on your own, it would > > be this: > > Thank you for the suggestion. I will bear it in mind if I decide to > tackle this in the future. > > Tom > > > ------------------------------ > > Message: 2 > Date: Fri, 17 Sep 2021 08:02:13 -0400 > From: Brandon Allbery <allbery.b(a)gmail.com> > To: Michael Turner <michael.eugene.turner(a)gmail.com> > Cc: haskell-cafe <haskell-cafe(a)haskell.org> > Subject: Re: [Haskell-cafe] Haskell-Cafe Digest, Vol 217, Issue 17 > Message-ID: > <CAKFCL4WyXKKfZ32kdkBJPYDs8k-TJ=4NVNS0L-g5oDy0BjYhbw(a)mail.gmail.com> > Content-Type: text/plain; charset="utf-8" > > On Thu, Sep 16, 2021 at 11:57 PM Michael Turner < > michael.eugene.turner(a)gmail.com> wrote: > > > Wow, someone on this thread said of me, from what I wrote on the > > beginner's list, "He's trying to translate Haskell to C/C++." > > > > Actually no, they were talking about someone on StackOverflow. > > -- > brandon s allbery kf8nh > allbery.b(a)gmail.com >

1 0

Re: [Haskell-cafe] Haskell's "historical futurism" needs better writing, not better tools
by Simon Michael 17 Sep '21

17 Sep '21

Hi Michael, I thoroughly enjoyed and appreciate this thread. You're right, our writing and communication often and in many places does fall short of what's needed (sucks). I think your core point, that writing and communicating better could achieve more than tool-building, is very good. I saw some of the books and docs did not work for you. If you have the time to try another, I'd love to know how Mark Watson's "Haskell Tutorial and Cookbook" strikes you. It's the one I (and only I, for some reason) often recommend to practical minded haskellers. (Pardon the unthreaded reply)

1 0

Re: [Haskell-cafe] Haskell-Cafe Digest, Vol 217, Issue 16
by Anthony Clayden 17 Sep '21

17 Sep '21

>> "The seeds of your confusion are very evident from your message". > The seeds of your unsubstantiated assumptions about me are very evident from yours. OK Michael, I can see I'm not helping. I'll stop. On NLP (a topic on which I have some expertise), I'll save you time in your search: Haskell is not suitable. Use a NLP tool. Programming languages and their semantics are so unlike natural languages as to be useless. I found your "primer for the lexical semanticist" to be full of strained and unhelpful analogies. I was surprised it omitted mention of Montague Grammar -- which draws from Lambda calculus/Combinators, and would be the obvious go-to _if_ Haskell were to be applicable. On unsubstantiated assumptions: > I started programming at 15. Me too. (Dartmouth BASIC on a teletype over a dial-up line to a timeshare service.) > It's been a very rare year, even after leaving the software profession, when I didn't write at least some code, learning new things in the process. Me ditto. > Which means I've been looking at programming languages and how to implement things at the most appropriate level of abstraction possible for just a few months shy of fifty years. For me, a few months over fifty years. (BTW nothing you've said persuades me away from recommending the best way to learn Haskell is via Lambda-calculus.) AntC

1 0

Re: [Haskell-cafe] Haskell reference documentation, laws first or laws last?
by Anthony Clayden 17 Sep '21

17 Sep '21

Hi David, The Foldable Laws are here https://dnssec-stats.ant.isi.edu/~viktor/haskell/docs/libraries/base/Data-F… In the Data-Foldable doco. (There's a menu entry on the sidebar, or text search.) The Data-Traversable doco has only the Traversable Laws. > I'm not talking about whether they're first or last. They're currently not part of the class documentation *at all*. They're only in the Data.Traversable documentation.

1 0

Re: [Haskell-cafe] Haskell reference documentation, laws first or laws last?
by Anthony Clayden 17 Sep '21

17 Sep '21

Hi Viktor, really this is a quite different q than the thread talking about a learner's experience. You're writing deeply-technical detail not at all aimed at beginners. There's a very broad range of reasons and prior knowledge for readers of Library docos. But I disagree with this: > The beginner to intermediate users will be using the library and existing instances for some time before they start to write their own instances. I'll want to write an instance of Foldable as soon as I've declared my datatype, won't I? Or do you expect me to be folding only over Lists? Speaking for myself, if I want to understand a function, I look first at its type then its source definition. The Laws for the particular Foldable example I don't understand at all. I'd say: hide those Laws as far away as possible. In fact, since the blasted FTP re-organisation of that library, I've more or less given up. Too hard/too abstract/too much Category Theory. What's an `Endo`? Thank you for your efforts to document. I expect there's someone you're helping. Not me. I don't think it's that the style "sucks". This style and content is enough for me: https://www.haskell.org/hugs/pages/libraries/base/Data-Foldable.html > Of course the conjectured users who might most benefit from not being intimidated by being exposed to laws before they're ready to understand them might not be present on this forum... I've gone well beyond the point of being intimidated by Category Theorists. I find they're doing a splendid job of putting people off getting to love Haskell as I used to. If you want to tell me off for speaking out of turn, go ahead. (But this forum is the cafe, perhaps this particular discussion should be on glasgow-haskell-users?) AntC On Thu, Sep 16, 2021 at 06:51:42PM -0400, David Feuer wrote: >* The last time I went to look at the laws it took me a couple minutes to *>* find them. I use them to write instances. Pretty important, IMO. * I agree the laws are important to document, I just don't think they belong at the top of the module. The beginner to intermediate users will be using the library and existing instances for some time before they start to write their own instances. If more modules adopt something like the style of the new Data.Foldable, experienced users will know to look for the laws at the end, if not still present at the top of the module. Of course perhaps the community would prefer the original Laws first format, I'm fine with that emerging as the consensus. Perhaps worthy of a separate thread (made it so). Of course the conjectured users who might most benefit from not being intimidated by being exposed to laws before they're ready to understand them might not be present on this forum... --

1 0

Bundle patterns with type aliases
by Keith 16 Sep '21

16 Sep '21

Is there currently a way to 'bundle' a pattern with a type alias? And if not, could that capability be added to the PatternSynonyms GHC extension? (Is this the right place to ask, or should I be asking a GHC list?) --Keith Sent from my phone with K-9 Mail.

3 4

Mixed Fraction data type
by Galaxy Being 15 Sep '21

15 Sep '21

I'm looking at Sandy Maguire's _Thinking With Types_ and he's talking about the cardinality of types. He introduces the product type data MixedFraction a = Fraction { mixedBit :: Word8 , numerator :: a , denominator :: a } How is this a type for holding mixed fractions such as 5-1/2? ⨽ Lawrence Bottorff Grand Marais, MN, USA borgauf(a)gmail.com

2 3

Comment on "The Historical Futurism of Haskell" by Andrew Boardman
by Dominic Steinitz 15 Sep '21

15 Sep '21

> On 12 Sep 2021, at 13:00, haskell-cafe-request(a)haskell.org wrote: > > In particular, I am a mathematician/statistician working in evolutionary > biology. I work with multivariate distributions (hardly any of those are readily > available on Hackage), I work with a lot of random numbers (the support for > random sampling is mediocre, at best; 'splitmix' is standard by now but not > supported by the most important statistics library of Haskell), I work with > numerical optimization (I envy Pythonians for their libraries, although I still > prefer Haskell because what I achieve, at least I get right), I work with Markov > chains (yes, I had to write my own MCMC library in order to run proper Markov > chains), I need to plot my data (there is no superb standard plotting library > available in Haskell). By now, I do maintain library packages providing answers > to some of these problems, but it was (and is) a lot of work. I have to take issue with your statement about random sampling. I think we have a really good story with random numbers now. They are of high quality and fast. R and possibly Python and Julia by comparison still use Mersenne Twister, of lower quality, slower and without a good story for generating independent sequences for parallel computations. I maintain random-fu (sampling from distributions) and using the new random number generator it is now several times (x4?) faster than it was. Conceivably it could be made even faster. Please give details on where you think we can improve and better still contribute your own improvements :-) In terms of MCMC, I think Jared Tobin wrote some libraries but I don’t think they are maintained. I maintain an SMC library but I don’t know how much use it gets. Tom Nielsen, Henrik Nilsson and I wrote Haskell “bindings” for Stan: https://nottingham-repository.worktribe.com/output/1151875/getting-more-out…. It would be a lot of work to e.g. re-create Stan in Haskell natively. I agree about plotting but inline-r makes it possible to use ggplot in R via Haskell which makes things like drawing maps with reasonable projections relatively straightforward. More generally, I think we have a good set of bindings for the ODE solver library SUNDIALS and also for other numeric libraries (e.g. LAPACK and BLAS). The problem we have is not enough hands working on such things. I now sadly return to programming in Julia. PS - there is probably more I could say on numerical stuff in Haskell but the above already looks like “stream of consciousness”. Dominic Steinitz dominic(a)steinitz.org http://idontgetoutmuch.org Twitter: @idontgetoutmuch

2 3

Trouble with asinh (c calls with Doubles) in Windows
by David James 15 Sep '21

15 Sep '21

Hello all – I’m trying to debug a problem with asinh in Windows. On Linux (Ubuntu 18.04.5 LTS) running GHC 8.10.7, I get (I think correctly): GHCi, version 8.10.7: https://www.haskell.org/ghc/ :? for help Prelude> asinh 1.7976931348623157e308 710.4758600739439 But on Windows I get: GHCi, version 8.10.7: https://www.haskell.org/ghc/ :? for help Prelude> asinh 1.7976931348623157e308 NaN My understanding is that, since commit c6f4eb4f8<https://gitlab.haskell.org/ghc/ghc/-/commit/c6f4eb4f8bc5e00024c74198ab9126b…> (released in GHC 8.8.1, I think), asinh is defined as a primop that just calls the c asinh function, so I tried the following code: In Main.hs: {-# LANGUAGE ForeignFunctionInterface #-} {-# LANGUAGE CApiFFI #-} module Main (main) where import Foreign import Foreign.C.Types foreign import ccall unsafe "math.h asinh" c_asinh :: Double -> Double foreign import ccall unsafe "CAsinh.c testFn" c_testFn :: IO () main :: IO () main = do putStrLn $ "asinh 1.7976931348623157e308 = " ++ show ( asinh 1.7976931348623157e308) putStrLn $ "c_asinh 1.7976931348623157e308 = " ++ show (c_asinh 1.7976931348623157e308) putStrLn "Calling c_testFn..." c_testFn In CAsinh.c: #include <stdio.h> #include <math.h> void testFn () { printf ("in testFn\n"); printf ("asinh(1.7976931348623157e308) = %f\n", asinh(1.7976931348623157e308)); double x = 1.7976931348623157e308; printf ("asinh(x) = %f\n", asinh(x)); } In Linux, this all works fine: asinh 1.7976931348623157e308 = 710.4758600739439 c_asinh 1.7976931348623157e308 = 710.4758600739439 Calling c_testFn... in testFn asinh(1.7976931348623157e308) = 710.475860 asinh(x) = 710.475860 But on Windows I get weird results: asinh 1.7976931348623157e308 = NaN c_asinh 1.7976931348623157e308 = NaN Calling c_testFn... in testFn asinh(1.7976931348623157e308) = 710.475860 asinh(x) = -1.#IND00 The primop call from Haskell to asinh and the FFI call to c_asinh give the same (incorrect) result, as I expected. But the first call to asinh from the c testFn gives the correct result. So why is that different to the FFI call from Haskell? And why doesn’t the second call from testFn return the right result? I also tested on 9.0.1 on Windows, with a slightly different result for the final asinh: ... asinh(x) = nan I’ve investigated the things I can think of (different foreign declarations, size of double being different, checking the code in cpp.sh<http://cpp.sh/>), but can’t find an explanation. Am I doing something silly? Is this a (known) bug? Note that on Windows, values up to asinh 1.3407807929942596e154 work correctly. (As a little background: I was trying to implement the Kahan<https://people.freebsd.org/~das/kahan86branch.pdf> functions to give the correct branch cuts for complex trig functions, something I think the current Haskell implementation doesn’t do correctly. These depend on asinh, etc, on RealFloat numbers). Thanks very much for any help, David. *

4 6

Typeable convenience class
by David Feuer 15 Sep '21

15 Sep '21

Occasionally it's useful to get a little information about a type's constructor (especially its name, module, or source package), without needing a Typeable instance for the type itself. I came up with this rather simple way, but I'm wondering if something like this already exists on Hackage. #if __GLASGOW_HASKELL__ < 710 {-# language OverlappingInstances #-} #endif ... import Data.Typeable class OuterTypeable a where -- | Get the 'TypeRep' corresponding to the outermost constructor -- of a type. getConTR :: proxy a -> TypeRep #if __GLASGOW_HASKELL__ >= 708 instance # if __GLASGOW_HASKELL__ >= 710 {-# OVERLAPPING #-} # endif OuterTypeable f => OuterTypeable (f a) where getConTR _ = getConTR (Proxy :: Proxy f) instance Typeable a => OuterTypeable a where getConTR = typeRep #else -- Before GHC 7.8, we didn't have polykinded Typeable, so things were -- rather less nice. instance Typeable a => OuterTypeable a where getConTR _ = typeOf (undefined :: a) instance Typeable1 p => OuterTypeable (p a) where getConTR _ = typeOf1 (undefined :: p a) [...] instance Typeable7 p => OuterTypeable (p a b c d e f g) where getConTR _ = typeOf7 (undefined :: p a b c d e f g) #endif

1 0

Re: [Haskell-cafe] Comment on "The Historical Futurism of Haskell" by Andrew Boardman
by Rishiyur Nikhil 14 Sep '21

14 Sep '21

This thread seems to be a mixture of (A) the original topic (about broad obstacles to Haskell adoption) and (B) technical details about particular libraries that came up in the conversation that may not be of immediate interest to people following (A). For people discussing (B), kindly change the subject line of your reply to be more specific to (B). Thanks, Nikhil

1 0

[ANN] Core Libraries Committee Elections
by Emily Pillmore 13 Sep '21

13 Sep '21

Dear Haskell Community, The Core Libraries Committee is seeking new members! As detailed in recent updates (see: https://discourse.haskell.org/t/state-of-the-core-libraries-committee-updat… ), we put out an internal call to discuss restructuring the CLC to better meet the needs of the community. In particular, we are in the planning stages of writing the new process, and are seeking **2** new members who, as part of their standard CLC duties, get to participate in its construction. ## Who should apply? Anyone who meets the following criteria should apply: 1. Candidates should have enough bandwidth to review merge requests to `base` on a semi-frequent basis (2 to 3 per month), and *sustain* this for their term in a healthy manner. 2. Candidates should be able to contribute opinions and analysis to issues raised by the community as a part of the new Github-based CLC process on a semi-frequent basis (2 to 3 per month). 3. Candidates should be good communicators, and at least be able to articulate to the CLC team when they will be available vs. unavailable. 4. Candidates should be productive, and be able to follow through on merge requests and conversations to their completion in a diligent and timely manner. We encourage any and all who satisfy these requirements to apply. Please note that we are not looking for the biggest galaxy brain in the room - quite the opposite. We are looking for productive, motivated individuals who want to help support the ecosystem that we love. As such, we hope to build a broad sample of the community. This election is particularly special due to the fact that our new members will have the chance to help shape process for new generations of the CLC to come, and can take ownership from the ground up so to speak. This means that we can help shape a process that works better for us as modern Haskell developers, and help the CLC become a better fit for the community's needs. ## How can I apply? To apply for one of these positions, send an email to the CLC email address ( core-libraries-committee(a)haskell.org ) that consists of the following data: 1. The header "CLC Election September 2021 - <your name>" 2. Why you think you're a good fit given the above criteria 3. If applicable, please point us to some code you've written ## When will elections be decided? Please note the following dates: 1. Election submissions open: Sept 13 2. Election submissions close: Sept 20 3. Election outcome announced: Sept 27 Cheers, Emily - on behalf of the CLC

1 0

Comment on "The Historical Futurism of Haskell" by Andrew Boardman
by Dominik Schrempf 13 Sep '21

13 Sep '21

Hi! I am referring to the impressive talk/show/thought-provoking message about "The Historical Futurism of Haskell" delivered by Andrew Boardman at the Haskell Love Conference. I am not sure if I am allowed to link to the talk myself, since it is password protected, and was part of a conference. Maybe this can be done by the conference organizers, or by Andrew himself, if they please. In summary, and please add your comments or correct me, Andrew discusses that we truly believe that Haskell --- as a statically typed, lazy, pure, and functional language -- is an incredibly powerful tool, that should be made available to everybody now and for the next thirty years. However, he argues that this power is hard to access because we have a lot of "adequate" tooling for a fantastic language. He adds that we need superb tooling in order for "beginners to learn faster, and experienced programmers to accelerate productivity". He refers to overhauling programming environments to reflect data flow across and within functions and to "setting higher standards" for ourselves so that we finally "lift ourselves out of the pit of adequacy". He also asks whether it is really necessary to be in "crisis mode" to invest into fundamental changes of the ecosystem (escalation of commitment). I deeply agree, and wanted to thank Andrew for his talk. Personally, to me it seemed that Andrew was more referring to the programming environment than to the set of available libraries, although this may not have been his intention. I wanted to express that in my opinion, and in order to drive Haskell forward, we need a qualitative, reliable, performant, and well maintained "standard" library. Haskell has many "adequate" libraries but few superb ones. And while I understand that the immense advantages of being an open source community also come at a cost: a lot of work we do in our free time, because we have limited funding for improving libraries or development environments. Many libraries are maintained by one individual who may have the time and resources (or not) to look at standing issues or possibilities for improvements. In particular, I am a mathematician/statistician working in evolutionary biology. I work with multivariate distributions (hardly any of those are readily available on Hackage), I work with a lot of random numbers (the support for random sampling is mediocre, at best; 'splitmix' is standard by now but not supported by the most important statistics library of Haskell), I work with numerical optimization (I envy Pythonians for their libraries, although I still prefer Haskell because what I achieve, at least I get right), I work with Markov chains (yes, I had to write my own MCMC library in order to run proper Markov chains), I need to plot my data (there is no superb standard plotting library available in Haskell). By now, I do maintain library packages providing answers to some of these problems, but it was (and is) a lot of work. Finally, I want to thank all library developers for their impressive work, thank you! And still, I think it is not enough. In my opinion, these are all examples where Haskell needs to improve if we want to broaden the adoption among the general public. Do we have the resources? Thank you! Dominik

4 4

Virtual Haskell CoHack on Sep 25
by Chris Smith 12 Sep '21

12 Sep '21

For the second time, I'm hosting a virtual Haskell CoHack on September 25. If you've wanted to meet new Haskellers, give or hear lightning talks, and hack together on Haskell projects, this is your chance. Sign up at https://www.meetup.com/NY-Haskell/events/280727563/ The event will be held via Zoom. I've tried to time it to be reasonable for people across the Americas and Europe. Sadly, time zones cannot accommodate everyone. :( But if you can, please consider coming!

1 0

Backpack: polymorphic instantation?
by Jaro Reinders 12 Sep '21

12 Sep '21

I'm playing around with backpack, trying to rewrite existing libraries. My end goal is to see if Backpack could improve the primitive library. Right now, the primitive library (in my opinion) relies too heavily on specialization of its type classes, so I think Backpack could help. However, I seem to be running into a limitation. I am wondering if it is a fundamental limitation, if perhaps there is a workaround, or if Backpack could be improved to support this use-case. Instead of primitive, I will take the simpler example: semigroup, which also shows this limitation. Let's convert the Semigroup class to a backpack signature: unit indef where signature Semigroup where import Prelude hiding ((<>)) data T (<>) :: T -> T -> T The problem is how to implement this signature with the type of polymorphic lists. It is easy to implement it for concrete lists like strings: unit string where module Semigroup where import Prelude hiding ((<>)) type T = String (<>) :: T -> T -> T (<>) = (++) It is also possible to implement it in terms of another signature: unit list where signature Elem where data A module Semigroup where import Prelude hiding ((<>)) import Elem type T = [A] (<>) :: T -> T -> T (<>) = (++) This is still problematic, because it is annoying that this new type A needs to be instantiated each time you want to use it. However, even more importantly, if I want to translate the 'PrimMonad' class to a Backpack signature then the 'ST s' instance needs a polymorphic type variable 's', which cannot be made concrete. And do note that I want the monad to be concrete for performance reasons, but the 's' parameter doesn't have to be concrete, because it is a phantom parameter anyway. And for lists making the 'a' parameter concrete also would not improve performance as far as I know. One possible way to fix this is to add a type variable in the 'Semigroup' signature, but then I think it becomes impossible to write the 'String' instance and sometimes you need more than one new type variable such as with the 'ReaderT r (ST s)' instance of 'PrimMonad'. In OCaml you can still kind of work around this problem by creating local instances inside functions. That trick still allows you to write a polymorphic concatenation function using a monoid signature (taken from [1]): let concat (type a) xs = let module MU = MonoidUtils (ListMonoid(struct type t = a end)) in MU.concat xs;; So, I'm wondering if it would be possible to "generalise" over indefinite Backpack types such as 'A' in the 'Elem' signature above or if we can at least implement something which enables the same trick that you can use in OCaml. Thanks, Jaro [1] https://blog.shaynefletcher.org/2017/05/more-type-classes-in-ocaml.html

2 4

Re: [Haskell-cafe] Backpack: polymorphic instantation?
by Daniel Díaz 11 Sep '21

11 Sep '21

Perhaps this is not what you had in mind, but we could write a signature like {-# LANGUAGE KindSignatures #-} > signature Mystery where > import Data.Kind > import Control.Monad > data MysteryMonad :: Type -> Type > instance Functor MysteryMonad > instance Applicative MysteryMonad > instance Monad MysteryMonad > instance PrimMonad MysteryMonad that reused the existing PrimMonad class. Code could depend on that signature without being tied to a concrete monad (this would make the package that has the code "indefinite"). Once we compiled the indefinite code against an actual implementation, it would be optimized as if we had used concrete types from the beginning. One problem with this solution is that it leaves out ST. If we wanted to make it work with ST, one possible hack would be to define the signature like this data MysteryMonad :: Type -> Type -> Type > instance Functor (MysteryMonad s) > instance Applicative (MysteryMonad s) > instance Monad (MysteryMonad s) > instance PrimMonad (MysteryMonad s) And then use some kind of newtype adapter with a phantom type for non-ST monads: module Mystery where type MysteryMonad = W IO > newtype W m a b = W (m b) deriving newtype (Functor, Applicative, Monad) But perhaps it would complicate things too much. On Sat, Sep 11, 2021 at 2:08 PM <haskell-cafe-request(a)haskell.org> wrote: > Send Haskell-Cafe mailing list submissions to > haskell-cafe(a)haskell.org > > To subscribe or unsubscribe via the World Wide Web, visit > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe > or, via email, send a message with subject or body 'help' to > haskell-cafe-request(a)haskell.org > > You can reach the person managing the list at > haskell-cafe-owner(a)haskell.org > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Haskell-Cafe digest..." > > > Today's Topics: > > 1. Backpack: polymorphic instantation? (Jaro Reinders) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Sat, 11 Sep 2021 11:58:26 +0200 > From: Jaro Reinders <jaro.reinders(a)gmail.com> > To: Haskell Cafe <haskell-cafe(a)haskell.org> > Subject: [Haskell-cafe] Backpack: polymorphic instantation? > Message-ID: <3fb19986-f998-61c7-8c56-482b1647e2eb(a)gmail.com> > Content-Type: text/plain; charset=utf-8; format=flowed > > I'm playing around with backpack, trying to rewrite existing libraries. My > end > goal is to see if Backpack could improve the primitive library. Right now, > the > primitive library (in my opinion) relies too heavily on specialization of > its > type classes, so I think Backpack could help. However, I seem to be > running > into a limitation. I am wondering if it is a fundamental limitation, if > perhaps > there is a workaround, or if Backpack could be improved to support this > use-case. > > Instead of primitive, I will take the simpler example: semigroup, which > also > shows this limitation. Let's convert the Semigroup class to a backpack > signature: > > unit indef where > signature Semigroup where > import Prelude hiding ((<>)) > data T > (<>) :: T -> T -> T > > The problem is how to implement this signature with the type of > polymorphic > lists. It is easy to implement it for concrete lists like strings: > > unit string where > module Semigroup where > import Prelude hiding ((<>)) > type T = String > (<>) :: T -> T -> T > (<>) = (++) > > It is also possible to implement it in terms of another signature: > > unit list where > signature Elem where > data A > > module Semigroup where > import Prelude hiding ((<>)) > import Elem > type T = [A] > (<>) :: T -> T -> T > (<>) = (++) > > This is still problematic, because it is annoying that this new type A > needs to > be instantiated each time you want to use it. However, even more > importantly, > if I want to translate the 'PrimMonad' class to a Backpack signature then > the > 'ST s' instance needs a polymorphic type variable 's', which cannot be > made > concrete. > > And do note that I want the monad to be concrete for performance reasons, > but > the 's' parameter doesn't have to be concrete, because it is a phantom > parameter anyway. And for lists making the 'a' parameter concrete also > would > not improve performance as far as I know. > > One possible way to fix this is to add a type variable in the 'Semigroup' > signature, but then I think it becomes impossible to write the 'String' > instance and sometimes you need more than one new type variable such as > with > the 'ReaderT r (ST s)' instance of 'PrimMonad'. > > In OCaml you can still kind of work around this problem by creating local > instances inside functions. That trick still allows you to write a > polymorphic > concatenation function using a monoid signature (taken from [1]): > > let concat (type a) xs = > let module MU = MonoidUtils (ListMonoid(struct type t = a end)) in > MU.concat xs;; > > So, I'm wondering if it would be possible to "generalise" over indefinite > Backpack types such as 'A' in the 'Elem' signature above or if we can at > least > implement something which enables the same trick that you can use in OCaml. > > Thanks, > > Jaro > > [1] > https://blog.shaynefletcher.org/2017/05/more-type-classes-in-ocaml.html > > > ------------------------------ > > Subject: Digest Footer > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe(a)haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe > > > ------------------------------ > > End of Haskell-Cafe Digest, Vol 217, Issue 10 > ********************************************* >

2 1

[ANN] vector-hashtables-0.1.0.1
by Andrey Prokopenko 10 Sep '21

10 Sep '21

Hello All, We would like to announce the release of yet another implementation of efficient mutable hashtables in Haskell. - It was created long time ago, GitHub: https://github.com/klapaucius/vector-hashtables <https://github.com/klapaucius/vector-hashtables>. - And it finally got its way to the Hackage: https://hackage.haskell.org/package/vector-hashtables <https://hackage.haskell.org/package/vector-hashtables>. - Benchmark report (HTML) could be also found via this link: https://an-pro.org/html/vhc.html <https://an-pro.org/html/vhc.html>. Best Regards, Andrey Prokopenko

1 0

[ANN] Cabal-3.6.1.0 and cabal-install-3.6.0.0
by Emily Pillmore 10 Sep '21

10 Sep '21

Hello all, The Cabal team is excited to announce the release of both `Cabal-3.6.1.0`, and `cabal-install-3.6.0.0`! ## Changelog for `Cabal-3.6.1.0` This release of `Cabal` is a point release that allowed us to get some important features out into the ecosystem that just couldn't wait: - Include cmm-sources when linking shared objects - Prefer canonicalized path when guessing tools from GHC path - Fix `cabal test --enable-library-coverage` for modules in the `other-modules` field - set the PATH_SEPARATOR value to `;` when calling `./configure` on Windows (this is necessary for autoconf >=2.7) - Significant speedups to the solver ## Changelog for `cabal-install-3.6.0.0` This is the fourth release of the 3.0 release series for `cabal-install`, introducing features and quality of life improvements including: - Better support for `hsc2hs`, allowing users to pass additional options - Added an `--only-download` flag - extra-packages now works properly - `cabal init` UX improvements - GHC 9.2 support - Fixes to the backpack UX - Removing the spurious warnings for extraneous versions on internal packages - Alerts and spelling suggestions for mispelled comands - Massive improvements to code organization and repository health For a full set of release notes, see https://github.com/haskell/cabal/blob/master/release-notes/cabal-install-3.…. If you have issues, we'd love to hear about them here: https://github.com/haskell/cabal/issues. ## Plans for 3.8 The 3.6 release marks the first in a series where we work to modernize the Cabal project by means of doing away with the idiosyncratic and historical cruft built up, improving the contribution experience. Over the next 6 months, we'll be working hard to improve the state of the repository, including onboarding more maintainers and welcoming new contributors with clearer contribution requirements. To start, we've identified issues and new features that we aim to tackle for the 3.8 release spanning the following: - Better build info for tool creators - Support for stable package sets like LTS - Dropping build/test support for GHCs outside of the 5 year window - Finishing the multilib work - a byte-for-byte bidirectional parser - etc. You can find the full list of 3.8 project issues here: https://github.com/haskell/cabal/issues?q=is%3Aopen+is%3Aissue+project%3Aha…. I'd also like to thank the many contributors who offered patches, tickets, and other help in the preparation of this release. We appreciate all of your help! And a special thank you to the Haskell Language Server team for working with us and the Haskell Foundation to help fund work needed to improve the IDE. Happy hacking! Emily

2 1

Using a non fully saturated type family
by Ruben Astudillo 09 Sep '21

09 Sep '21

Hello Cafe. I am trying to encode a version of sigma types using GADTs for the tag and a type family as the function between the GADT and the universe of types. My code looks like this (notice the use of StandaloneKindSignatures). --- | dependent.hs {-# language RankNTypes, PolyKinds, TypeFamilies, GADTs #-} {-# language StandaloneKindSignatures, DataKinds #-} module Main where import Data.Kind (Type) import Data.Functor.Identity main :: IO () main = return () type Tag :: Bool -> Type data Tag b where STrue :: Tag True SFalse :: Tag False type ApplyTag :: Bool -> Type type family ApplyTag t where ApplyTag 'True = Int ApplyTag 'False = Char type Sigma :: forall k. (k -> Type) -> (k -> Type) -> Type data Sigma t f where (:&:) :: forall t f a. t a -> f a -> Sigma t f ex :: Sigma Tag ApplyTag ex = STrue :&: 27 The error I get is dependent.hs:24:7: error: • The type family ‘ApplyTag’ should have 1 argument, but has been given none • In the type signature: ex :: Sigma Tag ApplyTag | 24 | ex :: Sigma Tag ApplyTag | ^^^^^^^^^^^^^^^^^^ which is true! How can I recover the intuition of type families being functions at the type level? -- Rubén. (pgp: 4EE9 28F7 932E F4AD)

3 3

Type synonym involing quantified constraint?
by Michael Sperber 07 Sep '21

07 Sep '21

I'm working on Conal's ConCat code, and keep putting quantified constraints like this in instance constraints: (okk ~ Ok k, forall x y. (okk x, okk y) => okk (Prod k x y)) (The okk ~ Ok k is necessary because Ok is an associated type.) Is there any way to define a type synonym for this? Like type OkProd k = (okk ~ Ok k, forall x y. (okk x, okk y) => okk (Prod k x y)) ghc (8.10.4) complains about an impredicative type. Help would be much appreciated! -- Regards, Mike

2 4

Re: [Haskell-cafe] broadcasting stateful computations
by Olaf Klinke 06 Sep '21

06 Sep '21

Thanks everyone for the helpful suggestions! Bryan Richer wrote: > what if the TVar is part of the > state s? > (StateT IO) can't give any guarantees about when or how the state is > broadcast, but using STM within StateT actions still can. I don't understand this, but it may go into the same direction as: Chris Smith wrote: > I had the same suggestion. However, you then no longer need StateT, as > ReaderT is enough. Using a `ReaderT (TVar s) IO a` will allow atomic > changes to the state s, along with interleaved IO when it's done safely > rather than in the middle of a transaction. ReaderT (TVar s) IO is interesting! It does not solve the problem of atomic modifications with side-effects, though. Currently I am implicity using ReaderT (TVar s), by explicitly passing the TVar around. In principle, for atomic modifications I have to get hold of a pure version (s -> s) of the modification. Maybe within a monadic context. But if determining this modification function is side-effectful, then it can not depend on the initial contents of the TVar! This leads me to the conclusion that either (a) atomic modification by a Kleisli map is impossible and another mechanism needs to ensure thread safety, or (b) we need to keep two versions of the state: one private, pure s and one public TVar s which we synchronize from time to time. The latter can be accomplished with atomic writes. More on that below. Isaac Elliott wrote: > What about creating a MonadState instance for the TVar? Very neat, but it would not solve the atomicity problem, since the update I have is not expressible as stateTVar. YueCompl wrote: > I believe this is the use case for TMVar, use `takeTMVar` / `putTMVar` instead of `readTVar` / `writeTVar` will do. TMVars appear non-empty for one thread only, as far as I understand. So any observer thread would be blocked while the worker thread is updating the state? Not good for my use case. The observer thread will be a webserver. I'd rather have the webserver report old states than block. I have neglected to mention one aspect of my problem that might be essential: All my state updates are monoidal. By that I mean that s is a monoid with s' <> s <> s = s' <> s and any effectful modification will be of the form f = \s -> (k s) >>= (\s' -> s' <> s) for some k :: s -> m s. This entails that instead of emitting modifications as functions I can emit modifications as values. emitModification :: (Monad m, Monoid s) => StateT s m a -> WriterT s (StateT s m) a emitModification (StateT f) = WriterT $ StateT $ \s -> do (a,s') <- f s return ((a,s'),s') broadcastModification :: (MonadIO m, Semigroup s) => TVar s -> (WriterT s m) a -> m a broadcastModification ref (WriterT m) = do (a,s') <- m (liftIO.atomically) (modifyTVar ref (\s -> s' <> s)) return a Then \ref -> broadcastModification ref . emitModification :: (MonadIO m, Monoid s) => TVar s -> StateT s m a -> StateT s m a This has the additional charm that I can explicitly control when writes to the TVar happen, by choosing which (StateT s m) blocks to enclose in this wrapper. I might even set up my communication as a TChan, if the observing thread maintains an own copy of state itself to merge the updates s' into. Olaf

3 9

New package: lazify
by David Feuer 03 Sep '21

03 Sep '21

Occasionally, it's useful to make things lazier. The utility-ht package has long offered forcePair :: (a,b) -> (a,b) forcePair ~(a,b) = (a,b) But that only works for pairs! If you want to work with records/tuples much more generally, now you can do so conveniently with the lazify package. Please take a look and let me know what you like and dislike, and whether there's anything more you want. https://hackage.haskell.org/package/lazify-0.1.0.1

2 2

broadcasting stateful computations
by Olaf Klinke 02 Sep '21

02 Sep '21

Dear Café, I have a sequence of state-modifying computations action :: MonadUnliftIO m => StateT s m () where the state s should be visible to other threads. Thus I created a TVar in which I keep track of this state s for other threads to read. The type system tells me it can't be done, which suggests I am using the wrong abstraction. The following type-checks but may be unsafe. import Control.Concurrent.STM import Control.Monad.IO.Unlift updateStateTVar :: MonadUnliftIO m => TVar s -> StateT s m () -> m () updateStateTVar var action = withRunInIO (\inIO -> do s0 <- atomically (readTVar var) s1 <- inIO (execStateT action s0) atomically (writeTVar var s1)) Yet the splitting into readTVar and writeTVar is dangerous if several threads have read/write access to the same TVar. I was hoping to write the above using modifyTVar. However, the action essentially gives me a Kleisli map s -> m s which I somehow have to turn into an m (s -> s) but it is not possible in general. (The reverse works for any functor.) What should I do? * Switch to WriterT (Endo s) m? This is not as powerful as StateT s m. * Do everything in the STM monad? But this disallows arbitrary IO because it would facilitate nested STM transactions. The code above is safe, I believe, if only one thread has read/write access and the others are read-only. Are there type-level abstractions of this kind? (I suppose one could easily make them with some newtypes.) Thanks in advance for any thoughts on this. Olaf

5 4

[conference announcement] Haskell Love Conference 2021
by Ida Bzowska 31 Aug '21

31 Aug '21

Hi Haskellers, Kindly reminder: https://haskell.love is taking place in 10 days. The conference is free to attend, held online, with the best schedule you can imagine (talks by: Simon Peyton-Jones as a keynote, Chris Penner, Dmitrii Kovanikov, Gergő Érdi, Ivan Gromakovskii, Jan Christopher Vogt, Jeremy Gibbons, Marcin Szamotulski, Mikael Tönnberg, Noon van der Silk, Rebecca Skinner, Ryan Orendorff, Stephanie Weirich, Thomas Tuegel, Gershom Bazerman, Joseph Morag, Veronika Romashkina). If you don't have a good excuse to skip the event then grab your ticket! λCheers, Ida Bzowska

1 0