Logs on 2024-07-02 (liberachat/#haskell)
| 00:00:17 | <oo_miguel> | but the type does not carry any information about the length |
| 00:00:24 | <EvanR> | here's another "solution" |
| 00:00:30 | <EvanR> | :t \f -> [] |
| 00:00:31 | <lambdabot> | p -> [a] |
| 00:00:54 | <EvanR> | :t \f -> [] :: (a -> [b]) -> [a -> b] |
| 00:00:55 | <lambdabot> | error: |
| 00:00:55 | <lambdabot> | • Couldn't match expected type ‘(a1 -> [b1]) -> [a1 -> b1]’ |
| 00:00:55 | <lambdabot> | with actual type ‘[a0]’ |
| 00:01:59 | <EvanR> | what if f returns [] |
| 00:02:42 | <EvanR> | then the result is an empty list, and no function can be called, there is no argument |
| 00:02:49 | <EvanR> | it's a paradoxical function |
| 00:02:57 | <oo_miguel> | I am looking for something like that one you posted above: \f -> map (\i x -> f x !! i) [0..]. but this will obviously fail if the returned list is not infinite |
| 00:03:28 | <EvanR> | you might be thinking you look into the future, and see what f x is |
| 00:03:39 | <EvanR> | which determines the size of [0..] |
| 00:03:42 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 00:03:58 | <EvanR> | perhaps you can do it with the tardis monad xD |
| 00:04:30 | <haskellbridge> | <iqubic (she/her)> Are we trying to write a function of type "(a -> [b]) -> [a -> b]"? |
| 00:06:26 | × | it_ quits (~quassel@v2202212189510211193.supersrv.de) (Quit: No Ping reply in 180 seconds.) |
| 00:06:39 | <haskellbridge> | <iqubic (she/her)> EvanR: This is probably more in depth than in needs to be, but here we're using the "a" in negative position only, and you can't summon a value of type "a" from nowhere. |
| 00:06:42 | <oo_miguel> | @EvanR; if "f x" returns "[ ]" i want to get [] |
| 00:06:43 | <lambdabot> | Unknown command, try @list |
| 00:07:39 | → | it_ joins (~quassel@v2202212189510211193.supersrv.de) |
| 00:07:42 | <haskellbridge> | <iqubic (she/her)> oo_miguel: Where does x come from? Who supplies that value? |
| 00:08:39 | <oo_miguel> | let me try to rephrase my question.. given a function with one parameter that returns a list.. i want to get a list of fucntions of one parameter that return values analgously |
| 00:08:54 | <oo_miguel> | so lets say : |
| 00:08:54 | <oo_miguel> | f something = [1,2,3] |
| 00:09:51 | <oo_miguel> | I wnat to get a list of functions [a,b,c] ... ouch |
| 00:09:52 | <oo_miguel> | ok |
| 00:10:05 | <oo_miguel> | guess I seee now what the problem is |
| 00:11:09 | <oo_miguel> | thanks EvanR & haskellbridge , for claryfying |
| 00:11:10 | <ncf> | list distributes over reader, not the other way around |
| 00:11:30 | <haskellbridge> | <iqubic (she/her)> Yes... That's a way to explain it. |
| 00:12:33 | <haskellbridge> | <iqubic (she/her)> ncf: Does that mean that it's possible to write something of the type "[a -> b] -> a -> [b]". |
| 00:13:03 | <ncf> | :t sequence |
| 00:13:04 | <lambdabot> | (Traversable t, Monad m) => t (m a) -> m (t a) |
| 00:13:35 | <haskellbridge> | <iqubic (she/her)> :t \fs x -> map (\f -> f x) fs |
| 00:13:41 | <ncf> | :t distribute -- or: |
| 00:13:42 | <lambdabot> | error: |
| 00:13:42 | <lambdabot> | • Variable not in scope: distribute |
| 00:13:42 | <lambdabot> | • Perhaps you meant ‘distrib’ (imported from Control.Lens) |
| 00:13:48 | <ncf> | fuck |
| 00:13:55 | <haskellbridge> | <iqubic (she/her)> Why does lambdabot hate me? |
| 00:13:58 | <ncf> | :t Data.Distributive.distribute |
| 00:13:59 | <lambdabot> | (Data.Distributive.Distributive g, Functor f) => f (g a) -> g (f a) |
| 00:14:08 | <geekosaur> | haskellbridge puts a prefix in front of your messages, @iqubic. (it doesn't puppet on the IRC end) |
| 00:14:21 | <haskellbridge> | <iqubic (she/her)> Right... I see. |
| 00:14:23 | <geekosaur> | % :t sequence @[] |
| 00:14:24 | <yahb2> | sequence @[] :: Monad m => [m a] -> m [a] |
| 00:14:42 | <geekosaur> | % :t sequence @[] @((->) _) |
| 00:14:42 | <yahb2> | sequence @[] @((->) _) :: Monad ((->) w) => [w -> a] -> w -> [a] |
| 00:15:19 | <haskellbridge> | <iqubic (she/her)> \fs x -> map (\f -> f x) fs should have the type of "[a -> b] -> a -> [b}" though. |
| 00:15:43 | <ncf> | yes that's what sequence does |
| 00:16:18 | <haskellbridge> | <iqubic (she/her)> Right... and you cannot got the other way, because you can't pluck a value of type a out of thin air. |
| 00:16:22 | <ncf> | (it's not like there's more than one way to do it...) |
| 00:16:58 | <ncf> | well i guess there is, you could mess with the list |
| 00:17:16 | <haskellbridge> | <iqubic (she/her)> Right... |
| 00:17:55 | <haskellbridge> | <iqubic (she/her)> ncf: You can also technically do "\fs a -> []" |
| 00:21:42 | <geekosaur> | you could also add a Monoid constraint to a so you can use `mempty` to manufacture a value, but that's unlikely to give you useful results |
| 00:22:09 | <geekosaur> | (or `Default`, with the same caveat) |
| 00:23:45 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 00:26:35 | <ncf> | in any case you won't get an actual distributive law |
| 00:28:16 | <oo_miguel> | what makes me wonder.. just theoratically assuming I would know the length of the list returned by f, would the following (posted by EvanR above) work: |
| 00:28:16 | <oo_miguel> | \f -> map (\i x -> f x !! i) [0..99] |
| 00:29:24 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:30:59 | <monochrom> | @type \f -> map (\i x -> f x !! i) [0..99] |
| 00:31:00 | <lambdabot> | (t -> [a]) -> [t -> a] |
| 00:32:08 | <monochrom> | yeah |
| 00:33:07 | <geekosaur> | looks very brute force, though, and might rerun `f x` for each index |
| 00:33:14 | <ncf> | yes, because lists of length n are representable (by Fin n), so you're just using the fact that flip :: (t → Fin n → a) → (Fin n → t → a) is a distributive law for (t →) over (Fin n →) |
| 00:33:57 | <Leary> | oo_miguel: If you want to produce `n` outputs, then `f` must satisfy `length (f x) >= n` for all `x`. |
| 00:34:37 | <monochrom> | It is a strange question in the first place. |
| 00:35:18 | <oo_miguel> | yeah right. let's forget about it. I will redesign my initial solution. Thanks for all the constructive answers |
| 00:36:35 | <ncf> | it's not like the excluded middle would change anything :p |
| 00:44:13 | → | euleritian joins (~euleritia@dynamic-176-004-131-157.176.4.pool.telefonica.de) |
| 00:55:47 | × | robotsnowfall quits (~robotsnow@user/robotsnowfall) (Quit: ZNC 1.9.0 - https://znc.in) |
| 00:56:49 | × | euleritian quits (~euleritia@dynamic-176-004-131-157.176.4.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 00:59:00 | → | euleritian joins (~euleritia@dynamic-176-004-131-157.176.4.pool.telefonica.de) |
| 01:33:51 | × | puke quits (~puke@user/puke) (Quit: puke) |
| 01:39:31 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 01:40:08 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 256 seconds) |
| 01:44:35 | × | fryguybob quits (~fryguybob@syn-024-094-050-022.res.spectrum.com) (Quit: leaving) |
| 01:46:01 | → | rvalue joins (~rvalue@user/rvalue) |
| 01:48:49 | → | puke joins (~puke@user/puke) |
| 01:50:24 | → | danse-nr3 joins (~danse-nr3@151.37.108.131) |
| 01:58:25 | → | robotsnowfall joins (~robotsnow@user/robotsnowfall) |
| 02:03:51 | × | xff0x quits (~xff0x@2405:6580:b080:900:6b0d:696c:4da9:e7ba) (Ping timeout: 264 seconds) |
| 02:06:15 | × | robotsnowfall quits (~robotsnow@user/robotsnowfall) (Quit: ZNC 1.9.0 - https://znc.in) |
| 02:06:44 | → | robotsnowfall joins (~robotsnow@user/robotsnowfall) |
| 02:32:48 | × | euleritian quits (~euleritia@dynamic-176-004-131-157.176.4.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 02:33:34 | → | euleritian joins (~euleritia@dynamic-176-004-179-095.176.4.pool.telefonica.de) |
| 02:37:13 | → | tomku joins (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 02:41:39 | × | td_ quits (~td@i53870923.versanet.de) (Ping timeout: 264 seconds) |
| 02:43:20 | → | td_ joins (~td@i53870908.versanet.de) |
| 02:43:35 | × | terrorjack quits (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 02:45:24 | → | terrorjack joins (~terrorjac@2a01:4f8:c17:87f8::) |
| 02:52:40 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 03:00:51 | × | euleritian quits (~euleritia@dynamic-176-004-179-095.176.4.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 03:01:36 | → | euleritian joins (~euleritia@dynamic-176-004-176-014.176.4.pool.telefonica.de) |
| 03:08:15 | × | tomku quits (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 268 seconds) |
| 03:09:52 | → | tomku joins (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 03:15:14 | × | shane quits (~shane@ana.rch.ist) (Ping timeout: 256 seconds) |
| 03:18:30 | → | aforemny joins (~aforemny@2001:9e8:6cdc:7000:35fc:2c7:776f:671b) |
| 03:19:51 | × | aforemny_ quits (~aforemny@i59F516CB.versanet.de) (Ping timeout: 256 seconds) |
| 03:30:34 | × | euleritian quits (~euleritia@dynamic-176-004-176-014.176.4.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 03:31:46 | → | euleritian joins (~euleritia@dynamic-176-007-196-150.176.7.pool.telefonica.de) |
| 03:37:03 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 03:54:23 | × | superbil quits (~superbil@1-34-176-171.hinet-ip.hinet.net) (Read error: Connection reset by peer) |
| 03:55:52 | → | superbil joins (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 03:57:35 | × | danse-nr3 quits (~danse-nr3@151.37.108.131) (Ping timeout: 268 seconds) |
| 03:57:47 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 03:59:06 | → | img joins (~img@user/img) |
| 04:00:45 | × | euleritian quits (~euleritia@dynamic-176-007-196-150.176.7.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 04:03:07 | → | euleritian joins (~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de) |
| 04:11:18 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 04:14:18 | × | euleritian quits (~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 04:14:41 | → | euleritian joins (~euleritia@dynamic-176-000-192-024.176.0.pool.telefonica.de) |
| 04:15:04 | → | iza4k5 joins (~iza4k5@2806:2f0:5321:fd27:eb76:58af:820:9ebc) |
| 04:17:03 | → | bilegeek joins (~bilegeek@2600:1008:b0a4:3d85:d957:a4d8:5c3a:cf35) |
| 04:17:53 | → | danse-nr3 joins (~danse-nr3@151.37.108.131) |
| 04:19:40 | × | iza4k5 quits (~iza4k5@2806:2f0:5321:fd27:eb76:58af:820:9ebc) (Remote host closed the connection) |
| 04:26:39 | → | danza joins (~francesco@151.37.108.131) |
| 04:32:25 | × | danse-nr3 quits (~danse-nr3@151.37.108.131) (Ping timeout: 246 seconds) |
| 04:33:00 | × | euleritian quits (~euleritia@dynamic-176-000-192-024.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 04:33:17 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 04:36:53 | × | zmt01 quits (~zmt00@user/zmt00) (Quit: Leaving) |
| 04:38:38 | → | zmt00 joins (~zmt00@user/zmt00) |
| 05:02:24 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:04:12 | × | mulk quits (~mulk@p5b2dc1a2.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 05:22:43 | → | yobson joins (~yobson@mail.jotron.com) |
| 05:27:44 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 05:30:16 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 05:42:25 | × | danza quits (~francesco@151.37.108.131) (Ping timeout: 246 seconds) |
| 05:46:34 | → | danza joins (~francesco@151.47.22.136) |
| 05:51:36 | × | danza quits (~francesco@151.47.22.136) (Ping timeout: 256 seconds) |
| 05:56:25 | → | michalz joins (~michalz@185.246.207.197) |
| 06:02:00 | → | rosco joins (~rosco@175.136.155.137) |
| 06:07:11 | × | Nixkernal quits (~Nixkernal@240.17.194.178.dynamic.cust.swisscom.net) (Ping timeout: 264 seconds) |
| 06:08:43 | × | TactfulCitrus quits (~al@2a02:8012:87a6:0:fbe0:6116:6e30:e047) (Ping timeout: 260 seconds) |
| 06:20:35 | → | micro joins (~micro@a9.lence.net) |
| 06:20:59 | micro | is now known as Guest4416 |
| 06:21:28 | × | Guest4416 quits (~micro@a9.lence.net) (Client Quit) |
| 06:23:51 | → | micro_ joins (~micro@a9.lence.net) |
| 06:23:56 | × | micro_ quits (~micro@a9.lence.net) (Changing host) |
| 06:23:56 | → | micro_ joins (~micro@user/micro) |
| 06:25:39 | → | talismanick joins (~user@2601:644:937c:ed10::ae5) |
| 06:34:28 | → | danse-nr3 joins (~danse-nr3@151.47.22.136) |
| 06:36:49 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:39:16 | × | superbil quits (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 264 seconds) |
| 06:52:55 | → | superbil joins (~superbil@114-32-231-70.hinet-ip.hinet.net) |
| 06:56:01 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 07:08:20 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 07:08:33 | × | yobson quits (~yobson@mail.jotron.com) (Quit: Leaving...) |
| 07:09:41 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 07:13:35 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:13:37 | × | tomku quits (~tomku@syn-141-126-184-057.res.spectrum.com) (Read error: Connection reset by peer) |
| 07:18:04 | → | tomku joins (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 07:21:04 | × | pikajude- quits (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) (Quit: ZNC 1.8.2 - https://znc.in) |
| 07:21:37 | → | pikajude joins (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) |
| 07:21:43 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 07:35:58 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 07:36:22 | → | acidjnk_new3 joins (~acidjnk@p200300d6e72cfb8314c8314f426f59bc.dip0.t-ipconnect.de) |
| 07:38:52 | → | misterfish joins (~misterfis@84.53.85.146) |
| 07:43:47 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 07:50:44 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:55:28 | → | mulk joins (~mulk@p5b2dc1a2.dip0.t-ipconnect.de) |
| 07:56:59 | → | mreh joins (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 07:57:50 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 08:00:36 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
| 08:02:58 | → | gmg joins (~user@user/gehmehgeh) |
| 08:07:58 | → | bliminse joins (~bliminse@user/bliminse) |
| 08:14:16 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:30:40 | × | bilegeek quits (~bilegeek@2600:1008:b0a4:3d85:d957:a4d8:5c3a:cf35) (Quit: Leaving) |
| 08:30:49 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 08:33:19 | → | rvalue joins (~rvalue@user/rvalue) |
| 08:36:06 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 08:48:55 | × | danse-nr3 quits (~danse-nr3@151.47.22.136) (Remote host closed the connection) |
| 08:50:43 | × | tomku quits (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 246 seconds) |
| 08:52:21 | × | mikess quits (~mikess@user/mikess) (Ping timeout: 268 seconds) |
| 08:52:30 | → | chele joins (~chele@user/chele) |
| 08:52:46 | → | tomku joins (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 08:54:58 | × | ft quits (~ft@p4fc2ab80.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:02:01 | × | rosco quits (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 09:07:50 | → | danse-nr3 joins (~danse-nr3@151.47.22.136) |
| 09:08:09 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 09:15:57 | → | misterfish joins (~misterfis@84.53.85.146) |
| 09:17:25 | × | flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 09:18:28 | → | flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 09:20:49 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
| 09:21:22 | → | rosco joins (~rosco@175.136.155.137) |
| 09:28:37 | × | mulk quits (~mulk@p5b2dc1a2.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 09:31:39 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 09:37:20 | → | mulk joins (~mulk@p5b2dc1a2.dip0.t-ipconnect.de) |
| 09:38:53 | → | misterfish joins (~misterfis@84.53.85.146) |
| 09:41:46 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 09:42:00 | × | mulk quits (~mulk@p5b2dc1a2.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 09:47:37 | → | mulk joins (~mulk@p5b2dc1a2.dip0.t-ipconnect.de) |
| 09:49:41 | × | danse-nr3 quits (~danse-nr3@151.47.22.136) (Ping timeout: 240 seconds) |
| 09:50:17 | → | danse-nr3 joins (~danse-nr3@151.47.111.193) |
| 09:54:21 | × | pja quits (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) (Quit: WeeChat 3.8) |
| 09:56:56 | × | tomku quits (~tomku@syn-141-126-184-057.res.spectrum.com) (Read error: Connection reset by peer) |
| 10:01:00 | → | tomku joins (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 10:01:39 | × | puke quits (~puke@user/puke) (Ping timeout: 255 seconds) |
| 10:09:49 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 10:30:10 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 10:33:36 | → | __monty__ joins (~toonn@user/toonn) |
| 10:39:39 | × | mreh quits (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds) |
| 10:43:27 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 10:43:37 | Maxdaman1us | is now known as Maxdamantus |
| 10:52:17 | → | zzz joins (~yin@user/zero) |
| 10:57:31 | × | CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 10:57:33 | → | simendsjo joins (~user@84.209.170.3) |
| 11:00:05 | → | CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 11:07:13 | × | danse-nr3 quits (~danse-nr3@151.47.111.193) (Ping timeout: 246 seconds) |
| 11:13:48 | → | xff0x joins (~xff0x@2405:6580:b080:900:a9cb:4ca2:ea5e:65b) |
| 11:15:40 | → | Square joins (~Square@user/square) |
| 11:22:04 | → | shane joins (~shane@ana.rch.ist) |
| 11:22:10 | × | kimiamania quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 11:22:11 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 11:23:14 | → | kimiamania joins (~65804703@user/kimiamania) |
| 11:28:08 | → | misterfish joins (~misterfis@84.53.85.146) |
| 11:30:41 | × | FragByte quits (~christian@user/fragbyte) (Quit: Quit) |
| 11:32:29 | → | FragByte joins (~christian@user/fragbyte) |
| 11:36:54 | → | cfricke joins (~cfricke@user/cfricke) |
| 11:39:20 | → | danse-nr3 joins (~danse-nr3@151.47.111.193) |
| 11:40:10 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 11:48:03 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:55:26 | → | misterfish joins (~misterfis@84.53.85.146) |
| 12:03:12 | × | rosco quits (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 12:07:50 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 268 seconds) |
| 12:08:58 | → | misterfish joins (~misterfis@84.53.85.146) |
| 12:10:43 | × | dispater quits (~dispater@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 12:10:43 | × | orcus quits (~orcus@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 12:12:32 | → | dispater joins (~dispater@mail.brprice.uk) |
| 12:13:03 | → | orcus joins (~orcus@mail.brprice.uk) |
| 12:16:38 | → | jrm2 joins (~jrm@user/jrm) |
| 12:16:40 | × | nullie quits (~nullie@2a01:4f8:c2c:6177::1) (Quit: WeeChat 4.1.1) |
| 12:16:48 | × | jrm quits (~jrm@user/jrm) (Read error: Connection reset by peer) |
| 12:17:04 | → | nullie joins (~nullie@nuremberg.nullie.name) |
| 12:18:16 | jrm2 | is now known as jrm |
| 12:23:15 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 268 seconds) |
| 12:30:26 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:34:11 | × | dyniec quits (~dyniec@dybiec.info) (Quit: WeeChat 4.2.2) |
| 12:35:35 | → | dyniec joins (~dyniec@dybiec.info) |
| 12:44:41 | × | AlexZenon quits (~alzenon@94.233.240.124) (Ping timeout: 256 seconds) |
| 12:49:21 | × | nullie quits (~nullie@nuremberg.nullie.name) (Quit: WeeChat 4.1.1) |
| 12:49:43 | → | nullie joins (~nullie@nuremberg.nullie.name) |
| 12:56:46 | × | danse-nr3 quits (~danse-nr3@151.47.111.193) (Ping timeout: 246 seconds) |
| 13:04:06 | → | danse-nr3 joins (~danse-nr3@151.47.111.193) |
| 13:05:20 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:07:00 | → | AlexZenon joins (~alzenon@94.233.240.124) |
| 13:12:28 | × | nullie quits (~nullie@nuremberg.nullie.name) (Quit: WeeChat 4.1.1) |
| 13:12:58 | → | nullie joins (~nullie@nuremberg.nullie.name) |
| 13:33:15 | → | Guest20 joins (~Guest79@syn-067-011-244-050.res.spectrum.com) |
| 13:33:47 | × | Guest20 quits (~Guest79@syn-067-011-244-050.res.spectrum.com) (Client Quit) |
| 13:36:47 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 13:40:38 | → | mreh joins (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 13:46:42 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 13:47:45 | × | simendsjo quits (~user@84.209.170.3) (Ping timeout: 268 seconds) |
| 13:50:39 | × | danse-nr3 quits (~danse-nr3@151.47.111.193) (Ping timeout: 264 seconds) |
| 13:51:33 | → | danse-nr3 joins (~danse-nr3@151.35.117.198) |
| 13:54:48 | → | misterfish joins (~misterfis@84.53.85.146) |
| 14:05:00 | × | hueso quits (~root@user/hueso) (Ping timeout: 252 seconds) |
| 14:08:24 | × | Square quits (~Square@user/square) (Ping timeout: 268 seconds) |
| 14:14:48 | × | Hecate quits (~mariposa@user/hecate) (Ping timeout: 256 seconds) |
| 14:14:55 | × | gawen quits (~gawen@user/gawen) (Ping timeout: 256 seconds) |
| 14:15:47 | → | hueso joins (~root@user/hueso) |
| 14:17:57 | × | tomku quits (~tomku@syn-141-126-184-057.res.spectrum.com) (Read error: Connection reset by peer) |
| 14:22:12 | × | danse-nr3 quits (~danse-nr3@151.35.117.198) (Ping timeout: 255 seconds) |
| 14:22:58 | → | tomku joins (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 14:23:59 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 256 seconds) |
| 14:25:38 | → | misterfish joins (~misterfis@84.53.85.146) |
| 14:30:17 | × | talismanick quits (~user@2601:644:937c:ed10::ae5) (Ping timeout: 268 seconds) |
| 14:36:40 | → | Hecate joins (~mariposa@user/hecate) |
| 14:37:43 | × | qhong quits (~qhong@rescomp-21-400677.stanford.edu) (Remote host closed the connection) |
| 14:37:46 | → | gawen joins (~gawen@user/gawen) |
| 14:39:04 | × | tomku quits (~tomku@syn-141-126-184-057.res.spectrum.com) (Quit: Lost terminal) |
| 14:45:54 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 14:46:01 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 268 seconds) |
| 14:46:56 | → | Pozyomka joins (~pyon@user/pyon) |
| 14:47:04 | → | soverysour joins (~soverysou@user/soverysour) |
| 14:48:23 | → | gmg joins (~user@user/gehmehgeh) |
| 14:54:39 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 15:07:48 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 15:08:48 | → | rvalue joins (~rvalue@user/rvalue) |
| 15:19:55 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 15:22:49 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 272 seconds) |
| 15:26:03 | × | hueso quits (~root@user/hueso) (Ping timeout: 264 seconds) |
| 15:30:17 | → | hueso joins (~root@user/hueso) |
| 15:42:45 | × | hueso quits (~root@user/hueso) (Ping timeout: 255 seconds) |
| 15:49:00 | → | soverysour joins (~soverysou@81.196.150.219) |
| 15:49:00 | × | soverysour quits (~soverysou@81.196.150.219) (Changing host) |
| 15:49:00 | → | soverysour joins (~soverysou@user/soverysour) |
| 15:50:27 | → | hueso joins (~root@user/hueso) |
| 15:56:37 | × | mreh quits (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds) |
| 16:02:03 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 16:02:32 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 16:02:32 | ChanServ | sets mode +v lambdabot |
| 16:08:44 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 16:24:50 | → | mikess joins (~mikess@user/mikess) |
| 16:29:10 | → | billchenchina joins (~billchenc@103.152.35.21) |
| 16:31:10 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:57:43 | → | Square joins (~Square@user/square) |
| 17:04:48 | → | bgamari joins (~bgamari@64.223.238.235) |
| 17:05:17 | × | bgamari_ quits (~bgamari@64.223.157.161) (Ping timeout: 240 seconds) |
| 17:05:41 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 240 seconds) |
| 17:11:23 | × | cptaffe quits (~cptaffe@user/cptaffe) (Ping timeout: 260 seconds) |
| 17:11:53 | → | EvanR_ joins (~EvanR@user/evanr) |
| 17:12:19 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 17:13:07 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 17:13:20 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:18:29 | → | soverysour joins (~soverysou@81.196.150.219) |
| 17:18:30 | × | soverysour quits (~soverysou@81.196.150.219) (Changing host) |
| 17:18:30 | → | soverysour joins (~soverysou@user/soverysour) |
| 17:19:58 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 17:31:51 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:32:12 | × | destituion quits (~destituio@2a02:2121:6cb:fbc3:5940:6cf4:b639:63ef) (Ping timeout: 268 seconds) |
| 17:32:33 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:32:45 | → | destituion joins (~destituio@2001:4644:c37:0:5095:eb5b:7529:4c8f) |
| 17:47:08 | → | puke joins (~puke@user/puke) |
| 17:51:41 | → | ft joins (~ft@p4fc2ab80.dip0.t-ipconnect.de) |
| 17:54:52 | → | mreh joins (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 18:04:04 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:04:37 | × | yaroot quits (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Read error: Connection reset by peer) |
| 18:04:52 | → | yaroot joins (~yaroot@p2987138-ipngn7501souka.saitama.ocn.ne.jp) |
| 18:17:27 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 18:17:33 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 18:20:02 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 18:20:28 | Lord_of_Life_ | is now known as Lord_of_Life |
| 18:27:46 | → | euphores joins (~SASL_euph@user/euphores) |
| 18:28:56 | × | soverysour quits (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 18:34:46 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 18:35:36 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 18:42:45 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:50:44 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:54:07 | × | mreh quits (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 246 seconds) |
| 19:01:59 | → | jpyamamoto joins (~jpyamamot@2806:2f0:92e5:a4e7:7db3:fca:c65b:c605) |
| 19:06:29 | × | CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 19:08:53 | → | CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 19:09:04 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 19:09:21 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:12:34 | × | elevenkb quits (elevenkb@thunix.net) (Quit: ZNC - https://znc.in) |
| 19:13:48 | <jpyamamoto> | Hello. I am looking for some pointers in the right direction. I am researching into linear haskell, and while writing code I found myself writing too often the following pattern: `example a = f a & \a' -> g a & ... & \a'' -> h a`. |
| 19:13:48 | <jpyamamoto> | I am writing my functions as if they are a pipeline of functions passing the results from one to the next, I assume that is a common pattern in linear code since you're only using arguments once. I see a sort of similarity with "monadic" code, and I thought it could benefit from something like a do-notation. |
| 19:13:49 | <jpyamamoto> | Do you know if there is a library that implements something like that? Probably using QualifiedDo or RebindableSyntax |
| 19:14:12 | <jpyamamoto> | Just to clarify, I am not using linear IO, these are experiments on arrays |
| 19:15:17 | <ncf> | looks like a continuation monad |
| 19:15:43 | <ncf> | wait no, i misread |
| 19:15:45 | <ncf> | that's & not $ |
| 19:15:53 | <ncf> | why not just use let-bindings? |
| 19:16:07 | <ncf> | let a' = f a; a'' = g a; ... in h a |
| 19:22:09 | <jpyamamoto> | I had some issues using the cases syntax and I assumed let-bindings weren't linear-friendly. But now that I read the GHC docs, seems I was wrong |
| 19:26:48 | × | Me-me quits (~me-me@kc.randomserver.name) (Read error: Connection reset by peer) |
| 19:27:58 | → | Me-me joins (~me-me@kc.randomserver.name) |
| 19:30:09 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 19:30:23 | → | mreh joins (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 19:37:00 | → | ash3en joins (~ash3en@193.32.248.188) |
| 19:38:44 | → | tomku joins (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 19:41:29 | × | ash3en quits (~ash3en@193.32.248.188) (Client Quit) |
| 19:41:51 | → | ash3en joins (~ash3en@193.32.248.188) |
| 19:45:35 | → | rosco joins (~rosco@175.136.155.137) |
| 19:45:40 | × | rosco quits (~rosco@175.136.155.137) (Client Quit) |
| 19:59:30 | × | jpyamamoto quits (~jpyamamot@2806:2f0:92e5:a4e7:7db3:fca:c65b:c605) (Quit: Client closed) |
| 20:01:00 | × | billchenchina quits (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 20:01:26 | × | mreh quits (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds) |
| 20:03:52 | × | EvanR_ quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 20:04:09 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 20:08:32 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 20:13:55 | × | Heffalump quits (~ganesh@urchin.earth.li) (Remote host closed the connection) |
| 20:17:21 | × | ash3en quits (~ash3en@193.32.248.188) (Quit: Client closed) |
| 20:25:48 | × | destituion quits (~destituio@2001:4644:c37:0:5095:eb5b:7529:4c8f) (Ping timeout: 268 seconds) |
| 20:27:03 | → | destituion joins (~destituio@2a02:2121:6cb:fbc3:2f81:ee37:cafd:a2e0) |
| 20:29:01 | → | EvanR joins (~EvanR@user/evanr) |
| 20:31:16 | → | noumenon joins (~noumenon@2a01:799:cd8:e700:aa7e:eaff:fede:ff94) |
| 20:35:22 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 20:36:23 | <dmj`> | :t nullPtr |
| 20:36:24 | <lambdabot> | error: Variable not in scope: nullPtr |
| 20:47:43 | <geekosaur> | :t Forign.Ptr.nullPtr |
| 20:47:44 | <lambdabot> | error: |
| 20:47:44 | <lambdabot> | Not in scope: ‘Forign.Ptr.nullPtr’ |
| 20:47:44 | <lambdabot> | No module named ‘Forign.Ptr’ is imported. |
| 20:47:48 | <geekosaur> | :t Foreign.Ptr.nullPtr |
| 20:47:49 | <lambdabot> | GHC.Ptr.Ptr a |
| 20:47:54 | <geekosaur> | i kan spel |
| 20:57:03 | <int-e> | . o O ( forging pointers ) |
| 21:03:54 | → | mreh joins (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 21:04:27 | × | AlexZenon quits (~alzenon@94.233.240.124) (Ping timeout: 264 seconds) |
| 21:09:20 | → | ryan50 joins (~ryan@65.59.236.66) |
| 21:09:56 | → | AlexZenon joins (~alzenon@94.233.240.124) |
| 21:11:43 | <ryan50> | Hi, I've been looking through some libraries like polysemy and effectful to see how algebraic effects are being implemented, and I noticed that a lot of them use type level list literals to accomplish effect composition (e.g. '[Effect1, Effect2]). I know that Haskell's had type level numbers and strings for a while, but I didn't realize that lists |
| 21:11:43 | <ryan50> | were possible too. I've tried to look for documentation on the '[] syntax but seem to not be able to find anything comprehensive on it. Does anyone know a good resource I can use to learn more about type-level programming? |
| 21:16:12 | <Leary> | ryan50: https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/data_kinds.html |
| 21:18:00 | × | AlexZenon quits (~alzenon@94.233.240.124) (Ping timeout: 255 seconds) |
| 21:20:59 | × | mreh quits (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds) |
| 21:21:18 | → | AlexZenon joins (~alzenon@94.233.240.124) |
| 21:22:07 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:22:56 | × | michalz quits (~michalz@185.246.207.197) (Quit: ZNC 1.9.0 - https://znc.in) |
| 21:30:46 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:32:18 | × | ryan50 quits (~ryan@65.59.236.66) (Ping timeout: 250 seconds) |
| 21:37:23 | → | pavonia joins (~user@user/siracusa) |
| 21:39:29 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:44:14 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:46:32 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:47:20 | × | lain` quits (lain`@user/lain/x-9874679) (Remote host closed the connection) |
| 21:51:19 | → | elevenkb joins (ab07dcdb5a@2a03:6000:1812:100::13ac) |
| 21:52:08 | → | lain` joins (lain`@user/lain/x-9874679) |
| 21:53:39 | × | lain` quits (lain`@user/lain/x-9874679) (Remote host closed the connection) |
| 21:54:25 | → | mreh joins (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 21:55:58 | → | lain` joins (lain`@user/lain/x-9874679) |
| 22:09:54 | → | ryan28 joins (~ryan@65.59.236.66) |
| 22:14:19 | × | mreh quits (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 256 seconds) |
| 22:17:03 | × | ryan28 quits (~ryan@65.59.236.66) (Quit: Client closed) |
| 22:33:22 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:35:23 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:36:01 | × | xff0x quits (~xff0x@2405:6580:b080:900:a9cb:4ca2:ea5e:65b) (Ping timeout: 246 seconds) |
| 22:49:31 | × | noumenon quits (~noumenon@2a01:799:cd8:e700:aa7e:eaff:fede:ff94) (Quit: Leaving) |
| 22:52:05 | × | She quits (haveident@libera/staff/she/her) (Ping timeout: 612 seconds) |
| 22:56:17 | × | oo_miguel quits (~Thunderbi@78.10.207.46) (Ping timeout: 272 seconds) |
| 22:58:07 | → | She joins (haveident@libera/staff/she/her) |
| 23:00:01 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:11:41 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 268 seconds) |
| 23:13:58 | → | turlando joins (~turlando@user/turlando) |
| 23:18:51 | → | bilegeek joins (~bilegeek@2600:1008:b097:4201:4e37:1733:dc44:e84a) |
| 23:22:53 | × | acidjnk_new3 quits (~acidjnk@p200300d6e72cfb8314c8314f426f59bc.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 23:27:21 | → | xff0x joins (~xff0x@2405:6580:b080:900:f24b:3531:a0b0:b3c9) |
| 23:31:37 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 23:36:49 | × | zzz quits (~yin@user/zero) (Ping timeout: 272 seconds) |
| 23:42:10 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
| 23:42:34 | × | tomku quits (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 264 seconds) |
| 23:44:11 | → | tomku joins (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 23:45:40 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
| 23:51:51 | × | lewisje quits (~lewisje@74.215.19.22) (Ping timeout: 264 seconds) |
| 23:55:27 | → | zzz joins (~yin@user/zero) |
All times are in UTC on 2024-07-02.