Newest at the top
| 2025-09-29 15:36:13 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-29 15:33:40 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-09-29 15:28:59 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-29 15:28:50 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 265 seconds) |
| 2025-09-29 15:28:31 +0200 | <yahb2> | [[[[[[11]]]]]] |
| 2025-09-29 15:28:31 +0200 | <tomsmeding> | % $(fMAP 6) (+1) [[[[[[10]]]]]] |
| 2025-09-29 15:28:23 +0200 | <yahb2> | <no output> |
| 2025-09-29 15:28:23 +0200 | <tomsmeding> | % fMAP :: Int -> Q Exp ; fMAP 0 = [| id |] ; fMAP n = [| fmap . $(fMAP (n - 1)) |] |
| 2025-09-29 15:28:14 +0200 | <yahb2> | <no output> |
| 2025-09-29 15:28:14 +0200 | <tomsmeding> | % import Language.Haskell.TH (Q, Exp) |
| 2025-09-29 15:28:02 +0200 | <yahb2> | <no output> |
| 2025-09-29 15:28:02 +0200 | <tomsmeding> | % :seti -XTemplateHaskell |
| 2025-09-29 15:26:20 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-29 15:16:59 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-29 15:15:47 +0200 | Googulator15 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 15:15:45 +0200 | Googulator40 | (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 15:11:45 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 15:11:19 +0200 | <kaol> | I stacked that many maybes, eithers, lists and 2-tuples together. I'm just amused by it, that's all. |
| 2025-09-29 15:09:31 +0200 | <yin> | i want a language based uniquely on folds |
| 2025-09-29 15:08:32 +0200 | <yin> | or maybe you need to study the art of origami |
| 2025-09-29 15:08:00 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) |
| 2025-09-29 15:07:56 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-29 15:07:42 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-29 15:06:46 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-09-29 15:04:51 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2025-09-29 15:03:43 +0200 | <merijn> | kaol: Maybe you need Compose? |
| 2025-09-29 15:02:41 +0200 | <kaol> | I feel ridiculous after composing six fmaps in a row. If it works it works. |
| 2025-09-29 15:00:27 +0200 | Googulator40 | (~Googulato@193-226-241-153.pool.digikabel.hu) |
| 2025-09-29 14:59:51 +0200 | Googulator40 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 14:53:55 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 2025-09-29 14:51:14 +0200 | ThePenguin | (~ThePengui@cust-95-80-28-221.csbnet.se) ThePenguin |
| 2025-09-29 14:51:01 +0200 | <yin> | ncf oh that's nice |
| 2025-09-29 14:50:14 +0200 | <yin> | i don't know |
| 2025-09-29 14:50:11 +0200 | <yin> | or rather (pure a)? |
| 2025-09-29 14:49:26 +0200 | <yin> | a <f> b = f <$> a <*> b |
| 2025-09-29 14:49:22 +0200 | ThePenguin | (~ThePengui@cust-95-80-28-221.csbnet.se) (Remote host closed the connection) |
| 2025-09-29 14:49:17 +0200 | <ncf> | well, i'm talking about the notation mcbride came up with, not that weird typeclass encoding. agda has this: https://agda.readthedocs.io/en/stable/language/syntactic-sugar.html#idiom-brackets |
| 2025-09-29 14:48:51 +0200 | <yin> | i want |
| 2025-09-29 14:48:49 +0200 | <yin> | not quite |
| 2025-09-29 14:48:31 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-29 14:47:18 +0200 | <yin> | ncf: wait are you talking about this? https://wiki.haskell.org/Idiom_brackets |
| 2025-09-29 14:43:12 +0200 | phm | (~peter@user/phm) phm |
| 2025-09-29 14:42:45 +0200 | <yin> | ncf: yes |
| 2025-09-29 14:42:38 +0200 | <ncf> | you just want idiom brackets |
| 2025-09-29 14:42:25 +0200 | <yin> | s/no/now |
| 2025-09-29 14:42:20 +0200 | <yin> | no have <f> mean (lift f) |
| 2025-09-29 14:42:03 +0200 | <yin> | lift f a b = liftA2 f (pure a) b |
| 2025-09-29 14:41:37 +0200 | <yin> | ok listen up |
| 2025-09-29 14:40:49 +0200 | <ncf> | (<*>) = liftA2 ($); (<$>) = liftA1 |
| 2025-09-29 14:40:02 +0200 | <ncf> | just don't do that with ($) or (*) and you'll be fine :) |