Logs: freenode/#haskell
| 2021-03-01 07:48:10 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-03-01 07:48:11 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2021-03-01 07:48:27 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-03-01 07:51:00 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-03-01 07:51:28 | pjb | is now known as pjb|mars |
| 2021-03-01 07:56:42 | pjb|mars | is now known as pjb |
| 2021-03-01 08:02:00 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-03-01 08:04:04 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2021-03-01 08:04:15 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Remote host closed the connection) |
| 2021-03-01 08:04:54 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-03-01 08:07:01 | → | o1lo01ol1o joins (~o1lo01ol1@31.22.239.189) |
| 2021-03-01 08:07:52 | × | bitmagie quits (~Thunderbi@200116b8061b980088bf1ce130705d54.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-03-01 08:08:37 | × | errst quits (~errst@unaffiliated/tirej) (Quit: leaving) |
| 2021-03-01 08:09:37 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 272 seconds) |
| 2021-03-01 08:11:40 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-01 08:11:57 | × | o1lo01ol1o quits (~o1lo01ol1@31.22.239.189) (Ping timeout: 264 seconds) |
| 2021-03-01 08:13:24 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-01 08:13:58 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-03-01 08:15:49 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-01 08:16:10 | → | puke joins (~vroom@217.138.252.56) |
| 2021-03-01 08:16:14 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-03-01 08:19:02 | × | aggin quits (~ecm@103.88.87.73) (Quit: WeeChat 3.0.1) |
| 2021-03-01 08:19:20 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-01 08:19:42 | → | kuribas joins (~user@ptr-25vy0ia3p0g52y47swx.18120a2.ip6.access.telenet.be) |
| 2021-03-01 08:22:11 | → | m0rphism1 joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-03-01 08:23:55 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-03-01 08:35:11 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-03-01 08:35:23 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-03-01 08:35:58 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 2021-03-01 08:36:09 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-03-01 08:36:52 | × | gimps quits (~gimps@178.239.168.171) (Remote host closed the connection) |
| 2021-03-01 08:37:12 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-03-01 08:37:21 | → | supercoven joins (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 2021-03-01 08:39:00 | → | michalz joins (~user@185.246.204.59) |
| 2021-03-01 08:40:50 | → | Yumasi joins (~guillaume@2a01:e0a:5cb:4430:513f:2e4a:e959:c989) |
| 2021-03-01 08:40:51 | <ski> | jamestmartin : i'd guess it's not |
| 2021-03-01 08:43:14 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 264 seconds) |
| 2021-03-01 08:44:27 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 272 seconds) |
| 2021-03-01 08:47:48 | ← | aarvar parts (~foewfoiew@2601:602:a080:fa0:d4c5:1ad7:b189:949e) () |
| 2021-03-01 08:48:43 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-03-01 08:49:17 | → | DataComputist joins (~lumeng@50.43.26.251) |
| 2021-03-01 08:58:56 | → | fendor joins (~fendor@178.165.129.154.wireless.dyn.drei.com) |
| 2021-03-01 09:00:08 | × | shutendoji[m] quits (shutendoji@gateway/shell/matrix.org/x-ugeduntrngcqbunt) (Quit: Idle for 30+ days) |
| 2021-03-01 09:00:09 | × | bram[m]1 quits (bramvdbnet@gateway/shell/matrix.org/x-smrpthqlcycbdvqg) (Quit: Idle for 30+ days) |
| 2021-03-01 09:00:10 | × | CaptainYukinoshi quits (captain-yu@gateway/shell/matrix.org/x-wsmoytiqpsczqgmt) (Quit: Idle for 30+ days) |
| 2021-03-01 09:00:38 | × | knupfer quits (~Thunderbi@200116b824fa7200e4e032dd4c9fa8cc.dip.versatel-1u1.de) (Ping timeout: 264 seconds) |
| 2021-03-01 09:02:40 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:176:cad2:9667:c008) |
| 2021-03-01 09:03:23 | × | ixlun quits (~user@213.205.241.12) (Remote host closed the connection) |
| 2021-03-01 09:03:30 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:692f:34e4:c65a:92f2) (Remote host closed the connection) |
| 2021-03-01 09:04:51 | → | Sonderblade joins (~helloman@94.191.136.111.mobile.tre.se) |
| 2021-03-01 09:04:59 | × | Sonderblade quits (~helloman@94.191.136.111.mobile.tre.se) (Client Quit) |
| 2021-03-01 09:05:06 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-01 09:06:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-01 09:06:10 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-01 09:07:01 | → | psutcliffe joins (~psutcliff@2a00:801:3f2:4b56:e93e:1663:ff0c:6c42) |
| 2021-03-01 09:09:17 | → | hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-03-01 09:10:55 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-03-01 09:11:01 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 268 seconds) |
| 2021-03-01 09:11:44 | × | michalz quits (~user@185.246.204.59) (Ping timeout: 260 seconds) |
| 2021-03-01 09:12:44 | → | emmanuel_erc joins (~user@rrcs-23-246-116-5.nys.biz.rr.com) |
| 2021-03-01 09:12:50 | × | aerona quits (~aerona@2600:6c54:4600:f300:a563:178a:b1b1:10ea) (Read error: Connection reset by peer) |
| 2021-03-01 09:13:09 | → | Franciman joins (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 2021-03-01 09:13:09 | → | nha joins (~nha@host109-158-11-34.range109-158.btcentralplus.com) |
| 2021-03-01 09:16:25 | <nha> | are there any similar alternatives to the reader monad without having to use monads? I have something similar to a catamorphism but the reduction is sensitive to the depth of terms crossed, so it needs an extra parameter describing this depth. Is there such a thing as a context sensitive functor and algebra? |
| 2021-03-01 09:18:09 | × | emmanuel_erc quits (~user@rrcs-23-246-116-5.nys.biz.rr.com) (Ping timeout: 260 seconds) |
| 2021-03-01 09:20:03 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-03-01 09:21:03 | <tomsmeding> | nha: taking an additional parameter does not work? |
| 2021-03-01 09:21:16 | <tomsmeding> | (note that, incidentally, (e ->) is precisely the Reader monad) |
| 2021-03-01 09:21:30 | <merijn> | I like how the "small haskell exe" post on reddit goes through excessive efforts that will likely harm performance, but skips --split-sections and stripping >.> |
| 2021-03-01 09:21:43 | <merijn> | Also, dynamic linking to pretend that shrinks actual install size >.> |
| 2021-03-01 09:21:47 | → | o1lo01ol1o joins (~o1lo01ol1@31.22.239.189) |
| 2021-03-01 09:22:56 | <tomsmeding> | well it might if you install the same application twice ;) |
| 2021-03-01 09:23:35 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:176:cad2:9667:c008) (Ping timeout: 240 seconds) |
| 2021-03-01 09:24:19 | <lortabac> | nha: there is ImplicitParams |
| 2021-03-01 09:24:49 | <lortabac> | https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts/implicit_parameters.html |
| 2021-03-01 09:27:40 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-01 09:27:43 | × | kderme48 quits (4fa758c1@ppp079167088193.access.hol.gr) (Ping timeout: 240 seconds) |
| 2021-03-01 09:29:40 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-03-01 09:29:58 | → | raichoo joins (~raichoo@213.240.178.58) |
| 2021-03-01 09:30:25 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-03-01 09:31:33 | → | LKoen joins (~LKoen@252.248.88.92.rev.sfr.net) |
| 2021-03-01 09:31:51 | → | bitmagie joins (~Thunderbi@200116b8061b980088bf1ce130705d54.dip.versatel-1u1.de) |
| 2021-03-01 09:32:03 | × | bitmagie quits (~Thunderbi@200116b8061b980088bf1ce130705d54.dip.versatel-1u1.de) (Client Quit) |
| 2021-03-01 09:34:55 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 240 seconds) |
| 2021-03-01 09:35:15 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-03-01 09:38:16 | → | chisui joins (577bc9b7@i577BC9B7.versanet.de) |
| 2021-03-01 09:39:54 | → | catt joins (~r@31.127.31.99) |
| 2021-03-01 09:40:25 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-01 09:42:21 | × | catt quits (~r@31.127.31.99) (Remote host closed the connection) |
| 2021-03-01 09:47:45 | → | gienah joins (~mwright@gentoo/developer/gienah) |
| 2021-03-01 09:49:33 | <nha> | tomsmeding: the parameter has to be threaded the functor and algebra, which is fine but then the two don't match the type of Functor (F a -> F b) and Algebra (F c -> c) since they would be (z -> F a -> F b) and (z -> F c -> c) |
| 2021-03-01 09:50:58 | <nha> | tomsmeding: the reader monad imposes an order on the reduction, which I don't strictly need. The context is sensitive to the term depth not preorder/postorder ranking, so monad is overkill. |
| 2021-03-01 09:52:03 | × | chisui quits (577bc9b7@i577BC9B7.versanet.de) (Ping timeout: 240 seconds) |
| 2021-03-01 09:52:13 | <nha> | lortabac: dynamic binding would be nice but I can't use it since i'm writing in a haskell-like style in a different language which doesn't have dynamic binding. |
| 2021-03-01 09:52:48 | <nha> | i'm mostly just curious if there is any variety of functor or algebra similar to what I need |
| 2021-03-01 09:54:15 | <lortabac> | nha: Reader is also a functor |
| 2021-03-01 09:54:36 | <lortabac> | if monad is overkill you can use its functor/applicative instance |
| 2021-03-01 09:55:20 | <ski> | nha : "imposes an order on the reduction" -- in which sense ? |
| 2021-03-01 09:56:32 | <ski> | (i guess you want to work in a Kleisli category, or something) |
| 2021-03-01 09:57:55 | <ski> | > (do undefined; x <- (2 +); undefined; y <- (3 +); return (x * y)) 1 |
All times are in UTC.