| 2023-04-03 00:03:54 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) (Quit: WeeChat 3.8) |
| 2023-04-03 00:07:05 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 2023-04-03 00:08:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-03 00:12:16 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2023-04-03 00:19:23 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-04-03 00:23:38 +0200 | no-n | pony |
| 2023-04-03 00:28:11 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-04-03 00:31:24 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 2023-04-03 00:32:23 +0200 | tired | (~tired@user/tired) (Quit: /) |
| 2023-04-03 00:33:49 +0200 | tired | (~tired@user/tired) |
| 2023-04-03 00:38:03 +0200 | acidjnk | (~acidjnk@p54ad56b7.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-04-03 01:11:27 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-04-03 01:13:11 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 265 seconds) |
| 2023-04-03 01:13:11 +0200 | mauke_ | mauke |
| 2023-04-03 01:13:40 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-03 01:16:01 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2023-04-03 01:16:18 +0200 | mikess | (~sam@user/mikess) (Quit: leaving) |
| 2023-04-03 01:18:55 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2023-04-03 01:22:14 +0200 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2023-04-03 01:24:00 +0200 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 2023-04-03 01:24:00 +0200 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 2023-04-03 01:24:00 +0200 | haritz | (~hrtz@user/haritz) |
| 2023-04-03 01:26:43 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 2023-04-03 01:29:37 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-04-03 01:30:59 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-03 01:32:16 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-03 01:37:49 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-03 01:38:56 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-03 01:50:35 +0200 | chomwitt | (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds) |
| 2023-04-03 01:52:20 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 2023-04-03 01:53:15 +0200 | tabemann | (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Quit: Leaving) |
| 2023-04-03 01:56:17 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-04-03 01:57:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2023-04-03 01:57:39 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-04-03 01:59:34 +0200 | <erisco> | if I have something where x >>= \a -> (y >>= \b -> z) does not equal (x >>= \a -> y) >>= \b -> z do I have something recognisable or do I just have a mess? |
| 2023-04-03 02:01:10 +0200 | <geekosaur> | I don't think anyone promised those would be the same? (Consider, for example, IO.) |
| 2023-04-03 02:02:07 +0200 | <erisco> | I thought this was the sort of associative law (more recognisable with Kleisli arrows) of Monads |
| 2023-04-03 02:02:41 +0200 | <geekosaur> | yeh, I'm poking and I guess that is supposed to be true |
| 2023-04-03 02:02:41 +0200 | <erisco> | IO breaks this? |
| 2023-04-03 02:02:58 +0200 | <geekosaur> | I may be thinking about it wrong; it's getting late for me |
| 2023-04-03 02:03:08 +0200 | <c_wraith> | I'm a bit worried about the scope of a in the second example. |
| 2023-04-03 02:03:23 +0200 | <c_wraith> | That's not a universal rewrite |
| 2023-04-03 02:03:31 +0200 | <c_wraith> | it requires z to not depend on a |
| 2023-04-03 02:03:50 +0200 | <erisco> | c_wraith, yes, which relates to my non-compliant example |
| 2023-04-03 02:04:57 +0200 | <erisco> | My example is when values have lifetimes. So say in x >>= \a -> y that a lives only as long as y |
| 2023-04-03 02:05:20 +0200 | <erisco> | or let me use a different variable here.... x >>= \a -> m |
| 2023-04-03 02:05:48 +0200 | <erisco> | if we say m = y >>= \b -> z then a is alive for y >>= \b -> z |
| 2023-04-03 02:06:15 +0200 | <erisco> | but in the other composition, a dies earlier... so say y = pure a |
| 2023-04-03 02:06:21 +0200 | <erisco> | it breaks in the other composition |
| 2023-04-03 02:06:57 +0200 | <erisco> | you might run into something like this such as RAII |
| 2023-04-03 02:07:23 +0200 | <erisco> | or other sorts of bracketing schemes |
| 2023-04-03 02:08:10 +0200 | <c_wraith> | If you're observing the effect of a variable going out of scope, you're well beyond the sort of sort of reasoning that this formulation of the laws is intended to cover. |
| 2023-04-03 02:08:44 +0200 | <monochrom> | The associative law has the side condition "z does not use a", or more technically "a does not occur free in z". |
| 2023-04-03 02:09:31 +0200 | <ski> | erisco : it's associative law, yea |
| 2023-04-03 02:10:17 +0200 | <monochrom> | If a occurs free in z, and there is no outer a, then "(x >>= \a -> y) >>= \b -> z" does not even compile, so you will never get to observe any runtime "violation". |
| 2023-04-03 02:13:11 +0200 | <erisco> | okay lets say this example (open "txt" >>= \h -> pure h) >>= \i -> read i |
| 2023-04-03 02:13:45 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-04-03 02:13:50 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-03 02:14:38 +0200 | <erisco> | the idea is, when I implement this quasi monad, I am treating (\h -> pure h) as an operation on the resource obtained by open "txt" ... so I actually open the file, run this operation, then close the file. But we see this operation returns the handle, which is now to a closed file |
| 2023-04-03 02:15:16 +0200 | <erisco> | whereas open "txt" >>= (\h -> pure h >>= \i -> read i) does not read on a closed file |
| 2023-04-03 02:15:36 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-03 02:15:44 +0200 | Unode | (~Unode@fg-ext-220.embl.de) (Quit: Not that cable) |
| 2023-04-03 02:15:56 +0200 | Unode | (~Unode@fg-ext-220.embl.de) |
| 2023-04-03 02:16:00 +0200 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2023-04-03 02:16:07 +0200 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2023-04-03 02:16:41 +0200 | <hpc> | is there a rewrite going on that assumes pure is actually... pure? |
| 2023-04-03 02:17:56 +0200 | <hpc> | it sounds like you've defined pure to actually do things, so you wouldn't have a lawful Applicative instance |
| 2023-04-03 02:18:07 +0200 | <hpc> | and then anything can happen |
| 2023-04-03 02:18:54 +0200 | <ski> | sounds like it's `open' that prematurely invalidates the resource |
| 2023-04-03 02:20:08 +0200 | <ski> | why does `open' nested inside one `>>=' pass the resource to the right, but nested inside two `>>='s doesn't keep it alive for both continuations ? |
| 2023-04-03 02:21:17 +0200 | <hpc> | hmm, can that even be implemented? |
| 2023-04-03 02:21:52 +0200 | vulpine | (xfnw@tilde.team) (Quit: Connection reset by purr) |
| 2023-04-03 02:22:23 +0200 | <erisco> | Open fileName >>= f = IO (openFileIO fileName) >>= \h -> f h >>= \x -> IO (closeFileIO h) >>= \_ -> pure x with Open :: String -> M FileHandle and IO :: IO a -> M a for my quasi monad M |
| 2023-04-03 02:22:39 +0200 | <erisco> | just as an example idea for this |
| 2023-04-03 02:26:14 +0200 | <erisco> | actually maybe the tool to use nowadays is ChatGPT eh? lol |
| 2023-04-03 02:26:40 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2023-04-03 02:26:52 +0200 | <juri_> | chatgpt doesn't understand my haskell. i don't know whether that says bad things about it, or my haskell... |
| 2023-04-03 02:27:42 +0200 | <erisco> | What do you call a mathematical Group without inverses? ChatGPT: semigroup ... well close enough so here goes |
| 2023-04-03 02:29:10 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2023-04-03 02:29:35 +0200 | <erisco> | well ChatGPT seems fairly convinced this thing hasn't been given a name |
| 2023-04-03 02:32:29 +0200 | chanceyan | (~chanceyan@user/chanceyan) |
| 2023-04-03 02:35:41 +0200 | <erisco> | Normally you see a separate "bracket" operation defined, which then leaves you free to define >>= such that it retains associativity... but it may also be a frivolous victory if you're predominately concerned about bracketing |
| 2023-04-03 02:38:57 +0200 | <Clinton[m]> | I caught myself saying the following to a colleague:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/133c01dff29a293d38e1f785acc7c426a084…>) |
| 2023-04-03 02:38:59 +0200 | Guest63 | (~Guest@2409:4073:211f:a858:ddd8:3916:b272:6b0b) |
| 2023-04-03 02:39:19 +0200 | <Clinton[m]> | * I caught myself saying the following to a colleague:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/fcc76c6da47f4b4598335b1452d90d05574f…>) |
| 2023-04-03 02:41:15 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-04-03 02:42:34 +0200 | vulpine | (xfnw@tilde.team) |
| 2023-04-03 02:43:34 +0200 | kachmar | (~kachmar@pppoe.178-66-156-162.dynamic.avangarddsl.ru) (Remote host closed the connection) |
| 2023-04-03 02:44:01 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 2023-04-03 02:45:10 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-03 02:46:18 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-03 02:49:43 +0200 | Guest63 | (~Guest@2409:4073:211f:a858:ddd8:3916:b272:6b0b) (Ping timeout: 260 seconds) |
| 2023-04-03 02:50:19 +0200 | <yushyin> | Clinton[m]: the word you are looking for is type constructor |
| 2023-04-03 02:52:30 +0200 | dipper_ | (~dipper@203.168.13.14) |
| 2023-04-03 02:59:43 +0200 | andjjj23 | (~irc@107.170.228.47) (Remote host closed the connection) |
| 2023-04-03 03:00:40 +0200 | andjjj23 | (~irc@107.170.228.47) |
| 2023-04-03 03:06:23 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-178-123.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2023-04-03 03:11:06 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-04-03 03:16:05 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-04-03 03:17:13 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-04-03 03:22:05 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-03 03:22:05 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-03 03:22:05 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-03 03:22:52 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 2023-04-03 03:23:20 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-03 03:25:27 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-03 03:25:43 +0200 | <erisco> | I don't know if it is really that weird. I guess the capitalisation difference is the problem... but it just seems to be at the value level we've come up with "value" and "Dynamic" which is analogous to "type" and "Type" |
| 2023-04-03 03:27:06 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2023-04-03 03:28:27 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2023-04-03 03:28:29 +0200 | <erisco> | "the integer 5 has the type Integer" |
| 2023-04-03 03:28:56 +0200 | <erisco> | maybe it is just unnecessarily wordy... "5 is an Integer" |
| 2023-04-03 03:29:12 +0200 | razetime | (~Thunderbi@49.207.192.117) |
| 2023-04-03 03:29:58 +0200 | <c_wraith> | > 5 :: Double |
| 2023-04-03 03:30:00 +0200 | <lambdabot> | 5.0 |
| 2023-04-03 03:30:38 +0200 | <erisco> | pedants out tonight eh |
| 2023-04-03 03:31:51 +0200 | ski | smiles |
| 2023-04-03 03:34:32 +0200 | <monochrom> | "5 is an Integer" is alright, but beware that "is-a" is heavily overloaded, there are other times "X is-a Y" means something other than "value :: type". |
| 2023-04-03 03:35:24 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-04-03 03:37:15 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-04-03 03:58:22 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 252 seconds) |
| 2023-04-03 04:02:26 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-04-03 04:05:40 +0200 | xff0x | (~xff0x@2405:6580:b080:900:da20:b65a:3c49:4b97) (Ping timeout: 260 seconds) |
| 2023-04-03 04:07:05 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-04-03 04:07:05 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-04-03 04:07:05 +0200 | finn_elija | FinnElija |
| 2023-04-03 04:08:11 +0200 | tinwood | (~tinwood@canonical/tinwood) (Remote host closed the connection) |
| 2023-04-03 04:11:11 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2023-04-03 04:11:11 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 2023-04-03 04:11:11 +0200 | tinwood | (~tinwood@canonical/tinwood) |
| 2023-04-03 04:15:25 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-03 04:20:38 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-04-03 04:24:49 +0200 | td_ | (~td@i53870922.versanet.de) (Ping timeout: 276 seconds) |
| 2023-04-03 04:25:17 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 2023-04-03 04:25:33 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2023-04-03 04:26:23 +0200 | td_ | (~td@i53870916.versanet.de) |
| 2023-04-03 04:30:12 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-04-03 04:36:57 +0200 | talismanick | (~talismani@2601:200:c000:f7a0::fb70) |
| 2023-04-03 04:40:39 +0200 | pyook | (~pyook@user/puke) () |
| 2023-04-03 04:42:58 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 252 seconds) |
| 2023-04-03 04:52:11 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-04-03 04:59:23 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2023-04-03 05:05:04 +0200 | jargon | (~jargon@174-22-223-2.phnx.qwest.net) |
| 2023-04-03 05:05:23 +0200 | jargon | (~jargon@174-22-223-2.phnx.qwest.net) (Remote host closed the connection) |
| 2023-04-03 05:11:24 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:49d9:74ac:3120:b38e) |
| 2023-04-03 05:12:28 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2023-04-03 05:19:25 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2023-04-03 05:35:35 +0200 | asdfasdf | (~asdfasdf@2600:1700:83b0:1d60::2b) |
| 2023-04-03 05:36:43 +0200 | asdfasdf | (~asdfasdf@2600:1700:83b0:1d60::2b) (Remote host closed the connection) |
| 2023-04-03 05:36:58 +0200 | <Clinton[m]> | yushyin: what if I say this: |
| 2023-04-03 05:36:59 +0200 | <Clinton[m]> | "the thingy `"hello"` has the kind `Symbol`" |
| 2023-04-03 05:36:59 +0200 | <Clinton[m]> | I feel like "hello" isn't a type constructor. |
| 2023-04-03 05:36:59 +0200 | <Clinton[m]> | Is there a word for all the entities in the Haskell type system? |
| 2023-04-03 05:38:58 +0200 | <yushyin> | a type-level string literal? |
| 2023-04-03 05:40:24 +0200 | <Clinton[m]> | yushyin: what's the word the describes both these things.... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/97ff6afe4d9b296868105aa7d0d51422e172…>) |
| 2023-04-03 05:40:37 +0200 | <c_wraith> | Connor McBride suggested "type-level value" as a generic term for promoted types which will also apply reasonably to dependent types. |
| 2023-04-03 05:40:53 +0200 | <c_wraith> | promoted values, that is |
| 2023-04-03 05:41:02 +0200 | <c_wraith> | string literals are promoted values! |
| 2023-04-03 05:41:32 +0200 | <Clinton[m]> | s///, s/Symbol/Maybe/, s/Type -> Type/"hello"/ |
| 2023-04-03 05:42:19 +0200 | <Clinton[m]> | * yushyin: what's the word the describes both these things.... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/6edd23afff3cd47c7e3e8de5e7bac19d7aeb…>) |
| 2023-04-03 05:42:40 +0200 | <c_wraith> | Oh, well those are just types, ever since TypeInType became the default. Everything at the type level is a type. |
| 2023-04-03 05:43:01 +0200 | <c_wraith> | There are more specific terms for narrower usage |
| 2023-04-03 05:43:08 +0200 | <c_wraith> | But if you want to talk about all of them, they're types |
| 2023-04-03 05:43:26 +0200 | <Clinton[m]> | But there is a distinction, because only thinks of kind Type can be represented. |
| 2023-04-03 05:43:46 +0200 | <c_wraith> | That's a special case, it gets a more precise term |
| 2023-04-03 05:44:30 +0200 | <Clinton[m]> | So you have to say "types that are not of kind type can not be represented"? That's very confusing. |
| 2023-04-03 05:45:42 +0200 | <c_wraith> | That's not even accurate. It would be more accurate to say "Type that does not classify a value" or something. |
| 2023-04-03 05:47:12 +0200 | <ski> | non-concrete types |
| 2023-04-03 05:48:01 +0200 | <Clinton[m]> | c_wraith: "types that are not of kind type do not classify values" is better? |
| 2023-04-03 05:48:36 +0200 | <c_wraith> | That's an accurate statement, at least. |
| 2023-04-03 05:55:42 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 2023-04-03 05:57:48 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) |
| 2023-04-03 05:58:53 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) (Remote host closed the connection) |
| 2023-04-03 05:59:28 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) |
| 2023-04-03 06:09:21 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) (Ping timeout: 255 seconds) |
| 2023-04-03 06:20:11 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-04-03 06:26:30 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-03 06:28:34 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-03 06:29:47 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-04-03 06:30:01 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2023-04-03 06:31:35 +0200 | <JensPetersen[m]> | `mwhen` is now in extra btw! yay :-) dminuoso Hecate |
| 2023-04-03 06:40:32 +0200 | Scraeling | (Scraeling@user/scraeling) |
| 2023-04-03 06:41:19 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 2023-04-03 06:52:55 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-04-03 07:02:38 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-04-03 07:14:31 +0200 | trev | (~trev@user/trev) |
| 2023-04-03 07:15:43 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-03 07:16:24 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) (Ping timeout: 250 seconds) |
| 2023-04-03 07:16:31 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Ping timeout: 240 seconds) |
| 2023-04-03 07:16:50 +0200 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) (Ping timeout: 250 seconds) |
| 2023-04-03 07:17:16 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) (Ping timeout: 250 seconds) |
| 2023-04-03 07:17:41 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) (Ping timeout: 250 seconds) |
| 2023-04-03 07:17:42 +0200 | sm2n | (ae95cb1267@user/sm2n) (Ping timeout: 250 seconds) |
| 2023-04-03 07:17:42 +0200 | JoelMcCracken | (5ea8252fbb@2604:bf00:561:2000::10e3) (Ping timeout: 250 seconds) |
| 2023-04-03 07:17:42 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) (Ping timeout: 250 seconds) |
| 2023-04-03 07:18:06 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) |
| 2023-04-03 07:18:09 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) |
| 2023-04-03 07:18:09 +0200 | sm2n | (ae95cb1267@user/sm2n) |
| 2023-04-03 07:18:13 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) |
| 2023-04-03 07:18:15 +0200 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) |
| 2023-04-03 07:18:16 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) |
| 2023-04-03 07:18:18 +0200 | JoelMcCracken | (5ea8252fbb@2604:bf00:561:2000::10e3) |
| 2023-04-03 07:19:19 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2023-04-03 07:19:48 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-04-03 07:20:27 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2023-04-03 07:26:38 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 2023-04-03 07:30:40 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 248 seconds) |
| 2023-04-03 07:31:23 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2023-04-03 07:31:26 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-04-03 07:31:40 +0200 | trev | (~trev@user/trev) |
| 2023-04-03 07:32:07 +0200 | trev | (~trev@user/trev) (Client Quit) |
| 2023-04-03 07:32:28 +0200 | mechap | (~mechap@user/mechap) |
| 2023-04-03 07:32:34 +0200 | trev | (~trev@user/trev) |
| 2023-04-03 07:33:07 +0200 | trev | (~trev@user/trev) (Client Quit) |
| 2023-04-03 07:33:54 +0200 | trev | (~trev@user/trev) |
| 2023-04-03 07:40:31 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2023-04-03 07:50:50 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-04-03 07:54:38 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-04-03 08:02:25 +0200 | kenran | (~user@user/kenran) |
| 2023-04-03 08:02:59 +0200 | chomwitt | (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) |
| 2023-04-03 08:05:54 +0200 | razetime | (~Thunderbi@49.207.192.117) (Ping timeout: 255 seconds) |
| 2023-04-03 08:16:38 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:4e5d:6e20:58be:8722) |
| 2023-04-03 08:20:13 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 256 seconds) |
| 2023-04-03 08:27:04 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 2023-04-03 08:28:42 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2023-04-03 08:32:28 +0200 | mmhat | (~mmh@p200300f1c70240ecee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-04-03 08:32:40 +0200 | mmhat | (~mmh@p200300f1c70240ecee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-04-03 08:41:31 +0200 | dumptruckman | (~dumptruck@143-42-239-71.ip.linodeusercontent.com) (Ping timeout: 240 seconds) |
| 2023-04-03 08:42:05 +0200 | coot | (~coot@213.134.170.228) |
| 2023-04-03 08:43:04 +0200 | dumptruckman | (~dumptruck@143-42-239-71.ip.linodeusercontent.com) |
| 2023-04-03 08:43:43 +0200 | razetime | (~Thunderbi@49.207.192.117) |
| 2023-04-03 08:49:35 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2023-04-03 08:50:00 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2023-04-03 08:54:11 +0200 | michalz | (~michalz@185.246.207.203) |
| 2023-04-03 08:54:58 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-04-03 08:56:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-03 08:58:50 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-03 09:04:36 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-04-03 09:06:14 +0200 | mauke | (~mauke@user/mauke) (Remote host closed the connection) |
| 2023-04-03 09:08:12 +0200 | mauke | (~mauke@user/mauke) |
| 2023-04-03 09:08:12 +0200 | mauke | (~mauke@user/mauke) (Remote host closed the connection) |
| 2023-04-03 09:09:18 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 252 seconds) |
| 2023-04-03 09:11:57 +0200 | NiceBird | (~NiceBird@185.133.111.196) |
| 2023-04-03 09:12:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c901:e00e:1529:ca01) |
| 2023-04-03 09:21:04 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-04-03 09:25:02 +0200 | acidjnk | (~acidjnk@p200300d6e715c470504c33b8121c1d7f.dip0.t-ipconnect.de) |
| 2023-04-03 09:26:16 +0200 | mauke | (~mauke@user/mauke) |
| 2023-04-03 09:27:01 +0200 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2023-04-03 09:27:52 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-04-03 09:29:49 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-04-03 09:29:49 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-04-03 09:29:49 +0200 | finn_elija | FinnElija |
| 2023-04-03 09:31:50 +0200 | sefidel | (~sefidel@user/sefidel) |
| 2023-04-03 09:33:38 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-04-03 09:33:52 +0200 | kenran | (~user@user/kenran) (Ping timeout: 268 seconds) |
| 2023-04-03 09:34:26 +0200 | razetime | (~Thunderbi@49.207.192.117) (Quit: See You Space Cowboy) |
| 2023-04-03 09:38:09 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 255 seconds) |
| 2023-04-03 09:38:12 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2023-04-03 09:38:50 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-04-03 09:40:06 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-03 09:41:05 +0200 | titibandit | (~titibandi@user/titibandit) (Quit: leaving) |
| 2023-04-03 09:41:20 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-04-03 09:48:36 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
| 2023-04-03 09:49:05 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-04-03 09:57:36 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2023-04-03 09:59:07 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-04-03 09:59:11 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-04-03 09:59:21 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 2023-04-03 09:59:39 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 2023-04-03 10:00:08 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-04-03 10:03:12 +0200 | kenran | (~user@user/kenran) |
| 2023-04-03 10:06:16 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-04-03 10:10:46 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) (Remote host closed the connection) |
| 2023-04-03 10:12:31 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-04-03 10:14:11 +0200 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2023-04-03 10:15:44 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-03 10:17:50 +0200 | <Hecate> | JensPetersen[m]: yay, congrats! :) |
| 2023-04-03 10:19:11 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Remote host closed the connection) |
| 2023-04-03 10:20:37 +0200 | sefidel | (~sefidel@user/sefidel) |
| 2023-04-03 10:20:45 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-03 10:21:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-03 10:24:37 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) (Remote host closed the connection) |
| 2023-04-03 10:24:44 +0200 | <JensPetersen[m]> | :-) |
| 2023-04-03 10:25:00 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::fba) |
| 2023-04-03 10:25:01 +0200 | <JensPetersen[m]> | Thanks you actually, Hecate! |
| 2023-04-03 10:29:40 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-04-03 10:37:11 +0200 | phma | (~phma@2001:5b0:210d:32c8:ebb2:77d8:cd18:90d7) (Read error: Connection reset by peer) |
| 2023-04-03 10:37:35 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-04-03 10:37:46 +0200 | <Hecate> | JensPetersen[m]: pleasure is mine :) |
| 2023-04-03 10:38:00 +0200 | phma | (~phma@host-67-44-208-48.hnremote.net) |
| 2023-04-03 10:47:39 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-04-03 10:48:11 +0200 | acidjnk | (~acidjnk@p200300d6e715c470504c33b8121c1d7f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-04-03 10:49:22 +0200 | wrengr | (~wrengr@201.59.83.34.bc.googleusercontent.com) (Remote host closed the connection) |
| 2023-04-03 10:50:06 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-03 10:59:28 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-04-03 10:59:55 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 2023-04-03 11:08:30 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-04-03 11:08:39 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 250 seconds) |
| 2023-04-03 11:11:16 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) |
| 2023-04-03 11:15:41 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) (Ping timeout: 246 seconds) |
| 2023-04-03 11:16:53 +0200 | Square | (~Square4@user/square) |
| 2023-04-03 11:16:57 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-03 11:17:13 +0200 | Scraeling | (Scraeling@user/scraeling) (Remote host closed the connection) |
| 2023-04-03 11:21:31 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-04-03 11:27:51 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-04-03 11:32:43 +0200 | theodorc | (theodorc@cassarossa.samfundet.no) (Ping timeout: 252 seconds) |
| 2023-04-03 11:35:24 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-178-123.46.114.pool.telefonica.de) |
| 2023-04-03 11:35:43 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-03 11:36:55 +0200 | chomwitt | (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
| 2023-04-03 11:37:25 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-04-03 11:40:33 +0200 | chomwitt | (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) |
| 2023-04-03 11:46:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-03 11:46:53 +0200 | theodorc | (theodorc@cassarossa.samfundet.no) |
| 2023-04-03 11:47:01 +0200 | chanceyan | (~chanceyan@user/chanceyan) (Quit: Client closed) |
| 2023-04-03 11:50:22 +0200 | turlando | (~turlando@user/turlando) (Read error: Connection reset by peer) |
| 2023-04-03 11:51:39 +0200 | theodorc | (theodorc@cassarossa.samfundet.no) (Ping timeout: 248 seconds) |
| 2023-04-03 11:52:22 +0200 | turlando | (~turlando@user/turlando) |
| 2023-04-03 11:57:33 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 268 seconds) |
| 2023-04-03 11:57:47 +0200 | tusko | (~yeurt@user/tusko) (Remote host closed the connection) |
| 2023-04-03 11:58:33 +0200 | tusko | (~yeurt@user/tusko) |
| 2023-04-03 11:59:10 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 2023-04-03 12:03:35 +0200 | merijn | facepalms |
| 2023-04-03 12:04:07 +0200 | <merijn> | Made a PR to a library to relax the base bound for GHC 9.6, turns out it was so old I accidentally just bumped it to 9.4 and need to make a new PR >.> |
| 2023-04-03 12:04:28 +0200 | theodorc | (theodorc@cassarossa.samfundet.no) |
| 2023-04-03 12:05:12 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 265 seconds) |
| 2023-04-03 12:06:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-04-03 12:06:58 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-04-03 12:07:16 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-04-03 12:08:13 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-04-03 12:10:52 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 276 seconds) |
| 2023-04-03 12:16:11 +0200 | acidjnk | (~acidjnk@p200300d6e715c470504c33b8121c1d7f.dip0.t-ipconnect.de) |
| 2023-04-03 12:16:46 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:cd08:b330:8871:c381) |
| 2023-04-03 12:20:29 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 256 seconds) |
| 2023-04-03 12:20:42 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-04-03 12:20:42 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-03 12:22:39 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-03 12:26:57 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 265 seconds) |
| 2023-04-03 12:28:28 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 2023-04-03 12:29:48 +0200 | Guest45 | (~Guest45@5-157-196-109.itvmedia.pl) |
| 2023-04-03 12:36:33 +0200 | <Guest45> | hey, i was looking through haskell 2010 report and saw the definition fexp = [fexp] aexp? i'm not sure what's the rationale behind making fexp optional, can anyone help me decipher this fragment? |
| 2023-04-03 12:38:38 +0200 | <int-e> | it encodes a non-empty sequence of aexp-s |
| 2023-04-03 12:39:44 +0200 | <int-e> | you could expand it to fexp = aexp | fexp aexp |
| 2023-04-03 12:40:21 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-04-03 12:45:17 +0200 | <c_wraith> | Put another way - it's specifically the recursion that's optional. This is helpful in that it allows finite programs. :) |
| 2023-04-03 12:46:12 +0200 | rs | (~rs@p200300cf072e68ea6b29732cbdb21e80.dip0.t-ipconnect.de) |
| 2023-04-03 12:46:25 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2023-04-03 12:46:35 +0200 | rs | Guest3970 |
| 2023-04-03 12:47:37 +0200 | <Guest45> | does that mean that for example syntactically every data constructor by itself or every value is a fexp - function application? |
| 2023-04-03 12:48:25 +0200 | <int-e> | according to this grammar, yes |
| 2023-04-03 12:49:00 +0200 | <Guest45> | i see, that part wasn't intuitive to me, thank you |
| 2023-04-03 12:49:09 +0200 | <int-e> | (but you'll confuse people if you use that as terminology in writing) |
| 2023-04-03 12:57:05 +0200 | <c_wraith> | by the way, that grammar is from https://www.haskell.org/onlinereport/haskell2010/haskellch3.html . So it's pretty official, but yeah. It's not commonly used. |
| 2023-04-03 12:58:28 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-04-03 12:58:55 +0200 | <int-e> | the goal of the grammar is to describe (an approximation of) the language concisely, not to accurately reflect standard terminology; compromises will be made for brevity. |
| 2023-04-03 12:59:09 +0200 | Guest45 | (~Guest45@5-157-196-109.itvmedia.pl) (Quit: Client closed) |
| 2023-04-03 12:59:15 +0200 | Guest3970 | (~rs@p200300cf072e68ea6b29732cbdb21e80.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2023-04-03 13:01:36 +0200 | Guest45 | (~Guest45@5-157-196-109.itvmedia.pl) |
| 2023-04-03 13:03:58 +0200 | Guest45 | (~Guest45@5-157-196-109.itvmedia.pl) (Client Quit) |
| 2023-04-03 13:04:13 +0200 | kenran | (~user@user/kenran) |
| 2023-04-03 13:05:37 +0200 | mesaoptimizer | mesaoptimizer0 |
| 2023-04-03 13:12:05 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-03 13:12:06 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-04-03 13:13:11 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-03 13:16:35 +0200 | polarheron | (~polarhero@5-157-196-109.itvmedia.pl) |
| 2023-04-03 13:18:04 +0200 | polarheron | (~polarhero@5-157-196-109.itvmedia.pl) (Client Quit) |
| 2023-04-03 13:20:49 +0200 | Sauvin | (~sauvin@user/Sauvin) (Ping timeout: 250 seconds) |
| 2023-04-03 13:20:52 +0200 | Bocaneri | (~sauvin@user/Sauvin) |
| 2023-04-03 13:21:15 +0200 | Bocaneri | Guest407 |
| 2023-04-03 13:23:20 +0200 | rumgzy | (~sauvin@user/Sauvin) |
| 2023-04-03 13:25:52 +0200 | theodorc | (theodorc@cassarossa.samfundet.no) (Ping timeout: 248 seconds) |
| 2023-04-03 13:26:20 +0200 | Guest407 | (~sauvin@user/Sauvin) (Ping timeout: 252 seconds) |
| 2023-04-03 13:28:45 +0200 | coot | (~coot@213.134.170.228) (Quit: coot) |
| 2023-04-03 13:32:20 +0200 | comerijn | (~merijn@185.143.104.11) |
| 2023-04-03 13:34:25 +0200 | merijn | (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-04-03 13:38:42 +0200 | theodorc | (theodorc@cassarossa.samfundet.no) |
| 2023-04-03 13:43:03 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Quit: use-value) |
| 2023-04-03 13:43:23 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-04-03 13:52:03 +0200 | tubogram44 | (~tubogram@user/tubogram) (Ping timeout: 240 seconds) |
| 2023-04-03 13:59:55 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-03 14:04:07 +0200 | Guest62100 | (~Guest62@5-157-196-109.itvmedia.pl) |
| 2023-04-03 14:04:14 +0200 | Guest62100 | (~Guest62@5-157-196-109.itvmedia.pl) (Client Quit) |
| 2023-04-03 14:05:24 +0200 | tubogram44 | (~tubogram@user/tubogram) |
| 2023-04-03 14:06:27 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-04-03 14:06:48 +0200 | xiliuya | (~xiliuya@user/xiliuya) |
| 2023-04-03 14:13:50 +0200 | vglfr | (~vglfr@46.96.188.242) |
| 2023-04-03 14:14:29 +0200 | vglfr | (~vglfr@46.96.188.242) (Remote host closed the connection) |
| 2023-04-03 14:15:42 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Quit: use-value) |
| 2023-04-03 14:16:06 +0200 | vglfr | (~vglfr@46.96.188.242) |
| 2023-04-03 14:16:28 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-04-03 14:19:47 +0200 | chomwitt | (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
| 2023-04-03 14:34:01 +0200 | kenran` | (~user@user/kenran) |
| 2023-04-03 14:35:35 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-03 14:35:36 +0200 | kenran | (~user@user/kenran) (Ping timeout: 246 seconds) |
| 2023-04-03 14:37:15 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-03 14:37:27 +0200 | turlando | (~turlando@user/turlando) (Read error: Connection reset by peer) |
| 2023-04-03 14:42:02 +0200 | turlando | (~turlando@user/turlando) |
| 2023-04-03 14:42:58 +0200 | xiliuya | (~xiliuya@user/xiliuya) (Ping timeout: 276 seconds) |
| 2023-04-03 14:43:38 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-03 14:43:58 +0200 | xiliuya | (~xiliuya@user/xiliuya) |
| 2023-04-03 14:49:10 +0200 | zer0bitz_ | (~zer0bitz@2001:2003:f443:d600:9c68:6672:1252:446) () |
| 2023-04-03 14:52:09 +0200 | dsrt^ | (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
| 2023-04-03 14:55:11 +0200 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:9c68:6672:1252:446) |
| 2023-04-03 14:57:04 +0200 | drdo | (~drdo@bl7-76-103.dsl.telepac.pt) (Ping timeout: 248 seconds) |
| 2023-04-03 15:07:55 +0200 | drdo | (~drdo@bl7-76-103.dsl.telepac.pt) |
| 2023-04-03 15:09:14 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-03 15:10:11 +0200 | acidjnk | (~acidjnk@p200300d6e715c470504c33b8121c1d7f.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-04-03 15:10:50 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Quit: xff0x) |
| 2023-04-03 15:13:08 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4d3f:5103:d2fc:f92f) |
| 2023-04-03 15:18:27 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-03 15:18:40 +0200 | ystael | (~ystael@user/ystael) |
| 2023-04-03 15:18:52 +0200 | chomwitt | (~chomwitt@ppp-94-69-24-223.home.otenet.gr) |
| 2023-04-03 15:20:07 +0200 | gtdg | (~gtdg@user/gtdg) |
| 2023-04-03 15:23:23 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2023-04-03 15:25:04 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4d3f:5103:d2fc:f92f) (Quit: xff0x) |
| 2023-04-03 15:28:37 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-04-03 15:34:37 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2023-04-03 15:35:16 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
| 2023-04-03 15:37:24 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-03 15:37:24 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-03 15:37:24 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-03 15:37:55 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2023-04-03 15:38:39 +0200 | xiliuya | (~xiliuya@user/xiliuya) (Ping timeout: 260 seconds) |
| 2023-04-03 15:40:34 +0200 | xiliuya | (~xiliuya@user/xiliuya) |
| 2023-04-03 15:44:38 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2023-04-03 15:44:39 +0200 | kenran` | (~user@user/kenran) (Remote host closed the connection) |
| 2023-04-03 15:46:07 +0200 | ski | (~ski@remote12.chalmers.se) (Remote host closed the connection) |
| 2023-04-03 15:51:13 +0200 | chomwitt | (~chomwitt@ppp-94-69-24-223.home.otenet.gr) (Ping timeout: 276 seconds) |
| 2023-04-03 15:51:38 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-04-03 15:52:23 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-04-03 15:56:35 +0200 | acidjnk | (~acidjnk@p200300d6e715c470b96f59b95ab3d487.dip0.t-ipconnect.de) |
| 2023-04-03 15:56:52 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-04-03 15:57:14 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-04-03 15:59:41 +0200 | ski | (~ski@remote11.chalmers.se) |
| 2023-04-03 16:00:12 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-04-03 16:04:45 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-03 16:05:35 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-04-03 16:06:04 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-03 16:10:40 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-04-03 16:12:58 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-04-03 16:19:19 +0200 | dinodik | (~dinodik@dyn3232-62.wlan.ic.ac.uk) |
| 2023-04-03 16:19:41 +0200 | <dinodik> | @undo [x | Just x <- xs] |
| 2023-04-03 16:19:41 +0200 | <lambdabot> | concatMap (\ a -> case a of { Just x -> [x]; _ -> []}) xs |
| 2023-04-03 16:20:41 +0200 | ubert | (~Thunderbi@p200300ecdf14117823820b10742c9ca9.dip0.t-ipconnect.de) |
| 2023-04-03 16:20:49 +0200 | <ski> | @type mapMaybe id |
| 2023-04-03 16:20:50 +0200 | <lambdabot> | [Maybe b] -> [b] |
| 2023-04-03 16:21:00 +0200 | <ski> | @type catMaybes |
| 2023-04-03 16:21:01 +0200 | <lambdabot> | [Maybe a] -> [a] |
| 2023-04-03 16:21:24 +0200 | <dinodik> | @undo [x | x <- [1..], even x] |
| 2023-04-03 16:21:24 +0200 | <lambdabot> | concatMap (\ x -> if even x then [x] else []) [1 ..] |
| 2023-04-03 16:21:55 +0200 | <ski> | @type filter even [1 ..] |
| 2023-04-03 16:21:56 +0200 | <lambdabot> | Integral a => [a] |
| 2023-04-03 16:24:29 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2023-04-03 16:26:01 +0200 | <dinodik> | @undo [(x,y) | x <- [1..], y <- [1..x-1], gcd x y == 1] |
| 2023-04-03 16:26:01 +0200 | <lambdabot> | concatMap (\ x -> concatMap (\ y -> if gcd x y == 1 then [(x, y)] else []) [1 .. x - 1]) [1 ..] |
| 2023-04-03 16:27:12 +0200 | dinodik | (~dinodik@dyn3232-62.wlan.ic.ac.uk) (Remote host closed the connection) |
| 2023-04-03 16:27:57 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-04-03 16:28:55 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 276 seconds) |
| 2023-04-03 16:29:27 +0200 | dipper_ | (~dipper@203.168.13.14) (Ping timeout: 255 seconds) |
| 2023-04-03 16:30:04 +0200 | dinodik | (~dinodik@dyn3232-62.wlan.ic.ac.uk) |
| 2023-04-03 16:30:13 +0200 | mechap | (~mechap@user/mechap) |
| 2023-04-03 16:31:54 +0200 | dinodik | (~dinodik@dyn3232-62.wlan.ic.ac.uk) (Remote host closed the connection) |
| 2023-04-03 16:32:30 +0200 | xiliuya | (~xiliuya@user/xiliuya) (Quit: good night~) |
| 2023-04-03 16:43:36 +0200 | econo | (uid147250@user/econo) |
| 2023-04-03 16:46:06 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-04-03 16:50:12 +0200 | chomwitt | (~chomwitt@ppp-94-69-24-223.home.otenet.gr) |
| 2023-04-03 16:50:41 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-178-123.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2023-04-03 16:51:02 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-04-03 16:51:55 +0200 | ubert | (~Thunderbi@p200300ecdf14117823820b10742c9ca9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-04-03 16:51:57 +0200 | ub | (~Thunderbi@p200300ecdf14117e9df1368470f0c9b6.dip0.t-ipconnect.de) |
| 2023-04-03 16:52:52 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-178-123.46.114.pool.telefonica.de) |
| 2023-04-03 16:52:59 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-04-03 16:53:02 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-04-03 16:53:42 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 2023-04-03 16:54:14 +0200 | ub | ubert |
| 2023-04-03 16:56:21 +0200 | remexre | (~remexre@user/remexre) (Read error: Connection reset by peer) |
| 2023-04-03 17:01:28 +0200 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-04-03 17:01:44 +0200 | koz | (~koz@121.99.240.58) |
| 2023-04-03 17:01:56 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c901:e00e:1529:ca01) (Quit: WeeChat 2.8) |
| 2023-04-03 17:04:43 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 248 seconds) |
| 2023-04-03 17:09:37 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 250 seconds) |
| 2023-04-03 17:11:48 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-03 17:12:52 +0200 | mechap | (~mechap@user/mechap) |
| 2023-04-03 17:14:13 +0200 | gtdg | (~gtdg@user/gtdg) (Quit: Client closed) |
| 2023-04-03 17:21:52 +0200 | remexre | (~remexre@user/remexre) |
| 2023-04-03 17:22:11 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 250 seconds) |
| 2023-04-03 17:22:32 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds) |
| 2023-04-03 17:23:05 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-04-03 17:31:12 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) |
| 2023-04-03 17:32:23 +0200 | hueso | (~root@user/hueso) |
| 2023-04-03 17:35:34 +0200 | mechap | (~mechap@user/mechap) |
| 2023-04-03 17:36:08 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-03 17:36:35 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-04-03 17:37:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-03 17:37:18 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-03 17:41:51 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 260 seconds) |
| 2023-04-03 17:41:52 +0200 | ub | (~Thunderbi@p548c88d5.dip0.t-ipconnect.de) |
| 2023-04-03 17:42:08 +0200 | ubert | (~Thunderbi@p200300ecdf14117e9df1368470f0c9b6.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-04-03 17:42:09 +0200 | ub | ubert |
| 2023-04-03 17:45:13 +0200 | mechap | (~mechap@user/mechap) |
| 2023-04-03 17:46:00 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-04-03 17:48:16 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-04-03 17:56:17 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-04-03 17:59:30 +0200 | rumgzy | Sauvin |
| 2023-04-03 18:00:00 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-04-03 18:01:15 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-178-123.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2023-04-03 18:05:35 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) |
| 2023-04-03 18:12:47 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
| 2023-04-03 18:14:26 +0200 | Mariogaout | (~Mariogaou@37.19.210.10) |
| 2023-04-03 18:14:43 +0200 | Mariogaout | (~Mariogaou@37.19.210.10) (Client Quit) |
| 2023-04-03 18:18:48 +0200 | comerijn | (~merijn@185.143.104.11) (Ping timeout: 255 seconds) |
| 2023-04-03 18:19:17 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-04-03 18:20:48 +0200 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 2023-04-03 18:21:49 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-04-03 18:24:03 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-04-03 18:25:04 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-03 18:27:35 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2023-04-03 18:29:55 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-04-03 18:32:16 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-04-03 18:48:02 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-04-03 18:48:17 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-04-03 18:49:07 +0200 | dsrt^ | (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-04-03 18:52:31 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-04-03 19:05:31 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-04-03 19:06:08 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-03 19:06:13 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 2023-04-03 19:06:40 +0200 | Square | (~Square4@user/square) (Ping timeout: 265 seconds) |
| 2023-04-03 19:11:55 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2023-04-03 19:19:57 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-03 19:20:35 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
| 2023-04-03 19:23:08 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-04-03 19:24:12 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-04-03 19:24:48 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2023-04-03 19:24:58 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-04-03 19:24:58 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-03 19:28:37 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2023-04-03 19:29:54 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2023-04-03 19:31:14 +0200 | vlad_ | (~vlad@2a00:23c6:9822:4c01:8d7:7cf6:b928:388c) |
| 2023-04-03 19:31:25 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-178-123.46.114.pool.telefonica.de) |
| 2023-04-03 19:33:40 +0200 | akegalj | (~akegalj@141-136-202-216.dsl.iskon.hr) |
| 2023-04-03 19:34:59 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:cd08:b330:8871:c381) (Ping timeout: 264 seconds) |
| 2023-04-03 19:42:56 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 248 seconds) |
| 2023-04-03 19:42:59 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-03 19:43:43 +0200 | irrgit_ | (~irrgit@176.113.74.130) (Read error: Connection reset by peer) |
| 2023-04-03 19:44:32 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-03 19:45:41 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-03 19:45:49 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2023-04-03 19:46:18 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-03 19:47:27 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-03 19:47:47 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2023-04-03 19:49:30 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds) |
| 2023-04-03 19:53:42 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-03 20:13:09 +0200 | corentin | (~corentin@lfbn-rou-1-774-251.w90-108.abo.wanadoo.fr) |
| 2023-04-03 20:20:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-03 20:31:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-03 20:32:05 +0200 | _xor | (~xor@50.216.161.66.ded-dsl.fuse.net) |
| 2023-04-03 20:32:52 +0200 | akegalj | (~akegalj@141-136-202-216.dsl.iskon.hr) (Remote host closed the connection) |
| 2023-04-03 20:39:15 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) (Remote host closed the connection) |
| 2023-04-03 20:41:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-03 20:44:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-03 20:44:38 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-03 20:44:48 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:49d9:74ac:3120:b38e) (Quit: caryhartline) |
| 2023-04-03 20:49:58 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-03 20:53:36 +0200 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) |
| 2023-04-03 20:56:29 +0200 | mncheck | (~mncheck@193.224.205.254) (Remote host closed the connection) |
| 2023-04-03 20:56:47 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2023-04-03 20:59:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-04-03 21:00:36 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) |
| 2023-04-03 21:02:06 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:5076:d252:60bc:245f) |
| 2023-04-03 21:03:11 +0200 | <heraldo> | I think I was in here barely coherent yesterday asking about this Steven Diehl WIWIK document. Lenses don't appear there, I trying to find why that might be. |
| 2023-04-03 21:04:24 +0200 | <geekosaur> | you'd have to ask him. but not everyone thinks lenses are the greatest thing since sliced bread |
| 2023-04-03 21:05:24 +0200 | <geekosaur> | (note: I do not claim to be one of them. I just haven't had much use for them so far, but I've been through a few tutorials) |
| 2023-04-03 21:05:59 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-03 21:07:05 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-03 21:09:07 +0200 | <geekosaur> | it's also complicated by the fact that there are two major lens implementations (lens and optics), whose basics work the same way but differ in extensibility and error messages among other things |
| 2023-04-03 21:09:21 +0200 | <sm> | I think they just aren't something you need to know when learning haskell. They can be worthwhile in large codebases. |
| 2023-04-03 21:09:52 +0200 | <geekosaur> | I wouldn't call a decent chunk of what's in WIWIK "learning haskell" material either |
| 2023-04-03 21:10:37 +0200 | <geekosaur> | programmer's intro to category theory, advanced TH, etc. |
| 2023-04-03 21:11:16 +0200 | <sm> | so I guess it's his personal wishes |
| 2023-04-03 21:13:20 +0200 | <yushyin> | it's in the title |
| 2023-04-03 21:15:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-03 21:15:29 +0200 | <monochrom> | It's always personal. :) |
| 2023-04-03 21:16:24 +0200 | <monochrom> | Next April 1st perhaps someone would post "what I wish I didn't know" |
| 2023-04-03 21:16:45 +0200 | <geekosaur> | didn't snoyberg already do that one, seriously? |
| 2023-04-03 21:16:51 +0200 | <monochrom> | haha |
| 2023-04-03 21:17:02 +0200 | <sclv> | WIWIK is pretty old too fwiw |
| 2023-04-03 21:17:40 +0200 | <monochrom> | Did he go like "I wish fewer people knew cabal so everyone used stack instead"? >:D |
| 2023-04-03 21:18:03 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-04-03 21:19:02 +0200 | <geekosaur> | no, his complaints were about things like exceptions |
| 2023-04-03 21:20:57 +0200 | <Rembane> | Aren't some of the exceptions notoriously tricky to handle? |
| 2023-04-03 21:21:03 +0200 | Rembane | has very vague memories |
| 2023-04-03 21:21:05 +0200 | <geekosaur> | yep |
| 2023-04-03 21:21:10 +0200 | <monochrom> | I wish I didn't know comp.lang.functional or #haskell. They were time sinks that caused me much procrastination during my PhD. >:) (Excuses excuses.) |
| 2023-04-03 21:21:24 +0200 | <geekosaur> | go look at MonadBaseControl sometime. it's scary |
| 2023-04-03 21:21:51 +0200 | <geekosaur> | the things you have to do to reliably release resources in the presence of exceptions |
| 2023-04-03 21:22:50 +0200 | gdd | (~gdd@2001:470:1f13:187:feb5:520e:fb24:2b66) (Ping timeout: 260 seconds) |
| 2023-04-03 21:23:00 +0200 | <monochrom> | Ironically actually they also helped with my PhD, namely everyone was like "reasoning under laziness is hard" inspiring me to "challenge accepted!" and that nailed my thesis topic. (You know, sometimes deciding on a topic at all is the most time-consuming part.) |
| 2023-04-03 21:23:25 +0200 | <geekosaur> | and laziness makes it all worse because if you're not careful a lazy exception can leak out of your handler and get tripped later |
| 2023-04-03 21:23:26 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-04-03 21:23:30 +0200 | gdd | (~gdd@2001:470:1f13:187:1478:b52c:44e2:14d6) |
| 2023-04-03 21:23:55 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 248 seconds) |
| 2023-04-03 21:25:11 +0200 | <Rembane> | Can this be handled in a reasonable way in the runtime? So nobody needs to do MonadBaseControl anymore. |
| 2023-04-03 21:25:33 +0200 | <monochrom> | Does the new native delimited continuattion help? |
| 2023-04-03 21:26:19 +0200 | <geekosaur> | no idea, no idea. I am no expert on this topic |
| 2023-04-03 21:26:51 +0200 | <monochrom> | Hrm, probably yes in the sense that you simply don't use monad transformers any more (a major factor of the problem). |
| 2023-04-03 21:27:13 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2023-04-03 21:29:35 +0200 | <__monty__> | I think merijn regularly complains about GHC's exception handling. Too bad they're not here. |
| 2023-04-03 21:29:53 +0200 | <__monty__> | Maybe it was signal handling. |
| 2023-04-03 21:29:56 +0200 | <Rembane> | We should've memorized the summon merijn-spell. |
| 2023-04-03 21:30:03 +0200 | <geekosaur> | merijn is usually signal handlin |
| 2023-04-03 21:30:05 +0200 | <geekosaur> | g |
| 2023-04-03 21:30:29 +0200 | <geekosaur> | which is really the same thing but kicked up to the OS level |
| 2023-04-03 21:31:18 +0200 | <monochrom> | IMO GHC can't help it because Linux fundamentally trolls you with "the signal hits any thread the kernel feels like". |
| 2023-04-03 21:31:31 +0200 | <geekosaur> | (signals are an abysmal way to implement OS level exceptions.) |
| 2023-04-03 21:32:00 +0200 | <geekosaur> | actually there are pthread APIs for that, and afaict that claim isn't actually true (any more?) |
| 2023-04-03 21:32:13 +0200 | <monochrom> | Then again I don't know which thread is the right thread to hit either. Yeah basically a 1970s design that doesn't work today. |
| 2023-04-03 21:32:32 +0200 | <geekosaur> | wasn't a 70s design because there weren't threads in the 1970s |
| 2023-04-03 21:32:42 +0200 | <monochrom> | Yeah I mean that. |
| 2023-04-03 21:32:51 +0200 | <monochrom> | "It was a much simpler time." :D |
| 2023-04-03 21:32:57 +0200 | <geekosaur> | I think they hit the main thread now, like everything else that doesn't grok threads |
| 2023-04-03 21:33:24 +0200 | <monochrom> | That probably is a good choice. |
| 2023-04-03 21:33:35 +0200 | <geekosaur> | with some specific exceptions and pthreads support for them (SEGV is sent to the thread that triggered it, for example) |
| 2023-04-03 21:34:40 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2023-04-03 21:34:53 +0200 | <monochrom> | Yeah people already write the main thread to be the select/epoll event loop and signal-ready, so SIGINT and SIGUSR1 etc going there is a very safe bet. |
| 2023-04-03 21:35:22 +0200 | <geekosaur> | and as best as I could tell when I researched this, "hits any thread" was (a) old Solaris pre-POSIX threads and (b) LinuxThreads |
| 2023-04-03 21:35:39 +0200 | <geekosaur> | but LinuxThreads was always a rickety hack |
| 2023-04-03 21:37:15 +0200 | chomwitt | (~chomwitt@ppp-94-69-24-223.home.otenet.gr) (Ping timeout: 255 seconds) |
| 2023-04-03 21:41:07 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-04-03 21:41:14 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 2023-04-03 21:42:01 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 2023-04-03 21:43:55 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-178-123.46.114.pool.telefonica.de) (Ping timeout: 250 seconds) |
| 2023-04-03 21:45:14 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2023-04-03 21:45:53 +0200 | gurkenglas | (~gurkengla@dynamic-089-204-154-028.89.204.154.pool.telefonica.de) |
| 2023-04-03 21:50:43 +0200 | talismanick | (~talismani@2601:200:c000:f7a0::fb70) (Remote host closed the connection) |
| 2023-04-03 21:50:54 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Read error: Connection reset by peer) |
| 2023-04-03 21:50:59 +0200 | Sciencentistguy8 | (~sciencent@hacksoc/ordinary-member) |
| 2023-04-03 21:51:40 +0200 | talismanick | (~talismani@2601:200:c000:f7a0::fb70) |
| 2023-04-03 21:52:51 +0200 | Parth | (~Parth@203.110.242.30) |
| 2023-04-03 21:53:38 +0200 | Parth | (~Parth@203.110.242.30) (Client Quit) |
| 2023-04-03 21:56:39 +0200 | <drlkf> | how can i transform a monad (MonadBaseControl IO m => m a) into a polysemy monad (Member (Embed IO) r => Sem r a) ? |
| 2023-04-03 21:57:02 +0200 | Albina_Pavlovna | (~Albina_Pa@047-230-050-118.res.spectrum.com) |
| 2023-04-03 21:58:15 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 265 seconds) |
| 2023-04-03 21:58:25 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2023-04-03 21:58:28 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: stopping for now...) |
| 2023-04-03 21:59:11 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) (Remote host closed the connection) |
| 2023-04-03 22:00:07 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2023-04-03 22:01:36 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-04-03 22:02:18 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-04-03 22:03:01 +0200 | Sciencentistguy8 | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 276 seconds) |
| 2023-04-03 22:04:25 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-03 22:09:44 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-04-03 22:14:11 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-03 22:14:24 +0200 | NiceBird | (~NiceBird@185.133.111.196) (Ping timeout: 248 seconds) |
| 2023-04-03 22:17:38 +0200 | shapr | (~user@c-68-35-51-250.hsd1.al.comcast.net) (Ping timeout: 252 seconds) |
| 2023-04-03 22:22:24 +0200 | pavonia | (~user@user/siracusa) |
| 2023-04-03 22:25:58 +0200 | shapr | (~user@c-68-35-51-250.hsd1.al.comcast.net) |
| 2023-04-03 22:31:05 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 260 seconds) |
| 2023-04-03 22:48:29 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2023-04-03 22:51:27 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-04-03 22:53:59 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-04-03 22:59:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) |
| 2023-04-03 23:03:22 +0200 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2023-04-03 23:03:39 +0200 | Albina_Pavlovna | (~Albina_Pa@047-230-050-118.res.spectrum.com) (Quit: ZZZzzz…) |
| 2023-04-03 23:04:05 +0200 | dunj3 | (~dunj3@kingdread.de) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2023-04-03 23:04:11 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) (Ping timeout: 248 seconds) |
| 2023-04-03 23:06:46 +0200 | captnemo | (~captnemo@193.32.127.232) |
| 2023-04-03 23:13:04 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-03 23:14:15 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-03 23:20:40 +0200 | <tusko> | How does a monad in Haskell relate to a monad from algebra? |
| 2023-04-03 23:21:03 +0200 | <Hecate> | tusko: it does when you're doing CT in Haskell |
| 2023-04-03 23:21:34 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-03 23:24:44 +0200 | Square | (~Square4@user/square) |
| 2023-04-03 23:25:56 +0200 | vgtw_ | (~vgtw@user/vgtw) |
| 2023-04-03 23:26:22 +0200 | captnemo | (~captnemo@193.32.127.232) (Quit: WeeChat 3.8) |
| 2023-04-03 23:26:52 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 2023-04-03 23:27:05 +0200 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 260 seconds) |
| 2023-04-03 23:27:05 +0200 | <ski> | tusko : `join' is the "multiplication" and `return'/`pure' is the "neutral element" |
| 2023-04-03 23:28:15 +0200 | <tomsmeding> | :t join |
| 2023-04-03 23:28:16 +0200 | <lambdabot> | Monad m => m (m a) -> m a |
| 2023-04-03 23:32:32 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Quit: WeeChat 3.8) |
| 2023-04-03 23:37:46 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2023-04-03 23:40:22 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-03 23:41:28 +0200 | <tusko> | :t return |
| 2023-04-03 23:41:29 +0200 | <lambdabot> | Monad m => a -> m a |
| 2023-04-03 23:41:47 +0200 | <tusko> | hm |
| 2023-04-03 23:45:04 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-04-03 23:45:24 +0200 | <ncf> | type f ~> g = f a -> g a |
| 2023-04-03 23:45:34 +0200 | <ncf> | return :: Monad m => Identity ~> m |
| 2023-04-03 23:45:46 +0200 | <ncf> | join :: Monad m => Compose m m ~> m |
| 2023-04-03 23:45:50 +0200 | <ncf> | tusko: does this help? |
| 2023-04-03 23:46:14 +0200 | <ncf> | (i'm not sure what definition of monad you're familiar with) |
| 2023-04-03 23:46:17 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2023-04-03 23:46:21 +0200 | <tusko> | I just began learning Haskell so I can't parse the syntax completely yet. I understand it is giving a chain of computation so-to-speak |
| 2023-04-03 23:46:35 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-04-03 23:46:40 +0200 | <tusko> | Um, mathematically I was thinking of a monad as being a set and an operation |
| 2023-04-03 23:47:13 +0200 | <ncf> | are you thinking of a monoid? |
| 2023-04-03 23:47:19 +0200 | <tusko> | I may be yes |
| 2023-04-03 23:47:29 +0200 | <tusko> | I actually know about 0 CT |
| 2023-04-03 23:47:47 +0200 | <tomsmeding> | then please do not try to learn haskell from a CT perspective |
| 2023-04-03 23:48:02 +0200 | <geekosaur> | it'll just confuse you |
| 2023-04-03 23:48:04 +0200 | <tomsmeding> | that only helps people who know at lot of CT already so that it helps them grasp the concepts |
| 2023-04-03 23:48:08 +0200 | <geekosaur> | and CT gains you very little |
| 2023-04-03 23:48:11 +0200 | <tomsmeding> | that |
| 2023-04-03 23:48:37 +0200 | <mauke> | (a monoid is a set, an operation, and an element) |
| 2023-04-03 23:48:48 +0200 | <tomsmeding> | in any case a more operational intuition for the ideas (which you learn by using them in practice) is more useful in programming haskell than the CT view on the concepts :) |
| 2023-04-03 23:50:13 +0200 | <monochrom> | If you already know monoids, then the standard Haskell library has the Monoid class. |
| 2023-04-03 23:50:16 +0200 | ski | hands ncf a `forall a. ' |
| 2023-04-03 23:50:38 +0200 | <monochrom> | Although, as usual, this is of little use if you don't know Haskell, namely if you don't even know type classes in Haskell. |
| 2023-04-03 23:55:24 +0200 | <tromp> | in a list comprehension, how can i assign x0, x1 to first elements of a list xs, and skip it if list shorter than 2 elements? |
| 2023-04-03 23:56:48 +0200 | <tromp> | i can do length xs > 1, let (x0:x1:_) = xs, but is there a more concise expression? |
| 2023-04-03 23:56:57 +0200 | <ski> | > [(x,y) | x:y:_ <- ["abcde"]] |
| 2023-04-03 23:56:58 +0200 | <lambdabot> | [('a','b')] |
| 2023-04-03 23:56:58 +0200 | <ski> | > [(x,y) | x:y:_ <- ["a"]] |
| 2023-04-03 23:57:00 +0200 | <lambdabot> | [] |
| 2023-04-03 23:57:28 +0200 | <tromp> | oh, i need to put xs itself in a list, ok |
| 2023-04-03 23:57:37 +0200 | <tromp> | thx |
| 2023-04-03 23:57:38 +0200 | <ski> | > [(x,y) | x:y:_ <- tails "abcde"] |
| 2023-04-03 23:57:40 +0200 | <lambdabot> | [('a','b'),('b','c'),('c','d'),('d','e')] |
| 2023-04-03 23:58:09 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: Leaving) |
| 2023-04-03 23:58:53 +0200 | <ski> | (and brackets in that `let' are redundant) |
| 2023-04-03 23:58:53 +0200 | <monochrom> | Must it be list comprehension? |
| 2023-04-03 23:59:26 +0200 | <monochrom> | case xs of x:y:_ -> (x,y); _ -> skip |
| 2023-04-03 23:59:32 +0200 | captnemo | (~captnemo@193.32.127.232) |
| 2023-04-03 23:59:33 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2023-04-03 23:59:44 +0200 | <monochrom> | Although, I don't know what "skip" means and why it should have the same type as (x,y). |