Logs: freenode/#haskell
| 2021-05-08 14:59:20 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-08 14:59:20 | × | kderme quits (2e675c7c@46-92-124.adsl.cyta.gr) (Quit: Ping timeout (120 seconds)) |
| 2021-05-08 15:01:50 | → | kderme joins (2e675c7c@46-92-124.adsl.cyta.gr) |
| 2021-05-08 15:03:11 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-176.dsl.bell.ca) |
| 2021-05-08 15:04:14 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-08 15:04:46 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 268 seconds) |
| 2021-05-08 15:06:42 | × | ADG1089 quits (~aditya@223.226.229.98) (Remote host closed the connection) |
| 2021-05-08 15:07:01 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b952744537a9ba826644f.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2021-05-08 15:08:52 | × | jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds) |
| 2021-05-08 15:13:14 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-08 15:15:34 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-05-08 15:15:57 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-08 15:16:13 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-08 15:16:22 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-08 15:17:17 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-05-08 15:18:18 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 2021-05-08 15:19:00 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f) () |
| 2021-05-08 15:19:22 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
| 2021-05-08 15:19:35 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-08 15:19:58 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-08 15:19:58 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-05-08 15:20:25 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 2021-05-08 15:21:25 | <catern> | I feel like "interpreter" is a much better name than "catamorphism" or "fold" or "banana" for the concept they refer to, is that sensible? or do I not really understand what "catamorphism" means if I think that? |
| 2021-05-08 15:21:26 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-05-08 15:21:51 | → | vict joins (~vict@modemcable159.116-21-96.mc.videotron.ca) |
| 2021-05-08 15:24:06 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds) |
| 2021-05-08 15:24:43 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds) |
| 2021-05-08 15:27:13 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-08 15:32:00 | × | sedeki quits (~textual@unaffiliated/sedeki) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-08 15:35:21 | → | hexfive joins (~hexfive@50.35.83.177) |
| 2021-05-08 15:36:31 | × | kristijonas_ quits (~kristijon@78-56-32-39.static.zebra.lt) (Quit: Leaving) |
| 2021-05-08 15:37:00 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-08 15:37:46 | × | hexfive quits (~hexfive@50.35.83.177) (Client Quit) |
| 2021-05-08 15:39:11 | → | jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg) |
| 2021-05-08 15:40:56 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-08 15:41:04 | <monochrom> | I know of non-catamorphism interpreters. |
| 2021-05-08 15:42:09 | <monochrom> | catamorphism is a definition not a concept. |
| 2021-05-08 15:43:21 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-05-08 15:53:03 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-08 15:55:09 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-08 15:56:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-05-08 15:56:17 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-08 16:00:27 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-05-08 16:01:11 | × | dfkt quits (~dfkt@185.204.1.185) (Remote host closed the connection) |
| 2021-05-08 16:01:57 | → | corvusdev joins (~corvusdev@99-151-203-47.lightspeed.snantx.sbcglobal.net) |
| 2021-05-08 16:02:00 | → | chisui joins (588239e0@mue-88-130-57-224.dsl.tropolys.de) |
| 2021-05-08 16:03:51 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 260 seconds) |
| 2021-05-08 16:04:30 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-05-08 16:07:13 | → | Alleria_ joins (~AllahuAkb@2603-7000-3040-0000-6831-3bef-c439-efb8.res6.spectrum.com) |
| 2021-05-08 16:10:46 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-08 16:11:52 | × | snowflake_ quits (~snowflake@gateway/tor-sasl/snowflake) (Remote host closed the connection) |
| 2021-05-08 16:13:43 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2021-05-08 16:14:05 | → | marinelli joins (~marinelli@gateway/tor-sasl/marinelli) |
| 2021-05-08 16:14:35 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-05-08 16:15:12 | × | LKoen quits (~LKoen@140.170.9.109.rev.sfr.net) (Remote host closed the connection) |
| 2021-05-08 16:17:44 | → | vite joins (~vite@195.140.213.38) |
| 2021-05-08 16:18:56 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-05-08 16:21:16 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-05-08 16:24:01 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) |
| 2021-05-08 16:26:16 | <zzz> | is using bang patterns equivalent to seq or pseq? |
| 2021-05-08 16:26:48 | <geekosaur> | the Haskell Report specifies a desugaring to seq |
| 2021-05-08 16:27:17 | <geekosaur> | wait, patterns, not the Report |
| 2021-05-08 16:27:24 | <geekosaur> | but it still desugars to seq |
| 2021-05-08 16:27:38 | <zzz> | understood |
| 2021-05-08 16:28:22 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-08 16:29:42 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-08 16:30:28 | <geekosaur> | pseq is specific to parallel processing and is a primitive for http://hackage.haskell.org/package/parallel-3.2.2.0/docs/Control-Parallel-Strategies.html |
| 2021-05-08 16:30:47 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-08 16:30:54 | <geekosaur> | it provides ordering guarantees seq doesn't |
| 2021-05-08 16:31:56 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-08 16:32:10 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:1c47:1620:4713:95a3) |
| 2021-05-08 16:34:35 | → | HGMG joins (~hmsu@101.86.217.58) |
| 2021-05-08 16:35:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-08 16:37:45 | <zzz> | got it |
| 2021-05-08 16:46:13 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-08 16:47:57 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-08 16:48:59 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-08 16:49:58 | ← | HGMG parts (~hmsu@101.86.217.58) () |
| 2021-05-08 16:53:12 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-08 16:53:16 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-05-08 16:56:40 | → | bitmagie joins (~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de) |
| 2021-05-08 16:57:32 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds) |
| 2021-05-08 16:57:47 | × | bitmagie quits (~Thunderbi@200116b806ff2000dc8accbaef6f669f.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-08 16:58:27 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-05-08 17:00:09 | → | shiraeeshi joins (~shiraeesh@109.166.57.192) |
| 2021-05-08 17:03:52 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-08 17:08:21 | × | tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Ping timeout: 240 seconds) |
| 2021-05-08 17:09:04 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-08 17:09:53 | → | superstar64 joins (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
| 2021-05-08 17:10:28 | × | landonf quits (landonf@mac68k.info) (Excess Flood) |
| 2021-05-08 17:10:46 | → | landonf joins (landonf@mac68k.info) |
| 2021-05-08 17:17:08 | × | landonf quits (landonf@mac68k.info) (Excess Flood) |
| 2021-05-08 17:17:46 | → | landonf joins (landonf@mac68k.info) |
| 2021-05-08 17:19:41 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-08 17:21:06 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-08 17:21:37 | → | tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64) |
| 2021-05-08 17:23:01 | → | alx741 joins (~alx741@181.196.69.254) |
| 2021-05-08 17:25:39 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-08 17:26:11 | × | DavidEichmann quits (~david@156.59.147.147.dyn.plus.net) (Ping timeout: 240 seconds) |
| 2021-05-08 17:26:59 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
All times are in UTC.