Logs: liberachat/#haskell
| 2021-07-22 18:42:33 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-07-22 18:46:51 | → | mr-red joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-22 18:49:23 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 255 seconds) |
| 2021-07-22 18:51:30 | × | byorgey quits (~byorgey@155.138.238.211) (Remote host closed the connection) |
| 2021-07-22 18:55:09 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-22 18:56:29 | → | doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net) |
| 2021-07-22 18:57:04 | <maerwald> | sm: where clauses are a little bit like nested if-then-else in imperative languages. The scope becomes too wide |
| 2021-07-22 18:57:11 | <dminuoso> | sm: You could always insert a stub `case () of ... where` :-P |
| 2021-07-22 18:57:13 | <maerwald> | but I also like them |
| 2021-07-22 18:57:37 | × | mr-red quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 245 seconds) |
| 2021-07-22 18:57:54 | <maerwald> | I'd like where-clauses with functions that don't have access to the top-level parameters... |
| 2021-07-22 18:58:42 | <maerwald> | like: this is a set of "private" functions that I need here |
| 2021-07-22 18:58:53 | <maerwald> | and I can be sure that no scope leaks in |
| 2021-07-22 18:58:58 | <maerwald> | no-scoped |
| 2021-07-22 18:59:00 | <maerwald> | lol |
| 2021-07-22 18:59:06 | → | zebrag joins (~chris@user/zebrag) |
| 2021-07-22 19:00:40 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-07-22 19:01:06 | × | nvmd quits (~nvmd@user/nvmd) (Quit: Later, nerds.) |
| 2021-07-22 19:02:01 | <zzz> | are tyoe declarations curried? |
| 2021-07-22 19:02:20 | <zzz> | let me rephrase that |
| 2021-07-22 19:02:32 | <zzz> | are type synonym declarations curried? |
| 2021-07-22 19:03:00 | <crazazy> | zzz: they are |
| 2021-07-22 19:03:30 | <ph88^> | anyone know how i can fix these linker errors ? https://bpa.st/FNPQ |
| 2021-07-22 19:03:33 | <zzz> | so type Grid = M.Map (Int,Int) === type Grid a = M.Map (Int,Int) a |
| 2021-07-22 19:03:34 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-07-22 19:04:31 | → | hegstal joins (~hegstal@2a02:c7f:7604:8a00:9af4:e021:9dca:50c4) |
| 2021-07-22 19:04:44 | <Morrow_> | I thought type synonyms had to be fully saturated? |
| 2021-07-22 19:05:32 | <h98> | think Grid just has kind * -> ... in both cases |
| 2021-07-22 19:05:52 | → | adanwan_ joins (~adanwan@gateway/tor-sasl/adanwan) |
| 2021-07-22 19:06:11 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 244 seconds) |
| 2021-07-22 19:06:39 | <Morrow_> | Yes but in the second case I can't write class C Grid where ... while in the first case I can. |
| 2021-07-22 19:06:42 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-07-22 19:06:44 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-22 19:06:47 | <tomsmeding> | Morrow_: when _applying_ a type synonym, you hvae to pass all parameters |
| 2021-07-22 19:06:57 | <tomsmeding> | all parameters of the type synonym, that is |
| 2021-07-22 19:07:02 | <nshepperd> | they're not exactly equivalent. the eta expanded one can not be used in f Grid |
| 2021-07-22 19:07:21 | <tomsmeding> | doesn't mean that the type synonym itself can't be "curried", i.e. not be of kind * |
| 2021-07-22 19:08:31 | <tomsmeding> | so yeah zzz: if you use the 'type Grid a' version, you'll always have to give that argument to Grid; with the first version, you can just use 'Grid' by itself |
| 2021-07-22 19:08:40 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-07-22 19:10:04 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-22 19:10:27 | → | zmt01 joins (~zmt00@user/zmt00) |
| 2021-07-22 19:11:14 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-22 19:12:58 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-22 19:13:18 | × | Morrow quits (~MorrowM_@147.161.8.143) (Read error: Connection reset by peer) |
| 2021-07-22 19:13:23 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-22 19:13:36 | → | Morrow joins (~MorrowM_@147.161.8.143) |
| 2021-07-22 19:14:13 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 268 seconds) |
| 2021-07-22 19:15:04 | → | ikex1 joins (ash@user/ikex) |
| 2021-07-22 19:16:13 | × | ikex quits (~ash@user/ikex) (Ping timeout: 265 seconds) |
| 2021-07-22 19:16:13 | ikex1 | is now known as ikex |
| 2021-07-22 19:20:46 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-07-22 19:22:38 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-07-22 19:22:57 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-22 19:23:44 | → | argento joins (~argent0@168-227-97-29.ptr.westnet.com.ar) |
| 2021-07-22 19:23:59 | × | ubert quits (~Thunderbi@178.115.32.89.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-22 19:27:40 | → | burnside_ joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-22 19:27:40 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-07-22 19:32:13 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-22 19:32:31 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-22 19:32:42 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 276 seconds) |
| 2021-07-22 19:37:15 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 276 seconds) |
| 2021-07-22 19:37:24 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-22 19:39:06 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-22 19:40:39 | × | Achylles quits (~Achylles_@2804:431:d724:510f:d7b1:4ecb:6877:1a1a) (Quit: Leaving) |
| 2021-07-22 19:40:57 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-22 19:47:08 | <arkanoid> | general question: why is haskell platfom so large on disk? |
| 2021-07-22 19:47:32 | <arkanoid> | stack shows me ~2GB for each installed version |
| 2021-07-22 19:47:43 | <arkanoid> | that's not a problem, just a curiosity |
| 2021-07-22 19:48:23 | <maerwald> | yes, a single GHC installation is around 2gb |
| 2021-07-22 19:48:48 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-22 19:49:35 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-22 19:50:20 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-22 19:50:29 | × | argento quits (~argent0@168-227-97-29.ptr.westnet.com.ar) (Quit: leaving) |
| 2021-07-22 19:52:10 | → | jneira_ joins (~jneira_@28.red-80-28-169.staticip.rima-tde.net) |
| 2021-07-22 19:52:58 | <arkanoid> | but why that big? docs are ~ 300MB |
| 2021-07-22 19:53:56 | <arkanoid> | the libs are incredibly large compared to any other programming environment |
| 2021-07-22 19:55:30 | <h98> | https://stackoverflow.com/questions/48756089/why-is-a-fresh-install-of-haskell-stack-and-ghc-so-large-big |
| 2021-07-22 19:57:01 | <h98> | from what I understood from several of these posts, the answer was "static linking + duplication" |
| 2021-07-22 19:58:30 | → | dhil joins (~dhil@195.213.192.47) |
| 2021-07-22 19:58:38 | <dsal> | Making tiny files isn't a priority. |
| 2021-07-22 20:01:41 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 252 seconds) |
| 2021-07-22 20:04:58 | × | juhp quits (~juhp@128.106.188.220) (Ping timeout: 240 seconds) |
| 2021-07-22 20:05:09 | × | Null_A quits (~null_a@2601:645:8700:2290:cc41:848b:cba0:322d) (Remote host closed the connection) |
| 2021-07-22 20:05:44 | → | Null_A joins (~null_a@2601:645:8700:2290:cc41:848b:cba0:322d) |
| 2021-07-22 20:06:06 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-22 20:06:38 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 252 seconds) |
| 2021-07-22 20:07:19 | → | juhp joins (~juhp@128.106.188.220) |
| 2021-07-22 20:10:24 | × | Null_A quits (~null_a@2601:645:8700:2290:cc41:848b:cba0:322d) (Ping timeout: 276 seconds) |
| 2021-07-22 20:13:18 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-22 20:13:18 | × | burnside_ quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-07-22 20:13:30 | <Hecate> | hai |
| 2021-07-22 20:13:35 | <Hecate> | I haz trouble with megaparsec :< |
| 2021-07-22 20:13:39 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 276 seconds) |
| 2021-07-22 20:13:41 | × | ph88^ quits (~ph88@2a02:8109:9e00:7e5c:4c3:7ef8:c703:fb12) (Remote host closed the connection) |
| 2021-07-22 20:13:50 | <Hecate> | https://gist.github.com/Kleidukos/8acc9eb159f2e65f7c9250e73e1e8bb9 <- I want to parse this SQL file according to the type I define in the parser just below |
| 2021-07-22 20:14:18 | → | shapr` joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-07-22 20:14:35 | <Hecate> | and while I can properly use line-based parsers, I have trouble expressing "Just pick that chunk of text spanning multiple lines that end either with the next section or end of the file |
| 2021-07-22 20:14:39 | <dminuoso> | arkanoid: At least the libraries in GHC itself come in all 4 flavors static, dynamic, profiled and GHCi. Since GHC itself is a library too, this quickly racks up space. |
| 2021-07-22 20:15:23 | <dminuoso> | Though, I think GHC uses dynamic linking nowadays? |
| 2021-07-22 20:15:47 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 255 seconds) |
All times are in UTC.