Logs: liberachat/#haskell
| 2025-11-11 12:17:24 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-11 12:18:11 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 2025-11-11 12:27:39 | → | fp1 joins (~Thunderbi@2001:708:150:10::7e06) |
| 2025-11-11 12:29:28 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 256 seconds) |
| 2025-11-11 12:29:28 | fp1 | is now known as fp |
| 2025-11-11 12:35:32 | × | Googulator33 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 12:35:49 | → | Googulator33 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 12:36:20 | → | fp1 joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-11-11 12:37:54 | × | fp quits (~Thunderbi@2001:708:150:10::7e06) (Ping timeout: 244 seconds) |
| 2025-11-11 12:37:54 | fp1 | is now known as fp |
| 2025-11-11 12:39:29 | × | tromp quits (~textual@2001:1c00:3487:1b00:bd50:5f58:be67:a48d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-11 12:42:33 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-11-11 12:44:27 | → | fp joins (~Thunderbi@wireless-86-50-140-45.open.aalto.fi) |
| 2025-11-11 12:52:16 | × | Inline quits (~inlinE@2a02:3035:673:88a7:64a3:d94e:b8fb:c889) (Ping timeout: 244 seconds) |
| 2025-11-11 12:55:55 | × | annamalai quits (~annamalai@157.33.216.97) (Ping timeout: 240 seconds) |
| 2025-11-11 13:00:25 | → | acarrico joins (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-11-11 13:01:19 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-11-11 13:05:42 | × | Googulator33 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 13:05:47 | → | Googulator74 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 13:07:47 | → | Inline joins (~inlinE@2001-4dd3-bded-0-719b-11b7-e341-7e20.ipv6dyn.netcologne.de) |
| 2025-11-11 13:09:44 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 13:09:57 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 13:16:26 | × | fp quits (~Thunderbi@wireless-86-50-140-45.open.aalto.fi) (Remote host closed the connection) |
| 2025-11-11 13:19:07 | × | qqe quits (~qqq@185.54.21.203) (Quit: Lost terminal) |
| 2025-11-11 13:30:39 | × | Googulator74 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 13:30:43 | → | Googulator37 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 13:51:14 | → | Googulator70 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 13:51:31 | × | Googulator37 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 13:53:51 | → | tromp joins (~textual@2001:1c00:3487:1b00:bd50:5f58:be67:a48d) |
| 2025-11-11 13:55:26 | → | YaShhhh joins (~YaShhhh@103.247.7.15) |
| 2025-11-11 13:59:50 | → | fp joins (~Thunderbi@130.233.70.206) |
| 2025-11-11 14:01:00 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-11-11 14:01:54 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-11-11 14:02:34 | × | fp quits (~Thunderbi@130.233.70.206) (Remote host closed the connection) |
| 2025-11-11 14:05:10 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-11 14:07:33 | → | annamalai joins (~annamalai@157.33.215.38) |
| 2025-11-11 14:09:15 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-11 14:10:56 | × | YaShhhh quits (~YaShhhh@103.247.7.15) (Quit: Client closed) |
| 2025-11-11 14:13:09 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-11 14:15:29 | × | Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 260 seconds) |
| 2025-11-11 14:16:34 | × | acarrico quits (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 256 seconds) |
| 2025-11-11 14:17:53 | × | synchromesh quits (~john@2406:5a00:2412:2c00:ed84:4ebe:de81:99a2) (Read error: Connection reset by peer) |
| 2025-11-11 14:18:32 | → | fp joins (~Thunderbi@2001:708:20:1406::1370) |
| 2025-11-11 14:18:35 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-11 14:19:09 | → | synchromesh joins (~john@2406:5a00:2412:2c00:ed84:4ebe:de81:99a2) |
| 2025-11-11 14:30:58 | <haskellbridge> | <Morj> I'm looking for excercises for learning and mastering haskell. I remembered two and I lost both |
| 2025-11-11 14:31:31 | <haskellbridge> | <sm> exercism is good |
| 2025-11-11 14:31:32 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Remote host closed the connection) |
| 2025-11-11 14:31:47 | → | Sidney joins (~Sidney@2600:4040:2678:9600:b1c4:ced3:242d:1252) |
| 2025-11-11 14:31:57 | <haskellbridge> | <Morj> There was a popular github repo with several very hard excercises, like «write function that when used with traverse will only go N steps deep into a tree», does anyone remember it? |
| 2025-11-11 14:32:32 | <haskellbridge> | <Morj> There was also a whole book for learning haskell, with similar tasks, but more for beginners, and I also forgot its name, would appreciate the guesses |
| 2025-11-11 14:33:11 | <haskellbridge> | <sm> https://github.com/l-Shane-l/haskell-katas |
| 2025-11-11 14:33:31 | <haskellbridge> | <sm> is another |
| 2025-11-11 14:34:48 | <haskellbridge> | <sm> https://joyful.com/Haskell+map#courses or https://joyful.com/Haskell+map#books might jog the memory |
| 2025-11-11 14:36:40 | × | orizuru quits (~orizuru@user/orizuru) (Ping timeout: 256 seconds) |
| 2025-11-11 14:37:05 | → | fp joins (~Thunderbi@wireless-86-50-140-45.open.aalto.fi) |
| 2025-11-11 14:37:28 | <Leary> | Morj: Perhaps https://github.com/effectfully-ou/haskell-challenges |
| 2025-11-11 14:37:42 | → | Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi) |
| 2025-11-11 14:38:08 | <haskellbridge> | <Morj> Leary: Thanks, this is the challenges I was thinking about |
| 2025-11-11 14:39:16 | <merijn> | @where exercises |
| 2025-11-11 14:39:16 | <lambdabot> | http://www.haskell.org/haskellwiki/H-99:_Ninety-Nine_Haskell_Problems https://github.com/bitemyapp/learnhaskell http://www.reddit.com/r/dailyprogrammer/ http://www.reddit.com/r/programmingchallenges/ |
| 2025-11-11 14:40:08 | <haskellbridge> | <Morj> sm: Those are the style I'm looking for, but the quality is not great |
| 2025-11-11 14:41:06 | → | Zemyla joins (~Zemyla@72.178.108.235) |
| 2025-11-11 14:41:43 | <Zemyla> | So both covariant and contravariant Functors have notions of two different monoids. |
| 2025-11-11 14:43:29 | <Zemyla> | class Times f where { one :: f (); times :: f a -> f b -> f (a, b) }; class Plus f where { zero :: f Void; plus :: f a -> f b -> f (Either a b) } |
| 2025-11-11 14:44:20 | <haskellbridge> | <Morj> merijn: 99 problems are cool, I'll use them too. But they're lacking lazyness and other haskell-specific things |
| 2025-11-11 14:45:09 | <Zemyla> | You'd need a way to witness the isomorphisms ((), a) ~ a ~ (a, ()) and Either Void a ~ a ~ Either a Void, which is difficult to do with both covariant and contravariant functors. |
| 2025-11-11 14:46:47 | <Zemyla> | I don't know if this is useful at all, but I'm thinking class Isofunctor f where { isomap :: AnIso' a b -> f a -> f b; (<$>#) :: Coercible a b -> p a b -> f a -> f b; (<$>#) = isomap coerce } |
| 2025-11-11 14:54:04 | × | Zemy quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-11 14:54:07 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2025-11-11 14:57:29 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.0) |
| 2025-11-11 14:57:38 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-11-11 14:57:55 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-11-11 14:58:24 | <Sidney> | Hi, I asked a few questions here last night but my computer crashed and now I don't have access to the answers I received. They were really high quality, so is there a way I can get access to them? I checked the logs for last night but I did not see any of the conversation. Thanks! |
| 2025-11-11 14:59:12 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-11-11 14:59:31 | <merijn> | Sidney: See the logs in the topic |
| 2025-11-11 14:59:52 | <merijn> | ah, you did >.> |
| 2025-11-11 15:00:23 | <merijn> | Are you sure you checked the right time? |
| 2025-11-11 15:00:49 | <merijn> | Note that the log timestamps are UTC+1, which might differ from wherever you are |
| 2025-11-11 15:01:38 | <Sidney> | Okay I will go back and check. Are you saying everything in the IRC is recorded so it should be there? |
| 2025-11-11 15:02:00 | <merijn> | Everything in this channel is |
| 2025-11-11 15:02:13 | <merijn> | Incidentally, I do see a question from you at 02:42 |
| 2025-11-11 15:02:19 | <merijn> | Not sure if that's the one you meant |
| 2025-11-11 15:02:39 | × | gorignak quits (~gorignak@user/gorignak) (Client Quit) |
| 2025-11-11 15:02:54 | <merijn> | And one earlier at 1:00: https://ircbrowse.tomsmeding.com/browse/lchaskell?id=1693741#trid1693741 |
| 2025-11-11 15:02:56 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-11-11 15:03:39 | <Sidney> | Just found it! Thank you so much |
| 2025-11-11 15:05:25 | × | fp quits (~Thunderbi@wireless-86-50-140-45.open.aalto.fi) (Ping timeout: 240 seconds) |
| 2025-11-11 15:05:50 | → | spew joins (~spew@user/spew) |
| 2025-11-11 15:07:25 | × | Zemyla quits (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-11 15:08:25 | × | Square2 quits (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-11-11 15:14:13 | → | j1n37 joins (~j1n37@user/j1n37) |
| 2025-11-11 15:14:26 | × | lucabtz quits (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-11-11 15:15:22 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-11 15:15:38 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-11-11 15:15:52 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2025-11-11 15:23:00 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-11-11 15:23:15 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-11-11 15:26:52 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2025-11-11 15:34:12 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
All times are in UTC.