Logs: freenode/#haskell
| 2021-04-22 21:05:16 | × | knupfer quits (~Thunderbi@200116b82b4d2f00a98dd2f64b7ff0a2.dip.versatel-1u1.de) (Ping timeout: 276 seconds) |
| 2021-04-22 21:05:22 | × | pthariensflame quits (~pthariens@2600:6c52:727f:4200:d1a2:91f7:7953:5009) (Client Quit) |
| 2021-04-22 21:07:26 | × | elliott_ quits (~elliott@pool-108-18-30-46.washdc.fios.verizon.net) (Quit: WeeChat 3.1) |
| 2021-04-22 21:09:41 | → | elliott_ joins (~elliott@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-04-22 21:12:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-22 21:13:16 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-04-22 21:13:51 | × | alx741 quits (~alx741@186.178.109.231) (Quit: alx741) |
| 2021-04-22 21:15:09 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-04-22 21:15:54 | → | alx741 joins (~alx741@186.178.109.231) |
| 2021-04-22 21:18:33 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-04-22 21:21:58 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 265 seconds) |
| 2021-04-22 21:24:15 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-22 21:26:50 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-04-22 21:27:03 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-22 21:27:39 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-22 21:28:17 | → | codygman__ joins (~user@47.186.207.161) |
| 2021-04-22 21:28:32 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-22 21:31:55 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 2021-04-22 21:39:43 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-04-22 21:41:06 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-04-22 21:41:38 | → | hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-22 21:42:02 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-04-22 21:42:17 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:4447:2758:9838:e84a) (Quit: Leaving) |
| 2021-04-22 21:43:39 | → | hexfive joins (~hexfive@50.35.83.177) |
| 2021-04-22 21:46:12 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-22 21:46:30 | ← | safinaskar parts (~user@109.252.90.136) () |
| 2021-04-22 21:49:39 | × | LKoen quits (~LKoen@11.160.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-04-22 21:50:43 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-04-22 21:51:27 | <sm[m]> | You can also use ordinary hunit tests in the same file |
| 2021-04-22 21:57:02 | → | DavidEichmann joins (~david@147.136.46.217.dyn.plus.net) |
| 2021-04-22 22:01:21 | → | bor0 joins (~boro@unaffiliated/boro/x-000000001) |
| 2021-04-22 22:02:01 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-04-22 22:03:07 | × | solidus-river quits (~mike@174.127.249.180) (Remote host closed the connection) |
| 2021-04-22 22:03:27 | <bor0> | I have a data type as follows: `data Arith = Z | S Arith | Plus Arith Arith`. I have two functions: one of them does `f [GoLeft:xs] r (Plus x y) = Plus (f xs r x) y` (so it kinda applies a function to every term), and another function `g [GoLeft:xs] (Plus x y) = x`. is there a better name for these functions? the first one seems to be some kind of a fold but I'm not sure |
| 2021-04-22 22:04:31 | <bor0> | basically the first one kinda "modifies" the terms while the second one just "reads" them. I named them `applyX` and `getX` to start with |
| 2021-04-22 22:05:50 | × | michalz quits (~user@185.246.204.56) (Remote host closed the connection) |
| 2021-04-22 22:12:30 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-22 22:13:32 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-22 22:16:31 | × | elliott_ quits (~elliott@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-04-22 22:16:41 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-22 22:17:22 | → | solidus-river joins (~fuag1@174.127.249.180) |
| 2021-04-22 22:17:41 | × | bor0 quits (~boro@unaffiliated/boro/x-000000001) (Quit: Leaving) |
| 2021-04-22 22:18:10 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Remote host closed the connection) |
| 2021-04-22 22:18:22 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 268 seconds) |
| 2021-04-22 22:18:53 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 2021-04-22 22:20:18 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-22 22:21:14 | <solidus-river> | is there any reason I wouldn't be able to pass a data structure with filled out partially applied callback functions over an MVar between threads? |
| 2021-04-22 22:21:17 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-22 22:21:23 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-22 22:22:55 | × | zva quits (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.0) |
| 2021-04-22 22:23:19 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Ping timeout: 245 seconds) |
| 2021-04-22 22:24:06 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-22 22:24:15 | → | fendor_ joins (~fendor@178.115.128.219.wireless.dyn.drei.com) |
| 2021-04-22 22:25:22 | × | codygman__ quits (~user@47.186.207.161) (Ping timeout: 252 seconds) |
| 2021-04-22 22:25:41 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-22 22:27:37 | × | fendor quits (~fendor@178.165.129.61.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2021-04-22 22:29:37 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-kxxbpbiihnerjfdd) (Quit: Connection closed for inactivity) |
| 2021-04-22 22:30:42 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-04-22 22:31:46 | <monochrom> | No reason. |
| 2021-04-22 22:32:27 | <monochrom> | But words are always more misleading than actual code examples. |
| 2021-04-22 22:33:32 | × | guest421` quits (~user@49.5.6.87) (Ping timeout: 240 seconds) |
| 2021-04-22 22:35:47 | × | fendor_ quits (~fendor@178.115.128.219.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-04-22 22:35:57 | × | dsrt^ quits (dsrt@ip98-184-89-2.mc.at.cox.net) () |
| 2021-04-22 22:36:42 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-22 22:36:45 | <solidus-river> | i have a library process i want to run in another thread but that process needs to start some sub threads and pass back signaling functions for the main program |
| 2021-04-22 22:39:18 | <solidus-river> | i could always make the call a 2 part handshake but going the mvar route seems harder for someone not interested in the libraries implementation details to mess up |
| 2021-04-22 22:39:25 | → | tsandstr joins (~user@nat-130-132-173-221.central.yale.edu) |
| 2021-04-22 22:39:25 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-22 22:40:46 | × | redmp quits (~redmp@172.58.19.67) (Ping timeout: 252 seconds) |
| 2021-04-22 22:40:58 | × | aveltras quits (uid364989@gateway/web/irccloud.com/x-eamssxdveirheeam) (Quit: Connection closed for inactivity) |
| 2021-04-22 22:41:44 | <tsandstr> | I have a question about writing Haskell in emacs. I want to use lsp-haskell, and I recall that I had it working at one point in time, but now I can't get it to do anything. It claims to be running, but whenever I try to jump to a definition or view the type information of an identifier, it fails with a message along the lines of "LSP :: Not found for: fname". Any ideas on what is wrong? If this is the wrong place to |
| 2021-04-22 22:41:44 | <tsandstr> | ask, I apologize. |
| 2021-04-22 22:42:18 | → | redmp joins (~redmp@172.58.19.67) |
| 2021-04-22 22:42:58 | <geekosaur> | #haskell-language-server might be more helpful |
| 2021-04-22 22:43:38 | <tsandstr> | Thank you! |
| 2021-04-22 22:44:02 | → | elliott_ joins (~elliott@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-04-22 22:46:38 | <solidus-river> | why is recognizing a co-monadic pattern useful code wise? if things swap back and forth from one monad to another is there an optimization that can be done at the compiler level? or am I misunderstanding what a co monad is? |
| 2021-04-22 22:47:02 | <solidus-river> | trying to decipher why its an interesting topic from a coding standpoint, it kinda seems like pointing out that there are 2 modes of computation being done |
| 2021-04-22 22:47:17 | <solidus-river> | but i think i'm missing an "aha" there |
| 2021-04-22 22:48:19 | <geekosaur> | "comonad" is something different from that. monad has return/pure and bind; comonad has extract and extend |
| 2021-04-22 22:48:58 | <geekosaur> | so it's kind of the "opposite" of a monad |
| 2021-04-22 22:49:59 | <geekosaur> | https://stackoverflow.com/questions/8428554/what-is-the-comonad-typeclass-in-haskell might be of interest |
| 2021-04-22 22:51:49 | <solidus-river> | geekosaur, thanks! :) reading |
| 2021-04-22 22:52:16 | → | mekeor joins (~user@2001:a61:2508:9601:50e:85a3:5209:cb06) |
| 2021-04-22 22:53:02 | × | tsandstr quits (~user@nat-130-132-173-221.central.yale.edu) (Remote host closed the connection) |
| 2021-04-22 22:54:03 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 2021-04-22 22:57:55 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-22 23:00:05 | × | jneira quits (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) (Quit: Connection closed) |
| 2021-04-22 23:06:22 | → | nrh^ joins (nrh@ip98-184-89-2.mc.at.cox.net) |
| 2021-04-22 23:10:18 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-22 23:10:35 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-22 23:11:34 | × | elliott_ quits (~elliott@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-22 23:15:48 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 2021-04-22 23:16:12 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-22 23:17:32 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-22 23:18:01 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 250 seconds) |
| 2021-04-22 23:18:24 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-04-22 23:19:14 | → | curiousgay joins (~gay@178.217.208.8) |
| 2021-04-22 23:20:03 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) (Ping timeout: 260 seconds) |
| 2021-04-22 23:20:46 | × | xcmw quits (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
All times are in UTC.