| 2024-08-06 00:02:00 +0000 | <Inst> | dolio: insofar as you can't access a file on a filesystem with blocking IO twice unless the data's completely consumed; readFile' would close the handle, readFile wouldn't until the resource's exhausted |
| 2024-08-06 00:02:32 +0000 | <Inst> | so i mean my conceptual model is iteratee IO > strict IO > lazy IO |
| 2024-08-06 00:03:00 +0000 | <Inst> | although tbh I guess you can't do it with iteratee / streaming either |
| 2024-08-06 00:04:04 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb126dbf5ec3ae9702a3.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-08-06 00:07:03 +0000 | abyxq | (~abyxq@user/abyxq) |
| 2024-08-06 00:18:59 +0000 | zmt01 | (~zmt00@user/zmt00) |
| 2024-08-06 00:23:00 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-08-06 00:29:41 +0000 | falafel | (~falafel@2a0c:5a87:3104:4c01::bfe0) (Ping timeout: 252 seconds) |
| 2024-08-06 00:35:25 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-08-06 00:36:58 +0000 | califax | (~califax@user/califx) |
| 2024-08-06 00:40:22 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-06 00:40:26 +0000 | auci | (~auci@user/auci) |
| 2024-08-06 00:41:01 +0000 | auci | (~auci@user/auci) (Konversation terminated!) |
| 2024-08-06 00:41:15 +0000 | abyxq | (~abyxq@user/abyxq) (Quit: leaving) |
| 2024-08-06 00:49:48 +0000 | <haskellbridge> | <thirdofmay18081814goya> anyone got a good set of exercises about monad transformers with solutions? |
| 2024-08-06 00:50:57 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-08-06 00:52:05 +0000 | <jackdk> | https://github.com/qfpl/applied-fp-course/blob/master/bonus/mtl.md |
| 2024-08-06 00:52:45 +0000 | <jackdk> | http://jackkelly.name/wiki/haskell/learning.html is where I keep my list of recommended resources |
| 2024-08-06 00:52:48 +0000 | <jackdk> | No solutions though |
| 2024-08-06 00:53:35 +0000 | <jackdk> | Actually wait, there are. In the <details> tags |
| 2024-08-06 00:56:34 +0000 | <haskellbridge> | <thirdofmay18081814goya> great ty!! |
| 2024-08-06 01:05:32 +0000 | <Inst> | Am I correct if I characterize the FP divide from mainstream programming as one between proof-based mathematics and algorithmic mathematics? |
| 2024-08-06 01:07:03 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-08-06 01:07:16 +0000 | <Inst> | actually, probably a really bad topic of conversation, I'll drop it |
| 2024-08-06 01:07:17 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-06 01:21:22 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-08-06 01:23:40 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-06 01:25:17 +0000 | <JuanDaugherty> | no that's a totally whack take |
| 2024-08-06 01:25:42 +0000 | <JuanDaugherty> | mainframe isn a thing to be in opposition to FP |
| 2024-08-06 01:25:58 +0000 | <JuanDaugherty> | and ofc the first FP was on mainframes cause that's all there was |
| 2024-08-06 01:26:43 +0000 | <geekosaur> | uh, where did mainframes come into it? |
| 2024-08-06 01:26:56 +0000 | <geekosaur> | main stream |
| 2024-08-06 01:27:13 +0000 | <Inst> | it's a dumb thought that's better drpped into off-topic |
| 2024-08-06 01:27:18 +0000 | <JuanDaugherty> | and when i said (in #politics) that it's more permissive here, I meant nobody but me is likely to respond like that |
| 2024-08-06 01:27:46 +0000 | <JuanDaugherty> | (##politics) |
| 2024-08-06 01:28:31 +0000 | <JuanDaugherty> | oh my bad i read mainframe |
| 2024-08-06 01:29:00 +0000 | <JuanDaugherty> | but it's still wrongheaded |
| 2024-08-06 01:29:13 +0000 | <JuanDaugherty> | mainstream means what? |
| 2024-08-06 01:29:24 +0000 | <Inst> | juandaughterty: if you want to continue, try #haskell-offtopic |
| 2024-08-06 01:29:27 +0000 | <JuanDaugherty> | the bulk of commercial IT activity? |
| 2024-08-06 01:32:24 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-08-06 01:35:41 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-06 01:35:44 +0000 | ZharMeny | (~user@user/ZharMeny) (Quit: how `long` is an `int`) |
| 2024-08-06 01:41:13 +0000 | xff0x | (~xff0x@2405:6580:b080:900:dfe2:132b:5bfa:6516) (Ping timeout: 265 seconds) |
| 2024-08-06 01:44:04 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-08-06 01:56:26 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Read error: Connection reset by peer) |
| 2024-08-06 02:00:13 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-08-06 02:04:57 +0000 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 252 seconds) |
| 2024-08-06 02:11:42 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2024-08-06 02:20:50 +0000 | Guest25 | (~Guest25@c-71-205-23-57.hsd1.co.comcast.net) |
| 2024-08-06 02:28:53 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-08-06 02:32:53 +0000 | td_ | (~td@i53870916.versanet.de) (Ping timeout: 248 seconds) |
| 2024-08-06 02:34:40 +0000 | td_ | (~td@i53870936.versanet.de) |
| 2024-08-06 02:37:05 +0000 | xff0x | (~xff0x@125.103.176.34) |
| 2024-08-06 02:44:44 +0000 | cipherrot | (~znc-user@user/petrichor) (Ping timeout: 260 seconds) |
| 2024-08-06 02:46:44 +0000 | petrichor | (~znc-user@user/petrichor) |
| 2024-08-06 02:56:07 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-06 03:05:42 +0000 | aforemny_ | (~aforemny@2001:9e8:6ce5:9e00:3eae:bcb7:91ff:d64b) |
| 2024-08-06 03:07:15 +0000 | aforemny | (~aforemny@2001:9e8:6cc5:7700:e5cf:3849:4594:a5ae) (Ping timeout: 265 seconds) |
| 2024-08-06 03:09:33 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2024-08-06 03:10:07 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-08-06 03:10:35 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2024-08-06 03:13:26 +0000 | rosco | (~rosco@175.136.158.234) |
| 2024-08-06 03:45:14 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-08-06 04:25:48 +0000 | Guest25 | (~Guest25@c-71-205-23-57.hsd1.co.comcast.net) (Quit: Client closed) |
| 2024-08-06 04:31:50 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-06 04:44:44 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-08-06 04:45:53 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-06 04:52:52 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-08-06 04:53:20 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-08-06 04:53:22 +0000 | michalz | (~michalz@185.246.207.200) |
| 2024-08-06 05:12:54 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-08-06 05:26:54 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-08-06 05:27:27 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-06 05:30:40 +0000 | Square | (~Square@user/square) |
| 2024-08-06 05:33:39 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2024-08-06 05:34:00 +0000 | euleritian | (~euleritia@dynamic-176-006-133-192.176.6.pool.telefonica.de) |
| 2024-08-06 05:47:04 +0000 | lol_ | jcarpenter2 |
| 2024-08-06 05:48:16 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::) (Remote host closed the connection) |
| 2024-08-06 05:48:25 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::1) |
| 2024-08-06 05:50:09 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::1) (Remote host closed the connection) |
| 2024-08-06 05:50:18 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::1) |
| 2024-08-06 05:51:04 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::1) (Remote host closed the connection) |
| 2024-08-06 05:51:13 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::1) |
| 2024-08-06 05:51:58 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::1) (Remote host closed the connection) |
| 2024-08-06 05:52:06 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::1) |
| 2024-08-06 06:00:03 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::1) (Remote host closed the connection) |
| 2024-08-06 06:01:15 +0000 | pkal | (~pkal@2a01:4f8:1c1b:a321::1) |
| 2024-08-06 06:15:28 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-06 06:33:53 +0000 | Xe | (~cadey@perl/impostor/xe) (Ping timeout: 255 seconds) |
| 2024-08-06 06:38:32 +0000 | Xe | (~cadey@perl/impostor/xe) |
| 2024-08-06 06:39:52 +0000 | CiaoSen | (~Jura@2a05:5800:2d9:fc00:e6b9:7aff:fe80:3d03) |
| 2024-08-06 06:42:56 +0000 | kuribas | (~user@2a02:1808:7:61bb:229c:98fa:4701:3649) |
| 2024-08-06 06:48:42 +0000 | kuribas` | (~user@2a02:1808:3:a2c9:e84:e3f2:e81a:6ace) |
| 2024-08-06 06:50:33 +0000 | kuribas | (~user@2a02:1808:7:61bb:229c:98fa:4701:3649) (Ping timeout: 265 seconds) |
| 2024-08-06 06:53:05 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-08-06 07:03:02 +0000 | kuribas` | (~user@2a02:1808:3:a2c9:e84:e3f2:e81a:6ace) (Ping timeout: 244 seconds) |
| 2024-08-06 07:06:13 +0000 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-08-06 07:21:44 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb628054de8284f67264.dip0.t-ipconnect.de) |
| 2024-08-06 07:24:34 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-08-06 07:25:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-06 07:25:55 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-08-06 07:27:08 +0000 | euleritian | (~euleritia@dynamic-176-006-133-192.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-06 07:27:23 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-06 07:40:42 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-08-06 07:41:35 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-08-06 07:43:58 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-06 07:44:05 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-08-06 07:47:54 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-06 07:49:03 +0000 | Guest42 | (~Guest42@m90-131-37-64.cust.tele2.lt) |
| 2024-08-06 07:53:47 +0000 | Guest42 | jinkims |
| 2024-08-06 07:55:08 +0000 | jinkims | (~Guest42@m90-131-37-64.cust.tele2.lt) (Changing host) |
| 2024-08-06 07:55:08 +0000 | jinkims | (~Guest42@user/jinkims) |
| 2024-08-06 07:56:31 +0000 | CiaoSen | (~Jura@2a05:5800:2d9:fc00:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds) |
| 2024-08-06 07:56:41 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-08-06 07:58:25 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-08-06 08:19:00 +0000 | Xe | (~cadey@perl/impostor/xe) (Ping timeout: 265 seconds) |
| 2024-08-06 08:20:59 +0000 | Xe | (~cadey@perl/impostor/xe) |
| 2024-08-06 08:25:01 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 2024-08-06 08:31:01 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-08-06 08:37:16 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-08-06 08:38:15 +0000 | ft | (~ft@p4fc2aa15.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-08-06 08:39:23 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-06 08:44:43 +0000 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-08-06 08:51:29 +0000 | ubert | (~Thunderbi@178.115.47.16.wireless.dyn.drei.com) |
| 2024-08-06 09:04:17 +0000 | Kryder | (~Kryder@90.201.223.82) (Ping timeout: 248 seconds) |
| 2024-08-06 09:08:01 +0000 | Kryder | (~Kryder@85.255.237.168) |
| 2024-08-06 09:13:43 +0000 | Kryder | (~Kryder@85.255.237.168) (Ping timeout: 245 seconds) |
| 2024-08-06 09:13:50 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-08-06 09:18:44 +0000 | alex`` | (~user@92.red-83-33-248.dynamicip.rima-tde.net) |
| 2024-08-06 09:20:48 +0000 | thyriaen | (~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) |
| 2024-08-06 09:21:37 +0000 | rosco | (~rosco@175.136.158.234) |
| 2024-08-06 09:30:26 +0000 | Kryder | (~Kryder@90.201.223.82) |
| 2024-08-06 09:37:17 +0000 | thyriaen | (~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2024-08-06 09:39:45 +0000 | Dykam | (Dykam@dykam.nl) (Quit: Dykam) |
| 2024-08-06 09:40:48 +0000 | Dykam | (Dykam@dykam.nl) |
| 2024-08-06 09:42:59 +0000 | AlexZenon | (~alzenon@94.233.241.125) (Ping timeout: 260 seconds) |
| 2024-08-06 09:50:01 +0000 | AlexZenon | (~alzenon@94.233.241.125) |
| 2024-08-06 09:50:32 +0000 | rlittl | (~Android@2600:1004:b0b8:c0c0:d81c:21ff:fef5:41ca) |
| 2024-08-06 10:08:08 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-08-06 10:13:33 +0000 | xff0x | (~xff0x@125.103.176.34) (Ping timeout: 265 seconds) |
| 2024-08-06 10:36:57 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-08-06 10:37:40 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-06 10:41:00 +0000 | Square | (~Square@user/square) |
| 2024-08-06 10:43:32 +0000 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-08-06 10:43:55 +0000 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-06 10:44:55 +0000 | CiaoSen | (~Jura@2a05:5800:2d9:fc00:e6b9:7aff:fe80:3d03) |
| 2024-08-06 11:11:13 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-08-06 11:14:15 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: meal) |
| 2024-08-06 11:17:11 +0000 | xff0x | (~xff0x@2405:6580:b080:900:7bc4:5f07:443b:cdc) |
| 2024-08-06 11:30:54 +0000 | ubert | (~Thunderbi@178.115.47.16.wireless.dyn.drei.com) (Ping timeout: 276 seconds) |
| 2024-08-06 11:54:35 +0000 | rosco | (~rosco@175.136.158.234) |
| 2024-08-06 12:17:57 +0000 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-08-06 12:23:05 +0000 | alex`` | (~user@92.red-83-33-248.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2024-08-06 12:30:47 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-06 12:37:39 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-08-06 12:40:34 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-08-06 12:53:27 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-06 13:04:14 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-08-06 13:13:51 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-06 13:14:03 +0000 | john4 | (~john@203.94.52.182) (Read error: Connection reset by peer) |
| 2024-08-06 13:14:36 +0000 | john2 | (~john@203.94.52.182) |
| 2024-08-06 13:14:58 +0000 | CiaoSen | (~Jura@2a05:5800:2d9:fc00:e6b9:7aff:fe80:3d03) (Ping timeout: 245 seconds) |
| 2024-08-06 13:31:35 +0000 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2024-08-06 13:32:14 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-08-06 13:36:01 +0000 | ystael | (~ystael@user/ystael) |
| 2024-08-06 13:40:59 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 260 seconds) |
| 2024-08-06 13:41:13 +0000 | tomku | (~tomku@user/tomku) |
| 2024-08-06 13:47:19 +0000 | thyriaen | (~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) |
| 2024-08-06 13:54:52 +0000 | wroathe | (~wroathe@mobile-166-175-191-76.mycingular.net) |
| 2024-08-06 13:54:52 +0000 | wroathe | (~wroathe@mobile-166-175-191-76.mycingular.net) (Changing host) |
| 2024-08-06 13:54:52 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2024-08-06 13:54:55 +0000 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-08-06 14:00:25 +0000 | falafel | (~falafel@2a0c:5a87:3104:4c01::bfe0) |
| 2024-08-06 14:10:19 +0000 | dolio | (~dolio@130.44.140.168) (Ping timeout: 264 seconds) |
| 2024-08-06 14:10:42 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2024-08-06 14:15:21 +0000 | dolio | (~dolio@130.44.140.168) |
| 2024-08-06 14:20:48 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-08-06 14:21:20 +0000 | euleritian | (~euleritia@dynamic-176-006-128-197.176.6.pool.telefonica.de) |
| 2024-08-06 14:25:07 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Quit: Lost terminal) |
| 2024-08-06 14:25:23 +0000 | michalz | (~michalz@185.246.207.200) (Ping timeout: 245 seconds) |
| 2024-08-06 14:33:28 +0000 | michalz | (~michalz@185.246.207.197) |
| 2024-08-06 14:33:34 +0000 | falafel | (~falafel@2a0c:5a87:3104:4c01::bfe0) (Ping timeout: 244 seconds) |
| 2024-08-06 14:37:17 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-08-06 14:39:46 +0000 | Angelz | (Angelz@user/angelz) (Ping timeout: 244 seconds) |
| 2024-08-06 14:39:59 +0000 | zfnmxt | (~zfnmxt@user/zfnmxt) (Ping timeout: 252 seconds) |
| 2024-08-06 14:50:04 +0000 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-08-06 14:50:35 +0000 | zfnmxt | (~zfnmxt@user/zfnmxt) |
| 2024-08-06 14:50:48 +0000 | jinkims | (~Guest42@user/jinkims) (Ping timeout: 245 seconds) |
| 2024-08-06 15:00:01 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) () |
| 2024-08-06 15:02:37 +0000 | euleritian | (~euleritia@dynamic-176-006-128-197.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-06 15:03:08 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-06 15:08:58 +0000 | curious-user | (~user@user/curious-user) |
| 2024-08-06 15:11:08 +0000 | <curious-user> | hi, what modern *not abandoned* web frameworks(micro is fine too) are there nowadays? |
| 2024-08-06 15:11:42 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-08-06 15:13:57 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-06 15:14:43 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-06 15:15:04 +0000 | <ZharMeny> | curious-user: you got to narrow down what 'web framework' means first |
| 2024-08-06 15:18:27 +0000 | <curious-user> | ZharMeny: things like yesod or servant |
| 2024-08-06 15:24:54 +0000 | curious-user | (~user@user/curious-user) (Quit: WeeChat 4.3.4) |
| 2024-08-06 15:25:37 +0000 | curious-user | (~user@user/curious-user) |
| 2024-08-06 15:26:00 +0000 | <haskellbridge> | <sm> yesod, servant, IHP are the big ones |
| 2024-08-06 15:26:09 +0000 | <haskellbridge> | <sm> yesod, servant, IHP are the big ones |
| 2024-08-06 15:26:23 +0000 | <haskellbridge> | <sm> miso may also be maintained |
| 2024-08-06 15:26:35 +0000 | <haskellbridge> | <sm> lots of smaller ones findable on hackage |
| 2024-08-06 15:27:09 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 260 seconds) |
| 2024-08-06 15:27:11 +0000 | thyriaen | (~thyriaen@2001:4bc9:1fb8:12d1:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2024-08-06 15:27:24 +0000 | tomku | (~tomku@user/tomku) |
| 2024-08-06 15:29:25 +0000 | <curious-user> | cool, thank you |
| 2024-08-06 15:34:53 +0000 | curious-user | (~user@user/curious-user) (Quit: WeeChat 4.3.4) |
| 2024-08-06 15:37:12 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-06 15:37:37 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:e958:8b05:e0fc:affd) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-06 15:37:54 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:c682:940b:f5c:17fc) |
| 2024-08-06 15:39:47 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-08-06 15:45:22 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-06 15:45:51 +0000 | falafel | (~falafel@79.117.174.21) |
| 2024-08-06 15:51:52 +0000 | urdh | (~urdh@user/urdh) (Ping timeout: 252 seconds) |
| 2024-08-06 15:56:17 +0000 | rvalue- | (~rvalue@user/rvalue) |
| 2024-08-06 15:57:01 +0000 | dans61442 | (~danse-nr3@user/danse-nr3) |
| 2024-08-06 15:57:03 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 245 seconds) |
| 2024-08-06 15:57:30 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Read error: Connection reset by peer) |
| 2024-08-06 16:00:24 +0000 | rvalue- | rvalue |
| 2024-08-06 16:02:53 +0000 | <dmj`> | sm: miso is "maintained" :P |
| 2024-08-06 16:03:04 +0000 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2024-08-06 16:06:13 +0000 | falafel | (~falafel@79.117.174.21) (Ping timeout: 245 seconds) |
| 2024-08-06 16:09:51 +0000 | qeef | (~qeef@138-169-143-94.cust.centrio.cz) |
| 2024-08-06 16:09:59 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-08-06 16:12:04 +0000 | <haskellbridge> | <sm> 👍🏻 |
| 2024-08-06 16:19:33 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-08-06 16:19:44 +0000 | euleritian | (~euleritia@dynamic-176-006-128-197.176.6.pool.telefonica.de) |
| 2024-08-06 16:20:59 +0000 | euleritian | (~euleritia@dynamic-176-006-128-197.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-06 16:21:07 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-08-06 16:21:17 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-06 16:25:23 +0000 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2024-08-06 16:26:46 +0000 | urdh | (~urdh@user/urdh) |
| 2024-08-06 16:26:46 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-06 16:28:01 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-06 16:32:47 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-08-06 16:36:21 +0000 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2024-08-06 16:51:57 +0000 | dans61442 | (~danse-nr3@user/danse-nr3) (Remote host closed the connection) |
| 2024-08-06 16:52:11 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-06 16:55:46 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-08-06 17:09:09 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-08-06 17:09:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-06 17:16:58 +0000 | sudden | (~cat@user/sudden) (Read error: Connection reset by peer) |
| 2024-08-06 17:19:02 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-06 17:28:53 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-06 17:29:29 +0000 | <monochrom> | I ran into students in another class and they chose to use Haskell for the web app they are making for that class, and I got curious and asked "which library do you use" and the answer is IHP "because it's the first thing on the Haskell wiki page about web apps" :) |
| 2024-08-06 17:29:58 +0000 | <danse-nr3> | heh good luck with that attitude |
| 2024-08-06 17:32:29 +0000 | <monochrom> | I once used wai, but my web app was an extremely minimal toy. ("count how many times self is visited") |
| 2024-08-06 17:33:06 +0000 | <monochrom> | even "but only since the server was (re)started" |
| 2024-08-06 17:33:30 +0000 | <danse-nr3> | there's mainly the microframeworks and the "battery included" attempts |
| 2024-08-06 17:33:34 +0000 | sudden | (~cat@user/sudden) |
| 2024-08-06 17:33:51 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-06 17:33:59 +0000 | <danse-nr3> | if one goes for a microframework, that's not that far from what servant does |
| 2024-08-06 17:34:19 +0000 | <monochrom> | And I wrote it because, only because, someone invited me to give a talk on docker, so I wanted a dumb web app to be run in docker as a simple example. :) |
| 2024-08-06 17:35:32 +0000 | <monochrom> | I still want to write a web app that I will actually use. An exam timer with space for announcing errata. |
| 2024-08-06 17:36:24 +0000 | <danse-nr3> | makes sense. Now, beyond proofs of concepts, i never experienced in haskell what i experienced with other langs when it comes to web dev... therefore i haven't been doing much web dev in past years |
| 2024-08-06 17:37:10 +0000 | <danse-nr3> | things may change with wasm |
| 2024-08-06 17:50:03 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-08-06 17:51:58 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-08-06 17:54:39 +0000 | spew | (~spew@201.141.102.132) |
| 2024-08-06 17:55:50 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-08-06 17:57:23 +0000 | falafel | (~falafel@2a0c:5a87:3104:4c01::bfe0) |
| 2024-08-06 18:00:23 +0000 | <spew> | I'm just learning haskell and trying to make what I write as idiomatic as I can. I just wrote a function twoSum that finds indices that sum to a particular number. Would someone please let me know what could be done more idiomatically or any other interesting ways to implement it? Thank you! https://paste.tomsmeding.com/JJdDPwHU |
| 2024-08-06 18:00:43 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2024-08-06 18:02:57 +0000 | <Inst> | the function name "go" is more common these days than having function + apostrophe (prime) as the worker in a worker wrapper pattern |
| 2024-08-06 18:03:22 +0000 | <spew> | Inst: thank you that's very helpful |
| 2024-08-06 18:04:12 +0000 | <Inst> | add can also be put on the same level as twoSum', to avoid excessive nesting of wheres |
| 2024-08-06 18:04:57 +0000 | <Inst> | if you are going to nest it, though, you can remove the i |
| 2024-08-06 18:05:40 +0000 | <Inst> | yoou're technically shadowing a binding in the outer scope anyways |
| 2024-08-06 18:07:43 +0000 | <spew> | I think I prefer less nesting: https://paste.tomsmeding.com/iMLgXTar |
| 2024-08-06 18:09:27 +0000 | <Inst> | could add a space in the where clause |
| 2024-08-06 18:09:37 +0000 | <Inst> | erm, a newline to separate the function definitions |
| 2024-08-06 18:10:02 +0000 | <spew> | Inst: this is all very helpful, thank you for looking |
| 2024-08-06 18:10:38 +0000 | <zzz> | spew: https://stackoverflow.com/questions/60681248/is-this-idiomatic-haskell-two-sum-question |
| 2024-08-06 18:10:42 +0000 | <haskellbridge> | <sm> wow I feel for those students facing IHP setup |
| 2024-08-06 18:10:44 +0000 | <haskellbridge> | <sm> unless they're already nix zealots |
| 2024-08-06 18:12:04 +0000 | <spew> | zzz: someone somewhere on stackoverflow has done every stupid thing |
| 2024-08-06 18:13:18 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2024-08-06 18:13:54 +0000 | <ZharMeny> | if you can imagine doing something stupid then there's a stackoverflow question about it |
| 2024-08-06 18:15:13 +0000 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Remote host closed the connection) |
| 2024-08-06 18:16:41 +0000 | Buliarous | (~gypsydang@46.232.210.139) |
| 2024-08-06 18:17:02 +0000 | Inst | (~Inst@user/Inst) (Read error: Connection reset by peer) |
| 2024-08-06 18:19:12 +0000 | <probie> | When in doubt, use foldr (not actually idiomatic here) |
| 2024-08-06 18:19:17 +0000 | <probie> | > (\k xs -> foldr (\(n, ix) cont m -> [(iy, ix) | iy <- M.findWithDefault [] (k - n) m] ++ cont (M.alter (Just [ix] <>) n m)) (const []) (zip xs [0::Int ..]) mempty) 5 [1, 3, 6, -1, 3, 2] |
| 2024-08-06 18:19:18 +0000 | <lambdabot> | [(2,3),(4,5),(1,5)] |
| 2024-08-06 18:21:18 +0000 | <probie> | > Just [5 :: Int, 6, 7] <> Just [8] <> Nothing <> Just [9, 10] -- low hanging fruit; no need for `add` |
| 2024-08-06 18:21:19 +0000 | <lambdabot> | Just [5,6,7,8,9,10] |
| 2024-08-06 18:22:11 +0000 | <probie> | `IntMap.alter (Just [i] <>) x seen` does the job |
| 2024-08-06 18:23:22 +0000 | <probie> | actually, probably use `(<> Just [i])` so you get better ordering |
| 2024-08-06 18:25:37 +0000 | <spew> | probie: that is incredibly helpful, thank you |
| 2024-08-06 18:25:47 +0000 | <spew> | I'm very curious about various ways to implement things |
| 2024-08-06 18:29:57 +0000 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2024-08-06 18:30:51 +0000 | forell | (~forell@user/forell) |
| 2024-08-06 18:32:22 +0000 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-08-06 18:33:57 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 248 seconds) |
| 2024-08-06 18:34:11 +0000 | tomku | (~tomku@user/tomku) |
| 2024-08-06 18:37:01 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-08-06 18:37:38 +0000 | noumenon | philalethes |
| 2024-08-06 18:37:46 +0000 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2024-08-06 18:37:56 +0000 | philalethes | ephilalethes |
| 2024-08-06 18:39:53 +0000 | Angelz | (Angelz@Angelz.oddprotocol.org) (Client Quit) |
| 2024-08-06 18:43:01 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2024-08-06 18:47:38 +0000 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) |
| 2024-08-06 18:56:06 +0000 | falafel | (~falafel@2a0c:5a87:3104:4c01::bfe0) (Ping timeout: 272 seconds) |
| 2024-08-06 18:56:38 +0000 | rlittl_ | (~Android@2603:6081:5500:54:591c:3691:4117:db20) |
| 2024-08-06 18:56:38 +0000 | rlittl_ | (~Android@2603:6081:5500:54:591c:3691:4117:db20) (Excess Flood) |
| 2024-08-06 18:56:57 +0000 | rlittl | (~Android@2600:1004:b0b8:c0c0:d81c:21ff:fef5:41ca) (Read error: Connection reset by peer) |
| 2024-08-06 18:58:06 +0000 | rlittl | (~Android@160.sub-174-245-99.myvzw.com) |
| 2024-08-06 18:58:06 +0000 | rlittl | (~Android@160.sub-174-245-99.myvzw.com) (Excess Flood) |
| 2024-08-06 18:58:29 +0000 | rlittl | (~Android@2600:1004:b0b8:c0c0:703e:f6ff:feae:8042) |
| 2024-08-06 18:58:29 +0000 | rlittl | (~Android@2600:1004:b0b8:c0c0:703e:f6ff:feae:8042) (Excess Flood) |
| 2024-08-06 18:59:13 +0000 | rlittl | (~Android@2600:1004:b0b8:c0c0:703e:f6ff:feae:8042) |
| 2024-08-06 18:59:13 +0000 | rlittl | (~Android@2600:1004:b0b8:c0c0:703e:f6ff:feae:8042) (Excess Flood) |
| 2024-08-06 18:59:45 +0000 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Remote host closed the connection) |
| 2024-08-06 19:00:18 +0000 | rlittl | (~Android@160.sub-174-245-99.myvzw.com) |
| 2024-08-06 19:00:18 +0000 | rlittl | (~Android@160.sub-174-245-99.myvzw.com) (Excess Flood) |
| 2024-08-06 19:00:24 +0000 | jasperr | (~jasperr@91-82-240-95.pool.digikabel.hu) |
| 2024-08-06 19:02:42 +0000 | rlittl | (~Android@2603:6081:5500:54:591c:3691:4117:db20) |
| 2024-08-06 19:02:42 +0000 | rlittl | (~Android@2603:6081:5500:54:591c:3691:4117:db20) (Excess Flood) |
| 2024-08-06 19:04:46 +0000 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2024-08-06 19:13:59 +0000 | ft | (~ft@p4fc2aa15.dip0.t-ipconnect.de) |
| 2024-08-06 19:15:14 +0000 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-08-06 19:15:57 +0000 | Square | (~Square@user/square) |
| 2024-08-06 19:17:00 +0000 | qeef | (~qeef@138-169-143-94.cust.centrio.cz) (Remote host closed the connection) |
| 2024-08-06 19:17:42 +0000 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Quit: IRCNow and Forever!) |
| 2024-08-06 19:22:07 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: good night) |
| 2024-08-06 19:34:45 +0000 | spew | (~spew@201.141.102.132) (Quit: spew) |
| 2024-08-06 19:45:55 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-08-06 20:05:08 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-08-06 20:10:21 +0000 | jasperr | (~jasperr@91-82-240-95.pool.digikabel.hu) (Quit: Client closed) |
| 2024-08-06 20:22:41 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-08-06 20:25:48 +0000 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2024-08-06 20:36:58 +0000 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2024-08-06 20:39:16 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-06 20:48:19 +0000 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2024-08-06 20:57:40 +0000 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) |
| 2024-08-06 20:58:20 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-06 21:05:58 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Quit: skyesoss) |
| 2024-08-06 21:09:30 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-06 21:13:08 +0000 | mpb | (~mpb@bras-base-otwaon230qw-grc-24-174-89-68-120.dsl.bell.ca) |
| 2024-08-06 21:27:00 +0000 | pavonia | (~user@user/siracusa) |
| 2024-08-06 21:35:24 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: Ping timeout (120 seconds)) |
| 2024-08-06 21:35:42 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-08-06 21:38:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-06 21:39:28 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Quit: Lost terminal) |
| 2024-08-06 21:39:50 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-08-06 21:39:59 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-08-06 21:40:15 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-08-06 22:08:41 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-08-06 22:12:12 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-08-06 22:14:31 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-08-06 22:20:24 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Remote host closed the connection) |
| 2024-08-06 22:20:29 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-06 22:22:49 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-08-06 22:45:27 +0000 | <haskellbridge> | <Jade> is this not a valid instance for `Monad (Lift f)`? |
| 2024-08-06 22:45:27 +0000 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_matrix/media/v3/download/kf8nh.com/iXGiGCXhRYGAiRsbtVFzeGfT (3 lines) |
| 2024-08-06 23:03:31 +0000 | <ncf> | it is lawful i'm pretty sure |
| 2024-08-06 23:03:57 +0000 | <ncf> | i was considering something like this as a categorification of Semigroup m => Monoid (Maybe m) at some point |
| 2024-08-06 23:04:50 +0000 | <ncf> | (just like Maybe a = a + 1, Lift f = f + 1 where 1 is the identity functor) |
| 2024-08-06 23:05:39 +0000 | <ncf> | you'd think that you'd only need the functor equivalent of Semigroup (which is Bind), but this is actually not enough because general monads don't commute with coproducts |
| 2024-08-06 23:06:20 +0000 | <ncf> | so you need something like a generalised join : f (a + f a) → f a, or just give up and ask for Monad f |
| 2024-08-06 23:06:24 +0000 | mpb | (~mpb@bras-base-otwaon230qw-grc-24-174-89-68-120.dsl.bell.ca) (Quit: Lost terminal) |
| 2024-08-06 23:18:16 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Remote host closed the connection) |
| 2024-08-06 23:19:31 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-08-06 23:23:36 +0000 | tabaqui | (~root@87.200.123.114) (Ping timeout: 252 seconds) |
| 2024-08-06 23:28:57 +0000 | halloy5409 | (~halloy540@147.235.212.157) |
| 2024-08-06 23:31:56 +0000 | darkstardevx | (~darkstard@50.53.3.2) (Quit: Leaving) |
| 2024-08-06 23:32:44 +0000 | <halloy5409> | @t foldr |
| 2024-08-06 23:32:44 +0000 | <lambdabot> | Maybe you meant: tell thank you thanks thesaurus thx tic-tac-toe ticker time todo todo-add todo-delete type v @ ? . |
| 2024-08-06 23:33:45 +0000 | <halloy5409> | @type map |
| 2024-08-06 23:33:46 +0000 | <lambdabot> | (a -> b) -> [a] -> [b] |
| 2024-08-06 23:34:24 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb628054de8284f67264.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-08-06 23:34:52 +0000 | <halloy5409> | > foldr (\x xs -> xs ++ [x]) [] [1,2,3,4,5] |
| 2024-08-06 23:34:53 +0000 | <lambdabot> | [5,4,3,2,1] |
| 2024-08-06 23:35:25 +0000 | <halloy5409> | @list |
| 2024-08-06 23:35:25 +0000 | <lambdabot> | What module? Try @listmodules for some ideas. |
| 2024-08-06 23:35:35 +0000 | <halloy5409> | @list,odules |
| 2024-08-06 23:35:35 +0000 | <lambdabot> | activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime metar more oeis offlineRC pl pointful poll pretty quote search |
| 2024-08-06 23:35:35 +0000 | <lambdabot> | seen slap source spell system tell ticker todo topic type undo unlambda unmtl version where |
| 2024-08-06 23:35:44 +0000 | <halloy5409> | @help |
| 2024-08-06 23:35:44 +0000 | <lambdabot> | help <command>. Ask for help for <command>. Try 'list' for all commands |
| 2024-08-06 23:35:51 +0000 | <halloy5409> | @help foldr |
| 2024-08-06 23:35:51 +0000 | <lambdabot> | help <command>. Ask for help for <command>. Try 'list' for all commands |
| 2024-08-06 23:36:17 +0000 | <halloy5409> | @listmodules |
| 2024-08-06 23:36:17 +0000 | <lambdabot> | activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime metar more oeis offlineRC pl pointful poll pretty quote search |
| 2024-08-06 23:36:17 +0000 | <lambdabot> | seen slap source spell system tell ticker todo topic type undo unlambda unmtl version where |
| 2024-08-06 23:36:28 +0000 | <halloy5409> | > foldr |
| 2024-08-06 23:36:30 +0000 | <lambdabot> | error: |
| 2024-08-06 23:36:30 +0000 | <lambdabot> | • No instance for (Typeable a0) |
| 2024-08-06 23:36:30 +0000 | <lambdabot> | arising from a use of ‘show_M77240290220706789158’ |
| 2024-08-06 23:36:42 +0000 | <halloy5409> | ? |
| 2024-08-06 23:36:48 +0000 | <halloy5409> | ?help |
| 2024-08-06 23:36:48 +0000 | <lambdabot> | help <command>. Ask for help for <command>. Try 'list' for all commands |
| 2024-08-06 23:36:53 +0000 | <halloy5409> | help foldr |
| 2024-08-06 23:38:40 +0000 | <halloy5409> | > can someone please tell me how can i tell lambdabot to give me all the srtuct of the execution of foldr? not the result itself, but all the struct with the paren's |
| 2024-08-06 23:38:41 +0000 | <lambdabot> | <hint>:1:79: error: parse error on input ‘of’ |
| 2024-08-06 23:38:51 +0000 | <halloy5409> | can someone please tell me how can i tell lambdabot to give me all the srtuct of the execution of foldr? not the result itself, but all the struct with the paren's |
| 2024-08-06 23:40:08 +0000 | <halloy5409> | > foldr (+) 0 [1,2,3,4] |
| 2024-08-06 23:40:10 +0000 | <lambdabot> | 10 |
| 2024-08-06 23:40:30 +0000 | <geekosaur> | > foldr f z [a,b,c] |
| 2024-08-06 23:40:31 +0000 | <lambdabot> | f a (f b (f c z)) |
| 2024-08-06 23:40:42 +0000 | <geekosaur> | courtesy of debug-reflect |
| 2024-08-06 23:41:24 +0000 | <geekosaur> | er, simple-reflect |
| 2024-08-06 23:42:12 +0000 | <halloy5409> | @geekosaur thanks. can i get it in specific function also? for example how do i get the same result with: foldr (+) 0 [1,1,3] |
| 2024-08-06 23:42:12 +0000 | <lambdabot> | Unknown command, try @list |
| 2024-08-06 23:42:30 +0000 | <halloy5409> | geekosaur thanks. can i get it in specific function also? for example how do i get the same result with: foldr (+) 0 [1,1,3] |
| 2024-08-06 23:43:23 +0000 | <halloy5409> | if i use specific function i get the result itself |
| 2024-08-06 23:44:20 +0000 | halloy5409 | menash |
| 2024-08-06 23:44:43 +0000 | <menash> | > foldr (+) 0 [1,2,3,4] |
| 2024-08-06 23:44:44 +0000 | <lambdabot> | 10 |
| 2024-08-06 23:44:57 +0000 | <geekosaur> | lambdabot doesn't do that. I think there's a website that does? |
| 2024-08-06 23:45:36 +0000 | <menash> | i dont know. i would be happy to get a link to this website :-) |
| 2024-08-06 23:46:43 +0000 | <menash> | > foldr f [] [1,2,3,4 where f = |
| 2024-08-06 23:46:45 +0000 | <lambdabot> | <hint>:1:21: error: parse error on input ‘where’ |
| 2024-08-06 23:47:07 +0000 | <menash> | > foldr f [] [1,2,3,4 where f x xs = xs ++ [x] |
| 2024-08-06 23:47:08 +0000 | <lambdabot> | <hint>:1:21: error: parse error on input ‘where’ |
| 2024-08-06 23:48:11 +0000 | <menash> | > f x xs = xs ++ [x] |
| 2024-08-06 23:48:13 +0000 | <lambdabot> | <hint>:1:8: error: parse error on input ‘=’ |
| 2024-08-06 23:48:37 +0000 | <geekosaur> | tried to find it, not succeeding. may have gone away years ago |
| 2024-08-06 23:49:46 +0000 | <menash> | geekosaur thanks for the help :-) |
| 2024-08-06 23:50:00 +0000 | <jackdk> | https://pbv.github.io/haskelite/site/index.html is the closest I'm aware of |
| 2024-08-06 23:50:46 +0000 | <geekosaur> | no, years ago there was a site that specifically traced foldl and foldr |
| 2024-08-06 23:51:31 +0000 | <jackdk> | Ah, well https://pbv.github.io/haskelite/site/folds.html shows `foldl`,`foldr`, and `foldl'` at least |
| 2024-08-06 23:51:45 +0000 | <geekosaur> | menash, "> " is an expression evaluator, you can use let-in or you can use @let to add a global definition (which will go away when someone does @undef) |
| 2024-08-06 23:53:19 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
| 2024-08-06 23:53:23 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-08-06 23:55:44 +0000 | <menash> | this site is great. thank jackdk |
| 2024-08-06 23:57:36 +0000 | <menash> | @let f x xs = xs ++ [x] |
| 2024-08-06 23:57:37 +0000 | <lambdabot> | Defined. |
| 2024-08-06 23:57:52 +0000 | <menash> | foldr f [] [1,2,3,4] |
| 2024-08-06 23:58:11 +0000 | <menash> | > foldr f [] [1,2,3,4] |
| 2024-08-06 23:58:12 +0000 | <lambdabot> | error: |
| 2024-08-06 23:58:13 +0000 | <lambdabot> | Ambiguous occurrence ‘f’ |
| 2024-08-06 23:58:13 +0000 | <lambdabot> | It could refer to |
| 2024-08-06 23:58:38 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: Ping timeout (120 seconds)) |
| 2024-08-06 23:58:58 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-08-06 23:59:26 +0000 | <menash> | geekosaur i did @let f x xs = xs ++ [x] and then when i'm using f with foldr, i get error (ambiguous occurrence 'f') |