Logs: liberachat/#haskell
| 2026-03-03 22:25:41 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-03 22:26:52 | × | durstloescher quits (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-03 22:27:56 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-03-03 22:30:59 | <chromoblob> | (ワサ)ビ = (ワビ)(サビ) |
| 2026-03-03 22:31:12 | <monochrom> | What does that mean? |
| 2026-03-03 22:32:17 | <chromoblob> | it's a reference to the S combinator playing on two unrelated Japanese words |
| 2026-03-03 22:32:38 | × | Googulator46 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-03 22:32:56 | → | Googulator46 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-03 22:33:09 | <monochrom> | Would be legal Haskell with extra spaces. :) |
| 2026-03-03 22:33:43 | <chromoblob> | wait, what? `(x y) z = ...`? |
| 2026-03-03 22:34:32 | <chromoblob> | or split only the right partd |
| 2026-03-03 22:34:36 | <chromoblob> | parts* |
| 2026-03-03 22:36:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-03 22:37:10 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 2026-03-03 22:38:29 | <yin> | is that <*> ? |
| 2026-03-03 22:39:19 | → | durstloescher joins (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 2026-03-03 22:41:10 | <int-e> | @pl \f g x -> f x (g x) |
| 2026-03-03 22:41:10 | <lambdabot> | ap |
| 2026-03-03 22:41:31 | <int-e> | also known as <*>... didn't we do this yesterday or two days ago |
| 2026-03-03 22:41:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 22:42:26 | × | v0id_7 quits (~v0id_7@user/v0id-7:62772) (Quit: whatever u sick fcks) |
| 2026-03-03 22:42:59 | <yin> | i was looking for |
| 2026-03-03 22:43:12 | <yin> | @pl uncurry g . (id && f) |
| 2026-03-03 22:43:12 | <lambdabot> | uncurry g . (id && f) |
| 2026-03-03 22:43:47 | <yin> | a week ago |
| 2026-03-03 22:45:19 | <yin> | int-e: and you responded with that exactly |
| 2026-03-03 22:48:50 | <int-e> | > (iterate (\c f -> f (c succ)) (\c -> 0) !! 42) id |
| 2026-03-03 22:48:51 | <lambdabot> | 41 |
| 2026-03-03 22:52:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-03 22:52:55 | <yin> | trying to parse that.. |
| 2026-03-03 22:56:48 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-03-03 22:57:27 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-03 22:59:39 | × | durstloescher quits (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-03 23:01:00 | × | shr\ke quits (~shrike@user/shrke:31298) (Ping timeout: 245 seconds) |
| 2026-03-03 23:01:53 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-03-03 23:04:44 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-03 23:04:48 | → | kilolympus6 joins (~kilolympu@vmi1102682.contaboserver.net) |
| 2026-03-03 23:04:59 | × | kilolympus quits (~kilolympu@vmi1102682.contaboserver.net) (Read error: Connection reset by peer) |
| 2026-03-03 23:04:59 | kilolympus6 | is now known as kilolympus |
| 2026-03-03 23:08:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-03 23:10:59 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-03-03 23:11:16 | → | shr\ke joins (~shrike@user/paxhumana) |
| 2026-03-03 23:11:16 | × | shr\ke quits (~shrike@user/paxhumana) (Changing host) |
| 2026-03-03 23:11:16 | → | shr\ke joins (~shrike@user/shrke:31298) |
| 2026-03-03 23:11:53 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-03 23:13:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 23:15:53 | × | tromp quits (~textual@2001:1c00:3487:1b00:bca6:b25a:741d:ca28) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-03 23:19:45 | <yin> | int-e: nice. you're extracting values from a pair with `c :: (Word -> Word) -> Word` right? that's equivalent to my `pre` |
| 2026-03-03 23:20:47 | <int-e> | yin: that's where it came from |
| 2026-03-03 23:22:07 | <yin> | did you derive it? it took me a long time to understand your version (it also took me a long time to understand mine) |
| 2026-03-03 23:22:52 | <int-e> | I've seen the lambda term before. I'm quite familiar with some of the themes around Church numerals. |
| 2026-03-03 23:23:35 | × | mange quits (~mange@user/mange) (Quit: Bye!) |
| 2026-03-03 23:24:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-03 23:24:35 | <int-e> | I think the best I've ever come up with myself was pred = \n f x -> n (\c a b -> c b (f b)) (\a b -> a) x x |
| 2026-03-03 23:24:40 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-03-03 23:24:43 | <yin> | is this technically cps? it feels like cps |
| 2026-03-03 23:25:41 | <int-e> | There are definitely continuations here. (That's why I like calling the argument 'c'. Though I messed up above; \c -> 0 should've been \f -> 0; it is a continuation but the argument isn't) |
| 2026-03-03 23:28:34 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-03-03 23:29:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 23:31:21 | <yin> | this is great |
| 2026-03-03 23:39:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-03 23:41:48 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-03-03 23:44:04 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2026-03-03 23:46:19 | <monochrom> | I prefer "k" to "c". :) |
| 2026-03-03 23:46:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-03 23:47:48 | <int-e> | Hi monokhrom |
| 2026-03-03 23:47:55 | <monochrom> | haha |
| 2026-03-03 23:50:34 | <yin> | > take 10 $ ($ id) <$> iterate (\c f -> f (c succ)) (const 0) |
| 2026-03-03 23:50:36 | <lambdabot> | [0,0,1,2,3,4,5,6,7,8] |
| 2026-03-03 23:50:45 | <monochrom> | kontinuashun https://lambdacats.github.io/delimited/ |
| 2026-03-03 23:51:21 | <EvanR> | yin, at the very least, define the missing operations with an error message denoting who to blame |
| 2026-03-03 23:51:32 | <EvanR> | is ワ lowercase or uppercase for the purposes of haskell? |
| 2026-03-03 23:51:53 | <chromoblob> | monochrom: neat |
| 2026-03-03 23:51:55 | <int-e> | > isLower 'ワ' |
| 2026-03-03 23:51:56 | <lambdabot> | False |
| 2026-03-03 23:52:03 | <yin> | EvanR: I mostly blame the Num typeclass itself |
| 2026-03-03 23:52:04 | <EvanR> | it's pretty big so seems like a constructor |
| 2026-03-03 23:52:04 | <int-e> | > isUpper 'ワ' |
| 2026-03-03 23:52:05 | <lambdabot> | False |
| 2026-03-03 23:52:14 | <chromoblob> | ... |
| 2026-03-03 23:52:21 | <int-e> | > let ワ = 1 in ワ |
| 2026-03-03 23:52:22 | <lambdabot> | 1 |
| 2026-03-03 23:52:31 | <int-e> | EvanR: I guess this makes it "lower case" |
| 2026-03-03 23:52:59 | <int-e> | I hope it isn't anything offensive ;) |
| 2026-03-03 23:53:16 | <int-e> | wah! |
| 2026-03-03 23:53:19 | int-e | runs |
| 2026-03-03 23:53:29 | <chromoblob> | > (not . isUpper) 'ワ' -- here, fixed :p |
| 2026-03-03 23:53:31 | <lambdabot> | True |
| 2026-03-03 23:54:04 | <int-e> | % data ワ = ワ |
| 2026-03-03 23:54:04 | <yahb2> | <interactive>:19:10: error: [GHC-25742] Not a data constructor: ‘ワ’ |
| 2026-03-03 23:54:25 | <int-e> | % data Xワ = Xワ |
| 2026-03-03 23:54:25 | <yahb2> | <no output> |
| 2026-03-03 23:54:31 | × | Square quits (~Square@user/square) (Ping timeout: 276 seconds) |
| 2026-03-03 23:54:34 | <int-e> | (that looks so wrong) |
| 2026-03-03 23:54:39 | <chromoblob> | % data ワ = Wa |
| 2026-03-03 23:54:39 | <yahb2> | <interactive>:23:6: error: [GHC-47568] ; Malformed head of type or class declaration: ワ |
| 2026-03-03 23:54:56 | <EvanR> | so it's like, yes upper is required for constructors |
| 2026-03-03 23:55:04 | <EvanR> | lower is not required for variables |
| 2026-03-03 23:55:35 | <EvanR> | the plot thickens |
| 2026-03-03 23:55:52 | <geekosaur> | yes and always has been. one of the annoyances with Haskell given scripts that lack the distinction (kanji, katakana, hangul, Arabic, Hebrew, etc.) |
All times are in UTC.