Logs: liberachat/#haskell
| 2021-07-19 04:55:46 | → | yauhsien joins (~yauhsien@61-231-35-149.dynamic-ip.hinet.net) |
| 2021-07-19 04:56:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-19 05:00:01 | × | ChanServ quits (ChanServ@services.libera.chat) (shutting down) |
| 2021-07-19 05:00:04 | × | cheater quits (~Username@user/cheater) (Remote host closed the connection) |
| 2021-07-19 05:00:24 | × | azeem quits (~azeem@dynamic-adsl-94-34-39-251.clienti.tiscali.it) (Remote host closed the connection) |
| 2021-07-19 05:00:48 | → | ChanServ joins (ChanServ@services.libera.chat) |
| 2021-07-19 05:00:48 | cadmium.libera.chat | sets mode +o ChanServ |
| 2021-07-19 05:01:39 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds) |
| 2021-07-19 05:04:00 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-19 05:04:32 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-19 05:04:55 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-19 05:07:10 | × | falafel_ quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-07-19 05:10:48 | <dsal> | lechner: It uses MonadFail. You could use exceptions |
| 2021-07-19 05:10:52 | <dsal> | @package exceptions |
| 2021-07-19 05:10:53 | <lambdabot> | https://hackage.haskell.org/package/exceptions |
| 2021-07-19 05:12:06 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds) |
| 2021-07-19 05:14:28 | → | MQ-17J joins (~MQ-17J@8.21.10.15) |
| 2021-07-19 05:20:27 | → | Null_A joins (~null_a@2601:645:8700:2290:5577:9a94:3b66:c39d) |
| 2021-07-19 05:22:12 | → | jneira joins (~jneira@212.8.115.226) |
| 2021-07-19 05:24:13 | <Hecate> | o/ |
| 2021-07-19 05:24:26 | <Hecate> | I'm trying to better understand how I can use Comonad in my programs |
| 2021-07-19 05:25:04 | <Hecate> | I've seen *one* usage of Comonad in a codebase, in which it acted as a priviledged accessor, like https://twitter.com/TechnoEmpress/status/1416992128643776513 |
| 2021-07-19 05:26:04 | <Hecate> | but I think the usecase really stops at running "whatever <- asks extract" |
| 2021-07-19 05:27:01 | <Hecate> | But then it feels more like I've created one more indirection |
| 2021-07-19 05:27:54 | <Hecate> | that being said if I need more polymorphism on the 'Comonad r' this could be good |
| 2021-07-19 05:30:15 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-07-19 05:30:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 2021-07-19 05:32:05 | <lechner> | dsal: thanks! |
| 2021-07-19 05:32:57 | × | derelict quits (~derelict@user/derelict) (Quit: WeeChat 3.2) |
| 2021-07-19 05:41:00 | → | Guest95 joins (~Guest95@50.47.115.102) |
| 2021-07-19 05:43:02 | <Guest95> | Hello! I currently use Spacemacs as my Haskell code editor. What code editor would you recommend? Is Yi worth looking in to? |
| 2021-07-19 05:43:24 | × | mthvedt quits (uid501949@id-501949.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-19 05:46:17 | <Hecate> | Guest95: Yi was an interesting project but I fear it may be dead these days |
| 2021-07-19 05:46:31 | → | paolino joins (~paolo@84.33.141.5) |
| 2021-07-19 05:46:33 | <Hecate> | Guest95: I use neovim + lua plugins and config (if you're allergic to too much VimL) |
| 2021-07-19 05:46:34 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 2021-07-19 05:50:41 | × | cjb quits (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50) |
| 2021-07-19 05:53:15 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-19 05:54:12 | × | Null_A quits (~null_a@2601:645:8700:2290:5577:9a94:3b66:c39d) (Read error: Connection reset by peer) |
| 2021-07-19 05:55:07 | × | dre quits (~dre@2001:8003:c932:c301:e078:5df6:bd54:b22a) (Quit: Leaving) |
| 2021-07-19 05:56:49 | × | Guest95 quits (~Guest95@50.47.115.102) (Quit: Client closed) |
| 2021-07-19 05:56:50 | <lechner> | Thanks for the pointer to yi. I may have found a minimal replacement for things like commit messages for mg, which is even less maintained and can't do Unicode |
| 2021-07-19 06:01:00 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-19 06:03:17 | × | MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 268 seconds) |
| 2021-07-19 06:05:23 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-19 06:05:47 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-19 06:11:47 | → | Guest55 joins (~Guest55@50.47.115.102) |
| 2021-07-19 06:15:07 | → | dre joins (~dre@2001:8003:c932:c301:9820:d974:d4b6:d3c4) |
| 2021-07-19 06:26:24 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-07-19 06:26:43 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-07-19 06:31:22 | → | vysn joins (~vysn@user/vysn) |
| 2021-07-19 06:32:22 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-19 06:34:39 | → | ishutin joins (~ishutin@85-238-93-30.pool.digikabel.hu) |
| 2021-07-19 06:42:16 | jjhoo_ | is now known as jjhoo |
| 2021-07-19 06:42:55 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-19 06:47:52 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2021-07-19 06:48:33 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-07-19 06:50:26 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 256 seconds) |
| 2021-07-19 06:51:31 | × | oxide quits (~lambda@user/oxide) (Read error: Connection reset by peer) |
| 2021-07-19 06:51:55 | → | kuribas joins (~user@ptr-25vy0i7jsa6kv1vvjg7.18120a2.ip6.access.telenet.be) |
| 2021-07-19 06:57:17 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-19 06:57:39 | → | chele joins (~chele@user/chele) |
| 2021-07-19 06:58:33 | → | aman joins (~aman@user/aman) |
| 2021-07-19 06:59:05 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-19 07:00:27 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 255 seconds) |
| 2021-07-19 07:01:46 | × | aman quits (~aman@user/aman) (Client Quit) |
| 2021-07-19 07:02:56 | → | jmorris joins (uid433911@id-433911.stonehaven.irccloud.com) |
| 2021-07-19 07:05:33 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-07-19 07:07:25 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 2021-07-19 07:08:04 | → | fendor joins (~fendor@77.119.223.215.wireless.dyn.drei.com) |
| 2021-07-19 07:09:55 | × | h98 quits (~h98@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2021-07-19 07:11:38 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-19 07:12:29 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-19 07:16:41 | → | KUrare joins (~KUrare@user/kurare) |
| 2021-07-19 07:16:55 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
| 2021-07-19 07:17:05 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-07-19 07:17:13 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-19 07:20:52 | × | KUrare quits (~KUrare@user/kurare) (Ping timeout: 252 seconds) |
| 2021-07-19 07:21:03 | × | yauhsien quits (~yauhsien@61-231-35-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-07-19 07:24:54 | → | smtnet3 joins (~asdfasdfa@202.36.244.28) |
| 2021-07-19 07:26:33 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-19 07:26:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-19 07:28:48 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-19 07:28:57 | → | yauhsien joins (~yauhsien@61-231-35-149.dynamic-ip.hinet.net) |
| 2021-07-19 07:30:35 | → | hseg joins (~gesh@185.120.126.10) |
| 2021-07-19 07:31:11 | × | brandon quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 258 seconds) |
| 2021-07-19 07:31:16 | → | analognoise1 joins (~analognoi@2600:8801:8c26:9e00:cdb0:ec42:cea0:b1e2) |
| 2021-07-19 07:32:12 | × | analognoise quits (~analognoi@83.136.182.93) (Ping timeout: 245 seconds) |
| 2021-07-19 07:34:08 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-19 07:34:12 | geekosaur | is now known as brandon |
| 2021-07-19 07:39:25 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-07-19 07:41:25 | × | Guest55 quits (~Guest55@50.47.115.102) (Ping timeout: 246 seconds) |
| 2021-07-19 07:41:32 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-07-19 07:41:47 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-07-19 07:44:33 | × | analognoise1 quits (~analognoi@2600:8801:8c26:9e00:cdb0:ec42:cea0:b1e2) (Ping timeout: 255 seconds) |
| 2021-07-19 07:47:15 | × | Brianmancer quits (~Neuromanc@user/briandamag) (Ping timeout: 255 seconds) |
| 2021-07-19 07:51:33 | → | acidjnk joins (~acidjnk@p200300d0c72b9531f8c9d06c34eef88c.dip0.t-ipconnect.de) |
| 2021-07-19 07:57:11 | × | isekaijin quits (~pyon@user/pyon) (Quit: WeeChat 3.2) |
| 2021-07-19 07:59:29 | × | dre quits (~dre@2001:8003:c932:c301:9820:d974:d4b6:d3c4) (Quit: Leaving) |
| 2021-07-19 07:59:33 | → | michalz joins (~michalz@185.246.204.55) |
All times are in UTC.