Newest at the top
| 2025-11-11 15:46:47 +0100 | <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 15:45:09 +0100 | <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 15:44:20 +0100 | <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 15:43:29 +0100 | <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 15:41:43 +0100 | <Zemyla> | So both covariant and contravariant Functors have notions of two different monoids. |
| 2025-11-11 15:41:06 +0100 | Zemyla | (~Zemyla@72.178.108.235) Zemyla |
| 2025-11-11 15:40:08 +0100 | <haskellbridge> | <Morj> sm: Those are the style I'm looking for, but the quality is not great |
| 2025-11-11 15:39:16 +0100 | <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 15:39:16 +0100 | <merijn> | @where exercises |
| 2025-11-11 15:38:08 +0100 | <haskellbridge> | <Morj> Leary: Thanks, this is the challenges I was thinking about |
| 2025-11-11 15:37:42 +0100 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) Tuplanolla |
| 2025-11-11 15:37:28 +0100 | <Leary> | Morj: Perhaps https://github.com/effectfully-ou/haskell-challenges |
| 2025-11-11 15:37:05 +0100 | fp | (~Thunderbi@wireless-86-50-140-45.open.aalto.fi) fp |
| 2025-11-11 15:36:40 +0100 | orizuru | (~orizuru@user/orizuru) (Ping timeout: 256 seconds) |
| 2025-11-11 15:34:48 +0100 | <haskellbridge> | <sm> https://joyful.com/Haskell+map#courses or https://joyful.com/Haskell+map#books might jog the memory |
| 2025-11-11 15:33:31 +0100 | <haskellbridge> | <sm> is another |
| 2025-11-11 15:33:11 +0100 | <haskellbridge> | <sm> https://github.com/l-Shane-l/haskell-katas |
| 2025-11-11 15:32:32 +0100 | <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 15:31:57 +0100 | <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 15:31:47 +0100 | Sidney | (~Sidney@2600:4040:2678:9600:b1c4:ced3:242d:1252) |
| 2025-11-11 15:31:32 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Remote host closed the connection) |
| 2025-11-11 15:31:31 +0100 | <haskellbridge> | <sm> exercism is good |
| 2025-11-11 15:30:58 +0100 | <haskellbridge> | <Morj> I'm looking for excercises for learning and mastering haskell. I remembered two and I lost both |
| 2025-11-11 15:19:09 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:ed84:4ebe:de81:99a2) synchromesh |
| 2025-11-11 15:18:35 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-11 15:18:32 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-11-11 15:17:53 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:ed84:4ebe:de81:99a2) (Read error: Connection reset by peer) |
| 2025-11-11 15:16:34 +0100 | acarrico | (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 256 seconds) |
| 2025-11-11 15:15:29 +0100 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 260 seconds) |
| 2025-11-11 15:13:09 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-11 15:10:56 +0100 | YaShhhh | (~YaShhhh@103.247.7.15) (Quit: Client closed) |
| 2025-11-11 15:09:15 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-11 15:07:33 +0100 | annamalai | (~annamalai@157.33.215.38) annamalai |
| 2025-11-11 15:05:10 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-11 15:02:34 +0100 | fp | (~Thunderbi@130.233.70.206) (Remote host closed the connection) |
| 2025-11-11 15:01:54 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-11 15:01:00 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-11-11 14:59:50 +0100 | fp | (~Thunderbi@130.233.70.206) fp |
| 2025-11-11 14:55:26 +0100 | YaShhhh | (~YaShhhh@103.247.7.15) |
| 2025-11-11 14:53:51 +0100 | tromp | (~textual@2001:1c00:3487:1b00:bd50:5f58:be67:a48d) |
| 2025-11-11 14:51:31 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 14:51:14 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 14:30:43 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 14:30:39 +0100 | Googulator74 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 14:19:07 +0100 | qqe | (~qqq@185.54.21.203) (Quit: Lost terminal) |
| 2025-11-11 14:16:26 +0100 | fp | (~Thunderbi@wireless-86-50-140-45.open.aalto.fi) (Remote host closed the connection) |
| 2025-11-11 14:09:57 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 14:09:44 +0100 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 14:07:47 +0100 | Inline | (~inlinE@2001-4dd3-bded-0-719b-11b7-e341-7e20.ipv6dyn.netcologne.de) Inline |
| 2025-11-11 14:05:47 +0100 | Googulator74 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |