Logs: liberachat/#haskell
| 2021-06-03 10:11:21 | → | kritzefitz joins (~kritzefit@picard.host.weltraumschlangen.de) |
| 2021-06-03 10:11:21 | → | remexre joins (~nathan@user/remexre) |
| 2021-06-03 10:11:21 | → | ski joins (~ski@ed-3358-10.studat.chalmers.se) |
| 2021-06-03 10:11:21 | → | kaychaks_ joins (sid236345@id-236345.brockwell.irccloud.com) |
| 2021-06-03 10:11:21 | → | tnks joins (sid412124@id-412124.brockwell.irccloud.com) |
| 2021-06-03 10:11:21 | → | Patternmaster joins (~georg@li1192-118.members.linode.com) |
| 2021-06-03 10:11:21 | → | tureba joins (tureba@tureba.org) |
| 2021-06-03 10:11:21 | → | koz joins (~koz@121.99.240.58) |
| 2021-06-03 10:11:21 | → | Aleksejs joins (~Aleksejs@haskell.lv) |
| 2021-06-03 10:12:01 | → | nerdypepper joins (znc@152.67.162.71) |
| 2021-06-03 10:12:34 | × | kluk quits (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 10:12:51 | × | ddellacosta quits (~ddellacos@86.106.143.27) (Ping timeout: 245 seconds) |
| 2021-06-03 10:13:18 | × | node-sh_ quits (~node-sh@2401:4900:3b32:43a1:8c96:2e93:ccfe:1ffe) (Remote host closed the connection) |
| 2021-06-03 10:13:25 | → | kluk joins (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 10:13:32 | → | node-sh_ joins (~node-sh@2401:4900:3b32:43a1:8c96:2e93:ccfe:1ffe) |
| 2021-06-03 10:14:03 | → | sm2n_ joins (~sm2n@user/sm2n) |
| 2021-06-03 10:15:02 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 268 seconds) |
| 2021-06-03 10:15:59 | × | SethTisue__ quits (sid14912@charlton.irccloud.com) (Ping timeout: 265 seconds) |
| 2021-06-03 10:16:05 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-03 10:16:19 | → | ddellacosta joins (~ddellacos@86.106.121.82) |
| 2021-06-03 10:16:29 | × | anoe quits (~anoe@delanoe.org) (Ping timeout: 265 seconds) |
| 2021-06-03 10:16:34 | → | samebchase2 joins (~samebchas@51.15.68.182) |
| 2021-06-03 10:16:40 | → | anoe joins (~anoe@delanoe.org) |
| 2021-06-03 10:16:57 | × | sm2n quits (~sm2n@user/sm2n) (Ping timeout: 265 seconds) |
| 2021-06-03 10:17:26 | × | alp quits (~alp@user/alp) (Ping timeout: 265 seconds) |
| 2021-06-03 10:17:26 | × | Zemyla quits (~ec2-user@ec2-54-196-11-2.compute-1.amazonaws.com) (Ping timeout: 265 seconds) |
| 2021-06-03 10:18:22 | → | SethTisue__ joins (sid14912@id-14912.charlton.irccloud.com) |
| 2021-06-03 10:19:09 | × | samebchase quits (~samebchas@51.15.68.182) (Ping timeout: 265 seconds) |
| 2021-06-03 10:19:26 | × | kluk quits (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 10:20:19 | → | kluk joins (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 10:20:35 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2021-06-03 10:20:46 | × | ddellacosta quits (~ddellacos@86.106.121.82) (Ping timeout: 245 seconds) |
| 2021-06-03 10:22:08 | → | alp joins (~alp@163.172.83.213) |
| 2021-06-03 10:22:41 | → | Zemyla joins (~ec2-user@ec2-54-196-11-2.compute-1.amazonaws.com) |
| 2021-06-03 10:24:14 | ← | BAD parts (~mad@user/god) () |
| 2021-06-03 10:26:06 | × | kluk quits (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 10:26:11 | × | y04nn quits (~y04nn@193.32.127.220) (Ping timeout: 245 seconds) |
| 2021-06-03 10:27:43 | → | kluk joins (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 10:30:54 | → | oo_miguel joins (~pi@89-72-187-203.dynamic.chello.pl) |
| 2021-06-03 10:31:12 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 2021-06-03 10:31:22 | → | ikex joins (~ash@user/ikex) |
| 2021-06-03 10:32:56 | × | kluk quits (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 10:34:20 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-06-03 10:34:22 | → | kluk joins (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 10:34:35 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-03 10:34:51 | → | ddellacosta joins (~ddellacos@86.106.121.82) |
| 2021-06-03 10:34:59 | → | p3n joins (~p3n@217.198.124.246) |
| 2021-06-03 10:35:56 | → | jess joins (~jess@libera/staff/jess) |
| 2021-06-03 10:39:47 | × | ddellacosta quits (~ddellacos@86.106.121.82) (Ping timeout: 245 seconds) |
| 2021-06-03 10:39:48 | × | kluk quits (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 10:40:21 | × | node-sh_ quits (~node-sh@2401:4900:3b32:43a1:8c96:2e93:ccfe:1ffe) (Ping timeout: 268 seconds) |
| 2021-06-03 10:40:22 | → | hololeap joins (hololeap@user/hololeap) |
| 2021-06-03 10:40:28 | × | alp quits (~alp@163.172.83.213) (Changing host) |
| 2021-06-03 10:40:28 | → | alp joins (~alp@user/alp) |
| 2021-06-03 10:40:28 | → | kluk joins (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) |
| 2021-06-03 10:41:02 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-03 10:41:21 | × | jess quits (~jess@libera/staff/jess) () |
| 2021-06-03 10:41:48 | → | jess joins (~jess@libera/staff/jess) |
| 2021-06-03 10:41:59 | <hololeap> | I ran into an issue in development with HLS where it was eating up all my RAM. I narrowed down the issue to this, which causes GHC to loop endlessly: http://sprunge.us/6MV7vZ |
| 2021-06-03 10:42:01 | → | node-sh joins (~node-sh@2401:4900:3b32:43a1:8c96:2e93:ccfe:1ffe) |
| 2021-06-03 10:43:05 | <hololeap> | UndecidableSuperClasses seems to be key to the issue |
| 2021-06-03 10:43:47 | → | haltux joins (~haltux@a89-154-181-47.cpe.netcabo.pt) |
| 2021-06-03 10:45:40 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-06-03 10:46:16 | × | kluk quits (~kluk@2603-7000-9b3f-6934-b4ca-d901-e344-cffd.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-06-03 10:48:51 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.1) |
| 2021-06-03 10:49:24 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-03 10:50:24 | <Cale> | hololeap: HasMultiFormTree ('Node '(r,o,'[]) '[]) -> HasMultiForm r o -> HasMultiFormTree (FieldTypes r o) -> HasMultiFormTree ('Node '(r,o,'[]) '[]) |
| 2021-06-03 10:51:37 | <guest63``> | Haskell's Set, Python's Tuple, Kotlin's Pair, Scheme's Improper List, are they same thing? |
| 2021-06-03 10:51:47 | <Cale> | no |
| 2021-06-03 10:52:04 | <Cale> | Haskell's Set is a very different data structure |
| 2021-06-03 10:52:04 | <guest63``> | dirrence? |
| 2021-06-03 10:52:44 | → | ddellacosta joins (~ddellacos@89.46.62.86) |
| 2021-06-03 10:53:11 | <river> | haskells pair (,) |
| 2021-06-03 10:53:28 | <Cale> | Haskell's Set requires an ordering on the type of elements being stored, they must all be the same type, and there are no duplicates, i.e. it's a representation for finite setst of elements of the given type |
| 2021-06-03 10:53:38 | <Cale> | sets* |
| 2021-06-03 10:54:43 | <bartavelle> | guest63``: Haskell's Set is more like like Python's set(), what you are referring to seems more like Haskell's tuples? |
| 2021-06-03 10:54:52 | <Cale> | Haskell's tuples are close to the tuples in other languages, though if you want to get technical, there's a bit of a difference because of laziness. |
| 2021-06-03 10:55:46 | × | node-sh quits (~node-sh@2401:4900:3b32:43a1:8c96:2e93:ccfe:1ffe) (Ping timeout: 272 seconds) |
| 2021-06-03 10:56:24 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 272 seconds) |
| 2021-06-03 10:57:40 | × | ddellacosta quits (~ddellacos@89.46.62.86) (Ping timeout: 272 seconds) |
| 2021-06-03 10:57:40 | <guest63``> | I don't know haskell has pair set and tuple... |
| 2021-06-03 10:57:47 | <Cale> | If I have some x of type (Integer, String) for example, evaluation of x might not terminate (might be an infinite loop of some sort, or it might die with an exception), or it might evaluate as far as needed to match a pattern like (y,z), and then the evaluation of each of y and z additionally has the possibility to not terminate. |
| 2021-06-03 10:58:27 | → | haskman joins (~haskman@223.190.2.235) |
| 2021-06-03 10:58:30 | <Cale> | The components of a Haskell tuple are represented at runtime as pointers to code |
| 2021-06-03 10:58:35 | × | haskman quits (~haskman@223.190.2.235) (Client Quit) |
| 2021-06-03 10:58:39 | <Cale> | (thunks) |
| 2021-06-03 10:59:20 | <Cale> | The first time that code runs, if computes the value, and then it overwrites the pointer to point at a shorter piece of code that immediately returns the already-computed value. |
| 2021-06-03 10:59:35 | <Cale> | (That's how lazy evaluation works) |
| 2021-06-03 10:59:49 | <Cale> | (Or at least, it's part of it) |
| 2021-06-03 11:05:59 | <hololeap> | Cale: Although I don't completely understand, what you wrote pointed out a loop I was already looking at, and it seems this compiles: http://sprunge.us/Kz2uTk |
| 2021-06-03 11:06:21 | ← | shryke_ parts (~shryke@91.103.43.254) (WeeChat 3.1) |
| 2021-06-03 11:07:18 | → | larkfisherman joins (~larkfishe@217.75.204.126) |
| 2021-06-03 11:07:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-06-03 11:07:39 | <hololeap> | the key seems to be to make sure the top level 'r' and 'o' are not caught in HasMultiForm{Tree,Forest} |
| 2021-06-03 11:08:47 | <hololeap> | it makes sense, although I thought that GHC would be able to figure out that (C x => C x) ~ C x |
| 2021-06-03 11:09:12 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-03 11:09:12 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-06-03 11:09:17 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-03 11:09:49 | → | ddellacosta joins (~ddellacos@86.106.121.71) |
| 2021-06-03 11:11:16 | → | node-sh joins (~node-sh@2401:4900:3b32:43a1:8c96:2e93:ccfe:1ffe) |
All times are in UTC.