Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 367 368 369 370 371 372 373 374 375 376 377 .. 5022
— 502,152 events total
2020-10-02 13:14:08 <phadej> indeed why
2020-10-02 13:14:26 → jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-10-02 13:16:04 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-02 13:19:06 → da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
2020-10-02 13:24:58 × da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Max SendQ exceeded)
2020-10-02 13:26:28 <maralorn> yeah, I mean between chunks …
2020-10-02 13:26:53 <maralorn> but since I am concating them anyways before I can just putStr and flush them one after the other.
2020-10-02 13:30:03 → juri_ joins (~juri@79.140.121.173)
2020-10-02 13:33:06 × polyrain quits (~polyrain@2001:8003:640b:b900:3932:cca7:5271:9742) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-02 13:33:28 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-02 13:34:54 → toorevitimirp joins (~tooreviti@117.182.181.38)
2020-10-02 13:36:11 × borne quits (~fritjof@200116b864545000eb24a00afefc421b.dip.versatel-1u1.de) (Ping timeout: 272 seconds)
2020-10-02 13:36:48 → AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl)
2020-10-02 13:39:20 → aarvar joins (~foewfoiew@50.35.43.33)
2020-10-02 13:39:27 × drbean quits (~drbean@TC210-63-209-213.static.apol.com.tw) (Ping timeout: 240 seconds)
2020-10-02 13:40:39 → juri__ joins (~juri@178.63.35.222)
2020-10-02 13:42:13 × jle` quits (~mstksg@unaffiliated/mstksg) (Ping timeout: 260 seconds)
2020-10-02 13:42:18 → jedws joins (~jedws@121.209.139.222)
2020-10-02 13:42:52 × coot quits (~coot@37.30.49.34.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-02 13:43:54 × juri_ quits (~juri@79.140.121.173) (Ping timeout: 272 seconds)
2020-10-02 13:44:06 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-02 13:44:37 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-pdkqlqfnwurchqja) (Quit: Connection closed for inactivity)
2020-10-02 13:47:33 → son0p joins (~son0p@181.136.122.143)
2020-10-02 13:48:13 → madjestic joins (~madjestic@86-88-72-244.fixed.kpn.net)
2020-10-02 13:48:25 × toorevitimirp quits (~tooreviti@117.182.181.38) (Ping timeout: 240 seconds)
2020-10-02 13:48:58 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-10-02 13:50:20 → toorevitimirp joins (~tooreviti@117.182.181.38)
2020-10-02 13:52:55 → borne joins (~fritjof@200116b86454500007933c164a08810c.dip.versatel-1u1.de)
2020-10-02 13:54:08 → da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
2020-10-02 13:54:41 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-02 13:55:17 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-02 13:56:45 → ystael joins (~ystael@209.6.50.55)
2020-10-02 13:56:45 × lortabac quits (~lortabac@51.158.65.124) (Read error: Connection reset by peer)
2020-10-02 13:57:23 grumble is now known as Spooktober
2020-10-02 13:57:44 e is now known as deadk
2020-10-02 13:59:15 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-02 14:00:16 → ddellacosta joins (~dd@86.106.121.168)
2020-10-02 14:02:15 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-10-02 14:03:43 → lortabac joins (~lortabac@51.158.65.124)
2020-10-02 14:04:47 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-02 14:06:13 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-10-02 14:06:52 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-02 14:09:09 × yoneda quits (~mike@193.206.102.122) (Quit: leaving)
2020-10-02 14:09:26 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-10-02 14:11:45 × chappi quits (~swaroop@157.49.90.100) (Remote host closed the connection)
2020-10-02 14:11:45 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-02 14:13:58 → chappi joins (~swaroop@157.45.23.171)
2020-10-02 14:14:58 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-02 14:15:56 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-02 14:17:22 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-10-02 14:19:05 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-02 14:21:09 × alp quits (~alp@2a01:e0a:58b:4920:1515:91a6:893c:5718) (Ping timeout: 272 seconds)
2020-10-02 14:21:57 → mirrorbird joins (~psutcliff@2a00:801:42a:82eb:6edc:4c78:a574:2a8f)
2020-10-02 14:24:16 × aveltras quits (uid364989@gateway/web/irccloud.com/x-decqiotcaxthssop) (Quit: Connection closed for inactivity)
2020-10-02 14:25:00 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-02 14:25:11 × o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection)
2020-10-02 14:25:29 → o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2020-10-02 14:26:19 × ft quits (~ft@shell.chaostreff-dortmund.de) (Ping timeout: 260 seconds)
2020-10-02 14:26:58 → ft joins (~ft@shell.chaostreff-dortmund.de)
2020-10-02 14:27:03 × albethere quits (sid457088@gateway/web/irccloud.com/x-euzbwktnggxsctak) (Ping timeout: 244 seconds)
2020-10-02 14:27:34 × fiadliel quits (sid399568@gateway/web/irccloud.com/x-llzgoofxbcculsva) (Ping timeout: 244 seconds)
2020-10-02 14:27:34 → voyons_osti joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-02 14:27:44 → fiadliel joins (sid399568@gateway/web/irccloud.com/x-qpjmurqekfenxlla)
2020-10-02 14:28:23 × conal quits (~conal@107.181.166.148) (Quit: Computer has gone to sleep.)
2020-10-02 14:28:39 → coot joins (~coot@37.30.49.34.nat.umts.dynamic.t-mobile.pl)
2020-10-02 14:28:45 <Guest18> Hey guys, common question here: can anyone make an ELI5 for what a monad is? I can't seem to grasp the concept on my own. Yes, I've heard the joke with the endofunctors :)
2020-10-02 14:29:07 × Kamuela quits (sid111576@gateway/web/irccloud.com/x-hizwwfvajxwuptvq) (Ping timeout: 244 seconds)
2020-10-02 14:29:07 × xyggos quits (uid216035@gateway/web/irccloud.com/x-gnlompqpniagbeqc) (Ping timeout: 244 seconds)
2020-10-02 14:29:07 × itai33[m] quits (itai33matr@gateway/shell/matrix.org/x-kefkftogqwbmbqbo) (Ping timeout: 244 seconds)
2020-10-02 14:29:14 → itai33[m] joins (itai33matr@gateway/shell/matrix.org/x-kkpfrvjedmohzgix)
2020-10-02 14:29:15 → albethere joins (sid457088@gateway/web/irccloud.com/x-nwltghldiblztrql)
2020-10-02 14:29:22 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-10-02 14:29:49 <dolio> Monads are a way of presenting abstract algebra.
2020-10-02 14:29:56 × wangoe[m] quits (wangoematr@gateway/shell/matrix.org/x-ejdppythnrvrfopr) (Ping timeout: 240 seconds)
2020-10-02 14:30:09 × alunduil quits (alunduil@gateway/web/irccloud.com/x-armiphmmyuoonyeh) (Ping timeout: 244 seconds)
2020-10-02 14:30:10 → wangoe[m] joins (wangoematr@gateway/shell/matrix.org/x-ygktxbgtoupbgdmu)
2020-10-02 14:30:20 → Kamuela joins (sid111576@gateway/web/irccloud.com/x-zosmoookvvrpusxu)
2020-10-02 14:30:30 → chreekat[m]1 joins (chreekatma@gateway/shell/matrix.org/x-jpfnucpqjtwzgcaa)
2020-10-02 14:30:37 → conal joins (~conal@107.181.166.148)
2020-10-02 14:30:40 × jared-w quits (uid405292@gateway/web/irccloud.com/x-lvabjzxurljtbtsc) (Ping timeout: 244 seconds)
2020-10-02 14:30:44 <Guest18> I understand monads are a way of introducing side-effects in a purely functional context. Don't know more than that
2020-10-02 14:31:45 × ft quits (~ft@shell.chaostreff-dortmund.de) (Ping timeout: 240 seconds)
2020-10-02 14:31:45 → alunduil joins (alunduil@gateway/web/irccloud.com/x-ykoppvalzkjzwxam)
2020-10-02 14:31:46 <Taneb> Guest18: forget everything you know about them. "IO" is a way of talking about (but not really introducing) side-effects in a purely functional context, and it happens that IO is an example of a monad
2020-10-02 14:31:55 <tbreslein> well, that is not true though. there are monads that introduce "side-effects", but side-effects aren't an inherent feature to monads
2020-10-02 14:32:01 → xyggos joins (uid216035@gateway/web/irccloud.com/x-xzyfcimlxufybwap)
2020-10-02 14:32:05 → ft joins (~ft@shell.chaostreff-dortmund.de)
2020-10-02 14:32:06 <Taneb> @where typeclassopedia
2020-10-02 14:32:06 <lambdabot> http://www.haskell.org/haskellwiki/Typeclassopedia
2020-10-02 14:32:07 <tbreslein> that was @Guest18
2020-10-02 14:32:13 × heyj quits (sid171370@gateway/web/irccloud.com/x-ffzoewiykurlnmpn) (Ping timeout: 244 seconds)
2020-10-02 14:32:13 × rizary quits (sid220347@gateway/web/irccloud.com/x-asbilbwnyrijqcny) (Ping timeout: 244 seconds)
2020-10-02 14:32:13 × d0liver quits (sid363046@gateway/web/irccloud.com/x-jybzxemfqeasbqbs) (Ping timeout: 244 seconds)
2020-10-02 14:32:24 <Taneb> Guest18: Typeclassopedia (see the link that I got lambdabot to write) is what I recommend
2020-10-02 14:32:29 → jared-w joins (uid405292@gateway/web/irccloud.com/x-etyqmfyslkdvapeg)
2020-10-02 14:32:36 → polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2020-10-02 14:32:41 <Uniaika> Guest18: I'll try and ELI5 it
2020-10-02 14:32:43 <Taneb> But it's more "explain it like I'm a maths student" (which I was when I learnt)
2020-10-02 14:32:49 × acidjnk_new quits (~acidjnk@p200300d0c723788040fc08bec5cc5c11.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-02 14:32:49 × siraben quits (sirabenmat@gateway/shell/matrix.org/x-zchkdzekdlwvohec) (Ping timeout: 240 seconds)
←Prev  Next→
Page 1 .. 367 368 369 370 371 372 373 374 375 376 377 .. 5022

All times are in UTC.