Logs: liberachat/#haskell
| 2021-07-17 18:09:18 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 265 seconds) |
| 2021-07-17 18:09:54 | → | pesada joins (~agua@2804:18:48:588b:1:0:277e:35b0) |
| 2021-07-17 18:10:09 | → | Core5124 joins (~agua@2804:14c:8793:8e2f:642c:be4c:c775:de87) |
| 2021-07-17 18:13:10 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-07-17 18:13:23 | × | agua quits (~agua@2804:14c:8793:8e2f:a4d4:3a0b:9f6:6100) (Ping timeout: 255 seconds) |
| 2021-07-17 18:14:11 | × | pesada quits (~agua@2804:18:48:588b:1:0:277e:35b0) (Ping timeout: 250 seconds) |
| 2021-07-17 18:15:26 | × | azeem quits (~azeem@176.201.25.252) (Ping timeout: 268 seconds) |
| 2021-07-17 18:17:33 | → | azeem joins (~azeem@176.201.25.252) |
| 2021-07-17 18:19:56 | × | Null_A quits (~null_a@2601:645:8700:2290:b55a:33c2:1e1d:f229) (Remote host closed the connection) |
| 2021-07-17 18:19:57 | × | ubert quits (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2021-07-17 18:21:23 | × | Ouroborosie quits (~pjetcetal@128-71-13-182.broadband.corbina.ru) (Quit: EXIT) |
| 2021-07-17 18:24:10 | → | Ananta-shesha joins (~pjetcetal@128-71-13-182.broadband.corbina.ru) |
| 2021-07-17 18:24:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-17 18:24:49 | × | azeem quits (~azeem@176.201.25.252) (Read error: Connection reset by peer) |
| 2021-07-17 18:26:00 | → | azeem joins (~azeem@dynamic-adsl-94-34-31-95.clienti.tiscali.it) |
| 2021-07-17 18:26:27 | → | brian_da_mage joins (~Neuromanc@user/briandamag) |
| 2021-07-17 18:30:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-07-17 18:30:56 | Ananta-shesha | is now known as Anantashesha |
| 2021-07-17 18:31:05 | Anantashesha | is now known as Ananta-shesha |
| 2021-07-17 18:36:54 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-17 18:37:06 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-17 18:37:39 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2021-07-17 18:42:10 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-07-17 18:42:16 | × | DNH quits (~DNH@2a02:8108:1100:16d8:6178:3a47:8c71:dd89) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-17 18:45:49 | × | Ananta-shesha quits (~pjetcetal@128-71-13-182.broadband.corbina.ru) (Quit: EXIT) |
| 2021-07-17 18:46:05 | → | DNH joins (~DNH@2a02:8108:1100:16d8:6178:3a47:8c71:dd89) |
| 2021-07-17 18:46:05 | × | burnside_ quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-07-17 18:46:10 | → | Ananta-shesha joins (~pjetcetal@128-71-13-182.broadband.corbina.ru) |
| 2021-07-17 18:46:23 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-17 18:49:30 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 240 seconds) |
| 2021-07-17 18:50:08 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-07-17 18:50:11 | × | DNH quits (~DNH@2a02:8108:1100:16d8:6178:3a47:8c71:dd89) (Client Quit) |
| 2021-07-17 18:51:17 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 2021-07-17 18:53:36 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-07-17 18:54:09 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2021-07-17 18:56:50 | × | hendursaga quits (~weechat@user/hendursaga) (Remote host closed the connection) |
| 2021-07-17 18:58:27 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-07-17 18:59:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-17 19:00:54 | × | benin0369 quits (~benin@183.82.206.198) (Ping timeout: 255 seconds) |
| 2021-07-17 19:03:41 | → | aallen joins (~aallen@072-182-074-253.res.spectrum.com) |
| 2021-07-17 19:05:55 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-17 19:06:50 | <texasmynsted> | sigh. |
| 2021-07-17 19:07:01 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-17 19:07:39 | <oso> | seconded |
| 2021-07-17 19:08:52 | <texasmynsted> | +1 oso |
| 2021-07-17 19:09:01 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-07-17 19:12:41 | brian_da_mage | is now known as Brianmancer |
| 2021-07-17 19:14:22 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-07-17 19:14:36 | → | johnw joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2021-07-17 19:17:38 | → | Null_A joins (~null_a@2601:645:8700:2290:b55a:33c2:1e1d:f229) |
| 2021-07-17 19:17:38 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-17 19:18:12 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-17 19:20:01 | × | adminll quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-17 19:20:24 | × | machinedgod quits (~machinedg@24.105.81.50) (Remote host closed the connection) |
| 2021-07-17 19:21:19 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-07-17 19:22:40 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-07-17 19:25:52 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-17 19:30:09 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-17 19:30:34 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-17 19:31:03 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 2021-07-17 19:32:57 | <monochrom> | Why so grim? |
| 2021-07-17 19:33:18 | <boxscape> | hololeap: one of rae's latest videos is also about varargs https://youtu.be/iGSKqcebhfs |
| 2021-07-17 19:33:22 | <monochrom> | You know "grim" and "grin" are just one curvy stroke apart. :) |
| 2021-07-17 19:33:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-07-17 19:33:55 | <boxscape> | you can't spell slaughter without laughter, you can't spell grim without grin |
| 2021-07-17 19:34:33 | <monochrom> | hee hee |
| 2021-07-17 19:35:42 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-07-17 19:35:57 | <oso> | idk why texas is feeling grim but i'm extremely anxious about a work trip and trying to stuff the feelings down by adding documentation to my heretofore undocumented code |
| 2021-07-17 19:36:32 | <monochrom> | My gripe about printf is I will be writing "%d %d %d %d %d %d %d" and then it's the same issue with (Int,Int,Int,Int,Int,Int). And I'm deliberately demonstrating an miscounting error for starters. But this issue is not about vararg, it's about losing structure. |
| 2021-07-17 19:37:45 | × | alx741 quits (~alx741@181.196.68.89) (Ping timeout: 265 seconds) |
| 2021-07-17 19:38:53 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-17 19:39:32 | × | finsternis quits (~X@23.226.237.192) (Remote host closed the connection) |
| 2021-07-17 19:40:57 | × | mcfrdy quits (~mcfrdy@user/mcfrdy) (Ping timeout: 255 seconds) |
| 2021-07-17 19:41:40 | × | Ananta-shesha quits (~pjetcetal@128-71-13-182.broadband.corbina.ru) (Quit: EXIT) |
| 2021-07-17 19:43:37 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-07-17 19:43:45 | × | dmwit quits (~dmwit@pool-96-255-233-247.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-07-17 19:44:57 | → | mcfrdy joins (~mcfrdy@45.67.96.77) |
| 2021-07-17 19:44:57 | × | mcfrdy quits (~mcfrdy@45.67.96.77) (Changing host) |
| 2021-07-17 19:44:57 | → | mcfrdy joins (~mcfrdy@user/mcfrdy) |
| 2021-07-17 19:46:21 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-17 19:47:45 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-17 19:48:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-17 19:50:23 | → | alx741 joins (~alx741@186.178.109.120) |
| 2021-07-17 19:51:08 | <maerwald> | can you implement varargs in haskell without ambiguitiy due to partial application? |
| 2021-07-17 19:51:18 | <maerwald> | (and I'm not talking about the typeclass trick) |
| 2021-07-17 19:51:27 | → | dmwit joins (~dmwit@pool-108-18-198-142.washdc.fios.verizon.net) |
| 2021-07-17 19:51:55 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-17 19:52:19 | <geekosaur> | I think there's a typesafe varargs via TH somewhere on hackage |
| 2021-07-17 19:52:48 | <geekosaur> | probably relies on the format string being literal, but you have other problems if it's not anyway |
| 2021-07-17 19:53:46 | <c_wraith> | In the general case, there's true ambiguity. There's no general way to distinguish between providing all the arguments that will be provided and partially applying the function. |
| 2021-07-17 19:54:25 | <geekosaur> | ^ |
| 2021-07-17 19:55:06 | → | finsternis joins (~X@23.226.237.192) |
| 2021-07-17 19:55:20 | <c_wraith> | this is why I described varargs as a workaround, not something worth having for itself :) |
| 2021-07-17 19:56:14 | → | Franciman joins (~francesco@openglass.it) |
| 2021-07-17 19:56:21 | <Franciman> | Hi, does cabal support literate haskell? |
| 2021-07-17 19:56:26 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 255 seconds) |
| 2021-07-17 19:56:38 | <c_wraith> | if you put an .lhs extension on the files, it should find and compile them |
| 2021-07-17 19:56:56 | <Franciman> | I have a project using .lhs files, but I get errors |
| 2021-07-17 19:56:58 | <Franciman> | wait |
| 2021-07-17 19:57:19 | <Franciman> | `unlit' failed in phase `Literate pre-processor'. (Exit code: 1) |
All times are in UTC.