Logs: freenode/#haskell
| 2021-03-18 17:57:20 | <koz_> | OK I give up rofl. |
| 2021-03-18 17:57:49 | <koz_> | Welcome to the biggest issue with Coercible I guess. |
| 2021-03-18 17:58:56 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-18 18:00:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-18 18:00:57 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-wwtzhstalquejfsh) (Quit: Connection closed for inactivity) |
| 2021-03-18 18:01:05 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-18 18:01:48 | → | raym joins (~ray@115.187.32.14) |
| 2021-03-18 18:03:03 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Ping timeout: 256 seconds) |
| 2021-03-18 18:04:16 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de) |
| 2021-03-18 18:05:19 | <shapr> | hyperisco: I've seen functorial programming before, I think in an roconnor blog post? |
| 2021-03-18 18:05:59 | <shapr> | hyperisco: found what I wsa remembering http://r6.ca/blog/20171010T001746Z.html |
| 2021-03-18 18:06:13 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-03-18 18:06:27 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 246 seconds) |
| 2021-03-18 18:06:55 | <hyperisco> | shapr, ty |
| 2021-03-18 18:08:06 | <hyperisco> | basically a generalisation of these effect systems we're seeing |
| 2021-03-18 18:09:22 | <hyperisco> | I would like to see how this could be used for general programming, like say SK combinators are shown |
| 2021-03-18 18:10:26 | <shapr> | roconnor: did you post more things in the vein of that functor oriented programming subject? |
| 2021-03-18 18:13:23 | × | ph88 quits (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2021-03-18 18:13:32 | × | michalz quits (~user@185.246.204.59) (Remote host closed the connection) |
| 2021-03-18 18:13:44 | → | ph88 joins (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) |
| 2021-03-18 18:14:12 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-03-18 18:15:42 | <bbhoss> | anyone using vscode with HSL? sometimes it finds a problem with my code and it seems the only way to clear it is to restart vscode completely. am I missing something? |
| 2021-03-18 18:15:46 | <bbhoss> | *HLS |
| 2021-03-18 18:16:11 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Quit: No Ping reply in 210 seconds.) |
| 2021-03-18 18:16:38 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-03-18 18:17:11 | → | vjok1 joins (vjoki@2a00:d880:3:1::fea1:9ae) |
| 2021-03-18 18:17:13 | × | `slikts quits (~nelabs@wikipedia/reinis) (Quit: No Ping reply in 180 seconds.) |
| 2021-03-18 18:17:29 | × | vjoki quits (vjoki@2a00:d880:3:1::fea1:9ae) (Quit: ...) |
| 2021-03-18 18:17:29 | vjok1 | is now known as vjoki |
| 2021-03-18 18:18:20 | → | `slikts joins (~nelabs@2a00:d880:5:395::37ca) |
| 2021-03-18 18:18:20 | × | `slikts quits (~nelabs@2a00:d880:5:395::37ca) (Changing host) |
| 2021-03-18 18:18:20 | → | `slikts joins (~nelabs@wikipedia/reinis) |
| 2021-03-18 18:18:27 | → | supercoven_ joins (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 2021-03-18 18:19:44 | × | malumore quits (~malumore@151.62.122.146) (Ping timeout: 240 seconds) |
| 2021-03-18 18:20:41 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 244 seconds) |
| 2021-03-18 18:21:43 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-18 18:21:43 | × | supercoven quits (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 245 seconds) |
| 2021-03-18 18:22:13 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-18 18:23:28 | × | gds quits (~user@2a01:4b00:8605:9800:4103:dbd5:9f3c:6103) (Ping timeout: 265 seconds) |
| 2021-03-18 18:25:35 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-18 18:27:08 | × | __minoru__shirae quits (~shiraeesh@109.166.59.216) (Ping timeout: 245 seconds) |
| 2021-03-18 18:27:23 | → | __minoru__shirae joins (~shiraeesh@77.94.25.145) |
| 2021-03-18 18:28:31 | <tomsmeding> | bbhoss: what kind of problem would it get stuck on? |
| 2021-03-18 18:28:36 | × | puffnfresh quits (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 256 seconds) |
| 2021-03-18 18:29:30 | → | puffnfresh joins (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
| 2021-03-18 18:29:34 | <bbhoss> | in this case just some small issue where the type didnt have an instance of Show and I was using the show fn. added deriving (Show) to it and it builds fine. Restart and the problem is gone |
| 2021-03-18 18:29:39 | <dolio> | I know someone who's mentioned probably the same issue. |
| 2021-03-18 18:29:44 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds) |
| 2021-03-18 18:30:03 | <dolio> | Somehow some errors make the language server get into an unrecoverable state or something. |
| 2021-03-18 18:30:16 | <dolio> | I don't know the details, though. |
| 2021-03-18 18:30:18 | <bbhoss> | I've run into this with other extensions but usually there's a way to restart the server without a full editor restart |
| 2021-03-18 18:30:27 | <bbhoss> | (other exts with other langs) |
| 2021-03-18 18:31:23 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2021-03-18 18:32:16 | → | malumore joins (~malumore@151.62.122.146) |
| 2021-03-18 18:32:50 | tomsmeding | has no idea, I don't use vscode, my editor allows me to restart the language server :p |
| 2021-03-18 18:34:24 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-18 18:35:21 | × | frozenErebus quits (~frozenEre@94.128.81.163) (Ping timeout: 264 seconds) |
| 2021-03-18 18:36:11 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2021-03-18 18:37:27 | × | specdrake quits (~anurag@203.192.236.225) (Remote host closed the connection) |
| 2021-03-18 18:37:27 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2021-03-18 18:38:06 | Gurkenglas_ | is now known as Gurkenglas |
| 2021-03-18 18:38:23 | × | malumore quits (~malumore@151.62.122.146) (Ping timeout: 245 seconds) |
| 2021-03-18 18:38:43 | <gentauro> | tomsmeding: you use emacs right? |
| 2021-03-18 18:39:00 | <tomsmeding> | neovim :p |
| 2021-03-18 18:39:10 | <tomsmeding> | have never used emacs |
| 2021-03-18 18:42:08 | <monochrom> | neovim = never emacs only vim |
| 2021-03-18 18:42:47 | <epicte7us> | bbhoss: I have issues like that as well with HLS and VSCode, if I don't want to completely restart VS code I'll do View -> Command Palette -> Developer: Reload Window |
| 2021-03-18 18:44:08 | × | vjoki quits (vjoki@2a00:d880:3:1::fea1:9ae) (Ping timeout: 240 seconds) |
| 2021-03-18 18:46:00 | → | vjoki joins (vjoki@2a00:d880:3:1::fea1:9ae) |
| 2021-03-18 18:46:11 | <geekosaur> | neovim: vim is the new emacs |
| 2021-03-18 18:46:34 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-18 18:46:56 | <tomsmeding> | at least it doesn't have tetris yet |
| 2021-03-18 18:47:49 | × | ph88 quits (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2021-03-18 18:47:50 | <shapr> | emacs is the new vim |
| 2021-03-18 18:48:01 | <ephemient> | tomsmeding: https://github.com/alec-gibson/nvim-tetris |
| 2021-03-18 18:48:35 | <tomsmeding> | ephemient: there is no question that someone has implemented it, but at least it doesn't ship with tetris :p |
| 2021-03-18 18:48:45 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-03-18 18:48:45 | × | hyiltiz quits (~quassel@31.220.5.250) (Changing host) |
| 2021-03-18 18:48:45 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 2021-03-18 18:48:47 | × | raym quits (~ray@115.187.32.14) (Remote host closed the connection) |
| 2021-03-18 18:49:09 | <ephemient> | fair :) |
| 2021-03-18 18:50:49 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:342c:fb5e:4a48:8cb) |
| 2021-03-18 18:51:27 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-18 18:52:11 | → | solidus-river joins (~mike@174.127.249.180) |
| 2021-03-18 18:52:46 | × | hjec quits (614e8662@rrcs-97-78-134-98.se.biz.rr.com) (Quit: Connection closed) |
| 2021-03-18 18:53:20 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-18 18:54:14 | × | `slikts quits (~nelabs@wikipedia/reinis) (Quit: No Ping reply in 180 seconds.) |
| 2021-03-18 18:55:30 | → | `slikts joins (~nelabs@2a00:d880:5:395::37ca) |
| 2021-03-18 18:55:30 | × | `slikts quits (~nelabs@2a00:d880:5:395::37ca) (Changing host) |
| 2021-03-18 18:55:30 | → | `slikts joins (~nelabs@wikipedia/reinis) |
| 2021-03-18 18:57:15 | → | Vadrigar joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
| 2021-03-18 19:00:34 | × | Vadrigar quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Client Quit) |
| 2021-03-18 19:01:07 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-03-18 19:01:53 | → | Vadrigar joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
| 2021-03-18 19:04:07 | → | ircbrowse_tom joins (~ircbrowse@64.225.78.177) |
| 2021-03-18 19:04:07 | Server | sets mode +CLnt |
| 2021-03-18 19:04:32 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 2021-03-18 19:05:03 | × | juri_ quits (~juri@178.63.35.222) (Ping timeout: 245 seconds) |
| 2021-03-18 19:07:13 | × | Vadrigar quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1) |
| 2021-03-18 19:07:53 | → | Vadrigar joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
All times are in UTC.