Logs: liberachat/#haskell
| 2021-06-20 20:24:04 | <boxscape_> | tomsmeding but usually renaming a variable doesn't change the type of a program ;) |
| 2021-06-20 20:24:12 | <tomsmeding> | this not needing spaces between a number and an identifier is common knowledge on https://codegolf.stackexchange.com ; it applies to a number of languages :p |
| 2021-06-20 20:24:21 | <boxscape_> | ah, interesting |
| 2021-06-20 20:24:27 | <geekosaur> | yeh |
| 2021-06-20 20:24:54 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) (Ping timeout: 264 seconds) |
| 2021-06-20 20:25:52 | × | boxscape_ quits (~boxscape@user/boxscape) (Quit: boxscape_) |
| 2021-06-20 20:33:14 | → | ikex1 joins (ash@user/ikex) |
| 2021-06-20 20:33:31 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-20 20:33:50 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-20 20:35:23 | × | ikex quits (ash@user/ikex) (Ping timeout: 252 seconds) |
| 2021-06-20 20:35:23 | ikex1 | is now known as ikex |
| 2021-06-20 20:40:22 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 2021-06-20 20:49:21 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-06-20 20:50:03 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-20 20:50:10 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-20 20:50:25 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-06-20 20:53:16 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-06-20 20:54:20 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-06-20 20:57:21 | × | nerdypepper quits (~nerdypepp@user/nerdypepper) (Quit: bye) |
| 2021-06-20 20:57:37 | → | nerdypepper joins (~nerdypepp@user/nerdypepper) |
| 2021-06-20 20:58:53 | → | moet joins (~moet@172.58.38.245) |
| 2021-06-20 20:59:08 | × | koishi_` quits (~user@222.195.87.238) (Ping timeout: 265 seconds) |
| 2021-06-20 20:59:31 | → | boxscape_ joins (~boxscape_@p4ff0b158.dip0.t-ipconnect.de) |
| 2021-06-20 20:59:46 | × | boxscape_ quits (~boxscape_@p4ff0b158.dip0.t-ipconnect.de) (Changing host) |
| 2021-06-20 20:59:46 | → | boxscape_ joins (~boxscape_@user/boxscape) |
| 2021-06-20 21:00:05 | → | fvr joins (uid503686@id-503686.highgate.irccloud.com) |
| 2021-06-20 21:03:23 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-20 21:05:22 | × | boxscape_ quits (~boxscape_@user/boxscape) (Quit: Connection closed) |
| 2021-06-20 21:05:57 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-20 21:13:40 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-06-20 21:17:24 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-06-20 21:19:01 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2021-06-20 21:20:54 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-06-20 21:22:38 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-06-20 21:24:26 | → | cesar- joins (~cesar@2600:1700:9490:79f0::45) |
| 2021-06-20 21:28:39 | × | AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
| 2021-06-20 21:30:56 | × | cesar- quits (~cesar@2600:1700:9490:79f0::45) (Remote host closed the connection) |
| 2021-06-20 21:32:46 | × | tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2021-06-20 21:33:21 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:7c55:3c65:74e1:3dc5) |
| 2021-06-20 21:35:37 | → | deshalb_1 joins (~deshalb@user/deshalb) |
| 2021-06-20 21:37:17 | → | deshalb joins (~deshalb@user/deshalb) |
| 2021-06-20 21:39:50 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-06-20 21:40:35 | × | bilegeek quits (~bilegeek@2600:1008:b017:63a6:c26d:d119:faaa:a6d7) (Quit: Leaving) |
| 2021-06-20 21:40:48 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-20 21:40:49 | → | deshalb_ joins (~deshalb@user/deshalb) |
| 2021-06-20 21:41:28 | × | deshalb_1 quits (~deshalb@user/deshalb) (Ping timeout: 258 seconds) |
| 2021-06-20 21:42:19 | × | deshalb_ quits (~deshalb@user/deshalb) (Remote host closed the connection) |
| 2021-06-20 21:42:19 | × | deshalb quits (~deshalb@user/deshalb) (Read error: Connection reset by peer) |
| 2021-06-20 21:43:11 | → | Guest48 joins (~Guest48@185.219.177.243) |
| 2021-06-20 21:43:34 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
| 2021-06-20 21:44:06 | × | Guest48 quits (~Guest48@185.219.177.243) (Client Quit) |
| 2021-06-20 21:48:23 | <qrpnxz> | oh, is ((,) w) the writer monad? Having trouble finding what it is, all ik is that the "reader" monad is ((->) r) |
| 2021-06-20 21:49:06 | <geekosaur> | yes |
| 2021-06-20 21:50:24 | <qrpnxz> | there is a lot of references to reader and writer monads, but idk where they originated. No where in the `base` docs are these mentioned for example |
| 2021-06-20 21:51:44 | <geekosaur> | mtl and transformers |
| 2021-06-20 21:52:00 | <qrpnxz> | 🤨️ |
| 2021-06-20 21:52:56 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) |
| 2021-06-20 21:57:44 | <qrpnxz> | i guess these packages are used a lot? |
| 2021-06-20 21:58:56 | → | moet_ joins (~moet@172.58.27.142) |
| 2021-06-20 21:59:27 | <geekosaur> | yes |
| 2021-06-20 22:00:05 | <geekosaur> | there are some who prefer not to use mtl but they still use transformers, with different packages over it (generally effect systems) |
| 2021-06-20 22:00:16 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-06-20 22:01:32 | <qrpnxz> | oh monad transformers, i heard these are some big deal monad composer thing or something idk xD |
| 2021-06-20 22:02:27 | × | moet quits (~moet@172.58.38.245) (Ping timeout: 265 seconds) |
| 2021-06-20 22:02:30 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-20 22:03:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-20 22:04:29 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Client Quit) |
| 2021-06-20 22:04:38 | × | unyu quits (~pyon@user/pyon) (Quit: WeeChat 3.2) |
| 2021-06-20 22:09:25 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-06-20 22:11:09 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-06-20 22:11:14 | → | jasonu joins (~jasonu@166.70.242.157) |
| 2021-06-20 22:12:27 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-20 22:14:03 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 265 seconds) |
| 2021-06-20 22:17:19 | → | bilegeek joins (~bilegeek@2600:1008:b017:63a6:c26d:d119:faaa:a6d7) |
| 2021-06-20 22:20:38 | × | jasonu quits (~jasonu@166.70.242.157) (Quit: Ping timeout (120 seconds)) |
| 2021-06-20 22:20:39 | × | wolfshappen_ quits (~waff@irc.furworks.de) (Ping timeout: 268 seconds) |
| 2021-06-20 22:21:07 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-06-20 22:21:57 | → | _73 joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-06-20 22:23:56 | × | pera quits (~pera@user/pera) (Quit: leaving) |
| 2021-06-20 22:30:17 | <remexre> | is https://en.wikipedia.org/wiki/Monad_(functional_programming)#Free_monads just wrong? |
| 2021-06-20 22:30:39 | <remexre> | I'm having trouble interpreting the syntax (what language is that...), but the use of F in Bind definitely seems ill-kinded |
| 2021-06-20 22:31:09 | <remexre> | and the definition of (>>=) is ill-typed per that definition |
| 2021-06-20 22:31:41 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-06-20 22:33:50 | × | fabfianda quits (~fabfianda@mob-5-90-243-109.net.vodafone.it) (Ping timeout: 265 seconds) |
| 2021-06-20 22:34:01 | <dminuoso> | remexre: The definition of >>= is indeed wrong, and the rest - I cant quite make it out. |
| 2021-06-20 22:34:34 | → | fabfianda joins (~fabfianda@net-109-116-251-109.cust.vodafonedsl.it) |
| 2021-06-20 22:35:09 | <remexre> | TBH I'm just gonna rewrite it to be in Haskell then |
| 2021-06-20 22:35:13 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-06-20 22:36:33 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) (Remote host closed the connection) |
| 2021-06-20 22:37:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-06-20 22:38:47 | <dibblego> | remexre: https://gist.github.com/tonymorris/3f534e5ef92990c8c3618411aae07dea |
| 2021-06-20 22:39:14 | <dminuoso> | Gah. my ide-bios seems to constantly pick up on my ~/venv directory. :( |
| 2021-06-20 22:39:21 | <dminuoso> | It wants to watch all files |
| 2021-06-20 22:39:38 | <dminuoso> | I have a multi cradle set up with none for that and some other directories.. |
| 2021-06-20 22:39:53 | <remexre> | dibblego: yeah, they don't do applicatives in the other examples, and use different names, so I'm doing it a bit differently, but yeah |
| 2021-06-20 22:47:32 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-06-20 22:47:35 | <dminuoso> | Ahh heh. This is lsp-mode, not haskell-language-server |
| 2021-06-20 22:48:51 | × | dhil quits (~dhil@195.213.192.47) (Ping timeout: 265 seconds) |
| 2021-06-20 22:57:45 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) |
| 2021-06-20 23:00:52 | → | trent1 joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
All times are in UTC.