Logs: freenode/#haskell
| 2021-03-28 09:07:32 | × | zleap quits (~zleap@37.120.211.188) (Remote host closed the connection) |
| 2021-03-28 09:07:36 | <curl> | the main difference is that you have to have this special environment for as you assemble the layers of the nested datatypes |
| 2021-03-28 09:07:46 | → | raym joins (~ray@115.187.32.14) |
| 2021-03-28 09:08:00 | <curl> | so that you can refer to "this" as the whole thing and access over it with the record accessors |
| 2021-03-28 09:08:52 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-03-28 09:09:22 | <curl> | which obviously you can do when constructing values |
| 2021-03-28 09:10:38 | × | Vadrigar_ quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2021-03-28 09:10:57 | <curl> | so then maybe the whole thing would work with a kind of souped up type synonym |
| 2021-03-28 09:12:04 | → | pera joins (~pera@unaffiliated/pera) |
| 2021-03-28 09:13:14 | <curl> | if i write; type A = [Double], there are no records to access over the [], so it seems like it would need a HList or something where we could get type info about each position seperately |
| 2021-03-28 09:13:21 | <curl> | but really what it needs are sum-records |
| 2021-03-28 09:15:30 | <curl> | if i pretend i have these with a tuple, i could write like; type' B = (Double,Fst B,(Double,Fst (Thrd B))) |
| 2021-03-28 09:16:27 | <curl> | i guess the records should be lowercase... |
| 2021-03-28 09:16:55 | × | desophos quits (~desophos@2601:249:1680:a570:2c06:4263:a6df:407d) (Read error: Connection reset by peer) |
| 2021-03-28 09:17:25 | <curl> | data Pair a b = Pair {fst :: a,snd :: b} |
| 2021-03-28 09:17:47 | <curl> | type' C = Pair Double (fst C) |
| 2021-03-28 09:18:04 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-28 09:18:18 | <curl> | and i would need sum records to do anything fancy and branching recursive |
| 2021-03-28 09:18:24 | <curl> | ie finite lazy |
| 2021-03-28 09:18:41 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:54a5:8b06:7d0d:55e6) |
| 2021-03-28 09:19:38 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-03-28 09:22:10 | <curl> | though that might be wrong, since sum types would be instantiated one way or the other, so cant actually be *accessed* over as if there was a choice of which it is |
| 2021-03-28 09:22:41 | <curl> | ie the whole record accessor might be wrong, its just like fromLeft that is used because it knows it is Left |
| 2021-03-28 09:25:53 | → | kqr joins (~kqr@vps.xkqr.org) |
| 2021-03-28 09:27:09 | × | madjestic quits (~Android@86-88-72-244.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2021-03-28 09:27:33 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Remote host closed the connection) |
| 2021-03-28 09:28:22 | <curl> | i guess its that the same accessor works accross a range of sum datatypes |
| 2021-03-28 09:28:34 | <curl> | eg 4th can be used on a list of any length |
| 2021-03-28 09:29:36 | <curl> | but then it seems strange that somehow this sum-records has ended up with something like a definition of (!!) for lists |
| 2021-03-28 09:30:48 | × | solidus-river quits (~mike@174.127.249.180) (Remote host closed the connection) |
| 2021-03-28 09:31:01 | <curl> | i guess defining the poistion over an arbitrary recursive program is going to be nion impossible |
| 2021-03-28 09:31:12 | → | Criggie1 joins (~Criggie@185.204.1.185) |
| 2021-03-28 09:31:18 | × | malumore quits (~malumore@151.62.119.109) (Ping timeout: 240 seconds) |
| 2021-03-28 09:32:21 | <curl> | so either an expanded syntax for the definition of records, or full dependent types allowing the regular implementations over the values to be used like "record accessors" |
| 2021-03-28 09:32:47 | → | Vadrigar_ joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
| 2021-03-28 09:33:08 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-28 09:35:18 | → | shad0w_ joins (a0ca255a@160.202.37.90) |
| 2021-03-28 09:35:46 | <curl> | so the type of a GADT constructor could be like Constructor :: MyGADT `at` somePosition -> [a] !! 2 -> MyGADT |
| 2021-03-28 09:37:08 | <curl> | erm, i dont think the [a] !! 2 actually works, because you dont know what that contains, but MyGADT `at` somePostion should be defined in the GADT declaration |
| 2021-03-28 09:37:18 | <curl> | though then im not sure where `at' is defined |
| 2021-03-28 09:37:28 | × | pera quits (~pera@unaffiliated/pera) (Ping timeout: 252 seconds) |
| 2021-03-28 09:37:49 | → | fendor joins (~fendor@77.119.130.155.wireless.dyn.drei.com) |
| 2021-03-28 09:38:19 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-03-28 09:38:58 | × | Vadrigar_ quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2021-03-28 09:39:01 | <maralorn> | curl: Why don't you write a blog post? That seems mich more appropriate for this kind of communication. |
| 2021-03-28 09:42:04 | → | Guest55480 joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-03-28 09:46:00 | <curl> | for the feedback |
| 2021-03-28 09:46:06 | <curl> | hopefully! |
| 2021-03-28 09:46:24 | <curl> | im not sure the idea is ready for publication yet |
| 2021-03-28 09:46:33 | <curl> | i was thinking i might try some test cases first |
| 2021-03-28 09:46:55 | <curl> | but cant really implement it before working through a few ideas, some of which seem quite difficult |
| 2021-03-28 09:47:15 | <curl> | would love the input of someone able to understand the idea |
| 2021-03-28 09:47:58 | <curl> | before embarking on anything too ambitious while working in a total vaccum |
| 2021-03-28 09:48:55 | <curl> | seems pointless when there are people with the expertise that could potentially save from errors at the first phase of a project |
| 2021-03-28 09:49:47 | <curl> | i think i managed to describe the concept well enough for such consultation |
| 2021-03-28 09:52:32 | × | Alleria__ quits (~textual@2603-7000-3040-0000-eca8-d3b7-f438-6f95.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-28 09:54:18 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-28 09:56:46 | <curl> | it probably makes more sense as a language proposal than a blog post really, but its nowhere near at that stage yet |
| 2021-03-28 09:56:56 | <curl> | i guess this would be the place to ask |
| 2021-03-28 09:57:07 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9586d8aaf3880c64deb7.dip0.t-ipconnect.de) |
| 2021-03-28 09:59:24 | <curl> | all i really want is to be able to write :: Fst (Pair a b) -> MyGADT, instead of :: a -> MyGADT |
| 2021-03-28 10:00:24 | <curl> | woah, i can do that already... |
| 2021-03-28 10:00:38 | <curl> | hang on this actually might work |
| 2021-03-28 10:01:45 | × | coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-03-28 10:03:16 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-03-28 10:05:04 | <curl> | no, i still cant make reference to *this* object though, so even if i could say "this branch of a tree points to this other position on *another* tree" i cant ensure the nother three is this tree |
| 2021-03-28 10:05:43 | <curl> | but i guess i dont need to... |
| 2021-03-28 10:08:04 | × | marek quits (~mmahut@209.250.249.245) (Changing host) |
| 2021-03-28 10:08:04 | → | marek joins (~mmahut@fedora/pyxel) |
| 2021-03-28 10:08:17 | × | ADG1089 quits (~aditya@27.58.165.185) (Remote host closed the connection) |
| 2021-03-28 10:11:02 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) |
| 2021-03-28 10:11:50 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-03-28 10:15:33 | <maralorn> | curl: So for me personally following a long thought like this in IRC does not work. It’s the wrong medium. And from what I can observe I don‘t get the feeling that you are getting any meaningful feedback. |
| 2021-03-28 10:15:40 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) (Ping timeout: 276 seconds) |
| 2021-03-28 10:15:54 | <curl> | ok |
| 2021-03-28 10:18:18 | <maralorn> | Anyways can someone please tell me that I am overlooking the great library for dealing with calendars, event recurrence, etc. that obviously everyone in the ecosystem is using and that is still maintained? |
| 2021-03-28 10:23:28 | <siers> | how do I do (+1) for data inside newtype with Control.Lens.Wrapped? |
| 2021-03-28 10:24:59 | <siers> | is it meant for that even? |
| 2021-03-28 10:25:33 | <olligobber> | I managed to mess up my haskell installation |
| 2021-03-28 10:26:11 | <siers> | ah, it's (_Wrapped %~ (+1)) |
| 2021-03-28 10:26:16 | <olligobber> | what is meant to be in .ghc/x86_64-linux-8.10.4/environments/default ? |
| 2021-03-28 10:27:26 | <olligobber> | well, deleting the last line of it fixed my issue |
| 2021-03-28 10:28:24 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5) |
| 2021-03-28 10:29:14 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 2021-03-28 10:29:37 | Alleria | is now known as Guest19166 |
| 2021-03-28 10:29:53 | <kuribas> | how do you install executables with cabal? |
| 2021-03-28 10:30:28 | <[exa]> | `cabal install`? |
| 2021-03-28 10:31:08 | <kuribas> | Warning: You asked to install executables, but there are no executables in |
| 2021-03-28 10:31:08 | <kuribas> | target: yaml |
| 2021-03-28 10:31:19 | <kuribas> | yet: https://hackage.haskell.org/package/yaml |
| 2021-03-28 10:31:28 | <[exa]> | ah, it's got the --lib switch (or similar) |
| 2021-03-28 10:31:32 | <kuribas> | Executables: yaml2json, json2yaml, examples |
| 2021-03-28 10:31:41 | <kuribas> | what does that mean? |
| 2021-03-28 10:31:49 | <[exa]> | did you disable the no-exe flag? |
| 2021-03-28 10:32:06 | <[exa]> | (`-f -no-exe`) |
| 2021-03-28 10:32:28 | × | hexo quits (~hexo@83.167.228.130) (Read error: Connection reset by peer) |
| 2021-03-28 10:32:28 | hacxman | is now known as hexo |
| 2021-03-28 10:32:47 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5) (Ping timeout: 252 seconds) |
| 2021-03-28 10:32:56 | <kuribas> | no? |
| 2021-03-28 10:33:58 | <kuribas> | I just did cabal install yaml |
All times are in UTC.