Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4901 4902 4903 4904 4905 4906 4907 4908 4909 4910 4911 .. 5022
— 502,152 events total
2021-05-16 00:04:46 <Maxdamantus> What's the name of the GHC extension that allows `do` notation to reduce to something other than the standard `Monad` class?
2021-05-16 00:06:06 <Maxdamantus> Ah, RebindableSyntax.
2021-05-16 00:06:13 → nicholasbulka joins (~nicholasb@2601:900:4301:da0:8c8b:ebd7:353b:3970)
2021-05-16 00:08:05 → DTZUZU joins (~DTZUZO@205.ip-149-56-132.net)
2021-05-16 00:08:58 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
2021-05-16 00:09:16 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-16 00:10:08 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-05-16 00:10:12 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:8c8b:ebd7:353b:3970) (Remote host closed the connection)
2021-05-16 00:10:36 × lawid quits (~quassel@2a02:8109:b5c0:bd8:265e:beff:fe2a:dde8) (Quit: lawid)
2021-05-16 00:10:58 → nicholasbulka joins (~nicholasb@2601:900:4301:da0:8c8b:ebd7:353b:3970)
2021-05-16 00:12:50 → lawid joins (~quassel@2a02:8109:b5c0:bd8:265e:beff:fe2a:dde8)
2021-05-16 00:13:39 → bennofs__ joins (~quassel@dynamic-078-055-014-180.78.55.pool.telefonica.de)
2021-05-16 00:14:59 × TK__ quits (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) (Ping timeout: 245 seconds)
2021-05-16 00:16:32 → Tario joins (~Tario@201.192.165.173)
2021-05-16 00:17:56 × bennofs_ quits (~quassel@dynamic-077-011-131-014.77.11.pool.telefonica.de) (Ping timeout: 268 seconds)
2021-05-16 00:20:51 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-srjmukauatbzsjuh) (Quit: Connection closed for inactivity)
2021-05-16 00:23:19 × acidjnk_new quits (~acidjnk@p200300d0c72b95208d2194a61b0d7b67.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-05-16 00:24:33 → killsushi_ joins (~killsushi@2607:fea8:3d40:767:a826:23b7:521c:2d11)
2021-05-16 00:24:37 × stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-16 00:24:59 × killsushi quits (~killsushi@2607:fea8:3d40:767:a826:23b7:521c:2d11) (Ping timeout: 245 seconds)
2021-05-16 00:31:05 <geekosaur> unless you mean ApplicativeDo
2021-05-16 00:33:49 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-16 00:34:31 × ByronJohnson quits (~bairyn@unaffiliated/bob0) (Ping timeout: 252 seconds)
2021-05-16 00:34:51 × Tene quits (~tene@poipu/supporter/slacker/tene) (Ping timeout: 260 seconds)
2021-05-16 00:34:53 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-16 00:35:55 → no-def joins (~no-def@modemcable159.116-21-96.mc.videotron.ca)
2021-05-16 00:37:00 → notzmv joins (~zmv@unaffiliated/zmv)
2021-05-16 00:37:39 → stree joins (~stree@68.36.8.116)
2021-05-16 00:39:09 <Maxdamantus> No, I was thinking specifically about some sort of shadowing behaviour, which RebindableSyntax has, but ApplicativeDo doesn't.
2021-05-16 00:39:26 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-16 00:40:47 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-16 00:41:36 → ByronJohnson joins (~bairyn@unaffiliated/bob0)
2021-05-16 00:41:36 → Tene joins (~tene@mail.digitalkingdom.org)
2021-05-16 00:41:37 × Tene quits (~tene@mail.digitalkingdom.org) (Changing host)
2021-05-16 00:41:37 → Tene joins (~tene@poipu/supporter/slacker/tene)
2021-05-16 00:46:05 × xcmw quits (~textual@2603-6011-2200-f103-1090-4073-ea46-f74d.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-16 00:48:33 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-pqabmrplvmbawjlf) (Quit: Connection closed for inactivity)
2021-05-16 00:48:44 <yushyin> Maxdamantus: a recent addition is also qualifiedo
2021-05-16 00:48:47 <yushyin> Maxdamantus: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts/qualified_do.html?extension-QualifiedDo
2021-05-16 00:49:45 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-16 00:52:17 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-05-16 00:54:27 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-16 00:54:45 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-16 00:54:49 × jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection)
2021-05-16 00:59:36 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds)
2021-05-16 01:02:20 → xcmw joins (~textual@2603-6011-2200-f103-1090-4073-ea46-f74d.res6.spectrum.com)
2021-05-16 01:05:44 × afznvzan quits (4c0ef7dd@76-14-247-221.or.wavecable.com) (Quit: Connection closed)
2021-05-16 01:06:37 × geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Ping timeout (120 seconds))
2021-05-16 01:06:38 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-16 01:07:15 → geekosaur joins (45870322@069-135-003-034.biz.spectrum.com)
2021-05-16 01:10:36 × mouseghost quits (~draco@wikipedia/desperek) (Remote host closed the connection)
2021-05-16 01:11:29 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
2021-05-16 01:11:36 × Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds)
2021-05-16 01:16:17 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2021-05-16 01:16:25 × Raito_Bezarius quits (~Raito@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 250 seconds)
2021-05-16 01:16:25 × AkechiShiro quits (~AkechiShi@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) (Ping timeout: 250 seconds)
2021-05-16 01:17:59 × whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-05-16 01:18:19 → AkechiShiro joins (~AkechiShi@2a01:e0a:5f9:9681:5cef:ba41:cf1d:9b70)
2021-05-16 01:18:33 → Raito_Bezarius joins (~Raito@unaffiliated/raito-bezarius/x-8764578)
2021-05-16 01:19:06 → whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-05-16 01:19:20 <koz_> What's a good way of writing a function of type NonEmpty a -> [[a]], which gives all _proper_ sublists? As in, everything not equal to myself.
2021-05-16 01:19:40 <koz_> Ideally, order should be from smaller sublists to bigger.
2021-05-16 01:24:58 → machinedgod joins (~machinedg@24.105.81.50)
2021-05-16 01:26:19 → jao joins (~jao@pdpc/supporter/professional/jao)
2021-05-16 01:30:16 × dbohdan quits (dbohdan@unaffiliated/dbohdan) (Read error: Connection reset by peer)
2021-05-16 01:31:10 → dbohdan joins (~dbohdan@81.4.121.116)
2021-05-16 01:32:13 × plutoniix quits (~q@node-ul6.pool-125-24.dynamic.totinternet.net) (Quit: Leaving)
2021-05-16 01:32:33 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-05-16 01:38:06 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-05-16 01:38:25 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-16 01:41:45 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-05-16 01:43:23 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
2021-05-16 01:45:04 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-16 01:47:00 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-16 01:51:39 × xff0x quits (~xff0x@2001:1a81:52ea:b300:4fc0:e5c8:ce10:9b1b) (Ping timeout: 245 seconds)
2021-05-16 01:52:45 × geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed)
2021-05-16 01:53:51 → xff0x joins (~xff0x@2001:1a81:5322:8600:5cc4:429b:3219:4854)
2021-05-16 01:55:26 → mjo joins (73570cf5@ppp-115-87-12-245.revip4.asianet.co.th)
2021-05-16 01:55:52 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-16 01:57:12 → drbean_ joins (~drbean@TC210-63-209-26.static.apol.com.tw)
2021-05-16 01:59:53 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-16 02:00:24 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 245 seconds)
2021-05-16 02:00:46 killsushi_ is now known as killsushi
2021-05-16 02:01:14 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-16 02:01:38 × stree quits (~stree@68.36.8.116) (Quit: Caught exception)
2021-05-16 02:02:02 → stree joins (~stree@68.36.8.116)
2021-05-16 02:05:14 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-05-16 02:05:49 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 245 seconds)
2021-05-16 02:06:01 × m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 260 seconds)
2021-05-16 02:07:00 × petersen quits (~petersen@redhat/juhp) (Quit: petersen)
2021-05-16 02:07:41 → petersen joins (~petersen@redhat/juhp)
2021-05-16 02:08:03 × yaroot quits (~yaroot@6.3.30.125.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat)
2021-05-16 02:08:19 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2)
2021-05-16 02:09:27 → Tario joins (~Tario@201.192.165.173)
2021-05-16 02:14:24 → chris__ joins (~chris@81.96.113.213)
2021-05-16 02:18:45 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-16 02:19:09 × chris__ quits (~chris@81.96.113.213) (Ping timeout: 265 seconds)
2021-05-16 02:21:31 × kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection)
2021-05-16 02:21:54 → kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt)
2021-05-16 02:23:21 × unyu quits (~pyon@unaffiliated/pyon) (Quit: ERC (IRC client for Emacs 27.2))
←Prev  Next→
Page 1 .. 4901 4902 4903 4904 4905 4906 4907 4908 4909 4910 4911 .. 5022

All times are in UTC.