2024-07-09 00:00:57 +0200 | barryfm | (~barry@2603-9001-5200-3c11-61d7-4e09-c237-4618.inf6.spectrum.com) (Quit: done testing) |
2024-07-09 00:02:52 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb54ed0c585686c79895.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
2024-07-09 00:07:58 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 268 seconds) |
2024-07-09 00:08:36 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 268 seconds) |
2024-07-09 00:09:07 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2024-07-09 00:09:46 +0200 | mikess | (~mikess@user/mikess) |
2024-07-09 00:14:36 +0200 | gentauro | (~gentauro@user/gentauro) |
2024-07-09 00:14:45 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 268 seconds) |
2024-07-09 00:16:06 +0200 | mikess | (~mikess@user/mikess) |
2024-07-09 00:16:06 +0200 | barthandelous01 | (barth@triton.blinkenshell.org) (Ping timeout: 252 seconds) |
2024-07-09 00:18:47 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
2024-07-09 00:19:11 +0200 | barthandelous01 | (barth@triton.blinkenshell.org) |
2024-07-09 00:19:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-07-09 00:20:18 +0200 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
2024-07-09 00:23:54 +0200 | kuribas | (~user@ptr-17d51emdouonjysweaf.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
2024-07-09 00:24:44 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-07-09 00:28:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-07-09 00:29:36 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-07-09 00:41:16 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-07-09 00:46:10 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-07-09 00:48:32 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
2024-07-09 00:51:55 +0200 | CiaoSen | (~Jura@2a05:5800:2b5:d500:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
2024-07-09 00:55:58 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-07-09 01:03:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-07-09 01:15:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-07-09 01:15:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-07-09 01:15:58 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
2024-07-09 01:27:28 +0200 | <haskellbridge> | <thirdofmay18081814goya> anyone know of an actual backend's source code somewhere i can look at |
2024-07-09 01:27:32 +0200 | <haskellbridge> | <thirdofmay18081814goya> in haskell |
2024-07-09 01:29:36 +0200 | <Axman6> | backend of what? |
2024-07-09 01:31:19 +0200 | <haskellbridge> | <thirdofmay18081814goya> web page |
2024-07-09 01:31:49 +0200 | <haskellbridge> | <thirdofmay18081814goya> webserver/db/effect system |
2024-07-09 01:31:55 +0200 | <haskellbridge> | <thirdofmay18081814goya> +with |
2024-07-09 01:32:57 +0200 | <haskellbridge> | <thirdofmay18081814goya> * system/etc |
2024-07-09 01:37:39 +0200 | yin | (~yin@user/zero) (Ping timeout: 260 seconds) |
2024-07-09 01:39:36 +0200 | <davean> | Many of the xkcd April 1st comics are open sourced. They're all rush jobs but they're open sourced. I wouldn't call them ideal examples - nothing put together with a few days from concept to release is anything but shortcuts, but they're out there. |
2024-07-09 01:43:06 +0200 | barryfm | (~barry@2603-9001-5200-3c11-61d7-4e09-c237-4618.inf6.spectrum.com) |
2024-07-09 01:46:19 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-09 01:46:52 +0200 | yin | (~yin@user/zero) |
2024-07-09 01:47:38 +0200 | <cheater> | they're in haskell? |
2024-07-09 01:47:48 +0200 | <cheater> | davean: |
2024-07-09 01:48:26 +0200 | <davean> | Yes? |
2024-07-09 01:48:37 +0200 | <cheater> | oh cool |
2024-07-09 01:50:35 +0200 | barryfm | (~barry@2603-9001-5200-3c11-61d7-4e09-c237-4618.inf6.spectrum.com) (Quit: wrong site) |
2024-07-09 01:51:48 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
2024-07-09 01:52:10 +0200 | barryfm | (~barry@2603-9001-5200-3c11-61d7-4e09-c237-4618.inf6.spectrum.com) |
2024-07-09 01:52:46 +0200 | barryfm | (~barry@2603-9001-5200-3c11-61d7-4e09-c237-4618.inf6.spectrum.com) (Remote host closed the connection) |
2024-07-09 01:56:47 +0200 | barryfm | (~barry@2603-9001-5200-3c11-61d7-4e09-c237-4618.inf6.spectrum.com) |
2024-07-09 01:59:28 +0200 | <xacktm> | there's 3 backend haskell examples for http://realworld.io |
2024-07-09 02:03:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-07-09 02:04:02 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-07-09 02:10:36 +0200 | <haskellbridge> | <thirdofmay18081814goya> xacktm: neat!! |
2024-07-09 02:11:29 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
2024-07-09 02:11:47 +0200 | yin | (~yin@user/zero) (Quit: Reconnecting) |
2024-07-09 02:14:27 +0200 | pierrot | (~pi@user/pierrot) (Read error: Connection reset by peer) |
2024-07-09 02:15:39 +0200 | pierrot | (~pi@user/pierrot) |
2024-07-09 02:17:03 +0200 | yin | (~yin@user/zero) |
2024-07-09 02:23:59 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-09 02:29:12 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
2024-07-09 02:29:25 +0200 | barryfm | (~barry@2603-9001-5200-3c11-61d7-4e09-c237-4618.inf6.spectrum.com) (ERC 5.6.1-git (IRC client for GNU Emacs 31.0.50)) |
2024-07-09 02:30:00 +0200 | <haskellbridge> | <thirdofmay18081814goya> what's a good book on software architecture in the fp paradigm? |
2024-07-09 02:46:25 +0200 | pyooque | (~puke@user/puke) |
2024-07-09 02:46:25 +0200 | puke | Guest1624 |
2024-07-09 02:46:25 +0200 | Guest1624 | (~puke@user/puke) (Killed (platinum.libera.chat (Nickname regained by services))) |
2024-07-09 02:46:25 +0200 | pyooque | puke |
2024-07-09 02:47:33 +0200 | puke | (~puke@user/puke) (Excess Flood) |
2024-07-09 02:48:02 +0200 | puke | (~puke@user/puke) |
2024-07-09 02:54:30 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
2024-07-09 02:56:17 +0200 | Eoco | (~ian@128.101.131.218) |
2024-07-09 03:01:24 +0200 | pyooque | (~puke@user/puke) |
2024-07-09 03:01:24 +0200 | puke | Guest5726 |
2024-07-09 03:01:24 +0200 | Guest5726 | (~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services))) |
2024-07-09 03:01:24 +0200 | pyooque | puke |
2024-07-09 03:01:43 +0200 | puke | (~puke@user/puke) (Remote host closed the connection) |
2024-07-09 03:02:58 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-07-09 03:03:48 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-09 03:08:39 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
2024-07-09 03:09:16 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7a48:d908:3a13:a68a) (Ping timeout: 268 seconds) |
2024-07-09 03:10:27 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
2024-07-09 03:10:49 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
2024-07-09 03:19:04 +0200 | rvalue- | (~rvalue@user/rvalue) |
2024-07-09 03:19:45 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
2024-07-09 03:22:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-07-09 03:22:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-07-09 03:26:26 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-07-09 03:26:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-07-09 03:26:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-07-09 03:26:48 +0200 | rvalue- | rvalue |
2024-07-09 03:27:04 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-07-09 03:27:18 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) (Ping timeout: 255 seconds) |
2024-07-09 03:29:59 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) |
2024-07-09 03:37:57 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
2024-07-09 03:44:35 +0200 | yin | (~yin@user/zero) |
2024-07-09 04:05:58 +0200 | <monochrom> | There is a "Functional Design And Architecture" but I have not read it, I have only seen that title. |
2024-07-09 04:08:08 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-07-09 04:19:25 +0200 | yin | (~yin@user/zero) (Ping timeout: 246 seconds) |
2024-07-09 04:33:51 +0200 | td_ | (~td@i53870918.versanet.de) (Ping timeout: 264 seconds) |
2024-07-09 04:35:12 +0200 | td_ | (~td@i53870918.versanet.de) |
2024-07-09 04:38:01 +0200 | Square | (~Square@user/square) |
2024-07-09 04:51:09 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2024-07-09 04:55:05 +0200 | ssimplex | (~jaksaf@2600:1702:1d00:2740:bdfc:485a:8ed0:9c79) |
2024-07-09 05:04:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
2024-07-09 05:11:22 +0200 | aforemny_ | (~aforemny@i59F516F8.versanet.de) |
2024-07-09 05:12:37 +0200 | aforemny | (~aforemny@i59F516FB.versanet.de) (Ping timeout: 268 seconds) |
2024-07-09 05:20:06 +0200 | husixu | (~husixu@2404:e801:2007:7f8:575c:9227:a99a:857f) |
2024-07-09 05:21:39 +0200 | husixu | (~husixu@2404:e801:2007:7f8:575c:9227:a99a:857f) (Client Quit) |
2024-07-09 05:27:22 +0200 | ssimplex | (~jaksaf@2600:1702:1d00:2740:bdfc:485a:8ed0:9c79) (Quit: Konversation terminated!) |
2024-07-09 05:36:58 +0200 | foul_owl | (~kerry@174-21-147-232.tukw.qwest.net) |
2024-07-09 05:45:54 +0200 | foul_owl | (~kerry@174-21-147-232.tukw.qwest.net) (Ping timeout: 268 seconds) |
2024-07-09 05:58:56 +0200 | foul_owl | (~kerry@185.219.141.164) |
2024-07-09 06:01:56 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-07-09 06:02:12 +0200 | tomku | (~tomku@user/tomku) |
2024-07-09 06:16:22 +0200 | madeleine-sydney | (~madeleine@c-71-229-185-228.hsd1.co.comcast.net) (Remote host closed the connection) |
2024-07-09 06:35:25 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-07-09 06:37:52 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
2024-07-09 06:53:42 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
2024-07-09 07:12:52 +0200 | danse-nr3 | (~danse-nr3@151.57.148.255) |
2024-07-09 07:15:51 +0200 | xdminsy | (~xdminsy@117.147.70.227) (Quit: Konversation terminated!) |
2024-07-09 07:16:07 +0200 | xdminsy | (~xdminsy@117.147.70.227) |
2024-07-09 07:25:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-07-09 07:31:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-09 07:37:58 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb57c19ed6e10438e1d8.dip0.t-ipconnect.de) |
2024-07-09 07:38:11 +0200 | danse-nr3 | (~danse-nr3@151.57.148.255) (Remote host closed the connection) |
2024-07-09 07:38:35 +0200 | danse-nr3 | (~danse-nr3@151.57.148.255) |
2024-07-09 07:42:34 +0200 | Square | (~Square@user/square) (Ping timeout: 264 seconds) |
2024-07-09 08:06:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-07-09 08:08:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-09 08:09:12 +0200 | tomku | (~tomku@user/tomku) (Remote host closed the connection) |
2024-07-09 08:09:26 +0200 | tomku | (~tomku@user/tomku) |
2024-07-09 08:17:04 +0200 | Inst_ | (~Inst@user/Inst) |
2024-07-09 08:20:04 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 268 seconds) |
2024-07-09 08:26:50 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-07-09 08:34:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-07-09 08:54:40 +0200 | micro_ | micro |
2024-07-09 08:56:13 +0200 | micro | (~micro@user/micro) (Quit: leaving) |
2024-07-09 08:56:25 +0200 | micro | (~micro@user/micro) |
2024-07-09 08:59:46 +0200 | xdminsy | (~xdminsy@117.147.70.227) (Quit: Konversation terminated!) |
2024-07-09 09:00:10 +0200 | xdminsy | (~xdminsy@117.147.70.227) |
2024-07-09 09:00:41 +0200 | chele | (~chele@user/chele) |
2024-07-09 09:02:24 +0200 | chele | (~chele@user/chele) (Client Quit) |
2024-07-09 09:03:36 +0200 | chele | (~chele@user/chele) |
2024-07-09 09:05:05 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
2024-07-09 09:10:35 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-07-09 09:12:36 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-07-09 09:20:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-07-09 09:25:38 +0200 | rosco | (~rosco@175.136.155.137) |
2024-07-09 09:26:44 +0200 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) (Quit: leaving) |
2024-07-09 09:34:15 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 4.1.1) |
2024-07-09 09:34:42 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
2024-07-09 09:38:29 +0200 | dhil | (~dhil@2001:8e0:2014:3100:94ea:1ca9:7cd8:3c51) |
2024-07-09 09:41:14 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-07-09 09:54:19 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-09 09:56:02 +0200 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) (Server closed connection) |
2024-07-09 09:56:19 +0200 | codedmart | (~codedmart@li335-49.members.linode.com) |
2024-07-09 09:57:21 +0200 | cpressey | (~weechat@176.254.71.203) |
2024-07-09 09:57:51 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-07-09 10:03:58 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
2024-07-09 10:05:57 +0200 | danse-nr3 | (~danse-nr3@151.57.148.255) (Ping timeout: 272 seconds) |
2024-07-09 10:10:25 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-07-09 10:12:20 +0200 | cpressey | (~weechat@176.254.71.203) (Quit: WeeChat 4.3.0) |
2024-07-09 10:15:51 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
2024-07-09 10:19:20 +0200 | gmg | (~user@user/gehmehgeh) |
2024-07-09 10:24:57 +0200 | <weechat2> | lain`: I do agree that some packages have poor documentation, and I consider `lens` to be one of them. Its documentation is only legible for powerusers that already understand the library. The fact that lens very heavily leaks implementation details left and right amplifies this problem often, you notice this in GHC diagnostics when some miscomposition is deferred and turned into bizarre |
2024-07-09 10:25:00 +0200 | <weechat2> | constraint errors. |
2024-07-09 10:25:03 +0200 | weechat2 | dminuoso |
2024-07-09 10:25:44 +0200 | <dminuoso> | It's part of why I generally recommend `optics` over `lens` to beginners. |
2024-07-09 10:28:55 +0200 | yin | (~yin@user/zero) |
2024-07-09 10:30:23 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
2024-07-09 10:39:35 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-07-09 10:42:32 +0200 | ubert | (~Thunderbi@p200300ecdf008f249faca444b85a825e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-07-09 10:45:36 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 268 seconds) |
2024-07-09 10:51:16 +0200 | rosco | (~rosco@175.136.155.137) |
2024-07-09 10:58:31 +0200 | danse-nr3 | (~danse-nr3@151.43.131.204) |
2024-07-09 10:59:18 +0200 | CiaoSen | (~Jura@2a05:5800:2b5:a700:e6b9:7aff:fe80:3d03) |
2024-07-09 11:00:15 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
2024-07-09 11:01:59 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-07-09 11:06:13 +0200 | ubert | (~Thunderbi@ip4d173675.dynamic.kabel-deutschland.de) |
2024-07-09 11:08:41 +0200 | yin | (~yin@user/zero) |
2024-07-09 11:09:31 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-07-09 11:12:29 +0200 | xdminsy | (~xdminsy@117.147.70.227) (Quit: Konversation terminated!) |
2024-07-09 11:12:53 +0200 | xdminsy | (~xdminsy@117.147.70.227) |
2024-07-09 11:15:50 +0200 | hc | (~hc@sing.esp.sg) (Quit: leaving) |
2024-07-09 11:16:23 +0200 | hc | (~hc@sing.esp.sg) |
2024-07-09 11:21:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-07-09 11:22:49 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-07-09 11:28:41 +0200 | hc | (~hc@sing.esp.sg) (Remote host closed the connection) |
2024-07-09 11:33:39 +0200 | cpressey | (~weechat@176.254.71.203) |
2024-07-09 11:40:15 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-07-09 11:49:55 +0200 | yin | (~yin@user/zero) (Ping timeout: 260 seconds) |
2024-07-09 11:50:54 +0200 | Guest15 | (~Guest15@2405:9800:b540:3a39:8153:6243:29c6:6697) |
2024-07-09 11:51:17 +0200 | <Guest15> | Hi 👋 |
2024-07-09 11:52:26 +0200 | <Guest15> | Is there a function or operator similar to &&& that works on nomadic functions? |
2024-07-09 11:53:08 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
2024-07-09 11:54:58 +0200 | <Guest15> | Something along the lines of `Applicative m => (a -> m b) -> (a -> m c) -> a -> m (b, c)` |
2024-07-09 11:56:23 +0200 | <mauke> | :t \f g x -> (,) <$> f x <*> g x |
2024-07-09 11:56:24 +0200 | <lambdabot> | Applicative f => (t -> f a1) -> (t -> f a2) -> t -> f (a1, a2) |
2024-07-09 11:56:34 +0200 | yin | (~yin@user/zero) |
2024-07-09 11:56:34 +0200 | <mauke> | @pl \f g x -> (,) <$> f x <*> g x |
2024-07-09 11:56:34 +0200 | <lambdabot> | ((((,) <$>) .) .) . liftM2 (<*>) |
2024-07-09 11:56:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:d43c:fb27:30d6:fcc3) |
2024-07-09 11:57:00 +0200 | hc | (~hc@2407:d200:d002:43:229:85:195:3) |
2024-07-09 11:57:13 +0200 | <Leary> | :t (liftA2 . liftA2) (,) |
2024-07-09 11:57:14 +0200 | <lambdabot> | (Applicative f1, Applicative f2) => f1 (f2 a) -> f1 (f2 b) -> f1 (f2 (a, b)) |
2024-07-09 11:57:28 +0200 | <mauke> | @pl \f g x -> liftA2 (,) (f x) (g x) |
2024-07-09 11:57:29 +0200 | <lambdabot> | liftM2 (liftA2 (,)) |
2024-07-09 11:58:42 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-07-09 12:02:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-09 12:07:01 +0200 | yin | (~yin@user/zero) (Ping timeout: 246 seconds) |
2024-07-09 12:09:18 +0200 | <mreh> | Every time I run this reflex command line tool (obelisk) it says "command not cached, building", taking ages. It's based on nix I think. |
2024-07-09 12:09:34 +0200 | Guest15 | (~Guest15@2405:9800:b540:3a39:8153:6243:29c6:6697) (Ping timeout: 250 seconds) |
2024-07-09 12:10:10 +0200 | Guest15 | (~Guest15@2405:9800:b540:3a39:8153:6243:29c6:6697) |
2024-07-09 12:10:54 +0200 | <Guest15> | :t bisequence |
2024-07-09 12:10:54 +0200 | <lambdabot> | error: |
2024-07-09 12:10:55 +0200 | <lambdabot> | • Variable not in scope: bisequence |
2024-07-09 12:10:55 +0200 | <lambdabot> | • Perhaps you meant one of these: |
2024-07-09 12:11:05 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
2024-07-09 12:11:08 +0200 | xacktm | (xacktm@user/xacktm) (Server closed connection) |
2024-07-09 12:11:22 +0200 | xacktm | (xacktm@user/xacktm) |
2024-07-09 12:11:35 +0200 | <Leary> | @let import Data.Bitraversable |
2024-07-09 12:11:36 +0200 | <lambdabot> | Defined. |
2024-07-09 12:11:39 +0200 | <Leary> | :t bitraverse |
2024-07-09 12:11:40 +0200 | <lambdabot> | (Bitraversable t, Applicative f) => (a -> f c) -> (b -> f d) -> t a b -> f (t c d) |
2024-07-09 12:13:13 +0200 | infinity0 | (~infinity0@pwned.gg) |
2024-07-09 12:13:41 +0200 | <Guest15> | :t \ f g -> bisequence (f &&& g) |
2024-07-09 12:13:41 +0200 | <lambdabot> | (Bitraversable t, Monoid c, Arrow t) => t (c, a) c -> t (c, a) b -> (c, t a b) |
2024-07-09 12:14:51 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: No route to host) |
2024-07-09 12:14:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-07-09 12:14:57 +0200 | <Guest15> | :t \ f g -> bisequence . (f &&& g) |
2024-07-09 12:14:58 +0200 | <lambdabot> | Applicative f => (a1 -> f a2) -> (a1 -> f b) -> a1 -> f (a2, b) |
2024-07-09 12:15:02 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-07-09 12:21:27 +0200 | rosco | (~rosco@175.136.155.137) |
2024-07-09 12:22:27 +0200 | Guest15 | (~Guest15@2405:9800:b540:3a39:8153:6243:29c6:6697) (Quit: Client closed) |
2024-07-09 12:57:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-09 13:07:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
2024-07-09 13:08:10 +0200 | euleritian | (~euleritia@dynamic-176-001-134-035.176.1.pool.telefonica.de) |
2024-07-09 13:08:45 +0200 | <Leary> | What does hackage support for public sublibraries look like? Is there any way to give them visible haddocks? |
2024-07-09 13:11:28 +0200 | euleritian | (~euleritia@dynamic-176-001-134-035.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-07-09 13:11:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-07-09 13:13:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-07-09 13:15:04 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
2024-07-09 13:19:45 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 272 seconds) |
2024-07-09 13:23:09 +0200 | danse-nr3 | (~danse-nr3@151.43.131.204) (Ping timeout: 252 seconds) |
2024-07-09 13:26:27 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-09 13:28:30 +0200 | cpressey | (~weechat@176.254.71.203) |
2024-07-09 13:31:29 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
2024-07-09 13:43:58 +0200 | destituion | (~destituio@2a02:2121:6bc:1a95:cb10:e092:4032:88f5) (Ping timeout: 246 seconds) |
2024-07-09 13:51:59 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2024-07-09 13:54:54 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-07-09 14:02:04 +0200 | destituion | (~destituio@2a02:2121:6bd:3eb7:4622:d39e:da46:9f21) |
2024-07-09 14:02:34 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
2024-07-09 14:04:10 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 268 seconds) |
2024-07-09 14:11:37 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-09 14:37:01 +0200 | yin | (~yin@user/zero) |
2024-07-09 14:48:45 +0200 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Server closed connection) |
2024-07-09 14:49:04 +0200 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
2024-07-09 14:50:27 +0200 | yin | (~yin@user/zero) (Quit: Reconnecting) |
2024-07-09 14:52:38 +0200 | tureba | (~tureba@tureba.org) (Server closed connection) |
2024-07-09 14:52:54 +0200 | tureba | (~tureba@tureba.org) |
2024-07-09 14:55:42 +0200 | yin | (~yin@user/zero) |
2024-07-09 14:58:33 +0200 | mechap | (~mechap@user/mechap) |
2024-07-09 14:59:29 +0200 | danse-nr3 | (~danse-nr3@151.57.177.166) |
2024-07-09 14:59:47 +0200 | danse-nr3 | (~danse-nr3@151.57.177.166) (Remote host closed the connection) |
2024-07-09 15:00:11 +0200 | danse-nr3 | (~danse-nr3@151.57.177.166) |
2024-07-09 15:01:50 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-07-09 15:01:50 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
2024-07-09 15:02:17 +0200 | hadronized | (~phaazon@2001:41d0:a:fe76::1) (Server closed connection) |
2024-07-09 15:02:34 +0200 | phaazon | (~phaazon@2001:41d0:a:fe76::1) |
2024-07-09 15:03:51 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-07-09 15:04:51 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-09 15:06:04 +0200 | cpressey | (~weechat@176.254.71.203) |
2024-07-09 15:07:11 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
2024-07-09 15:08:03 +0200 | liskin | (~liskin@xmonad/liskin) (Server closed connection) |
2024-07-09 15:08:22 +0200 | liskin | (~liskin@xmonad/liskin) |
2024-07-09 15:09:39 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
2024-07-09 15:15:59 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-07-09 15:20:57 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds) |
2024-07-09 15:21:59 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 272 seconds) |
2024-07-09 15:26:52 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
2024-07-09 15:32:57 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-07-09 15:32:57 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-07-09 15:32:57 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-09 15:40:43 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-07-09 15:45:49 +0200 | tabaqui | (~root@87.200.123.114) |
2024-07-09 15:55:01 +0200 | ystael | (~ystael@user/ystael) |
2024-07-09 15:59:31 +0200 | nisstyre | (wes@user/nisstyre) (Server closed connection) |
2024-07-09 15:59:50 +0200 | nisstyre | (wes@user/nisstyre) |
2024-07-09 16:06:33 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-09 16:10:54 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
2024-07-09 16:27:05 +0200 | sadome | (~sadome@182.69.182.169) |
2024-07-09 16:27:05 +0200 | sadome | (~sadome@182.69.182.169) (Changing host) |
2024-07-09 16:27:05 +0200 | sadome | (~sadome@user/sadome) |
2024-07-09 16:27:06 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
2024-07-09 16:31:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2024-07-09 16:32:18 +0200 | aku | (~aku@65.108.245.241) (Remote host closed the connection) |
2024-07-09 16:32:21 +0200 | euleritian | (~euleritia@dynamic-176-001-143-014.176.1.pool.telefonica.de) |
2024-07-09 16:33:15 +0200 | aku | (~aku@65.108.245.241) |
2024-07-09 16:35:52 +0200 | aku | (~aku@65.108.245.241) (Client Quit) |
2024-07-09 16:36:01 +0200 | aku | (aku@65.108.245.241) |
2024-07-09 16:50:31 +0200 | danse-nr3 | (~danse-nr3@151.57.177.166) (Ping timeout: 246 seconds) |
2024-07-09 16:54:49 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
2024-07-09 16:56:30 +0200 | danse-nr3 | (~danse-nr3@151.57.177.166) |
2024-07-09 17:04:31 +0200 | tinwood | (~tinwood@canonical/tinwood) (Server closed connection) |
2024-07-09 17:04:44 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
2024-07-09 17:04:44 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
2024-07-09 17:04:44 +0200 | tinwood | (~tinwood@canonical/tinwood) |
2024-07-09 17:09:40 +0200 | <[exa]> | Are there good ways to have optionally-imported instances? I've got a typeclass with a few very useful&convenient instances for the usual base types (Ints, lists, eithers, ...) BUT these are not "natural", there's a choice that others might do differently. I thought about putting these into say Data.MyClass.Instances which could be imported separately, but there ghc complains about orphan |
2024-07-09 17:09:42 +0200 | <[exa]> | instances. |
2024-07-09 17:12:53 +0200 | <[exa]> | hm I see that just adding -fno-warn-orphans to .Instances is pretty common across hackage |
2024-07-09 17:18:05 +0200 | danse-nr3 | (~danse-nr3@151.57.177.166) (Remote host closed the connection) |
2024-07-09 17:18:29 +0200 | danse-nr3 | (~danse-nr3@151.57.177.166) |
2024-07-09 17:20:46 +0200 | <EvanR> | it's interesting rust has basically the no orphans rule as well, are they just copying haskell or is this a good rule |
2024-07-09 17:31:34 +0200 | euleritian | (~euleritia@dynamic-176-001-143-014.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-07-09 17:31:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-07-09 17:33:24 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
2024-07-09 17:34:00 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 256 seconds) |
2024-07-09 17:34:50 +0200 | mechap | (~mechap@user/mechap) |
2024-07-09 17:36:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-07-09 17:36:55 +0200 | euleritian | (~euleritia@dynamic-176-001-143-014.176.1.pool.telefonica.de) |
2024-07-09 17:37:32 +0200 | danse-nr3 | (~danse-nr3@151.57.177.166) (Ping timeout: 268 seconds) |
2024-07-09 17:42:43 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
2024-07-09 17:46:21 +0200 | <yin> | good rule |
2024-07-09 17:46:47 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
2024-07-09 17:47:52 +0200 | <yin> | does rust have whole project compilation? |
2024-07-09 17:51:53 +0200 | turlando | (~turlando@user/turlando) (Remote host closed the connection) |
2024-07-09 17:53:09 +0200 | turlando | (~turlando@user/turlando) |
2024-07-09 17:56:26 +0200 | danse-nr3 | (~danse-nr3@151.57.177.166) |
2024-07-09 17:57:21 +0200 | danse-nr3 | (~danse-nr3@151.57.177.166) (Remote host closed the connection) |
2024-07-09 17:57:44 +0200 | danse-nr3 | (~danse-nr3@151.57.177.166) |
2024-07-09 17:57:47 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-09 17:58:10 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
2024-07-09 18:02:49 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-07-09 18:02:49 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-07-09 18:02:49 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-09 18:03:06 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
2024-07-09 18:06:41 +0200 | mikess | (~mikess@user/mikess) |
2024-07-09 18:09:49 +0200 | michalz | (~michalz@185.246.207.218) |
2024-07-09 18:14:30 +0200 | euleritian | (~euleritia@dynamic-176-001-143-014.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-07-09 18:14:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-07-09 18:17:40 +0200 | xdminsy | (~xdminsy@117.147.70.227) (Ping timeout: 256 seconds) |
2024-07-09 18:19:41 +0200 | madeleine-sydney | (~madeleine@c-71-229-185-228.hsd1.co.comcast.net) |
2024-07-09 18:21:32 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
2024-07-09 18:21:43 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
2024-07-09 18:22:05 +0200 | euleritian | (~euleritia@dynamic-176-001-143-014.176.1.pool.telefonica.de) |
2024-07-09 18:23:21 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-07-09 18:23:47 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 268 seconds) |
2024-07-09 18:27:03 +0200 | ubert | (~Thunderbi@ip4d173675.dynamic.kabel-deutschland.de) (Quit: ubert) |
2024-07-09 18:29:10 +0200 | <yin> | is there a more idiomatic way of doing this? |
2024-07-09 18:29:15 +0200 | <yin> | (>==) :: (a -> Either l r) -> (r -> b) -> a -> Either l b |
2024-07-09 18:29:17 +0200 | <yin> | a >== b = either Left (Right . b) . a |
2024-07-09 18:30:12 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-07-09 18:32:33 +0200 | <[exa]> | yin: sounds a lil bit like fmap fmap, lemme try |
2024-07-09 18:34:15 +0200 | <Leary> | :t \g f -> g >>> fmap f |
2024-07-09 18:34:16 +0200 | <lambdabot> | Functor f => (a1 -> f a2) -> (a2 -> b) -> a1 -> f b |
2024-07-09 18:35:24 +0200 | <Leary> | :t flip (fmap . fmap) |
2024-07-09 18:35:25 +0200 | <lambdabot> | (Functor f1, Functor f2) => f1 (f2 a) -> (a -> b) -> f1 (f2 b) |
2024-07-09 18:35:31 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 246 seconds) |
2024-07-09 18:35:54 +0200 | <EvanR> | "idiomatic" |
2024-07-09 18:36:12 +0200 | <EvanR> | write it however you want and never look at it again |
2024-07-09 18:36:28 +0200 | <EvanR> | @djinn (a -> Either l r) -> (r -> b) -> a -> Either l b |
2024-07-09 18:36:28 +0200 | <lambdabot> | f a b c = |
2024-07-09 18:36:28 +0200 | <lambdabot> | case a c of |
2024-07-09 18:36:28 +0200 | <lambdabot> | Left d -> Left d |
2024-07-09 18:36:28 +0200 | <lambdabot> | Right e -> Right (b e) |
2024-07-09 18:36:32 +0200 | <EvanR> | lol |
2024-07-09 18:37:26 +0200 | <Leary> | The most idiomatic way is to just use `fmap` and `(.)` inline, without bothering to name a sub-fairbairn function. |
2024-07-09 18:37:27 +0200 | Square | (~Square@user/square) |
2024-07-09 18:38:44 +0200 | <yin> | a sub what now? |
2024-07-09 18:38:53 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-07-09 18:39:28 +0200 | <EvanR> | and it looks unnecessarily specific to Either |
2024-07-09 18:39:41 +0200 | <Leary> | @where fairbairn |
2024-07-09 18:39:41 +0200 | <lambdabot> | https://mail.haskell.org/pipermail/libraries/2012-February/017548.html |
2024-07-09 18:41:01 +0200 | sm | (~znc@plaintextaccounting/sm) (Server closed connection) |
2024-07-09 18:41:08 +0200 | <EvanR> | the only thing you can do with arg1 and arg3 is apply them so that seems like beating around the bush, increasing complexity |
2024-07-09 18:41:21 +0200 | <EvanR> | just pass arg1 arg3 to something |
2024-07-09 18:42:14 +0200 | <EvanR> | thing being (fmap arg2) |
2024-07-09 18:42:45 +0200 | sm | (~znc@plaintextaccounting/sm) |
2024-07-09 18:45:51 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 264 seconds) |
2024-07-09 18:46:17 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-09 18:47:27 +0200 | tomku | (~tomku@user/tomku) |
2024-07-09 18:47:47 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2024-07-09 18:55:54 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
2024-07-09 18:56:42 +0200 | danse-nr3 | (~danse-nr3@151.57.177.166) (Read error: Connection reset by peer) |
2024-07-09 18:57:58 +0200 | danse-nr3 | (~danse-nr3@151.43.218.207) |
2024-07-09 19:02:31 +0200 | foul_owl | (~kerry@185.219.141.164) (Ping timeout: 260 seconds) |
2024-07-09 19:03:01 +0200 | <mauke> | :t \p f x -> second f (p x) |
2024-07-09 19:03:02 +0200 | <lambdabot> | (t -> (d, b)) -> (b -> c) -> t -> (d, c) |
2024-07-09 19:03:23 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-07-09 19:03:34 +0200 | <mauke> | :t \p f x -> Data.Bifunctor.second f (p x) |
2024-07-09 19:03:35 +0200 | <lambdabot> | Bifunctor p => (t -> p a b) -> (b -> c) -> t -> p a c |
2024-07-09 19:03:53 +0200 | <mauke> | I see |
2024-07-09 19:03:54 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-07-09 19:04:29 +0200 | CiaoSen | (~Jura@2a05:5800:2b5:a700:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
2024-07-09 19:04:32 +0200 | <probie> | :t \(f :: a -> Either l r) g -> fmap g . f |
2024-07-09 19:04:33 +0200 | <lambdabot> | (a -> Either l r) -> (r -> b) -> a -> Either l b |
2024-07-09 19:14:44 +0200 | rvalue | (~rvalue@user/rvalue) (Max SendQ exceeded) |
2024-07-09 19:15:48 +0200 | foul_owl | (~kerry@185.219.141.164) |
2024-07-09 19:16:49 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) |
2024-07-09 19:17:08 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-07-09 19:18:12 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-07-09 19:19:19 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
2024-07-09 19:20:27 +0200 | <ncf> | :t (<<&>>) |
2024-07-09 19:20:28 +0200 | <lambdabot> | error: Variable not in scope: <<&>> |
2024-07-09 19:21:53 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-07-09 19:21:53 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-07-09 19:21:53 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-09 19:21:55 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-07-09 19:22:22 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-07-09 19:27:12 +0200 | rvalue | (~rvalue@user/rvalue) (Max SendQ exceeded) |
2024-07-09 19:28:56 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-07-09 19:29:35 +0200 | nhar | (~noah@99-112-0-41.lightspeed.tukrga.sbcglobal.net) |
2024-07-09 19:30:01 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-07-09 19:30:33 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
2024-07-09 19:32:50 +0200 | <danse-nr3> | @hoogle (<<&>>) |
2024-07-09 19:32:51 +0200 | <lambdabot> | Data.Vinyl.Core (<<&>>) :: RMap rs => Rec f rs -> (forall x . f x -> g x) -> Rec g rs |
2024-07-09 19:32:51 +0200 | <lambdabot> | Data.Vinyl.Notation (<<&>>) :: RMap rs => Rec f rs -> (forall x . f x -> g x) -> Rec g rs |
2024-07-09 19:32:51 +0200 | <lambdabot> | Data.Vinyl.Recursive (<<&>>) :: Rec f rs -> (forall x . f x -> g x) -> Rec g rs |
2024-07-09 19:36:57 +0200 | <ncf> | nope |
2024-07-09 19:44:35 +0200 | cpressey | (~weechat@176.254.71.203) |
2024-07-09 19:45:57 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
2024-07-09 19:52:48 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-07-09 19:52:48 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-07-09 19:52:48 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-09 19:54:37 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 246 seconds) |
2024-07-09 19:56:17 +0200 | danse-nr3 | (~danse-nr3@151.43.218.207) (Remote host closed the connection) |
2024-07-09 19:56:41 +0200 | danse-nr3 | (~danse-nr3@151.43.218.207) |
2024-07-09 20:03:14 +0200 | <haskellbridge> | <linj> I am fascinated with haskell and I do not want to write another language at work. I want my first job to be a haskell one. Since there are few companies using haskell in my country, it probably also has to be a remote job. I find that almost all haskell job posts need some work experience. So I plan to stay at home after graduation and contribute to open source haskell projects for a few years, then try to find... |
2024-07-09 20:03:19 +0200 | <haskellbridge> | ... a remote haskell job. Will this plan give me a high possibility to write haskell as my first job? |
2024-07-09 20:07:15 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-07-09 20:07:29 +0200 | <EvanR> | it's highly possible |
2024-07-09 20:07:40 +0200 | <EvanR> | not to be confused with highly probably |
2024-07-09 20:08:00 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
2024-07-09 20:08:00 +0200 | <EvanR> | for better probability you should go to meetups in areas with significant haskell activity |
2024-07-09 20:08:19 +0200 | <EvanR> | then you're not some random guy on the internet |
2024-07-09 20:09:03 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) (Remote host closed the connection) |
2024-07-09 20:09:25 +0200 | <probie> | If you never accept a non-Haskell job, I'd say it's guaranteed that your first job would involve writing Haskell :p |
2024-07-09 20:09:53 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) |
2024-07-09 20:10:13 +0200 | <yin> | > fst () |
2024-07-09 20:10:15 +0200 | <lambdabot> | error: |
2024-07-09 20:10:15 +0200 | <lambdabot> | • Couldn't match expected type ‘(a, b0)’ with actual type ‘()’ |
2024-07-09 20:10:15 +0200 | <lambdabot> | • In the first argument of ‘fst’, namely ‘()’ |
2024-07-09 20:10:47 +0200 | <yin> | not guaranteed |
2024-07-09 20:11:13 +0200 | <haskellbridge> | <linj> 🤣 |
2024-07-09 20:14:06 +0200 | <haskellbridge> | <linj> I do not think there are haskell meetups in my country, but I think I get your point: connection is important |
2024-07-09 20:14:34 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 246 seconds) |
2024-07-09 20:15:48 +0200 | <haskellbridge> | <linj> I am not a native English speaker so I am a bit confused with the difference between highly possible and highly probably |
2024-07-09 20:18:28 +0200 | <EvanR> | I typoed |
2024-07-09 20:18:31 +0200 | <probie> | I think "highly probably" is a typo and should be "highly probable". I'd say "highly possible" means that it's likely there's a path to your goal, and "highly probable" means that it's likely you'll find that path |
2024-07-09 20:18:33 +0200 | <EvanR> | highly possible, highly probable |
2024-07-09 20:19:01 +0200 | <EvanR> | possible means probability greater than 0.0, probable means closer to 1.0 |
2024-07-09 20:20:12 +0200 | <probie> | Out of curiosity, what country? (perhaps someone here knows of a meetup) |
2024-07-09 20:21:02 +0200 | <haskellbridge> | <linj> china🙃 |
2024-07-09 20:21:04 +0200 | <danse-nr3> | get away from the slippery path as soon as you can linj, it's a painful one! |
2024-07-09 20:21:15 +0200 | <danse-nr3> | pretend haskell does not exist |
2024-07-09 20:21:32 +0200 | <danse-nr3> | (and nothing to do with china i just caught up on the chat later) |
2024-07-09 20:21:32 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2024-07-09 20:21:46 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
2024-07-09 20:21:57 +0200 | ft | (~ft@p4fc2ab80.dip0.t-ipconnect.de) |
2024-07-09 20:23:32 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2024-07-09 20:23:55 +0200 | <haskellbridge> | <linj> yeah, I also hope I never know haskell because then I can easily find a satisfied job |
2024-07-09 20:24:07 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-07-09 20:24:26 +0200 | <danse-nr3> | maybe you are still in time |
2024-07-09 20:24:27 +0200 | Lord_of_Life_ | Lord_of_Life |
2024-07-09 20:25:29 +0200 | <EvanR> | apparently there's a chinese haskell chat room somewhere |
2024-07-09 20:26:30 +0200 | <danse-nr3> | there definitely is, but is that a good recommendation? I haven't been segregated by language since decades |
2024-07-09 20:27:24 +0200 | <EvanR> | someone should tell whoever is in there to come here xD |
2024-07-09 20:27:48 +0200 | <danse-nr3> | i just wouldn't necessarily recommend it to a beginner |
2024-07-09 20:28:19 +0200 | <nhar> | \quit |
2024-07-09 20:28:29 +0200 | nhar | (~noah@99-112-0-41.lightspeed.tukrga.sbcglobal.net) (Quit: Lost terminal) |
2024-07-09 20:30:41 +0200 | <EvanR> | maybe there are leads for which city has the most haskell scene |
2024-07-09 20:32:40 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
2024-07-09 20:34:51 +0200 | danse-nr3 | (~danse-nr3@151.43.218.207) (Ping timeout: 272 seconds) |
2024-07-09 20:40:11 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Quit: m5zs7k) |
2024-07-09 20:40:35 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
2024-07-09 20:43:09 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
2024-07-09 20:45:43 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-09 20:46:48 +0200 | <monochrom> | Munich has an internationally known haskell meetup, just because they are the only one who spams the haskell mailing list. >:) |
2024-07-09 20:47:22 +0200 | <monochrom> | Actually one time one person complained. But no one else paid attention. :) |
2024-07-09 20:47:49 +0200 | dhil | (~dhil@2001:8e0:2014:3100:94ea:1ca9:7cd8:3c51) (Ping timeout: 246 seconds) |
2024-07-09 20:47:57 +0200 | <int-e> | spam filters are a thing |
2024-07-09 20:50:26 +0200 | <monochrom> | My perspective is that the community has been fine with it so a newcomer should learn the community consensus about these things instead of being fully of opinions. |
2024-07-09 20:50:52 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
2024-07-09 20:51:46 +0200 | <monochrom> | The same principle as the netiquette that when you join a forum you lurk for 6 months (yes that's right) to learn its culture before you dare to speak up for the first time. |
2024-07-09 20:52:29 +0200 | <int-e> | Well it would probably be a problem if every local Haskell meeting started doing that. |
2024-07-09 20:52:36 +0200 | int-e | shrugs |
2024-07-09 20:52:46 +0200 | <int-e> | Somehow, that hasn't happened. |
2024-07-09 20:53:15 +0200 | <[exa]> | kinda normal to just redirect these to a -meetup ML |
2024-07-09 20:54:02 +0200 | <monochrom> | Yeah this is where we actually prove that we are pragmatic. Instead of formalizing and theorizing the theoretical problem, we don't worry until it happens. >:) |
2024-07-09 20:54:37 +0200 | <int-e> | And it's certainly more on topic than [Haskell] HC@AIxIA: AI&Health Seminar Series (2024) - JULY 11 |
2024-07-09 20:58:16 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-07-09 20:58:16 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Client Quit) |
2024-07-09 20:59:49 +0200 | <monochrom> | Haha |
2024-07-09 21:00:21 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
2024-07-09 21:01:54 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2024-07-09 21:02:35 +0200 | madeleine-sydney | (~madeleine@c-71-229-185-228.hsd1.co.comcast.net) (Remote host closed the connection) |
2024-07-09 21:02:40 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
2024-07-09 21:18:29 +0200 | cpressey | (~weechat@176.254.71.203) |
2024-07-09 21:19:44 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-09 21:24:29 +0200 | <mreh> | does fmap . fmap have an alias? |
2024-07-09 21:24:54 +0200 | <mreh> | @hoogle (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b) |
2024-07-09 21:24:55 +0200 | <lambdabot> | Protolude (<<$>>) :: (Functor f, Functor g) => (a -> b) -> f (g a) -> f (g b) |
2024-07-09 21:24:55 +0200 | <lambdabot> | Protolude.Functor (<<$>>) :: (Functor f, Functor g) => (a -> b) -> f (g a) -> f (g b) |
2024-07-09 21:24:55 +0200 | <lambdabot> | Relude.Functor.Fmap (<<$>>) :: (Functor f, Functor g) => (a -> b) -> f (g a) -> f (g b) |
2024-07-09 21:25:35 +0200 | <mreh> | @hoogle (<<<$>>>) |
2024-07-09 21:25:36 +0200 | <lambdabot> | No results found |
2024-07-09 21:26:27 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 256 seconds) |
2024-07-09 21:27:01 +0200 | <mreh> | no prefix version, boo |
2024-07-09 21:27:22 +0200 | <mreh> | :t fmap fmap fmap |
2024-07-09 21:27:23 +0200 | <lambdabot> | (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b) |
2024-07-09 21:28:19 +0200 | <mreh> | :t fmap fmap fmap id |
2024-07-09 21:28:20 +0200 | <lambdabot> | (Functor f1, Functor f2) => f1 (f2 a) -> f1 (f2 a) |
2024-07-09 21:30:37 +0200 | <Rembane> | It looks like sequence but for functors. |
2024-07-09 21:32:24 +0200 | <monochrom> | :) |
2024-07-09 21:33:49 +0200 | <ncf> | not really |
2024-07-09 21:34:16 +0200 | <ncf> | sequence commutes the two functors |
2024-07-09 21:34:37 +0200 | <Rembane> | :t sequence |
2024-07-09 21:34:38 +0200 | <lambdabot> | (Traversable t, Monad m) => t (m a) -> m (t a) |
2024-07-09 21:34:55 +0200 | <Rembane> | Yup, I misread. |
2024-07-09 21:35:48 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-07-09 21:39:47 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 260 seconds) |
2024-07-09 21:39:51 +0200 | euleritian | (~euleritia@dynamic-176-001-143-014.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-07-09 21:40:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-07-09 21:46:13 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-07-09 21:46:58 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
2024-07-09 21:48:18 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-07-09 21:49:06 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
2024-07-09 21:50:08 +0200 | remmie | (ianremsen@tilde.team) (Server closed connection) |
2024-07-09 21:52:05 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
2024-07-09 21:52:30 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-07-09 21:54:59 +0200 | remmie | (~ian@tilde.team) |
2024-07-09 21:56:55 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-07-09 21:56:56 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-07-09 21:56:56 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-09 22:01:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-09 22:01:46 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
2024-07-09 22:02:03 +0200 | Inst_ | (~Inst@user/Inst) (Ping timeout: 264 seconds) |
2024-07-09 22:07:08 +0200 | onionfromeurope | (~onionfrom@2a02:2f08:507:600:c922:fea6:9a:c197) |
2024-07-09 22:07:25 +0200 | onionfromeurope | (~onionfrom@2a02:2f08:507:600:c922:fea6:9a:c197) (Client Quit) |
2024-07-09 22:09:09 +0200 | onionfromeurope | (~onionfrom@2a02:2f08:507:600:c922:fea6:9a:c197) |
2024-07-09 22:12:21 +0200 | onionfromeurope | (~onionfrom@2a02:2f08:507:600:c922:fea6:9a:c197) (Client Quit) |
2024-07-09 22:13:00 +0200 | onionfromeurope | (~onionfrom@2a02:2f08:507:600:c922:fea6:9a:c197) |
2024-07-09 22:23:22 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds) |
2024-07-09 22:23:28 +0200 | onionfromeurope | (~onionfrom@2a02:2f08:507:600:c922:fea6:9a:c197) (Quit: Client closed) |
2024-07-09 22:26:25 +0200 | <EvanR> | :t fmap . fmap |
2024-07-09 22:26:26 +0200 | <lambdabot> | (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b) |
2024-07-09 22:26:31 +0200 | <EvanR> | :t (.) . (.) |
2024-07-09 22:26:32 +0200 | <lambdabot> | (b -> c) -> (a1 -> a2 -> b) -> a1 -> a2 -> c |
2024-07-09 22:26:47 +0200 | <EvanR> | :t fmap fmap fmap |
2024-07-09 22:26:49 +0200 | <lambdabot> | (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b) |
2024-07-09 22:27:13 +0200 | <EvanR> | :t (\f -> f f f) fmap |
2024-07-09 22:27:14 +0200 | <lambdabot> | error: |
2024-07-09 22:27:14 +0200 | <lambdabot> | • Occurs check: cannot construct the infinite type: |
2024-07-09 22:27:14 +0200 | <lambdabot> | a ~ ((a -> b) -> a) -> (a -> b) -> b |
2024-07-09 22:27:20 +0200 | <EvanR> | I meant to do that |
2024-07-09 22:27:38 +0200 | <EvanR> | the obvious formula fails again |
2024-07-09 22:28:13 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 256 seconds) |
2024-07-09 22:30:14 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-09 22:32:42 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-07-09 22:34:46 +0200 | <tomsmeding> | EvanR: just need to add more type signatures |
2024-07-09 22:34:49 +0200 | <tomsmeding> | :t (\(f :: forall f a b. Functor f => (a -> b) -> f a -> f b) -> f f f) fmap |
2024-07-09 22:34:50 +0200 | <lambdabot> | (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b) |
2024-07-09 22:34:54 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 256 seconds) |
2024-07-09 22:35:21 +0200 | <EvanR> | actually not bad |
2024-07-09 22:35:29 +0200 | <EvanR> | type sig could be worse |
2024-07-09 22:36:20 +0200 | <tomsmeding> | :t id id id |
2024-07-09 22:36:21 +0200 | <lambdabot> | a -> a |
2024-07-09 22:36:26 +0200 | <tomsmeding> | :t (\f -> f f f) id |
2024-07-09 22:36:27 +0200 | <lambdabot> | error: |
2024-07-09 22:36:27 +0200 | <lambdabot> | • Occurs check: cannot construct the infinite type: t ~ t0 -> t |
2024-07-09 22:36:27 +0200 | <lambdabot> | Expected type: t0 -> t |
2024-07-09 22:36:34 +0200 | <tomsmeding> | :t (\(f :: forall a. a -> a) -> f f f) id |
2024-07-09 22:36:35 +0200 | <lambdabot> | a -> a |
2024-07-09 22:41:26 +0200 | <EvanR> | that's a good one |
2024-07-09 22:48:21 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
2024-07-09 22:48:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-07-09 22:55:08 +0200 | flocks | (~flocks@134.122.90.60) (Server closed connection) |
2024-07-09 22:55:22 +0200 | flocks | (~flocks@134.122.90.60) |
2024-07-09 22:59:30 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
2024-07-09 23:06:02 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-07-09 23:06:03 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-07-09 23:06:03 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-09 23:09:57 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-07-09 23:10:46 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
2024-07-09 23:15:16 +0200 | pavonia | (~user@user/siracusa) |
2024-07-09 23:20:52 +0200 | michalz | (~michalz@185.246.207.218) (Quit: ZNC 1.9.0 - https://znc.in) |
2024-07-09 23:24:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-07-09 23:33:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
2024-07-09 23:34:06 +0200 | euleritian | (~euleritia@dynamic-176-000-200-190.176.0.pool.telefonica.de) |
2024-07-09 23:36:07 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) |
2024-07-09 23:41:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-07-09 23:49:14 +0200 | <mreh> | :t on |
2024-07-09 23:49:16 +0200 | <lambdabot> | (b -> b -> c) -> (a -> b) -> a -> a -> c |
2024-07-09 23:54:43 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-07-09 23:55:10 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 264 seconds) |
2024-07-09 23:55:39 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-07-09 23:57:52 +0200 | <EvanR> | :t off |