Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 930 931 932 933 934 935 936 937 938 939 940 .. 18028
— 1,802,701 events total
2021-07-13 14:28:08 × fabfianda[m] quits (~fabfianda@2001:470:69fc:105::6db) (*.net *.split)
2021-07-13 14:28:08 × peddie quits (~peddie@2001:470:69fc:105::25d) (*.net *.split)
2021-07-13 14:28:08 × img quits (~img@user/img) (*.net *.split)
2021-07-13 14:28:08 × troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (*.net *.split)
2021-07-13 14:28:08 × sqrt2 quits (~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net) (*.net *.split)
2021-07-13 14:28:08 × sshine quits (~simon@hubris.eta.solutions) (*.net *.split)
2021-07-13 14:28:08 × synthmeat quits (~synthmeat@user/synthmeat) (*.net *.split)
2021-07-13 14:28:08 × dminuoso quits (~dminuoso@user/dminuoso) (*.net *.split)
2021-07-13 14:28:08 × dextaa quits (~DV@aftr-37-201-214-197.unity-media.net) (*.net *.split)
2021-07-13 14:28:09 × welterde quits (welterde@thinkbase.srv.welterde.de) (*.net *.split)
2021-07-13 14:28:09 × AWizzArd quits (~code@user/awizzard) (*.net *.split)
2021-07-13 14:28:09 × vjoki quits (~vjoki@2a00:d880:3:1::fea1:9ae) (*.net *.split)
2021-07-13 14:28:09 × oldmate quits (~spider@user/oldmate) (*.net *.split)
2021-07-13 14:28:09 × jle` quits (~justin@cpe-23-240-75-236.socal.res.rr.com) (*.net *.split)
2021-07-13 14:28:09 × xlei quits (znc@pool-68-129-84-118.nycmny.fios.verizon.net) (*.net *.split)
2021-07-13 14:28:09 × liskin quits (~liskin@xmonad/liskin) (*.net *.split)
2021-07-13 14:28:09 × wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split)
2021-07-13 14:28:09 × bastelfreak quits (~bastelfre@basteles-bastelknecht.bastelfreak.org) (*.net *.split)
2021-07-13 14:28:09 × cocreature quits (~moritz@2a03:b0c0:3:d0::c8:f001) (*.net *.split)
2021-07-13 14:28:13 → AWizzArd_ joins (~code@gehrels.uberspace.de)
2021-07-13 14:28:17 → sqrt2_ joins (~ben@80-108-18-7.cable.dynamic.surfer.at)
2021-07-13 14:28:18 → sshine joins (~simon@hubris.eta.solutions)
2021-07-13 14:28:28 → troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua)
2021-07-13 14:28:29 → oldmate joins (~spider@vps-951ce37a.vps.ovh.ca)
2021-07-13 14:28:38 → wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de)
2021-07-13 14:28:38 → liskin joins (~liskin@ackle.nomi.cz)
2021-07-13 14:28:41 → dextaa joins (~DV@aftr-37-201-214-197.unity-media.net)
2021-07-13 14:28:42 → vjoki joins (~vjoki@2a00:d880:3:1::fea1:9ae)
2021-07-13 14:28:43 → jle` joins (~justin@cpe-23-240-75-236.socal.res.rr.com)
2021-07-13 14:28:52 → dminuoso joins (~dminuoso@static.88-198-218-68.clients.your-server.de)
2021-07-13 14:28:56 → bastelfreak joins (~bastelfre@basteles-bastelknecht.bastelfreak.org)
2021-07-13 14:28:57 → welterde joins (welterde@thinkbase.srv.welterde.de)
2021-07-13 14:29:09 → cocreature joins (~moritz@2a03:b0c0:3:d0::c8:f001)
2021-07-13 14:29:14 → synthmeat joins (~synthmeat@user/synthmeat)
2021-07-13 14:29:49 × welterde quits (welterde@thinkbase.srv.welterde.de) (Client Quit)
2021-07-13 14:29:57 → welterde joins (welterde@thinkbase.srv.welterde.de)
2021-07-13 14:31:06 × liskin quits (~liskin@ackle.nomi.cz) (Client Quit)
2021-07-13 14:31:15 → liskin joins (~liskin@ackle.nomi.cz)
2021-07-13 14:32:41 × fendor quits (~fendor@178.115.59.187.wireless.dyn.drei.com) (Remote host closed the connection)
2021-07-13 14:32:48 × liskin quits (~liskin@ackle.nomi.cz) (Changing host)
2021-07-13 14:32:48 → liskin joins (~liskin@xmonad/liskin)
2021-07-13 14:33:49 → fendor joins (~fendor@178.115.59.187.wireless.dyn.drei.com)
2021-07-13 14:36:44 → xlei joins (znc@pool-68-129-84-118.nycmny.fios.verizon.net)
2021-07-13 14:36:51 → img joins (~img@user/img)
2021-07-13 14:37:35 × warnz quits (~warnz@104-55-100-55.lightspeed.lsvlky.sbcglobal.net) (Remote host closed the connection)
2021-07-13 14:41:22 × Pickchea quits (~private@user/pickchea) (Ping timeout: 256 seconds)
2021-07-13 14:43:04 × wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-07-13 14:46:47 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-13 14:50:09 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-13 14:51:00 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-07-13 15:00:37 zinc is now known as zdleaf
2021-07-13 15:00:37 → johnw joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2021-07-13 15:05:43 <guibou> I'm wondering about "full lazyness", CAF and memoization function. If you have a 'memo' function, such as the one available in the hackage package 'memoize' or 'uglymemo'. If you use it like: myFunctionMemo = memo f, it works, but if you use it like: myFunctionMemo s = memo f s, it may not works, unless GHC "floats" "memo f" out. All of the "pure" memoization library I know are based on this fact.
2021-07-13 15:05:49 <guibou> However, is this guaranteed and if yes, why? (pointers to the right part of documentation highly appreciated).
2021-07-13 15:07:34 → hughjfchen joins (~hughjfche@vmi556545.contaboserver.net)
2021-07-13 15:09:39 × hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Client Quit)
2021-07-13 15:10:42 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-13 15:10:48 <guibou> (the keywords I do have in mind are related to "full lazyness", "CAF", "fully/partially saturated", but nothing precise enough in order to find details about this behavior.
2021-07-13 15:12:06 → derelict joins (~derelict@user/derelict)
2021-07-13 15:12:30 × jippiedoe quits (~david@145.107.129.65) (Ping timeout: 272 seconds)
2021-07-13 15:12:54 × liskin quits (~liskin@xmonad/liskin) (Quit: liskin)
2021-07-13 15:13:02 → liskin joins (~liskin@xmonad/liskin)
2021-07-13 15:13:33 × juhp quits (~juhp@128.106.188.66) (Quit: juhp)
2021-07-13 15:13:48 → juhp joins (~juhp@128.106.188.66)
2021-07-13 15:15:33 → Pickchea joins (~private@user/pickchea)
2021-07-13 15:16:18 × machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 272 seconds)
2021-07-13 15:16:41 → mr-red joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-07-13 15:17:04 × drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 256 seconds)
2021-07-13 15:17:21 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-07-13 15:19:02 → chomwitt joins (~Pitsikoko@2a02:587:dc04:e00:12c3:7bff:fe6d:d374)
2021-07-13 15:19:03 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-13 15:20:28 × chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-07-13 15:26:47 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-07-13 15:28:02 × mr-red quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Quit: ZNC 1.8.2 - https://znc.in)
2021-07-13 15:28:56 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-13 15:29:51 × MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 255 seconds)
2021-07-13 15:29:55 → rostero joins (uid236576@id-236576.tooting.irccloud.com)
2021-07-13 15:30:08 → MQ-17J joins (~MQ-17J@8.21.10.15)
2021-07-13 15:30:21 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-07-13 15:32:14 × ukari quits (~ukari@user/ukari) (Remote host closed the connection)
2021-07-13 15:33:26 → ukari joins (~ukari@user/ukari)
2021-07-13 15:34:51 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-13 15:36:37 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-07-13 15:37:00 <lechner> Hi, Haskell is so much better than Java! "return type polymorphism" https://joyofhaskell.com/posts/2017-03-15-typeclasses-in-translation.html
2021-07-13 15:37:52 → hexfive joins (~eric@50.35.83.177)
2021-07-13 15:38:36 × cheater quits (~Username@user/cheater) (Ping timeout: 256 seconds)
2021-07-13 15:38:45 → cheater joins (~Username@user/cheater)
2021-07-13 15:40:09 <dsal> modern idiomatic java is the worst thing I've had to deal with.
2021-07-13 15:40:59 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-13 15:41:06 × jespada quits (~jespada@90.254.247.46) (Ping timeout: 255 seconds)
2021-07-13 15:42:18 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-07-13 15:43:16 → jespada joins (~jespada@90.254.247.46)
2021-07-13 15:43:43 → myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net)
2021-07-13 15:46:27 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-13 15:51:52 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-07-13 15:52:30 × thecoder quits (~mrrobot@static-47-206-93-60.tamp.fl.frontiernet.net) (Quit: leaving)
2021-07-13 15:53:11 → shapr joins (~user@pool-108-28-144-11.washdc.fios.verizon.net)
2021-07-13 15:54:46 × stevenxl quits (~stevenlei@66.63.167.105) (Quit: leaving)
2021-07-13 15:55:13 <systemfault> You need more PHP in your life then :)
2021-07-13 15:57:21 → jolly joins (~jolly@208.180.97.158)
←Prev  Next→
Page 1 .. 930 931 932 933 934 935 936 937 938 939 940 .. 18028

All times are in UTC.