Logs: freenode/#haskell
| 2021-03-15 00:11:39 | <koz_> | See that 'type Item l' thing? That's an associated type. |
| 2021-03-15 00:13:56 | <koz_> | But for what you want to do, you're still going to have trouble, because you have a multi-parameter type class. Unless you can come up with some fundeps for that combination. |
| 2021-03-15 00:15:45 | <Squarism> | ah, i thought that was class type families. |
| 2021-03-15 00:15:58 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4) (Remote host closed the connection) |
| 2021-03-15 00:16:13 | <koz_> | Squarism: Well, whatever you wanna call them, I think what you want is doable with them. |
| 2021-03-15 00:17:08 | <Squarism> | through using instances, sure. But create a class from another class? I cannot see how that would be done. |
| 2021-03-15 00:17:43 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-15 00:18:05 | <koz_> | Ah, so you want parameterized _classes_, not merely 'here's a set of classes, associate them with some types'? |
| 2021-03-15 00:21:59 | <Squarism> | koz_, yes |
| 2021-03-15 00:22:45 | <koz_> | Yeah, that's... challenging. |
| 2021-03-15 00:22:50 | <koz_> | What's the bigger context here? |
| 2021-03-15 00:23:14 | <whataday> | why call a fixed point inside a Cont do notation would create a loop? |
| 2021-03-15 00:23:34 | × | wopas32 quits (uid384704@gateway/web/irccloud.com/x-qslgkfcwyjmugmxz) (Quit: Connection closed for inactivity) |
| 2021-03-15 00:23:46 | <whataday> | http://www.vex.net/~trebla/haskell/cont-monad.xhtml |
| 2021-03-15 00:24:05 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-03-15 00:24:27 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-03-15 00:24:58 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-03-15 00:25:33 | <Squarism> | koz_, right now just trying to learn what is possible. Really i wanted to create two classes that just differ in 2 arguments. Say A and B. Then i wanted to create a mapping from B -> A. So implementing a B would give me an A. |
| 2021-03-15 00:25:52 | <koz_> | What are A and B? Types? |
| 2021-03-15 00:26:03 | <Squarism> | no, those would be the two classes |
| 2021-03-15 00:26:27 | <koz_> | The 'arguments' in which they differ are types then? |
| 2021-03-15 00:26:33 | <Squarism> | yes |
| 2021-03-15 00:26:51 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-15 00:26:53 | <koz_> | Depending on what you want, type families might be able to achieve it, but I would argue that you _definitely_ don't wanna go down this road. |
| 2021-03-15 00:27:07 | <koz_> | It might be doable, but it'll be impossible to work with, and the typechecker would likely turn to custard. |
| 2021-03-15 00:27:10 | <Squarism> | with arguments i mean the Started/NonStarted from my example. |
| 2021-03-15 00:27:34 | <koz_> | I dunno though - just the thought of this makes my brain protest. |
| 2021-03-15 00:27:59 | <Squarism> | =D |
| 2021-03-15 00:30:10 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-15 00:30:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-15 00:35:14 | → | The20YearIRCloud joins (~The20Year@195.140.213.38) |
| 2021-03-15 00:41:18 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 260 seconds) |
| 2021-03-15 00:41:21 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds) |
| 2021-03-15 00:41:39 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-15 00:46:40 | × | joebobjoe quits (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 265 seconds) |
| 2021-03-15 00:49:45 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 2021-03-15 00:52:56 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-03-15 00:53:23 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-03-15 00:54:20 | × | nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 256 seconds) |
| 2021-03-15 00:54:22 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-15 00:55:49 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 2021-03-15 00:57:31 | → | Benzi-Junior joins (~BenziJuni@88-149-67-143.du.xdsl.is) |
| 2021-03-15 00:57:59 | × | codygman__ quits (~user@47.186.207.161) (Ping timeout: 245 seconds) |
| 2021-03-15 00:59:17 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-03-15 00:59:34 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-03-15 01:00:12 | × | nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 265 seconds) |
| 2021-03-15 01:01:39 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-15 01:02:57 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-15 01:03:14 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-15 01:04:17 | → | tromp_ joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-15 01:05:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-03-15 01:05:47 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-03-15 01:06:04 | × | tromp_ quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-03-15 01:06:22 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-15 01:10:14 | × | nfd quits (~nfd9001@2601:602:77f:1820:cdd8:8342:9006:fbd2) (Ping timeout: 264 seconds) |
| 2021-03-15 01:10:46 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds) |
| 2021-03-15 01:11:40 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-03-15 01:12:24 | → | ph88_ joins (~ph88@2a02:8109:9e00:7e5c:85cc:3a34:36cf:1a53) |
| 2021-03-15 01:13:02 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4) |
| 2021-03-15 01:13:36 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 256 seconds) |
| 2021-03-15 01:14:54 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2021-03-15 01:18:48 | <slack1256> | Does anyone know a FOSS haskell program that uses the +RTS -T --RTS statistics at runtime for profiling? |
| 2021-03-15 01:19:38 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-15 01:19:39 | <slack1256> | That option makes available profiling info at runtime, so they can be reported or processed in the program itself. I want to know what is the standard treatment of them. |
| 2021-03-15 01:19:51 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-15 01:20:36 | <infinisil> | slack1256: ekg is a library that uses that: https://hackage.haskell.org/package/ekg |
| 2021-03-15 01:21:05 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-03-15 01:21:11 | <sm[m]> | it prints GC statistics, no ? |
| 2021-03-15 01:21:19 | <slack1256> | infinisil: Coool, thank you! |
| 2021-03-15 01:21:26 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-03-15 01:22:01 | <sm[m]> | well, --help says it collects them. I don't see it printing anything |
| 2021-03-15 01:22:27 | <sm[m]> | I seee |
| 2021-03-15 01:22:53 | → | conal_ joins (~conal@192.145.118.101) |
| 2021-03-15 01:23:04 | <slack1256> | infinisil: This actually is better, it provides a view onto a live program, great! just great! . |
| 2021-03-15 01:23:14 | <infinisil> | :D |
| 2021-03-15 01:23:40 | → | Tario joins (~Tario@200.119.187.12) |
| 2021-03-15 01:24:22 | ← | remal parts (~remal@d24-57-234-201.home.cgocable.net) () |
| 2021-03-15 01:24:22 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 256 seconds) |
| 2021-03-15 01:24:28 | <slack1256> | Why didn't I know this before? |
| 2021-03-15 01:24:35 | slack1256 | jumping |
| 2021-03-15 01:24:45 | <sm[m]> | nobody expects haskell tooling to be great :) |
| 2021-03-15 01:25:53 | → | remal joins (~remal@d24-57-234-201.home.cgocable.net) |
| 2021-03-15 01:26:02 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-15 01:27:12 | ← | remal parts (~remal@d24-57-234-201.home.cgocable.net) () |
| 2021-03-15 01:27:21 | → | remal joins (~remal@d24-57-234-201.home.cgocable.net) |
| 2021-03-15 01:27:39 | → | drbean joins (~drbean@TC210-63-209-145.static.apol.com.tw) |
| 2021-03-15 01:29:11 | <slack1256> | https://imgur.com/a/vu0AexY |
| 2021-03-15 01:30:02 | × | poscat quits (~poscat@123.112.148.153) (Ping timeout: 256 seconds) |
| 2021-03-15 01:30:25 | → | poscat joins (~poscat@123.112.148.153) |
| 2021-03-15 01:31:39 | × | conal_ quits (~conal@192.145.118.101) (Quit: Computer has gone to sleep.) |
| 2021-03-15 01:34:02 | <int-e> | slack1256: I imagine it makes GHC.Stats useful |
| 2021-03-15 01:34:45 | <int-e> | but maybe there's more to it, hmm |
| 2021-03-15 01:36:34 | <int-e> | No, that's it according to the description at https://hackage.haskell.org/package/base-4.14.1.0/docs/GHC-Stats.html |
| 2021-03-15 01:37:05 | <int-e> | "These statistics are not available unless a program is run with the -T RTS flag." |
| 2021-03-15 01:37:06 | × | Tario quits (~Tario@200.119.187.12) (Read error: Connection reset by peer) |
| 2021-03-15 01:37:10 | <slack1256> | But the labels available on ekg don't seem to be the same as in GHC.Stats |
| 2021-03-15 01:38:00 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-15 01:41:48 | <int-e> | Well you can map them by looking at https://hackage.haskell.org/package/ekg-core-0.1.1.7/docs/src/System.Metrics.html#registerGcMetrics |
| 2021-03-15 01:43:08 | <slack1256> | Oooh so I have to make the mapping myself onto ekg. Fair enough. |
| 2021-03-15 01:43:09 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-vnbzqcslxpqrrgtm) (Quit: Connection closed for inactivity) |
All times are in UTC.