Newest at the top
2024-07-07 20:35:46 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-07 20:35:46 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-07-07 20:35:46 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-07-07 20:31:39 +0200 | <tomsmeding> | hololeap: looks great! Building mimicing the structure of the output type makes some sense, but not necessarily always; it's nice when it does, though :) |
2024-07-07 20:27:43 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2024-07-07 20:22:58 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
2024-07-07 20:20:56 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-07-07 20:20:15 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2024-07-07 20:19:01 +0200 | <[exa]> | kinda wondering-- there are some reasonable tools for manipulating monad stacks nowadays. Is there anything cool to somehow manipulate the "compose stacks" of functors that are glued into higher-kinded data? |
2024-07-07 20:10:58 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-07 20:10:20 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
2024-07-07 20:04:46 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
2024-07-07 20:03:46 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-07 19:56:21 +0200 | yobson | (~yobson@cpc91230-cmbg18-2-0-cust906.5-4.cable.virginm.net) (Remote host closed the connection) |
2024-07-07 19:50:10 +0200 | <hololeap> | I couldn't figure out the bit I was stuck on with Data.Data, btw |
2024-07-07 19:49:44 +0200 | <monochrom> | Conversely, I should learn Data.Data properly too. :) |
2024-07-07 19:42:42 +0200 | <hololeap> | I still want to get my hands dirty with some generics, but maybe some other time :p |
2024-07-07 19:41:32 +0200 | <hololeap> | it makes sense that the best structure for building the type mimics the shape of the type itself |
2024-07-07 19:37:58 +0200 | <hololeap> | tomsmeding: this is a lot cleaner and I feel better about maintaining it: https://github.com/hololeap/haskell-updater/commit/b9147e65149c2dcc7e52126a60a4bc6b0c02201a |
2024-07-07 19:37:53 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-07-07 19:32:56 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
2024-07-07 19:10:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-07-07 18:59:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-07 18:58:50 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-07-07 18:56:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-07-07 18:50:58 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
2024-07-07 18:46:50 +0200 | mud | (~mud@user/kadoban) |
2024-07-07 18:44:15 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 272 seconds) |
2024-07-07 18:43:20 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-07 18:41:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-07-07 18:32:04 +0200 | barthandelous01 | (barth@triton.blinkenshell.org) |
2024-07-07 18:31:47 +0200 | barthandelous01 | (barth@triton.blinkenshell.org) (Ping timeout: 264 seconds) |
2024-07-07 18:31:14 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2024-07-07 18:29:24 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Remote host closed the connection) |
2024-07-07 18:28:40 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-07-07 18:28:39 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
2024-07-07 18:23:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-07-07 18:21:34 +0200 | yobson | (~yobson@cpc91230-cmbg18-2-0-cust906.5-4.cable.virginm.net) |
2024-07-07 18:20:22 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
2024-07-07 18:20:13 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Remote host closed the connection) |
2024-07-07 18:18:21 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-07-07 18:17:48 +0200 | raghavgururajan_ | raghavgururajan |
2024-07-07 18:17:19 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-07-07 18:17:12 +0200 | raghavgururajan_ | (ea769b8000@user/raghavgururajan) |
2024-07-07 18:17:12 +0200 | raghavgururajan_ | (ea769b8000@2a03:6000:1812:100::242) (Changing host) |
2024-07-07 18:16:10 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
2024-07-07 18:03:05 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-07-07 18:03:05 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-07-07 18:03:04 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-07-07 18:01:35 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |