Logs: freenode/#haskell
| 2021-03-03 03:40:05 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-03 03:40:32 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-03 03:40:51 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) |
| 2021-03-03 03:42:04 | × | dcoutts quits (~dcoutts@unaffiliated/dcoutts) (Ping timeout: 276 seconds) |
| 2021-03-03 03:43:45 | → | pincel joins (~pyon@unaffiliated/pyon) |
| 2021-03-03 03:43:56 | → | augnun joins (~augnun@2804:14c:658b:41bb:fb9:bc81:b181:b275) |
| 2021-03-03 03:44:15 | × | theDon quits (~td@94.134.91.242) (Ping timeout: 240 seconds) |
| 2021-03-03 03:44:40 | → | plutoniix joins (~q@184.82.199.169) |
| 2021-03-03 03:46:27 | → | theDon joins (~td@muedsl-82-207-238-151.citykom.de) |
| 2021-03-03 03:47:20 | → | ubert1 joins (~Thunderbi@p200300ecdf25d90ee6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-03-03 03:47:59 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-03-03 03:48:15 | × | ubert quits (~Thunderbi@p200300ecdf25d9c5e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-03-03 03:48:15 | ubert1 | is now known as ubert |
| 2021-03-03 03:50:21 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-03-03 03:51:51 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Ping timeout: 246 seconds) |
| 2021-03-03 03:52:55 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-03 03:53:14 | × | slack1256 quits (~slack1256@45.4.2.52) (Remote host closed the connection) |
| 2021-03-03 03:55:04 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 2021-03-03 03:56:42 | <olligobber> | @src print |
| 2021-03-03 03:56:42 | <lambdabot> | print x = putStrLn (show x) |
| 2021-03-03 03:56:51 | <olligobber> | I don't know what I expected |
| 2021-03-03 03:56:56 | <olligobber> | @src putStrLn |
| 2021-03-03 03:56:56 | <lambdabot> | putStrLn s = do putStr s; putChar '\n' |
| 2021-03-03 03:57:00 | <olligobber> | lol |
| 2021-03-03 03:57:06 | <olligobber> | @src putStr |
| 2021-03-03 03:57:06 | <lambdabot> | putStr s = hPutStr stdout s |
| 2021-03-03 03:57:12 | <olligobber> | mmhmm |
| 2021-03-03 03:57:16 | <olligobber> | @src hPutStr |
| 2021-03-03 03:57:16 | <lambdabot> | Source not found. There are some things that I just don't know. |
| 2021-03-03 03:57:21 | <olligobber> | great |
| 2021-03-03 04:00:15 | × | Tops2 quits (~Tobias@dyndsl-095-033-025-007.ewe-ip-backbone.de) (Ping timeout: 240 seconds) |
| 2021-03-03 04:00:26 | → | pja joins (~phil@2a02:8010:6098:0:f2de:f1ff:fe2c:3d9) |
| 2021-03-03 04:02:32 | × | jpds_ quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-03-03 04:03:01 | × | spamlessj quits (~spamlessj@2a01:4f8:141:1329::2) (Ping timeout: 272 seconds) |
| 2021-03-03 04:03:04 | → | jpds_ joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-03-03 04:04:49 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 260 seconds) |
| 2021-03-03 04:10:15 | × | fosterite quits (~fosterite@2600:6c46:7800:fecf:dc70:c510:31c6:3b4) () |
| 2021-03-03 04:10:38 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-03 04:12:02 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 2021-03-03 04:13:12 | <monochrom> | @src is just a database of handwritten code to show ideas. |
| 2021-03-03 04:13:16 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 276 seconds) |
| 2021-03-03 04:13:36 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-03-03 04:13:54 | <monochrom> | Neither authoritative nor realistic. |
| 2021-03-03 04:15:04 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 2021-03-03 04:16:00 | <olligobber> | oh |
| 2021-03-03 04:16:02 | → | spamlessj joins (~spamlessj@2a01:4f8:141:1329::2) |
| 2021-03-03 04:16:03 | × | solomon` quits (4ca8078b@cpe-76-168-7-139.socal.res.rr.com) (Ping timeout: 240 seconds) |
| 2021-03-03 04:20:58 | → | geowiesnot_bis joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-03-03 04:22:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-03 04:22:35 | <{abby}> | you can find the actual source for putStrLn by finding it in the documentation for the base package and clicking the source link, but it's not really important |
| 2021-03-03 04:22:56 | × | knupfer quits (~Thunderbi@200116b82cfd6c00951237cec1956766.dip.versatel-1u1.de) (Ping timeout: 240 seconds) |
| 2021-03-03 04:23:24 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-03-03 04:23:55 | × | polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 272 seconds) |
| 2021-03-03 04:25:04 | <koz_> | @src foldl' |
| 2021-03-03 04:25:04 | <lambdabot> | foldl' f a [] = a |
| 2021-03-03 04:25:04 | <lambdabot> | foldl' f a (x:xs) = let a' = f a x in a' `seq` foldl' f a' xs |
| 2021-03-03 04:25:11 | <koz_> | nceat. |
| 2021-03-03 04:25:31 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-03 04:26:20 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-03 04:27:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-03-03 04:28:10 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-03 04:28:39 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-03 04:30:32 | <olligobber> | I expected putStr = foldM_ putChar or something |
| 2021-03-03 04:32:58 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 245 seconds) |
| 2021-03-03 04:33:03 | × | gienah quits (~mwright@gentoo/developer/gienah) (Read error: Network is unreachable) |
| 2021-03-03 04:33:22 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:9170:144e:46d9:ed03) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-03 04:35:09 | × | geowiesnot_bis quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-03-03 04:35:43 | × | ollierees quits (~ollierees@host86-158-135-255.range86-158.btcentralplus.com) (Quit: WeeChat 2.9) |
| 2021-03-03 04:39:44 | <pincel> | Does it make sense to use finger trees with noncommutative monoids? All examples that I have seen use commutative monoids. |
| 2021-03-03 04:40:38 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Quit: Leaving) |
| 2021-03-03 04:41:14 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-03-03 04:42:25 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-03 04:43:12 | <olligobber> | noncommutative monoid? you mean a magma? |
| 2021-03-03 04:43:20 | <pincel> | No. |
| 2021-03-03 04:43:31 | <olligobber> | oh wait, I'm thinking of associative |
| 2021-03-03 04:44:09 | <pincel> | It would not be a monoid without the associative property. |
| 2021-03-03 04:44:26 | <olligobber> | that's why I thought it was weird |
| 2021-03-03 04:46:17 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-03 04:47:36 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds) |
| 2021-03-03 04:47:56 | → | gienah joins (~mwright@gentoo/developer/gienah) |
| 2021-03-03 04:49:38 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-03-03 04:50:29 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-03 04:50:53 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 2021-03-03 04:51:31 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-03-03 04:54:38 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 245 seconds) |
| 2021-03-03 04:57:52 | × | puke quits (~vroom@217.138.252.56) (Quit: puke) |
| 2021-03-03 05:01:22 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 276 seconds) |
| 2021-03-03 05:01:33 | → | aggin joins (~ecm@103.88.87.46) |
| 2021-03-03 05:02:07 | × | aggin quits (~ecm@103.88.87.46) (Client Quit) |
| 2021-03-03 05:05:25 | → | geowiesnot_bis joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-03-03 05:06:19 | → | adpx joins (658fac65@101-143-172-101f2.kns1.eonet.ne.jp) |
| 2021-03-03 05:06:58 | × | sz0 quits (uid110435@gateway/web/irccloud.com/x-tlpyvfiuvwdjqrhp) (Quit: Connection closed for inactivity) |
| 2021-03-03 05:08:52 | → | d1rges joins (~d1rges@2001-b011-8011-1df2-9c8d-cdf4-5812-0511.dynamic-ip6.hinet.net) |
| 2021-03-03 05:11:18 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 245 seconds) |
| 2021-03-03 05:14:05 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-03-03 05:14:49 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds) |
| 2021-03-03 05:26:58 | → | ddellacosta joins (~ddellacos@86.106.143.188) |
| 2021-03-03 05:27:14 | × | d1rges quits (~d1rges@2001-b011-8011-1df2-9c8d-cdf4-5812-0511.dynamic-ip6.hinet.net) (Quit: Leaving) |
| 2021-03-03 05:27:24 | → | wmacmil joins (~wmacmil@c83-252-138-144.bredband.comhem.se) |
| 2021-03-03 05:30:05 | <c_wraith> | I don't see a problem with the monoid being non-commutative. |
All times are in UTC.