Logs: liberachat/#haskell
| 2026-02-20 10:53:48 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-02-20 10:54:00 | → | sefidel joins (~sefidel@user/sefidel) |
| 2026-02-20 10:54:05 | → | tromp joins (~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) |
| 2026-02-20 10:56:49 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-02-20 10:57:24 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-02-20 11:00:18 | → | qqq joins (~qqq@185.54.22.240) |
| 2026-02-20 11:02:03 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 268 seconds) |
| 2026-02-20 11:04:26 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Server closed connection) |
| 2026-02-20 11:04:37 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-02-20 11:05:55 | → | Pozyomka joins (~pyon@user/pyon) |
| 2026-02-20 11:10:49 | × | malte quits (~malte@mal.tc) (Ping timeout: 246 seconds) |
| 2026-02-20 11:12:04 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-02-20 11:27:53 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-02-20 11:32:16 | × | kaankeskin quits (~kaankeski@user/kaankeskin) (Server closed connection) |
| 2026-02-20 11:32:16 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 268 seconds) |
| 2026-02-20 11:32:36 | → | kaankeskin joins (~kaankeski@user/kaankeskin) |
| 2026-02-20 11:33:07 | × | qqq quits (~qqq@185.54.22.240) (Read error: Connection reset by peer) |
| 2026-02-20 11:33:50 | → | qqq joins (~qqq@185.54.22.240) |
| 2026-02-20 11:42:45 | → | tremon joins (~tremon@83.80.159.219) |
| 2026-02-20 11:42:48 | → | xff0x joins (~xff0x@2405:6580:b080:900:f414:1629:3dcb:8520) |
| 2026-02-20 11:46:23 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-02-20 11:46:51 | × | halloy7365 quits (~halloy736@2404:4400:a100:9177:29eb:6604:6ca8:ff8b) (Read error: Connection reset by peer) |
| 2026-02-20 11:47:33 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-20 11:47:34 | × | merijn quits (~merijn@77.242.116.146) (Read error: Connection reset by peer) |
| 2026-02-20 11:53:46 | × | Enrico63 quits (~Enrico63@host-82-56-209-65.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-20 12:00:02 | <gentauro> | anybody know if `.lhs` (Literate programming, Bird style) can be executed as a script? |
| 2026-02-20 12:00:45 | <gentauro> | it seems they don't like the `#! /usr/bin/env …` part |
| 2026-02-20 12:02:10 | × | fun-safe-math quits (~fun-safe-@97.115.234.213) () |
| 2026-02-20 12:02:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 12:04:25 | → | fun-safe-math joins (~fun-safe-@97.115.234.213) |
| 2026-02-20 12:04:59 | <gentauro> | oh, my bad. I was missing a `code-block` |
| 2026-02-20 12:06:16 | × | xelxebar quits (~xelxebar@42.203.199.104.bc.googleusercontent.com) (Server closed connection) |
| 2026-02-20 12:06:37 | → | xelxebar joins (~xelxebar@42.203.199.104.bc.googleusercontent.com) |
| 2026-02-20 12:12:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-02-20 12:20:16 | × | doyougnu quits (~doyougnu@38.175.72.111) (Server closed connection) |
| 2026-02-20 12:21:02 | → | doyougnu joins (~doyougnu@38.175.72.111) |
| 2026-02-20 12:21:43 | → | housemate joins (~housemate@202.7.248.67) |
| 2026-02-20 12:22:59 | × | Square3 quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 2026-02-20 12:23:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 12:29:27 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-20 12:39:29 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2026-02-20 12:40:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 12:46:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 12:51:51 | → | larsivi joins (~larsivi@user/larsivi) |
| 2026-02-20 12:56:17 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2026-02-20 12:56:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 13:01:41 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-20 13:05:37 | → | housemate_ joins (~housemate@202.7.248.67) |
| 2026-02-20 13:07:40 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-20 13:07:59 | × | housemate quits (~housemate@202.7.248.67) (Ping timeout: 260 seconds) |
| 2026-02-20 13:11:46 | × | redshuffle quits (~quassel@45.43.70.75) (Server closed connection) |
| 2026-02-20 13:11:53 | → | redshuffle joins (~quassel@45.43.70.75) |
| 2026-02-20 13:12:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 13:15:43 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2026-02-20 13:15:55 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-02-20 13:16:16 | × | deadnode666 quits (~deadnode6@user/deadnode666) (Server closed connection) |
| 2026-02-20 13:16:36 | → | deadnode666 joins (~deadnode6@user/deadnode666) |
| 2026-02-20 13:16:40 | × | housemate_ quits (~housemate@202.7.248.67) (Read error: Connection reset by peer) |
| 2026-02-20 13:17:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 13:23:06 | × | kilolympus quits (~kilolympu@vmi1102682.contaboserver.net) (Server closed connection) |
| 2026-02-20 13:23:26 | → | kilolympus joins (~kilolympu@vmi1102682.contaboserver.net) |
| 2026-02-20 13:25:35 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-02-20 13:27:26 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-02-20 13:28:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 13:31:54 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 268 seconds) |
| 2026-02-20 13:32:02 | → | castan joins (~castan@86.121.192.170) |
| 2026-02-20 13:33:36 | × | mfc_kbs quits (~keibisoft@2a06:1fc0:0:1::1cd) (Server closed connection) |
| 2026-02-20 13:33:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-20 13:33:54 | → | mfc_kbs joins (~keibisoft@2a06:1fc0:0:1::1cd) |
| 2026-02-20 13:35:39 | → | housemate joins (~housemate@pa49-178-146-220.pa.nsw.optusnet.com.au) |
| 2026-02-20 13:37:52 | <castan> | Hi. Is there a clean way to get this kind of composition: (c -> d) -> (a -> b -> c) -> a -> b -> d, without writing a new operator for it? |
| 2026-02-20 13:39:05 | <tomsmeding> | :t \f g -> (f .) . g |
| 2026-02-20 13:39:06 | <lambdabot> | (b -> c) -> (a1 -> a2 -> b) -> a1 -> a2 -> c |
| 2026-02-20 13:39:10 | <tomsmeding> | castan: ^ |
| 2026-02-20 13:39:21 | <tomsmeding> | whether that's clean enough I'll leave to you |
| 2026-02-20 13:39:45 | × | Googulator quits (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-20 13:39:48 | <castan> | That's great thanks |
| 2026-02-20 13:40:07 | → | Googulator joins (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-20 13:40:11 | <tomsmeding> | @djinn (c -> d) -> (a -> b -> c) -> a -> b -> d |
| 2026-02-20 13:40:11 | <lambdabot> | f a b c d = a (b c d) |
| 2026-02-20 13:40:27 | <tomsmeding> | @pl \a b c d -> a (b c d) |
| 2026-02-20 13:40:27 | <lambdabot> | (.) . (.) |
| 2026-02-20 13:40:30 | <tomsmeding> | heh |
| 2026-02-20 13:40:43 | <tomsmeding> | the downside of generic tools, they don't give you the nice middle road |
| 2026-02-20 13:41:10 | <castan> | yeah, it's impressive nevertheless |
| 2026-02-20 13:42:05 | <tomsmeding> | ah: |
| 2026-02-20 13:42:07 | <tomsmeding> | @pl \x y -> f (g x y) |
| 2026-02-20 13:42:08 | <lambdabot> | (f .) . g |
| 2026-02-20 13:42:20 | <castan> | oh wow |
| 2026-02-20 13:43:12 | <tomsmeding> | the @pl command is also here https://pointfree.io/ |
| 2026-02-20 13:44:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-20 13:47:14 | × | castan quits (~castan@86.121.192.170) (Quit: castan) |
| 2026-02-20 13:49:46 | × | Hafydd quits (~Hafydd@user/hafydd) (Server closed connection) |
| 2026-02-20 13:50:03 | → | Hafydd joins (~Hafydd@user/hafydd) |
| 2026-02-20 13:51:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 13:57:13 | gentauro | `(.) . (.)` :o |
| 2026-02-20 13:58:58 | <tomsmeding> | :t fmap fmap fmap |
| 2026-02-20 13:58:59 | <lambdabot> | (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b) |
| 2026-02-20 13:59:38 | <tomsmeding> | set f1 ~ (u ->) and f2 ~ (v ->) :) |
| 2026-02-20 13:59:48 | <haskellbridge> | <magic_rb> :t ((.) . (.)) . ((.) . (.)) |
All times are in UTC.