Logs: freenode/#haskell
| 2021-05-16 23:23:53 | <sclv> | well, sandboxes were the first solution |
| 2021-05-16 23:24:14 | <sclv> | there was a seperate tool for them cabal-dev or something. then cabal incorporated them. then stack sort of "generalized" them |
| 2021-05-16 23:24:41 | <geekosaur> | stack came before cabal sandboxes, I think? |
| 2021-05-16 23:25:08 | <dcoutts__> | no, cabal sandboxes were first |
| 2021-05-16 23:25:12 | dcoutts__ | is now known as dcoutts |
| 2021-05-16 23:25:20 | <sclv> | and also there was an external tool for sandboxes before cabal incorporated them |
| 2021-05-16 23:25:34 | <dcoutts> | yeah, cabal-dev |
| 2021-05-16 23:25:34 | <sclv> | btw what letter on freenode? |
| 2021-05-16 23:25:37 | <geekosaur> | right, I know the external tool came first |
| 2021-05-16 23:26:00 | <geekosaur> | https://gist.github.com/shadowcat-mst/998cea12794768bdb3da2daeff31baad |
| 2021-05-16 23:26:21 | <geekosaur> | the owner of PIA's trying to stage a takeover |
| 2021-05-16 23:27:18 | <geekosaur> | discussion currently taking place in #haskell-ops |
| 2021-05-16 23:27:57 | <sclv> | ugh ok thanks |
| 2021-05-16 23:28:04 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-05-16 23:31:40 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Ping timeout (120 seconds)) |
| 2021-05-16 23:32:22 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-16 23:32:23 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-05-16 23:35:02 | × | machinedgod quits (~machinedg@24.105.81.50) (Remote host closed the connection) |
| 2021-05-16 23:36:14 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-05-16 23:36:59 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-16 23:38:22 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-16 23:41:02 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 252 seconds) |
| 2021-05-16 23:41:35 | → | conal joins (~conal@64.71.133.70) |
| 2021-05-16 23:42:05 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-16 23:42:28 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-05-16 23:42:51 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-05-16 23:43:17 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-16 23:43:56 | × | conal quits (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 2021-05-16 23:45:53 | → | patlv joins (~patlv@unaffiliated/patlv) |
| 2021-05-16 23:46:04 | → | conal joins (~conal@64.71.133.70) |
| 2021-05-16 23:47:38 | × | xenon- quits (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 2021-05-16 23:47:54 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 245 seconds) |
| 2021-05-16 23:49:22 | × | stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.1) |
| 2021-05-16 23:51:05 | <Axman6> | "These are not to be confused with unit types like C's void or Haskell's (), which are types that have a single value (and consequently carry no information)." - from this statement, can it be said that Void carried more information than (), because it implies non-termination? |
| 2021-05-16 23:51:30 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-16 23:51:46 | <Axman6> | carries* |
| 2021-05-16 23:53:39 | <hpc> | Void has one value, bottom |
| 2021-05-16 23:53:45 | <hpc> | () has bottom and () |
| 2021-05-16 23:53:58 | <hpc> | but usefully distinguishing between bottom and () breaks the rules, depending on how you look at it |
| 2021-05-16 23:55:45 | <hpc> | so maybe you can say that, depends on what you decide to take into account in your reasoning |
| 2021-05-16 23:57:00 | <Axman6> | yeahb I was mostly choosing to ignore bottoms for now |
| 2021-05-16 23:57:29 | × | patlv quits (~patlv@unaffiliated/patlv) (Ping timeout: 245 seconds) |
| 2021-05-17 00:01:33 | <pavonia> | In this function definition <https://hackage.haskell.org/package/JuicyPixels-3.3.5/docs/src/Codec.Picture.Types.html#pixelBaseIndex>, why does (undefined :: a) refer to the class variable? Shouldn't there be an explicit forall? |
| 2021-05-17 00:01:37 | × | atk quits (~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.) |
| 2021-05-17 00:01:58 | → | atk joins (~Arch-TK@ircpuzzles/staff/Arch-TK) |
| 2021-05-17 00:04:06 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-17 00:04:15 | <geekosaur> | not as part of a class definition, iirc, all types declared in the class head are available inside the class definition even without explicit forall or ScopedTypeVariables |
| 2021-05-17 00:04:41 | <geekosaur> | otherwise it'd be hard to associate them properly with the class head |
| 2021-05-17 00:06:24 | <pavonia> | Yeah, seems to be different for classes indeed https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/scoped_type_variables.html#class-and-instance-declarations |
| 2021-05-17 00:06:37 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) |
| 2021-05-17 00:07:44 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) (Remote host closed the connection) |
| 2021-05-17 00:07:59 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) |
| 2021-05-17 00:08:59 | × | dmytrish_ quits (~mitra@2a02:8084:a82:d900:5051:16e0:8e89:e082) (Ping timeout: 260 seconds) |
| 2021-05-17 00:09:12 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-17 00:10:55 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 00:12:41 | → | bennofs__ joins (~quassel@dynamic-077-013-032-144.77.13.pool.telefonica.de) |
| 2021-05-17 00:15:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-17 00:16:14 | × | bennofs_ quits (~quassel@dynamic-078-055-014-180.78.55.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2021-05-17 00:16:38 | → | poljar1 joins (~poljar@78-1-50-185.adsl.net.t-com.hr) |
| 2021-05-17 00:16:43 | × | boxscape quits (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Quit: Connection closed) |
| 2021-05-17 00:16:57 | → | cpape` joins (~user@static.180.18.203.116.clients.your-server.de) |
| 2021-05-17 00:16:59 | → | Merfont joins (~Kaiepi@47.54.252.148) |
| 2021-05-17 00:17:10 | → | chris___ joins (~chris@81.96.113.213) |
| 2021-05-17 00:17:22 | × | cpape quits (~user@static.180.18.203.116.clients.your-server.de) (Read error: Connection reset by peer) |
| 2021-05-17 00:17:23 | × | raoul quits (~raoulhida@nomnomnomnom.co.uk) (Quit: Ping timeout (120 seconds)) |
| 2021-05-17 00:17:23 | × | MidAutumnHotaru quits (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Ping timeout (120 seconds)) |
| 2021-05-17 00:17:23 | × | concept2 quits (~concept2@unaffiliated/tubo) (Quit: Ping timeout (120 seconds)) |
| 2021-05-17 00:17:26 | × | mozzarella quits (~sam@unaffiliated/sam113101) (Remote host closed the connection) |
| 2021-05-17 00:17:26 | × | poljar quits (~poljar@93-139-93-177.adsl.net.t-com.hr) (Remote host closed the connection) |
| 2021-05-17 00:17:26 | × | chris__ quits (~chris@81.96.113.213) (Read error: Connection reset by peer) |
| 2021-05-17 00:17:26 | × | kristijonas_ quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-17 00:17:26 | × | Kaeipi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-05-17 00:17:26 | × | Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 2021-05-17 00:17:26 | × | SquidDev quits (~SquidDev@autoclave.squiddev.cc) (Quit: Ping timeout (120 seconds)) |
| 2021-05-17 00:17:26 | × | jhuizy quits (~jhuizy@static.241.188.216.95.clients.your-server.de) (Quit: Ping timeout (120 seconds)) |
| 2021-05-17 00:17:26 | × | Katarushisu quits (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2021-05-17 00:17:29 | → | mozzarel1 joins (~sam@unaffiliated/sam113101) |
| 2021-05-17 00:17:31 | → | SquidDev9 joins (~SquidDev@autoclave.squiddev.cc) |
| 2021-05-17 00:17:36 | → | MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-05-17 00:17:37 | mozzarel1 | is now known as mozzarella |
| 2021-05-17 00:17:37 | → | raoul joins (~raoulhida@nomnomnomnom.co.uk) |
| 2021-05-17 00:17:41 | → | jhuizy joins (~jhuizy@static.241.188.216.95.clients.your-server.de) |
| 2021-05-17 00:17:45 | → | Katarushisu joins (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) |
| 2021-05-17 00:17:46 | → | concept2 joins (~concept2@unaffiliated/tubo) |
| 2021-05-17 00:17:54 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 245 seconds) |
| 2021-05-17 00:17:59 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-17 00:18:18 | × | dwt quits (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-17 00:19:03 | <hpc> | Axman6: the best you can do is essentially |
| 2021-05-17 00:19:11 | × | leah2 quits (~leah@vuxu.org) (Read error: Connection reset by peer) |
| 2021-05-17 00:19:26 | <hpc> | Axman6: er, is essentially "if bottom then crash" with seq or whatever |
| 2021-05-17 00:22:04 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-17 00:22:25 | → | Natch joins (~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-05-17 00:23:05 | → | boxscape joins (54a350dc@p54a350dc.dip0.t-ipconnect.de) |
| 2021-05-17 00:23:21 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-17 00:23:29 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-05-17 00:23:59 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-17 00:24:36 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-05-17 00:25:06 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-05-17 00:25:08 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 00:25:37 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
All times are in UTC.