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