Logs: liberachat/#haskell
| 2021-07-01 19:00:24 | × | wickedjargon quits (~wickedjar@cpeac202ebc90c3-cmac202ebc90c0.cpe.net.fido.ca) (Ping timeout: 272 seconds) |
| 2021-07-01 19:00:59 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-07-01 19:01:11 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-07-01 19:01:40 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-01 19:02:11 | <chris_> | doing toRational on the (n-1) makes it run |
| 2021-07-01 19:02:15 | → | marinelli[m] joins (~marinelli@2001:470:69fc:105::2d8) |
| 2021-07-01 19:03:32 | → | dunkeln_ joins (~dunkeln@188.70.10.165) |
| 2021-07-01 19:05:31 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-01 19:06:18 | × | xff0x quits (~xff0x@2001:1a81:5237:1000:d9df:afaf:2f58:a5ba) (Ping timeout: 240 seconds) |
| 2021-07-01 19:07:29 | → | xff0x joins (~xff0x@2001:1a81:5237:1000:bd6:e736:a4f:c278) |
| 2021-07-01 19:08:44 | × | dunkeln_ quits (~dunkeln@188.70.10.165) (Ping timeout: 265 seconds) |
| 2021-07-01 19:09:13 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-07-01 19:10:11 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: Well, off to Libera.) |
| 2021-07-01 19:10:32 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2021-07-01 19:11:03 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-01 19:13:54 | <davean> | chris_: % is ~ a constructor for Ratio |
| 2021-07-01 19:14:18 | <davean> | Rational is Ratio on Integer |
| 2021-07-01 19:21:37 | → | wickedjargon joins (~wickedjar@cpeac202ebc90c3-cmac202ebc90c0.cpe.net.fido.ca) |
| 2021-07-01 19:23:42 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-07-01 19:25:15 | <chris_> | ok thx davean |
| 2021-07-01 19:26:05 | <chris_> | seems that haskell is very explicit with its numeric types compared to other languages? |
| 2021-07-01 19:28:02 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-01 19:28:36 | <davean> | yes |
| 2021-07-01 19:28:51 | <davean> | It tries to not fuck up the math without making it explicite |
| 2021-07-01 19:29:21 | <maerwald> | Is it? I usually have no idea what's going on and insert fromIneger/fromIntegral/justMakeThisShitCompile |
| 2021-07-01 19:29:29 | ← | blackfield parts (~blackfiel@85.255.4.218) () |
| 2021-07-01 19:29:38 | <davean> | I certainly never approach it like that |
| 2021-07-01 19:29:45 | <maerwald> | :D |
| 2021-07-01 19:30:05 | <davean> | https://hackage.haskell.org/package/int-cast-0.2.0.0/docs/Data-IntCast.html is much nicer for example if you do need to convert |
| 2021-07-01 19:30:29 | <maerwald> | I'm exaggerating, but our numerical stuff isn't textbook engineering |
| 2021-07-01 19:30:40 | <davean> | Our numerical tower isn't |
| 2021-07-01 19:30:43 | <davean> | our numerical tower sucks |
| 2021-07-01 19:30:48 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 272 seconds) |
| 2021-07-01 19:30:48 | <davean> | I tihnk we have good conversions though |
| 2021-07-01 19:30:52 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-01 19:30:59 | <davean> | we just lack laws inside a type sadly because we split operations up poorly |
| 2021-07-01 19:31:07 | <davean> | Its seriously fucked up mind you |
| 2021-07-01 19:31:13 | <davean> | I've had SERIOUS issues due to that lack of laws |
| 2021-07-01 19:31:14 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-01 19:31:16 | → | cloudy joins (~user@2600:8807:c207:f00:d412:4cce:d9f1:ba0) |
| 2021-07-01 19:31:52 | <davean> | We basicly can't abstract over numeric types because of it |
| 2021-07-01 19:32:30 | <dolio> | That seems accurate to reality. |
| 2021-07-01 19:32:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-01 19:34:26 | <davean> | Its really frustrating, but its also complicated. Its not clear what the right factoring would be |
| 2021-07-01 19:34:31 | × | jneira_ quits (~jneira_@217.red-81-39-172.dynamicip.rima-tde.net) (Quit: Ping timeout (120 seconds)) |
| 2021-07-01 19:38:16 | <chris_> | can the same function have different pattern matching WITH different params lengths |
| 2021-07-01 19:38:42 | <chris_> | like: initially call this func with 1 arg, then call with 2 afterwards |
| 2021-07-01 19:39:02 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-07-01 19:39:08 | <davean> | no, a function is exactly one thing, but you can make something that LOOKS like that with type classes. |
| 2021-07-01 19:39:18 | <davean> | infact, Haskell sorta only has one argument functions |
| 2021-07-01 19:39:50 | × | tomsmeding quits (~tomsmedin@2a03:b0c0:0:1010::767:3001) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-01 19:39:59 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-07-01 19:40:06 | <davean> | You can make something difficult to tell appart from a variable argument function with type classes |
| 2021-07-01 19:40:09 | → | tomsmeding joins (~tomsmedin@tomsmeding.com) |
| 2021-07-01 19:40:15 | <chris_> | i'm facing a dilemma with recursive incrementation |
| 2021-07-01 19:40:22 | <chris_> | i want to increment by argument n |
| 2021-07-01 19:40:47 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-01 19:41:44 | <davean> | ok, so? |
| 2021-07-01 19:41:46 | <Rembane> | What's the problem? |
| 2021-07-01 19:42:05 | <davean> | we all stare at you wondering what the problem is, and expecting you're having an x-y problem |
| 2021-07-01 19:42:45 | <chris_> | it's probably more simple than i realize i'll just see if i can solve it first |
| 2021-07-01 19:42:45 | <Rembane> | davean: If this channel had a motivating poster, that would be the text of it. |
| 2021-07-01 19:42:58 | Rembane | hands chris_ a rubber duck |
| 2021-07-01 19:43:11 | <davean> | chris_: Try focusing on what you're actually trying to do, not how you're trying to do it |
| 2021-07-01 19:45:11 | → | abrar_ joins (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) |
| 2021-07-01 19:50:38 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2021-07-01 19:51:13 | <dminuoso> | 21:30:48 davean | I tihnk we have good conversions though |
| 2021-07-01 19:51:15 | <dminuoso> | We dont. |
| 2021-07-01 19:52:00 | <Rembane> | dminuoso: Give us the rant! |
| 2021-07-01 19:52:07 | <dminuoso> | I can hold back I think. |
| 2021-07-01 19:52:13 | <dminuoso> | But Im really itching. |
| 2021-07-01 19:53:44 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-01 20:03:55 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-01 20:05:18 | <maerwald> | :D |
| 2021-07-01 20:05:21 | × | juhp quits (~juhp@128.106.188.66) (Ping timeout: 258 seconds) |
| 2021-07-01 20:07:04 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-07-01 20:07:26 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-07-01 20:13:58 | → | jneira_ joins (~jneira_@217.red-81-39-172.dynamicip.rima-tde.net) |
| 2021-07-01 20:15:13 | → | chisui joins (~chisui@200116b866be75009cc16d86abb76e8b.dip.versatel-1u1.de) |
| 2021-07-01 20:20:04 | × | wickedjargon quits (~wickedjar@cpeac202ebc90c3-cmac202ebc90c0.cpe.net.fido.ca) (Ping timeout: 268 seconds) |
| 2021-07-01 20:25:18 | × | phma quits (phma@2001:5b0:211f:2298:dd93:a388:d3e:b1b1) (Read error: Connection reset by peer) |
| 2021-07-01 20:25:49 | <ixlun> | Does anyone know how I'd go about starting to debug a performance issue with Conduit? |
| 2021-07-01 20:26:32 | <ixlun> | I'm getting a lot of time spent and allocs in the function `injectLeftovers` |
| 2021-07-01 20:26:32 | <dminuoso> | ixlun: You can start with the simple RTS profiler |
| 2021-07-01 20:26:35 | → | phma joins (phma@2001:5b0:211f:fff8:cd25:f96a:65d:6896) |
| 2021-07-01 20:26:49 | × | abrar_ quits (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-07-01 20:27:04 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-07-01 20:28:37 | <ixlun> | dminuoso: Yep, I've done a profile and the above function appears to be the culprit. I'm not sure why though. |
| 2021-07-01 20:30:35 | → | wickedjargon joins (~wickedjar@cpeac202ebc90c3-cmac202ebc90c0.cpe.net.fido.ca) |
| 2021-07-01 20:31:53 | <chris_> | so ye i'm a little confused as too how to incremen |
| 2021-07-01 20:32:03 | × | wickedjargon quits (~wickedjar@cpeac202ebc90c3-cmac202ebc90c0.cpe.net.fido.ca) (Client Quit) |
| 2021-07-01 20:32:05 | <chris_> | as how to* write a function that recursively increments by n |
| 2021-07-01 20:32:32 | <Cale> | chris_: What does this function compute? |
| 2021-07-01 20:32:32 | <Rembane> | chris_: Increments what? |
| 2021-07-01 20:33:05 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-01 20:35:56 | → | fendor joins (~fendor@77.119.218.107.wireless.dyn.drei.com) |
| 2021-07-01 20:36:08 | → | kilolympus joins (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) |
| 2021-07-01 20:36:24 | <chris_> | i'm incrementing by +2 each time the function is called |
| 2021-07-01 20:36:52 | <chris_> | i can paste my code somewhere maybe |
| 2021-07-01 20:37:36 | <chris_> | the function is create a structure of notes where each note's interval (keys up on keyboard) is +n |
All times are in UTC.