| 2024-01-05 00:10:44 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-05 00:20:47 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.1.2) |
| 2024-01-05 00:25:27 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-01-05 00:25:36 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-01-05 00:27:00 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-01-05 00:28:51 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-01-05 00:30:12 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-01-05 00:36:31 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-01-05 00:38:30 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds) |
| 2024-01-05 00:42:30 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-01-05 00:43:43 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2024-01-05 00:48:53 +0100 | chomwitt | (~chomwitt@2a02:587:7a0f:8900:1ac0:4dff:fedb:a3f1) (Ping timeout: 268 seconds) |
| 2024-01-05 00:49:52 +0100 | dnh^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 256 seconds) |
| 2024-01-05 00:49:56 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 245 seconds) |
| 2024-01-05 00:51:02 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-01-05 00:51:03 +0100 | dnh^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-01-05 01:06:46 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 255 seconds) |
| 2024-01-05 01:09:02 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 2024-01-05 01:17:02 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-05 01:26:46 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 2024-01-05 01:32:58 +0100 | pavonia | (~user@user/siracusa) |
| 2024-01-05 01:35:06 +0100 | acidjnk | (~acidjnk@p200300d6e72b9355985adb6a1a34faf9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-01-05 01:37:39 +0100 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-01-05 01:38:09 +0100 | Axman6 | (~Axman6@user/axman6) |
| 2024-01-05 01:44:23 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-01-05 01:54:38 +0100 | shapr` | shapr |
| 2024-01-05 01:58:18 +0100 | edr | (~edr@user/edr) (Quit: Leaving) |
| 2024-01-05 02:00:22 +0100 | waldo | (~waldo@user/waldo) (Quit: waldo) |
| 2024-01-05 02:05:26 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-01-05 02:21:45 +0100 | trev | (~trev@user/trev) |
| 2024-01-05 02:22:28 +0100 | feetwind | (~mike@user/feetwind) (Quit: WeeChat 3.1) |
| 2024-01-05 02:22:49 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2024-01-05 02:22:55 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2024-01-05 02:22:59 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-01-05 02:24:21 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-01-05 02:33:40 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) |
| 2024-01-05 02:55:02 +0100 | causal | (~eric@50.35.85.7) |
| 2024-01-05 02:55:25 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-05 02:56:13 +0100 | meritamen | (~meritamen@user/meritamen) (Remote host closed the connection) |
| 2024-01-05 03:05:14 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-01-05 03:08:06 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 252 seconds) |
| 2024-01-05 03:35:39 +0100 | derpyxdhs | (~Thunderbi@user/derpyxdhs) |
| 2024-01-05 03:41:20 +0100 | <Axman6> | Can I ask a favour of someone who's on matrix (and hence bridged to IRC using haskellbridge) - can you say something so I can test whether my terminal is still bring broken by it? |
| 2024-01-05 03:42:17 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) (Remote host closed the connection) |
| 2024-01-05 03:42:34 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-05 03:42:39 +0100 | <haskellbridge> | 05<geekosaur> boom? |
| 2024-01-05 03:43:24 +0100 | <Axman6> | yeah still broken - I get a space in glirc after the first character of anyone using it, and it break my terminal in fun ways |
| 2024-01-05 03:43:40 +0100 | <Axman6> | first character of the nick of* |
| 2024-01-05 03:43:59 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) |
| 2024-01-05 03:44:01 +0100 | <glguy> | To be clear this isn't a general glirc problem, there's something special about axman6's configuration :) |
| 2024-01-05 03:44:48 +0100 | <Axman6> | this is true |
| 2024-01-05 03:45:04 +0100 | <Axman6> | it also bleeds into other tmux windows which is fun |
| 2024-01-05 03:47:39 +0100 | <Axman6> | Hmmmm, looks like it might be fine in alacritty |
| 2024-01-05 03:48:31 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) |
| 2024-01-05 03:49:00 +0100 | <geekosaur> | yeh, my guess would be your terminal doesn't handle zero width joiners (or nonjoiners; I forget which one matterbridge uses) |
| 2024-01-05 03:51:45 +0100 | <int-e> | zerowidthspace |
| 2024-01-05 03:51:52 +0100 | <geekosaur> | zero width space, U+200B |
| 2024-01-05 03:51:53 +0100 | <int-e> | it uses the U+200B one |
| 2024-01-05 03:52:54 +0100 | <int-e> | (the funniest one of those is U+2062 INVISIBLE TIMES |
| 2024-01-05 03:52:57 +0100 | <int-e> | ) |
| 2024-01-05 03:53:48 +0100 | <int-e> | (that could be a news outlet from Unseen University) |
| 2024-01-05 03:56:32 +0100 | derpyxdhs | (~Thunderbi@user/derpyxdhs) (Quit: derpyxdhs) |
| 2024-01-05 04:10:07 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2024-01-05 04:10:30 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-01-05 04:17:06 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:31eb:5352:b0f6:c0ae) (Remote host closed the connection) |
| 2024-01-05 04:17:22 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2024-01-05 04:21:30 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2024-01-05 04:21:30 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-01-05 04:37:43 +0100 | <EvanR> | phantom characters |
| 2024-01-05 04:38:02 +0100 | <EvanR> | too late for halloween |
| 2024-01-05 04:38:05 +0100 | erina | (~erina@222.195.81.58) |
| 2024-01-05 04:39:19 +0100 | <erina> | I want to sort a [(Int,Int)] by comparing the first then the second value. I'm currently using sortOn (\(x,y) -> x*1000+y),is there a better way? |
| 2024-01-05 04:39:50 +0100 | <erina> | x and y are small |
| 2024-01-05 04:41:26 +0100 | <sm> | erina: does just `sort` not do that ? |
| 2024-01-05 04:41:42 +0100 | <erina> | So Ord can derive to tuples? |
| 2024-01-05 04:41:50 +0100 | <sm> | it does, yes |
| 2024-01-05 04:42:28 +0100 | <erina> | Oh, that's really nice. |
| 2024-01-05 04:42:38 +0100 | <sm> | you can see it toward the bottom of https://hackage.haskell.org/package/base-4.19.0.0/docs/Prelude.html#t:Ord |
| 2024-01-05 04:42:56 +0100 | <erina> | What if I want to compare the second element first then? |
| 2024-01-05 04:43:38 +0100 | <sm> | (and check the source if you want to be sure.. sometimes it's a good idea as instances don't always do what you think) |
| 2024-01-05 04:44:01 +0100 | <sm> | uh.. something like sortBy (comparing . flip) IIRC |
| 2024-01-05 04:44:41 +0100 | <sm> | not flip.. swap |
| 2024-01-05 04:44:45 +0100 | <erina> | @hoogle (a,b) -> (b,a) |
| 2024-01-05 04:44:46 +0100 | <lambdabot> | Data.Tuple swap :: (a, b) -> (b, a) |
| 2024-01-05 04:44:46 +0100 | <lambdabot> | Data.Tuple.HT swap :: (a, b) -> (b, a) |
| 2024-01-05 04:44:46 +0100 | <lambdabot> | Data.Tuple.Lazy swap :: (a, b) -> (b, a) |
| 2024-01-05 04:45:41 +0100 | <erina> | as for the source, it seems it is written in ghc, not base |
| 2024-01-05 04:46:13 +0100 | <erina> | But, I'd expect it to work in the unsurprising way. |
| 2024-01-05 04:46:58 +0100 | Guest3 | (~Guest3@c-17cce355.09-95-67766c3.bbcust.telenor.se) |
| 2024-01-05 04:47:03 +0100 | <sm> | and for simple things like this you can just check in ghci |
| 2024-01-05 04:47:57 +0100 | sm | was suggesting that the haddock docs have useful source links for each instance's definition.. unfortunately these ones are hard to see and use because of the width, and broken links |
| 2024-01-05 04:48:21 +0100 | <sm> | moving right along. |
| 2024-01-05 04:48:31 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2024-01-05 04:48:49 +0100 | <sm> | @sort [(2,1),(1,2)] |
| 2024-01-05 04:48:49 +0100 | <lambdabot> | Maybe you meant: src part more |
| 2024-01-05 04:48:55 +0100 | Guest65 | (~Guest3@c-17cce355.09-95-67766c3.bbcust.telenor.se) |
| 2024-01-05 04:49:07 +0100 | <sm> | moving right along. |
| 2024-01-05 04:49:31 +0100 | Guest3 | (~Guest3@c-17cce355.09-95-67766c3.bbcust.telenor.se) (Client Quit) |
| 2024-01-05 04:54:35 +0100 | Guest65 | (~Guest3@c-17cce355.09-95-67766c3.bbcust.telenor.se) (Quit: Client closed) |
| 2024-01-05 04:55:48 +0100 | <erina> | > sort [(2,1),(1,2)] |
| 2024-01-05 04:55:50 +0100 | <lambdabot> | [(1,2),(2,1)] |
| 2024-01-05 04:56:17 +0100 | <EvanR> | > sort [(2,6),(2,2)] |
| 2024-01-05 04:56:18 +0100 | <lambdabot> | [(2,2),(2,6)] |
| 2024-01-05 04:56:24 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2024-01-05 04:56:31 +0100 | Hesse0 | (uid528325@id-528325.tinside.irccloud.com) |
| 2024-01-05 04:56:42 +0100 | <EvanR> | dictionary ordering |
| 2024-01-05 04:58:04 +0100 | <erina> | I knew that this applies for lists too, since sorting Strings([Char]) just work, no way ordinary lists can't derive. But tuples made me hesitate because some other programming language. |
| 2024-01-05 04:58:36 +0100 | Hesse0 | (uid528325@id-528325.tinside.irccloud.com) (Client Quit) |
| 2024-01-05 04:59:31 +0100 | td_ | (~td@i53870939.versanet.de) (Ping timeout: 245 seconds) |
| 2024-01-05 05:01:06 +0100 | <EvanR> | it's not a derived instance in this case, it's instance Ord a => Ord [a] where ... such and such |
| 2024-01-05 05:01:25 +0100 | td_ | (~td@i5387091D.versanet.de) |
| 2024-01-05 05:01:31 +0100 | <EvanR> | code is written somewhere that just works if the list elements have an Ord instance |
| 2024-01-05 05:01:50 +0100 | bilegeek_ | (~bilegeek@242.sub-174-208-229.myvzw.com) |
| 2024-01-05 05:02:24 +0100 | <erina> | I get what you mean. |
| 2024-01-05 05:02:26 +0100 | <EvanR> | hmm I guess that is what deriving would do |
| 2024-01-05 05:03:09 +0100 | <erina> | Wait, but can derive be used in such case? |
| 2024-01-05 05:03:46 +0100 | <EvanR> | try data MyList a = Cons a (MyList a) | Nil deriving (Eq, Ord) and see |
| 2024-01-05 05:04:06 +0100 | bilegeek | (~bilegeek@2600:1008:b00e:eae6:fb16:ad39:774b:5f34) (Ping timeout: 245 seconds) |
| 2024-01-05 05:04:08 +0100 | <EvanR> | sort (Cons 'z' (Cons 'a' Nil)) |
| 2024-01-05 05:04:59 +0100 | not_reserved | (~not_reser@185.199.102.172) |
| 2024-01-05 05:08:13 +0100 | <erina> | you can't do sort, but you can say |
| 2024-01-05 05:08:32 +0100 | <erina> | compare (Cons 4 (Cons 3 Nil)) (Cons 3 (Cons 4 Nil)) |
| 2024-01-05 05:08:38 +0100 | <EvanR> | :t sort |
| 2024-01-05 05:08:39 +0100 | <lambdabot> | Ord a => [a] -> [a] |
| 2024-01-05 05:08:55 +0100 | <erina> | sort has to do with lists |
| 2024-01-05 05:08:59 +0100 | <EvanR> | oh |
| 2024-01-05 05:09:30 +0100 | <EvanR> | sort [Cons...., Cons....] |
| 2024-01-05 05:09:34 +0100 | <erina> | compare (Cons 4 (Cons 3 Nil)) (Cons 3 (Cons 4 Nil)) |
| 2024-01-05 05:09:36 +0100 | <erina> | GT |
| 2024-01-05 05:10:47 +0100 | <erina> | compare (Cons 4 Nil) (Cons 4 (Cons 3 Nil)) |
| 2024-01-05 05:10:49 +0100 | <erina> | GT |
| 2024-01-05 05:11:08 +0100 | <erina> | Because Nil is placed after Cons, so Nil is greater in this case |
| 2024-01-05 05:11:22 +0100 | aforemny_ | (~aforemny@i59F516E1.versanet.de) |
| 2024-01-05 05:12:28 +0100 | aforemny | (~aforemny@2001:9e8:6ce0:4e00:87b9:bb6b:a794:dec0) (Ping timeout: 255 seconds) |
| 2024-01-05 05:24:36 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) (Quit: Leaving) |
| 2024-01-05 05:27:37 +0100 | g | (g@libera/staff/glguy) (Remote host closed the connection) |
| 2024-01-05 05:27:41 +0100 | g | (g@libera/staff/glguy) |
| 2024-01-05 05:29:19 +0100 | <erina> | @hoogle [[a]] -> Array (Int, Int) a |
| 2024-01-05 05:29:20 +0100 | <lambdabot> | No results found |
| 2024-01-05 05:30:10 +0100 | <erina> | @hoogle [a] -> Array Int a |
| 2024-01-05 05:30:10 +0100 | <lambdabot> | Matrix.Vector fromList :: [a] -> Array Int a |
| 2024-01-05 05:31:11 +0100 | <EvanR> | for the second one may Vector is better |
| 2024-01-05 05:31:18 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-01-05 05:31:20 +0100 | <EvanR> | maybe |
| 2024-01-05 05:31:27 +0100 | <EvanR> | fromList :: [a] -> Vector a |
| 2024-01-05 05:42:44 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-01-05 05:56:07 +0100 | <haskellbridge> | 14<maerwald> sm: https://www.gergely.risko.hu/debian-dsa1571.en.html |
| 2024-01-05 05:56:41 +0100 | <haskellbridge> | 14<maerwald> Backporting security patches downstream (or patching downstream at all) has a dark side |
| 2024-01-05 06:08:33 +0100 | michalz | (~michalz@185.246.207.215) |
| 2024-01-05 06:12:49 +0100 | michalz | (~michalz@185.246.207.215) (Client Quit) |
| 2024-01-05 06:15:37 +0100 | michalz | (~michalz@185.246.207.221) |
| 2024-01-05 06:15:52 +0100 | qqq | (~qqq@92.43.167.61) |
| 2024-01-05 06:40:28 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-01-05 06:41:49 +0100 | euleritian | (~euleritia@dynamic-046-114-091-056.46.114.pool.telefonica.de) |
| 2024-01-05 06:47:30 +0100 | euleritian | (~euleritia@dynamic-046-114-091-056.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-05 06:47:47 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-05 06:53:33 +0100 | bilegeek_ | (~bilegeek@242.sub-174-208-229.myvzw.com) (Remote host closed the connection) |
| 2024-01-05 06:54:28 +0100 | bilegeek | (~bilegeek@242.sub-174-208-229.myvzw.com) |
| 2024-01-05 07:00:32 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-01-05 07:06:54 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-01-05 07:08:22 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-01-05 07:09:17 +0100 | euleritian | (~euleritia@dynamic-046-114-091-056.46.114.pool.telefonica.de) |
| 2024-01-05 07:13:26 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-01-05 07:17:36 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-01-05 07:19:31 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-01-05 07:20:09 +0100 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) |
| 2024-01-05 07:26:03 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-01-05 07:42:30 +0100 | misterfish | (~misterfis@84.53.85.146) (Remote host closed the connection) |
| 2024-01-05 07:52:40 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-01-05 07:57:14 +0100 | wheatengineer | (~frederik@p200300f63f0869007e3432bc6baed6bb.dip0.t-ipconnect.de) |
| 2024-01-05 08:02:30 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 2024-01-05 08:16:19 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-01-05 08:20:08 +0100 | euleritian | (~euleritia@dynamic-046-114-091-056.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-05 08:20:27 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-01-05 08:31:00 +0100 | bilegeek_ | (~bilegeek@199.sub-174-209-36.myvzw.com) |
| 2024-01-05 08:34:13 +0100 | bilegeek | (~bilegeek@242.sub-174-208-229.myvzw.com) (Ping timeout: 276 seconds) |
| 2024-01-05 08:38:54 +0100 | mokee | (~mokee@37.228.215.150) |
| 2024-01-05 08:40:58 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2024-01-05 08:43:08 +0100 | kmein | (~weechat@user/kmein) |
| 2024-01-05 08:50:12 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:b45d:f8e1:4f51:fdac) |
| 2024-01-05 08:52:04 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:b45d:f8e1:4f51:fdac) (Remote host closed the connection) |
| 2024-01-05 08:52:23 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:7c8e:db5b:e3ae:c26a) |
| 2024-01-05 08:53:22 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) |
| 2024-01-05 08:56:15 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-01-05 08:56:27 +0100 | acidjnk | (~acidjnk@p200300d6e72b9387192044100938d5f4.dip0.t-ipconnect.de) |
| 2024-01-05 08:57:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-05 08:57:55 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2024-01-05 08:58:33 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-01-05 09:00:42 +0100 | xdminsy | (~xdminsy@117.147.71.169) |
| 2024-01-05 09:04:47 +0100 | xdminsy | (~xdminsy@117.147.71.169) (Remote host closed the connection) |
| 2024-01-05 09:05:19 +0100 | xdminsy | (~xdminsy@117.147.71.169) |
| 2024-01-05 09:09:14 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-01-05 09:12:12 +0100 | CiaoSen | (~Jura@2a05:5800:29d:4c00:ca4b:d6ff:fec1:99da) |
| 2024-01-05 09:15:44 +0100 | not_reserved | (~not_reser@185.199.102.172) (Quit: Client closed) |
| 2024-01-05 09:17:25 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2024-01-05 09:19:54 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-05 09:20:54 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-01-05 09:23:50 +0100 | phma | (~phma@2001:5b0:212a:d8b8:260d:d506:237:c86d) (Read error: Connection reset by peer) |
| 2024-01-05 09:24:44 +0100 | phma | (phma@2001:5b0:211b:ea88:27f8:300f:f5b2:4333) |
| 2024-01-05 09:28:29 +0100 | random-jellyfish | (~developer@2a02:2f04:11e:c600:53fd:323:6279:f011) |
| 2024-01-05 09:28:29 +0100 | random-jellyfish | (~developer@2a02:2f04:11e:c600:53fd:323:6279:f011) (Changing host) |
| 2024-01-05 09:28:29 +0100 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-01-05 09:30:49 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 246 seconds) |
| 2024-01-05 09:33:45 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-05 09:35:18 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 252 seconds) |
| 2024-01-05 09:38:39 +0100 | not_reserved | (~not_reser@185.153.177.184) |
| 2024-01-05 09:40:56 +0100 | mokee | (~mokee@37.228.215.150) (Quit: off) |
| 2024-01-05 09:45:05 +0100 | ubert | (~Thunderbi@p548c94bd.dip0.t-ipconnect.de) |
| 2024-01-05 10:01:37 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2024-01-05 10:03:40 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-01-05 10:03:49 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 2024-01-05 10:04:01 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-01-05 10:18:10 +0100 | not_reserved | (~not_reser@185.153.177.184) (Quit: Client closed) |
| 2024-01-05 10:20:16 +0100 | barak | (~barak@2a0d:6fc2:68c1:2600:ba5c:5700:a75b:5c2d) (Ping timeout: 255 seconds) |
| 2024-01-05 10:20:25 +0100 | not_reserved | (~not_reser@185.153.177.184) |
| 2024-01-05 10:36:26 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:31eb:5352:b0f6:c0ae) |
| 2024-01-05 10:39:06 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-01-05 10:40:46 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:31eb:5352:b0f6:c0ae) (Ping timeout: 245 seconds) |
| 2024-01-05 10:42:40 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-05 10:50:22 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-01-05 10:56:53 +0100 | bilegeek_ | (~bilegeek@199.sub-174-209-36.myvzw.com) (Quit: Leaving) |
| 2024-01-05 10:58:45 +0100 | Lycurgus | (~georg@li1192-118.members.linode.com) |
| 2024-01-05 10:58:45 +0100 | Lycurgus | (~georg@li1192-118.members.linode.com) (Changing host) |
| 2024-01-05 10:58:45 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-01-05 10:58:51 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-01-05 11:08:14 +0100 | <erina> | @hoogle (Eq a) => [a] -> [a] |
| 2024-01-05 11:08:15 +0100 | <lambdabot> | Data.List nub :: Eq a => [a] -> [a] |
| 2024-01-05 11:08:15 +0100 | <lambdabot> | GHC.OldList nub :: Eq a => [a] -> [a] |
| 2024-01-05 11:08:15 +0100 | <lambdabot> | Distribution.Compat.Prelude.Internal nub :: Eq a => [a] -> [a] |
| 2024-01-05 11:08:20 +0100 | <erina> | :t group |
| 2024-01-05 11:08:21 +0100 | <lambdabot> | Eq a => [a] -> [[a]] |
| 2024-01-05 11:14:46 +0100 | erina | (~erina@222.195.81.58) (Ping timeout: 246 seconds) |
| 2024-01-05 11:23:55 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-01-05 11:27:46 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:31eb:5352:b0f6:c0ae) |
| 2024-01-05 11:35:51 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-01-05 11:39:03 +0100 | erina | (~erina@2001:da8:d800:e1bf:8a22:ecf0:1978:2c5) |
| 2024-01-05 11:39:06 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds) |
| 2024-01-05 11:41:56 +0100 | CiaoSen | (~Jura@2a05:5800:29d:4c00:ca4b:d6ff:fec1:99da) (Ping timeout: 268 seconds) |
| 2024-01-05 11:46:43 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2024-01-05 11:52:55 +0100 | xnbya | (~xnbya@116.202.23.221) (Quit: No Ping reply in 180 seconds.) |
| 2024-01-05 11:53:17 +0100 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: Ping timeout (120 seconds)) |
| 2024-01-05 11:53:35 +0100 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2024-01-05 11:54:01 +0100 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) |
| 2024-01-05 12:00:54 +0100 | sprout | (~quassel@2a02-a448-3a80-0-4452-3fe7-d88c-ddc2.fixed6.kpn.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-01-05 12:05:04 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-01-05 12:06:36 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-01-05 12:10:07 +0100 | mmhat | (~mmh@p200300f1c7323cb5ee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-01-05 12:13:13 +0100 | sprout | (~quassel@2a02-a448-3a80-0-f168-44da-f351-b5b9.fixed6.kpn.net) |
| 2024-01-05 12:13:49 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-01-05 12:14:24 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 256 seconds) |
| 2024-01-05 12:15:17 +0100 | vglfr | (~vglfr@135.pool85-48-184.static.orange.es) |
| 2024-01-05 12:16:29 +0100 | sshine | (~simon@zhen.mechanicus.xyz) (Ping timeout: 240 seconds) |
| 2024-01-05 12:16:32 +0100 | Fansly | (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-05 12:17:28 +0100 | sshine | (~simon@zhen.mechanicus.xyz) |
| 2024-01-05 12:18:16 +0100 | xff0x | (~xff0x@133-175-35-58.east.fdn.vectant.ne.jp) |
| 2024-01-05 12:18:59 +0100 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Ping timeout: 260 seconds) |
| 2024-01-05 12:23:52 +0100 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 268 seconds) |
| 2024-01-05 12:24:15 +0100 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) |
| 2024-01-05 12:25:59 +0100 | vglfr | (~vglfr@135.pool85-48-184.static.orange.es) (Read error: Connection reset by peer) |
| 2024-01-05 12:26:24 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) |
| 2024-01-05 12:29:08 +0100 | jjhoo | (jahakala@user/jjhoo) (Ping timeout: 256 seconds) |
| 2024-01-05 12:32:48 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) (Ping timeout: 268 seconds) |
| 2024-01-05 12:36:20 +0100 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2024-01-05 12:53:14 +0100 | Fansly | (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Quit: Quit) |
| 2024-01-05 12:53:23 +0100 | Fansly | (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-05 12:54:36 +0100 | Fansly1 | (~Thunderbi@2001:448a:2010:476e:48cd:a864:f290:93b2) |
| 2024-01-05 12:55:24 +0100 | <Fansly1> | between the irc and the matrix which is more active? |
| 2024-01-05 12:55:40 +0100 | not_reserved | (~not_reser@185.153.177.184) (Quit: Client closed) |
| 2024-01-05 12:55:48 +0100 | <geekosaur> | they're about the same |
| 2024-01-05 12:56:50 +0100 | Fansly1 | (~Thunderbi@2001:448a:2010:476e:48cd:a864:f290:93b2) (Client Quit) |
| 2024-01-05 12:57:10 +0100 | Fansly1 | (~Thunderbi@2001:448a:2010:476e:48cd:a864:f290:93b2) |
| 2024-01-05 12:58:00 +0100 | <Fansly1> | ah i see |
| 2024-01-05 12:59:44 +0100 | <geekosaur> | a lot of the long time Haskellers are only in here though, which is why this channel is bridged over to Matrix (#haskell-irc:matrix.org) |
| 2024-01-05 13:00:53 +0100 | <Fansly1> | so the matrix one has more "new" members then? |
| 2024-01-05 13:01:02 +0100 | Fansly1 | (~Thunderbi@2001:448a:2010:476e:48cd:a864:f290:93b2) (Client Quit) |
| 2024-01-05 13:01:17 +0100 | <Fansly> | Might join the matrix then |
| 2024-01-05 13:01:22 +0100 | Fansly1 | (~Thunderbi@2001:448a:2010:476e:48cd:a864:f290:93b2) |
| 2024-01-05 13:02:40 +0100 | ubert | (~Thunderbi@p548c94bd.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2024-01-05 13:05:57 +0100 | jjhoo | (~jahakala@user/jjhoo) |
| 2024-01-05 13:06:09 +0100 | Fansly1 | (~Thunderbi@2001:448a:2010:476e:48cd:a864:f290:93b2) (Client Quit) |
| 2024-01-05 13:08:02 +0100 | mfaathirarsa | (~Thunderbi@2001:448a:2010:476e:48cd:a864:f290:93b2) |
| 2024-01-05 13:08:24 +0100 | <haskellbridge> | 15<Jade> hello from matrix side :) |
| 2024-01-05 13:08:51 +0100 | <mfaathirarsa> | ooohhhh so thats what it meant by abridge |
| 2024-01-05 13:13:28 +0100 | mfaathirarsa | (~Thunderbi@2001:448a:2010:476e:48cd:a864:f290:93b2) (Quit: mfaathirarsa) |
| 2024-01-05 13:14:56 +0100 | ubert | (~Thunderbi@p200300ecdf15aacb56e293b798032549.dip0.t-ipconnect.de) |
| 2024-01-05 13:16:49 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-05 13:19:52 +0100 | mfaathirarsa | (~Thunderbi@2001:448a:2010:476e:48cd:a864:f290:93b2) |
| 2024-01-05 13:22:10 +0100 | Teacup | (~teacup@user/teacup) (Ping timeout: 260 seconds) |
| 2024-01-05 13:22:40 +0100 | Teacup | (~teacup@user/teacup) |
| 2024-01-05 13:39:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-05 13:40:05 +0100 | Fansly | (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 240 seconds) |
| 2024-01-05 13:43:41 +0100 | Teacup | (~teacup@user/teacup) (Quit: No Ping reply in 180 seconds.) |
| 2024-01-05 13:44:51 +0100 | Teacup | (~teacup@user/teacup) |
| 2024-01-05 13:46:31 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2024-01-05 13:47:05 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-01-05 13:48:23 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) |
| 2024-01-05 13:53:48 +0100 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 252 seconds) |
| 2024-01-05 14:02:00 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-01-05 14:12:52 +0100 | Teacup | (~teacup@user/teacup) (Quit: No Ping reply in 180 seconds.) |
| 2024-01-05 14:14:01 +0100 | Teacup | (~teacup@user/teacup) |
| 2024-01-05 14:14:37 +0100 | <haskellbridge> | 14<mauke> From what I see, this channel is a lot more active than the Matrix one, at least in terms of message count |
| 2024-01-05 14:17:15 +0100 | jjhoo | (~jahakala@user/jjhoo) |
| 2024-01-05 14:17:18 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-05 14:17:32 +0100 | jjhoo | (~jahakala@user/jjhoo) (Client Quit) |
| 2024-01-05 14:18:04 +0100 | jjhoo | (~jahakala@user/jjhoo) |
| 2024-01-05 14:27:44 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-01-05 14:28:16 +0100 | Teacup | (~teacup@user/teacup) (Ping timeout: 245 seconds) |
| 2024-01-05 14:29:21 +0100 | Teacup | (~teacup@user/teacup) |
| 2024-01-05 14:32:11 +0100 | chele | (~chele@user/chele) |
| 2024-01-05 14:34:02 +0100 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-01-05 14:43:05 +0100 | jjhoo_ | (~jahakala@user/jjhoo) |
| 2024-01-05 14:44:24 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
| 2024-01-05 14:44:49 +0100 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::e875) |
| 2024-01-05 14:45:14 +0100 | Teacup | (~teacup@user/teacup) (Ping timeout: 260 seconds) |
| 2024-01-05 14:45:33 +0100 | <mfaathirarsa> | what irc client are you guys using? been using thunderbird but kinda curious to the alternatives. |
| 2024-01-05 14:45:45 +0100 | Teacup | (~teacup@user/teacup) |
| 2024-01-05 14:45:55 +0100 | <geekosaur> | I use Hexchat |
| 2024-01-05 14:46:12 +0100 | <geekosaur> | many people use irssi |
| 2024-01-05 14:46:31 +0100 | <geekosaur> | a few use glirc, an IRC client written in and extensible in Haskell |
| 2024-01-05 14:46:38 +0100 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 260 seconds) |
| 2024-01-05 14:47:21 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-01-05 14:47:29 +0100 | <[exa]> | I'm on irssi but quite a few people also have weechat, it's not bad at all and comes with a sensible bouncer |
| 2024-01-05 14:47:48 +0100 | <[exa]> | (with some droid interop, which ain't bad) |
| 2024-01-05 14:48:23 +0100 | Fansly | (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-05 14:48:28 +0100 | <Rembane> | Otherwise using irssi or weechat from a VPS is a way to get always online with logs and all the other good stuff. |
| 2024-01-05 14:49:04 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-01-05 14:49:39 +0100 | euleritian | (~euleritia@dynamic-046-114-202-095.46.114.pool.telefonica.de) |
| 2024-01-05 14:51:27 +0100 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::e875) (Ping timeout: 256 seconds) |
| 2024-01-05 14:55:51 +0100 | doyougnu- | (~doyougnu@045-046-170-068.res.spectrum.com) |
| 2024-01-05 14:55:52 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2024-01-05 14:58:22 +0100 | doyougnu | (~doyougnu@045-046-170-068.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-01-05 14:59:19 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2024-01-05 15:04:14 +0100 | irrgit | (~irrgit@89.47.234.74) |
| 2024-01-05 15:09:27 +0100 | dminuoso_ | uses weechat |
| 2024-01-05 15:10:53 +0100 | <yushyin> | weechat + weechat-android |
| 2024-01-05 15:10:54 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2024-01-05 15:19:59 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:d842:e652:85ed:65e8) |
| 2024-01-05 15:21:39 +0100 | todi1 | (~todi@p4fd1a54c.dip0.t-ipconnect.de) |
| 2024-01-05 15:21:48 +0100 | todi | (~todi@pd95710f6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-01-05 15:21:59 +0100 | <nullie> | I'm running weechat on server, connect from PC via glowing bear and weechat-android on phone |
| 2024-01-05 15:26:55 +0100 | euleritian | (~euleritia@dynamic-046-114-202-095.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-05 15:27:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-05 15:27:14 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-05 15:29:02 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-05 15:30:17 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-01-05 15:30:17 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-01-05 15:30:17 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-01-05 15:30:52 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-01-05 15:30:57 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-01-05 15:31:25 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-01-05 15:42:20 +0100 | mfaathirarsa | (~Thunderbi@2001:448a:2010:476e:48cd:a864:f290:93b2) (Quit: mfaathirarsa) |
| 2024-01-05 15:42:41 +0100 | mfaathirarsa | (~Thunderbi@2001:448a:2010:476e:48cd:a864:f290:93b2) |
| 2024-01-05 15:47:05 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-01-05 15:47:25 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-05 15:48:06 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-01-05 15:48:24 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2024-01-05 15:49:23 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) (Remote host closed the connection) |
| 2024-01-05 15:51:02 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) |
| 2024-01-05 15:58:48 +0100 | Teacup | (~teacup@user/teacup) (Ping timeout: 256 seconds) |
| 2024-01-05 16:00:49 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) (Read error: Connection reset by peer) |
| 2024-01-05 16:03:04 +0100 | Batzy_ | (~quassel@user/batzy) |
| 2024-01-05 16:06:06 +0100 | mfaathirarsa | (~Thunderbi@2001:448a:2010:476e:48cd:a864:f290:93b2) (Quit: mfaathirarsa) |
| 2024-01-05 16:06:10 +0100 | Batzy | (~quassel@user/batzy) (Ping timeout: 256 seconds) |
| 2024-01-05 16:06:28 +0100 | mfaathirarsa | (~Thunderbi@2001:448a:2010:476e:48cd:a864:f290:93b2) |
| 2024-01-05 16:12:58 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-01-05 16:13:12 +0100 | euleritian | (~euleritia@dynamic-046-114-202-095.46.114.pool.telefonica.de) |
| 2024-01-05 16:17:01 +0100 | Teacup | (~teacup@user/teacup) |
| 2024-01-05 16:22:42 +0100 | <erina> | @hoogle a -> (a->b->c) -> [b] -> [c] |
| 2024-01-05 16:22:42 +0100 | <lambdabot> | No results found |
| 2024-01-05 16:23:05 +0100 | <erina> | its map :: (b->c) -> [b] -> [c] then |
| 2024-01-05 16:23:17 +0100 | mmhat | (~mmh@p200300f1c7323cb5ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-01-05 16:23:40 +0100 | mmhat | (~mmh@p200300f1c7323c1eee086bfffe095315.dip0.t-ipconnect.de) |
| 2024-01-05 16:28:22 +0100 | meritamen | (~meritamen@user/meritamen) (Remote host closed the connection) |
| 2024-01-05 16:28:26 +0100 | <haskellbridge> | 15<Jade> yeah, just `map (f a) bs` |
| 2024-01-05 16:29:20 +0100 | <haskellbridge> | 15<Jade> you could even write `map . f` where `f :: a -> b -> c` |
| 2024-01-05 16:37:18 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-01-05 16:43:17 +0100 | xff0x | (~xff0x@133-175-35-58.east.fdn.vectant.ne.jp) (Ping timeout: 240 seconds) |
| 2024-01-05 16:44:21 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-01-05 16:52:03 +0100 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-01-05 16:54:01 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Client Quit) |
| 2024-01-05 16:54:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-05 17:04:05 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2024-01-05 17:05:42 +0100 | dnh^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-01-05 17:05:43 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-01-05 17:06:28 +0100 | <mauke> | @djinn a -> (a->b->c) -> [b] -> [c] |
| 2024-01-05 17:06:28 +0100 | <lambdabot> | Error: Undefined type [] |
| 2024-01-05 17:06:31 +0100 | <mauke> | :-( |
| 2024-01-05 17:07:18 +0100 | <mauke> | :t (map .) . flip id |
| 2024-01-05 17:07:19 +0100 | <lambdabot> | b1 -> (b1 -> a -> b2) -> [a] -> [b2] |
| 2024-01-05 17:08:02 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:d842:e652:85ed:65e8) (Remote host closed the connection) |
| 2024-01-05 17:08:19 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:84c6:614f:521a:1105) |
| 2024-01-05 17:10:10 +0100 | vglfr | (~vglfr@152.pool85-48-184.static.orange.es) |
| 2024-01-05 17:15:30 +0100 | erina | (~erina@2001:da8:d800:e1bf:8a22:ecf0:1978:2c5) (Ping timeout: 260 seconds) |
| 2024-01-05 17:16:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-05 17:20:21 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2024-01-05 17:21:00 +0100 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-01-05 17:21:51 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:84c6:614f:521a:1105) (Quit: Leaving) |
| 2024-01-05 17:26:59 +0100 | Guest84 | (~Guest84@p200300f54702457898b1fb62c4fd9c75.dip0.t-ipconnect.de) |
| 2024-01-05 17:28:03 +0100 | Guest84 | (~Guest84@p200300f54702457898b1fb62c4fd9c75.dip0.t-ipconnect.de) (Client Quit) |
| 2024-01-05 17:35:03 +0100 | irrgit | (~irrgit@89.47.234.74) (Read error: Connection reset by peer) |
| 2024-01-05 17:35:22 +0100 | irrgit | (~irrgit@176.113.74.138) |
| 2024-01-05 17:40:29 +0100 | wheatengineer | (~frederik@p200300f63f0869007e3432bc6baed6bb.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-01-05 17:52:53 +0100 | ubert | (~Thunderbi@p200300ecdf15aacb56e293b798032549.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-01-05 17:53:14 +0100 | ubert | (~Thunderbi@p200300ecdf15aa7e6ebc06f5f6cffa34.dip0.t-ipconnect.de) |
| 2024-01-05 17:53:54 +0100 | vglfr | (~vglfr@152.pool85-48-184.static.orange.es) (Read error: Connection reset by peer) |
| 2024-01-05 17:54:22 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) |
| 2024-01-05 17:57:55 +0100 | euleritian | (~euleritia@dynamic-046-114-202-095.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-05 17:58:12 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-05 18:00:07 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2024-01-05 18:01:24 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-01-05 18:09:13 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-01-05 18:09:51 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-01-05 18:09:55 +0100 | euleritian | (~euleritia@dynamic-046-114-202-095.46.114.pool.telefonica.de) |
| 2024-01-05 18:12:08 +0100 | euleritian | (~euleritia@dynamic-046-114-202-095.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-01-05 18:12:27 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-05 18:16:18 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:31eb:5352:b0f6:c0ae) (Remote host closed the connection) |
| 2024-01-05 18:16:31 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2024-01-05 18:16:37 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a52e:6d05:4696:6c93) |
| 2024-01-05 18:19:48 +0100 | petrichor | uses weechat plus znc |
| 2024-01-05 18:23:41 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2024-01-05 18:25:02 +0100 | irrgit | (~irrgit@176.113.74.138) (Remote host closed the connection) |
| 2024-01-05 18:25:21 +0100 | irrgit | (~irrgit@146.70.27.218) |
| 2024-01-05 18:27:17 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) |
| 2024-01-05 18:28:15 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 252 seconds) |
| 2024-01-05 18:28:47 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Client Quit) |
| 2024-01-05 18:29:01 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-01-05 18:29:04 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) |
| 2024-01-05 18:29:37 +0100 | paul_j` | (~user@8.190.187.81.in-addr.arpa) |
| 2024-01-05 18:30:48 +0100 | paul_j` | (~user@8.190.187.81.in-addr.arpa) (Client Quit) |
| 2024-01-05 18:32:55 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Quit: Bye!) |
| 2024-01-05 18:33:37 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2024-01-05 18:36:22 +0100 | paul_j` | (~user@8.190.187.81.in-addr.arpa) |
| 2024-01-05 18:41:21 +0100 | waldo | (~waldo@user/waldo) |
| 2024-01-05 18:42:20 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-01-05 18:44:16 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a52e:6d05:4696:6c93) (Remote host closed the connection) |
| 2024-01-05 18:46:34 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Remote host closed the connection) |
| 2024-01-05 18:46:34 +0100 | paul_j` | (~user@8.190.187.81.in-addr.arpa) (Remote host closed the connection) |
| 2024-01-05 18:46:54 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a52e:6d05:4696:6c93) |
| 2024-01-05 18:47:22 +0100 | td_ | (~td@i5387091D.versanet.de) (Ping timeout: 260 seconds) |
| 2024-01-05 18:48:05 +0100 | td_ | (~td@i53870927.versanet.de) |
| 2024-01-05 18:48:15 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2024-01-05 18:49:52 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) |
| 2024-01-05 18:49:55 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2024-01-05 18:52:07 +0100 | michalz | (~michalz@185.246.207.221) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-01-05 19:00:10 +0100 | nurupo | (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
| 2024-01-05 19:01:14 +0100 | nurupo | (~nurupo.ga@user/nurupo) |
| 2024-01-05 19:02:03 +0100 | mfaathirarsa | (~Thunderbi@2001:448a:2010:476e:48cd:a864:f290:93b2) (Quit: mfaathirarsa) |
| 2024-01-05 19:07:24 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a52e:6d05:4696:6c93) (Remote host closed the connection) |
| 2024-01-05 19:18:01 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2024-01-05 19:18:42 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2024-01-05 19:25:44 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-01-05 19:25:50 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4930:80a7:d767:a681) |
| 2024-01-05 19:30:29 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 240 seconds) |
| 2024-01-05 19:31:40 +0100 | <phma> | Is hackage-admin an appropriate place to ask that the Hackage compiler be upgraded? |
| 2024-01-05 19:32:47 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-01-05 19:34:12 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-01-05 19:38:29 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2024-01-05 19:42:10 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-05 19:44:00 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-01-05 19:51:36 +0100 | <EvanR> | are you using especially new-age features in your hackage package? |
| 2024-01-05 19:51:39 +0100 | <EvanR> | what's the issue |
| 2024-01-05 19:53:24 +0100 | <c_wraith> | IIRC, using a function in base that's newer |
| 2024-01-05 19:53:41 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 245 seconds) |
| 2024-01-05 19:56:15 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 252 seconds) |
| 2024-01-05 19:56:22 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-05 19:57:13 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-05 19:58:50 +0100 | <phma> | I'm using (.>>.) and friends |
| 2024-01-05 20:00:00 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-01-05 20:01:03 +0100 | incertia_ | (~incertia@209.122.137.252) |
| 2024-01-05 20:01:11 +0100 | incertia | (~incertia@209.122.137.252) (Ping timeout: 245 seconds) |
| 2024-01-05 20:01:11 +0100 | incertia_ | incertia |
| 2024-01-05 20:01:51 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:7c8e:db5b:e3ae:c26a) (Ping timeout: 256 seconds) |
| 2024-01-05 20:02:09 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-01-05 20:02:46 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-01-05 20:04:17 +0100 | <EvanR> | :t (.>>.) |
| 2024-01-05 20:04:18 +0100 | <lambdabot> | error: Variable not in scope: .>>. |
| 2024-01-05 20:06:10 +0100 | <phma> | 3 .<<. 8 .^. 22 |
| 2024-01-05 20:06:25 +0100 | Fansly | (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
| 2024-01-05 20:07:50 +0100 | <EvanR> | cool |
| 2024-01-05 20:12:21 +0100 | <mauke> | is that like `shiftL`? |
| 2024-01-05 20:12:38 +0100 | <monochrom> | yeah |
| 2024-01-05 20:14:49 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 246 seconds) |
| 2024-01-05 20:16:05 +0100 | Fansly | (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
| 2024-01-05 20:16:07 +0100 | Fare | (~fare@pool-71-185-54-59.phlapa.fios.verizon.net) |
| 2024-01-05 20:17:11 +0100 | <Fare> | Historical question: since when is Haskell a practical language? When did @edwardk start making plenty of libraries? Are the two about at the same time? |
| 2024-01-05 20:17:45 +0100 | <mauke> | define "practical" |
| 2024-01-05 20:18:00 +0100 | <Fare> | mauke: you tell me. |
| 2024-01-05 20:18:03 +0100 | <mauke> | no u |
| 2024-01-05 20:18:34 +0100 | <Fare> | capable of doing tasks that Perl5, Python, or whichever language-of-the-day would have otherwise been used for. |
| 2024-01-05 20:18:41 +0100 | <c_wraith> | long before lens |
| 2024-01-05 20:18:54 +0100 | <haskellbridge> | 15<Jade> From the very first version of the compiler |
| 2024-01-05 20:19:06 +0100 | <haskellbridge> | 15<Jade> but if that's the bar then brainfuck and malbolge make it to |
| 2024-01-05 20:19:11 +0100 | <EvanR> | if I was able to do those tasks in javascript circa 2000, then anything is possible |
| 2024-01-05 20:19:13 +0100 | <haskellbridge> | 15<Jade> s/to/too |
| 2024-01-05 20:19:26 +0100 | <Fare> | there's obviously a lot of subjectivity there—but I expect an S curve such that whichever arbitrary threshhold criteria you choose the answer would be at about the same time. |
| 2024-01-05 20:20:02 +0100 | <EvanR> | to clarify the question, about what time period did edk become proficient in haskell |
| 2024-01-05 20:20:08 +0100 | <c_wraith> | I'd say that a lot of significant improvements were made in the 6.x series |
| 2024-01-05 20:20:22 +0100 | <mauke> | cabal was first released in 2005 |
| 2024-01-05 20:20:26 +0100 | <mauke> | I'd say that's a lower bound |
| 2024-01-05 20:20:42 +0100 | <EvanR> | was that an actual improvement? xD |
| 2024-01-05 20:20:55 +0100 | <Fare> | So mid-2000s is a good estimate? |
| 2024-01-05 20:20:57 +0100 | <EvanR> | 2005 cabal is released, 2006 cabal hell is coined |
| 2024-01-05 20:21:37 +0100 | <haskellbridge> | 06<sm> you could arbitrarily pick "when Real World Haskell was published" |
| 2024-01-05 20:22:07 +0100 | <haskellbridge> | 06<sm> (2008) |
| 2024-01-05 20:22:35 +0100 | <c_wraith> | 2008 is when I started using it professionally, fwiw |
| 2024-01-05 20:22:41 +0100 | <mauke> | xmonad is from 2007 |
| 2024-01-05 20:23:20 +0100 | <haskellbridge> | 06<sm> for me it was "when stack made non-trivial haskell programs & scripts repeatable" |
| 2024-01-05 20:24:02 +0100 | <monochrom> | Perhaps Pandoc also provides a time reference. |
| 2024-01-05 20:25:05 +0100 | <mauke> | darcs is from 2003, pandoc from 2006 |
| 2024-01-05 20:25:42 +0100 | <Fare> | Other historical question: the relationship between Haskell typeclasses and OO. The founding article clearly mentions ad hoc polymorphism, alludes to a relationship between (type) classes and objects, and cites several papers about typing object systems. But otherwise plenty of Haskellers try to pretend that typeclasses have nothing to do with OO. Is there a bibliography and/or sub-school of Haskellers who embrace and explore the |
| 2024-01-05 20:25:42 +0100 | <Fare> | relationship between typeclasses and OO ? |
| 2024-01-05 20:26:05 +0100 | haskellbridge | 06<sm> started shipping haskell to cross-platform end users in 2008 |
| 2024-01-05 20:26:17 +0100 | <haskellbridge> | 06<sm> but darcs definitely counts as useful |
| 2024-01-05 20:26:58 +0100 | <monochrom> | Ugh not pretend. |
| 2024-01-05 20:27:25 +0100 | <monochrom> | In pedagogical contexts, type classes are best taught as having nothing to do with OO. |
| 2024-01-05 20:27:35 +0100 | <Rembane> | Fare: Which article do you refer to? |
| 2024-01-05 20:27:44 +0100 | <haskellbridge> | 06<sm> (outside compiler tools, was darcs the first successful haskell app ?) |
| 2024-01-05 20:28:01 +0100 | <Fare> | "How to make ad-hoc polymorphism less ad hoc", Wadler & Blott, 1989 |
| 2024-01-05 20:28:14 +0100 | <mauke> | not "nothing to do with", but the concepts don't map directly, and OO-style class design doesn't really work for haskell |
| 2024-01-05 20:28:17 +0100 | <haskellbridge> | 06<sm> no doubt I'm missing tons of great apps that had a short earlier lifespan |
| 2024-01-05 20:28:36 +0100 | <sclv> | definitely the 6.0 series is the turning point because that's when multicore hit, but imho it wasn't really usable until maybe the mid 6s, so that's also circa 2005 |
| 2024-01-05 20:28:44 +0100 | <monochrom> | But of course in theoretical contexts, we can discuss relations. |
| 2024-01-05 20:28:47 +0100 | <haskellbridge> | 06<sm> but I can't think of one that had a large user base |
| 2024-01-05 20:29:13 +0100 | <monochrom> | But tautologically, in theoretical contexts, everything is "related" to everything. That contains zero information. |
| 2024-01-05 20:29:23 +0100 | <sclv> | first release of bytestring is circa 2005, first upload to hackage 2007 https://hackage.haskell.org/package/bytestring-0.9 |
| 2024-01-05 20:29:43 +0100 | <Rembane> | Fare: They refer to Python as related work IIRC, and that's lovely imo, but it's more inspirational than has a clear relation imo. |
| 2024-01-05 20:29:51 +0100 | <sclv> | Fare: have you read the "history of haskell" "being lazy with class" article? it covers a lot of this stuff! |
| 2024-01-05 20:29:56 +0100 | <mauke> | Fare: https://okmij.org/ftp/Computation/typeclass.html#Kaes |
| 2024-01-05 20:30:45 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-01-05 20:30:58 +0100 | <sclv> | there's been some toy attempts, including from oleg to do OO in haskell. but typeclasses really are quite diffrent, they just sometimes happen to use similar typing tech. |
| 2024-01-05 20:31:27 +0100 | <haskellbridge> | 06<sm> FWIW yesterday's "Rob Pike - What We Got Right, What We Got Wrong" video has some nice discussion of Go's interfaces, and how it was their answer to OO. And how they got prof. Wadler to help fix their type system. Made me wonder what are the essential differences between go interfaces and haskell typeclasses. |
| 2024-01-05 20:32:26 +0100 | <haskellbridge> | 06<sm> https://www.youtube.com/watch?v=yE5Tpp2BSGw&t=5s |
| 2024-01-05 20:32:43 +0100 | <mauke> | heh |
| 2024-01-05 20:32:56 +0100 | <sclv> | cf "haskell's overlooked object system" https://arxiv.org/abs/cs/0509027 |
| 2024-01-05 20:32:57 +0100 | <mauke> | didn't Wadler also work on Java generics? |
| 2024-01-05 20:33:04 +0100 | <Fare> | sclv, mauke: thanks a lot! Now I have way too much bibliography to read. |
| 2024-01-05 20:33:09 +0100 | <sclv> | not just work on, essentially invent |
| 2024-01-05 20:33:27 +0100 | <sclv> | it was a translation of his work on parametric polymorphism to an oo/inheritence context |
| 2024-01-05 20:33:57 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2024-01-05 20:34:56 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4930:80a7:d767:a681) (Remote host closed the connection) |
| 2024-01-05 20:37:42 +0100 | <monochrom> | History is also full of historical accidents. Type classes are much closer to C++ operator overloading than OO overloading (subclass overloading). It is a historical accident, not any real semantic relation, that the type class paper brought up OO instead of operator overloading. |
| 2024-01-05 20:37:58 +0100 | Hooloovoo | (~Hooloovoo@hax0rbana.org) (Remote host closed the connection) |
| 2024-01-05 20:38:09 +0100 | <monochrom> | Ironically, the word "overloaded" is overloaded, too. |
| 2024-01-05 20:38:23 +0100 | Hooloovoo | (~Hooloovoo@hax0rbana.org) |
| 2024-01-05 20:38:45 +0100 | <Fare> | @haskellbridge when was that? "<haskellbridge> <sm> for me it was "when stack made non-trivial haskell programs & scripts repeatable" |
| 2024-01-05 20:38:45 +0100 | <lambdabot> | Unknown command, try @list |
| 2024-01-05 20:38:50 +0100 | <Fare> | @haskellbridge when was that? "<haskellbridge> <sm> for me it was "when stack made non-trivial haskell programs & scripts repeatable" |
| 2024-01-05 20:38:50 +0100 | <monochrom> | operator overloading and subclass overloading are, like, completely unrelated. |
| 2024-01-05 20:39:23 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-05 20:39:54 +0100 | <mauke> | Fare: that was sm speaking :-) |
| 2024-01-05 20:40:24 +0100 | <haskellbridge> | 06<sm> 2015ish it looks like |
| 2024-01-05 20:40:30 +0100 | <Fare> | monochrom, my 2012 "Interface Passing Style" article bridges between class OO and typeclasses—with my "interfaces" being semantically isomorphic to the dictionaries that typeclasses desugar into. |
| 2024-01-05 20:40:35 +0100 | <c_wraith> | that's it. I'm going to use pseq instead of seq when it has the correct semantics, even when no parallelism or concurrency is involved. |
| 2024-01-05 20:42:06 +0100 | <Fare> | thank you so much guys for all the information! |
| 2024-01-05 20:42:33 +0100 | <Fare> | I may not have time to dig deeply into all of it before I publish the current paper on OO, but definitely for the next iteration. |
| 2024-01-05 20:42:40 +0100 | <monochrom> | Surely you are aware that the true proposition "Haskell can be desugared to x86 asm code" does not imply the false proposition "Haskell as x86 asm semantics"? |
| 2024-01-05 20:43:06 +0100 | <Fare> | it's a local desugaring after type resolution |
| 2024-01-05 20:43:14 +0100 | <monochrom> | Likewise, everyone already knows that OO and dictionary passing are isomorphic, no need to write an article for that. |
| 2024-01-05 20:43:37 +0100 | <monochrom> | However, type classes have coherence, dictionary passing doesn't. There is the mismatch. |
| 2024-01-05 20:43:59 +0100 | <Fare> | well the "dictionary" in traditional OO is attached to each object (vtable) rather than to the context (as in interface-passing style), so that's a difference. But the only real difference. |
| 2024-01-05 20:45:05 +0100 | <Fare> | the extra "coherence" I see is that typeclasses make the situation more symmetric wrt constructors, that are part of the protocol, rather than a magic call to new. |
| 2024-01-05 20:45:52 +0100 | <monochrom> | OK you don't understand type classes, you only understand dictionary passing. |
| 2024-01-05 20:46:00 +0100 | <Fare> | apart from that, the two approaches are so isomorphic that I could write a Lisp macro to do a local translation between the two. |
| 2024-01-05 20:46:41 +0100 | <Fare> | monochrom, what am I missing? |
| 2024-01-05 20:46:55 +0100 | <monochrom> | Your understanding of coherence is wrong. |
| 2024-01-05 20:46:56 +0100 | <Fare> | that isn't "just" the usual Haskell type inference? |
| 2024-01-05 20:47:15 +0100 | <Fare> | monochrom, please enlighten me (and/or link to papers/USENET flamewars that will) |
| 2024-01-05 20:52:00 +0100 | <monochrom> | Exercise: Implement a polymorphic binary-search-tree library, two versions. One version uses Ord. Another version uses dictionary passing. Find out and show how a user may misuse the 2nd version and cause themselves bugs, but this misuse is impossible with the 1st version. |
| 2024-01-05 20:53:18 +0100 | <mauke> | why does it smell like scala here |
| 2024-01-05 20:53:46 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving) |
| 2024-01-05 20:53:50 +0100 | <monochrom> | This is also similar to how Racket's run-time type "Any -> Any" (which is Racket's id's type, for lack of better choice) is not even remoted close to Haskell's "a -> a". |
| 2024-01-05 20:54:31 +0100 | gdown | (~gavin@h69-11-149-109.kndrid.broadband.dynamic.tds.net) |
| 2024-01-05 20:55:44 +0100 | <monochrom> | The impossibility of that kind of mistakes with the 1st version is what coherence is about. |
| 2024-01-05 20:58:27 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2024-01-05 20:59:59 +0100 | <sclv> | that's a good point about scala -- scala's "implicits" were an attempt to use a version of dictionary passing to do a form of local translation from typeclasses into an underlying OO mechanism. |
| 2024-01-05 21:00:16 +0100 | <sclv> | the result was absolutely not typeclasses, and there are a number of good papers comparing the approaches |
| 2024-01-05 21:01:35 +0100 | <sclv> | typeclasses have not only local but global properties in terms of their resolution. they're not possible to solve purely locally, especially with extensions such as type families or fundeps |
| 2024-01-05 21:04:30 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4930:80a7:d767:a681) |
| 2024-01-05 21:08:05 +0100 | Fare | (~fare@pool-71-185-54-59.phlapa.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2024-01-05 21:09:27 +0100 | paul_j` | (~user@8.190.187.81.in-addr.arpa) |
| 2024-01-05 21:13:49 +0100 | td_ | (~td@i53870927.versanet.de) (Ping timeout: 256 seconds) |
| 2024-01-05 21:14:05 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-01-05 21:15:40 +0100 | td_ | (~td@i53870917.versanet.de) |
| 2024-01-05 21:17:50 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 256 seconds) |
| 2024-01-05 21:17:50 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-05 21:18:01 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2024-01-05 21:18:42 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-05 21:19:01 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2024-01-05 21:19:40 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-01-05 21:24:55 +0100 | causal | (~eric@50.35.85.7) (Quit: WeeChat 4.1.1) |
| 2024-01-05 21:34:00 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2024-01-05 21:36:00 +0100 | Lycurgus | (~georg@li1192-118.members.linode.com) |
| 2024-01-05 21:36:00 +0100 | Lycurgus | (~georg@li1192-118.members.linode.com) (Changing host) |
| 2024-01-05 21:36:00 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-01-05 21:36:38 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-01-05 21:37:23 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-01-05 21:37:42 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4930:80a7:d767:a681) (Remote host closed the connection) |
| 2024-01-05 21:38:44 +0100 | paul_j`` | (~user@8.190.187.81.in-addr.arpa) |
| 2024-01-05 21:40:51 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Quit: Asta la vista) |
| 2024-01-05 21:40:51 +0100 | paul_j` | (~user@8.190.187.81.in-addr.arpa) (Quit: Asta la vista) |
| 2024-01-05 21:40:51 +0100 | paul_j`` | (~user@8.190.187.81.in-addr.arpa) (Client Quit) |
| 2024-01-05 21:41:14 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) |
| 2024-01-05 21:42:10 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2024-01-05 21:42:19 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Remote host closed the connection) |
| 2024-01-05 21:42:41 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) |
| 2024-01-05 21:43:17 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Remote host closed the connection) |
| 2024-01-05 21:45:23 +0100 | <EvanR> | type classes vs the world! |
| 2024-01-05 21:47:53 +0100 | <Franciman> | the awkward squad |
| 2024-01-05 21:47:58 +0100 | <Franciman> | what was the title of that paper? |
| 2024-01-05 21:48:34 +0100 | <Franciman> | ah tackling the awkward squad |
| 2024-01-05 21:48:36 +0100 | <geekosaur> | tackling the awkward squad |
| 2024-01-05 21:48:42 +0100 | <Franciman> | ty |
| 2024-01-05 21:49:32 +0100 | <EvanR> | How to make ad-hoc polymorphism less ad hoc |
| 2024-01-05 21:49:54 +0100 | <EvanR> | oh |
| 2024-01-05 21:51:04 +0100 | incertia_ | (~incertia@209.122.137.252) |
| 2024-01-05 21:52:07 +0100 | incertia | (~incertia@209.122.137.252) (Ping timeout: 268 seconds) |
| 2024-01-05 21:52:08 +0100 | incertia_ | incertia |
| 2024-01-05 22:03:45 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) |
| 2024-01-05 22:04:16 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 256 seconds) |
| 2024-01-05 22:09:19 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4930:80a7:d767:a681) |
| 2024-01-05 22:09:22 +0100 | ubert | (~Thunderbi@p200300ecdf15aa7e6ebc06f5f6cffa34.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-01-05 22:11:40 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2024-01-05 22:12:07 +0100 | Fijxu | (~Fijxu@user/fijxu) |
| 2024-01-05 22:12:30 +0100 | rvalue | (~rvalue@user/rvalue) (Quit: ZNC - https://znc.in) |
| 2024-01-05 22:12:45 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-05 22:14:50 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2024-01-05 22:15:59 +0100 | rvalue | (~rvalue@user/rvalue) (Client Quit) |
| 2024-01-05 22:16:17 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-01-05 22:18:27 +0100 | vglfr | (~vglfr@189.pool85-48-184.static.orange.es) |
| 2024-01-05 22:18:43 +0100 | vglfr | (~vglfr@189.pool85-48-184.static.orange.es) (Read error: Connection reset by peer) |
| 2024-01-05 22:18:48 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:157b:7ae2:54aa:2f19) |
| 2024-01-05 22:19:02 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) |
| 2024-01-05 22:19:35 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-01-05 22:25:11 +0100 | rvalue | (~rvalue@user/rvalue) (Quit: ZNC - https://znc.in) |
| 2024-01-05 22:26:13 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 276 seconds) |
| 2024-01-05 22:26:42 +0100 | random-jellyfish | (~developer@2a02:2f04:11e:c600:a7c8:d04:7c0d:7769) |
| 2024-01-05 22:26:43 +0100 | random-jellyfish | (~developer@2a02:2f04:11e:c600:a7c8:d04:7c0d:7769) (Changing host) |
| 2024-01-05 22:26:43 +0100 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-01-05 22:27:59 +0100 | <monochrom> | oh yeah I still need to watch the Type Class vs The World video! |
| 2024-01-05 22:32:01 +0100 | <yushyin> | and i need a link to that video! |
| 2024-01-05 22:32:04 +0100 | Fansly | (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 276 seconds) |
| 2024-01-05 22:32:27 +0100 | <EvanR> | https://www.youtube.com/watch?v=hIZxTQP1ifo |
| 2024-01-05 22:32:44 +0100 | pavonia | (~user@user/siracusa) |
| 2024-01-05 22:33:19 +0100 | <yushyin> | thx |
| 2024-01-05 22:50:55 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 276 seconds) |
| 2024-01-05 22:52:44 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-01-05 22:53:51 +0100 | vglfr | (~vglfr@142.pool85-48-184.static.orange.es) |
| 2024-01-05 22:54:12 +0100 | vglfr | (~vglfr@142.pool85-48-184.static.orange.es) (Read error: Connection reset by peer) |
| 2024-01-05 22:54:31 +0100 | vglfr | (~vglfr@234.red-88-6-215.staticip.rima-tde.net) |
| 2024-01-05 22:57:00 +0100 | Fansly | (~Fansly@2404:c0:2020::b50:e2a6) |
| 2024-01-05 22:57:14 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2024-01-05 22:59:08 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2024-01-05 22:59:41 +0100 | chomwitt | (~chomwitt@athedsl-99408.home.otenet.gr) |
| 2024-01-05 23:09:41 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 240 seconds) |
| 2024-01-05 23:20:24 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Quit: Leaving) |
| 2024-01-05 23:23:32 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2024-01-05 23:24:35 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2024-01-05 23:27:47 +0100 | Square | (~Square@user/square) |
| 2024-01-05 23:32:21 +0100 | mmhat | (~mmh@p200300f1c7323c1eee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.2) |
| 2024-01-05 23:36:02 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) (Ping timeout: 268 seconds) |
| 2024-01-05 23:36:20 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-01-05 23:37:19 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2024-01-05 23:39:55 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
| 2024-01-05 23:39:55 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-01-05 23:40:36 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2024-01-05 23:42:49 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2024-01-05 23:48:45 +0100 | pie__ | (~pie_bnc@user/pie/x-2818909) () |
| 2024-01-05 23:48:57 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2024-01-05 23:50:03 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) |
| 2024-01-05 23:50:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-01-05 23:55:25 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |