Logs: liberachat/#haskell
| 2021-06-20 19:06:16 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-06-20 19:06:32 | → | koishi_` joins (~user@222.195.87.238) |
| 2021-06-20 19:07:22 | × | yoctocell quits (~user@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 258 seconds) |
| 2021-06-20 19:08:25 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 265 seconds) |
| 2021-06-20 19:08:29 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-06-20 19:10:11 | → | bilegeek joins (~bilegeek@2600:1008:b017:63a6:c26d:d119:faaa:a6d7) |
| 2021-06-20 19:11:48 | × | koishi_` quits (~user@222.195.87.238) (Ping timeout: 265 seconds) |
| 2021-06-20 19:13:15 | → | aveltras[m] joins (~aveltrasm@2001:470:69fc:105::3ef9) |
| 2021-06-20 19:18:18 | × | blankhart quits (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-06-20 19:19:33 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-20 19:19:58 | → | pera joins (~pera@user/pera) |
| 2021-06-20 19:21:01 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Ping timeout: 265 seconds) |
| 2021-06-20 19:21:35 | × | elf_fortrez quits (~elf_fortr@adsl-64-237-239-58.prtc.net) (Quit: Client closed) |
| 2021-06-20 19:21:49 | → | tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-06-20 19:22:09 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-20 19:22:26 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-06-20 19:23:28 | × | Guest9 quits (~Guest9@43.250.157.119) (Quit: Connection closed) |
| 2021-06-20 19:26:55 | × | jasonu quits (~jasonu@166.70.242.157) (Quit: Ping timeout (120 seconds)) |
| 2021-06-20 19:27:26 | <sm[m]> | dminuoso: why yes.. I use emacs in terminal mode, and have occasionally tried frames. I always found them unreliable in that setting - forgot the details, they would sometimes switch unexpectedly or something |
| 2021-06-20 19:27:42 | × | statusfailed quits (~statusfai@statusfailed.com) (Quit: leaving) |
| 2021-06-20 19:27:56 | → | statusfailed joins (~statusfai@statusfailed.com) |
| 2021-06-20 19:28:47 | → | jackhill joins (~jackhill@kalessin.dragonsnail.net) |
| 2021-06-20 19:28:51 | × | MemorableNewt quits (~Memorable@82.40.121.143) (Quit: Client closed) |
| 2021-06-20 19:29:24 | × | qbt quits (~edun@user/edun) (Ping timeout: 252 seconds) |
| 2021-06-20 19:29:59 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2021-06-20 19:30:45 | → | Cajun joins (~Cajun@ip98-163-211-112.no.no.cox.net) |
| 2021-06-20 19:31:46 | <Cajun> | tomsmeding: thanks! yeah that fixed it; now i know not to use `cabal install --lib` to avoid the issue |
| 2021-06-20 19:32:49 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-20 19:34:38 | <qrpnxz> | does ghc or some other tool have something that will create a function based on the type signature? ik that sounds kind of crazy, but it seems like it could be a thing and actually give you useful results |
| 2021-06-20 19:35:00 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-06-20 19:35:20 | <tomsmeding> | Cajun: Cool! Thanks, now I also now (albeit second-hand) that install --lib is fraught :p |
| 2021-06-20 19:36:08 | <tomsmeding> | @djinn (((a -> t) -> t) -> t) -> a -> t |
| 2021-06-20 19:36:09 | <lambdabot> | f a b = a (\ c -> c b) |
| 2021-06-20 19:36:17 | <tomsmeding> | qrpnxz: this for example :p |
| 2021-06-20 19:36:32 | <tomsmeding> | but it only works for fully parametric functions, sortof |
| 2021-06-20 19:36:36 | <qrpnxz> | :o |
| 2021-06-20 19:36:55 | <tomsmeding> | like, it isn't going to suggest Data.List.sort |
| 2021-06-20 19:37:05 | <geekosaur> | there's also exference |
| 2021-06-20 19:37:15 | <qrpnxz> | wow thanks |
| 2021-06-20 19:37:32 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-20 19:37:32 | <geekosaur> | which can handle things like recursive types, at the price of sometimes timing out |
| 2021-06-20 19:40:14 | <boxscape> | qrpnxz Sandy Maguire just today gave a talk about that! What he's been working on looks really neat and is publicly available https://youtu.be/S0HvfXq3454 |
| 2021-06-20 19:40:30 | <qrpnxz> | :o thanks! |
| 2021-06-20 19:44:31 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-20 19:44:34 | × | sheepduck quits (~sheepduck@user/sheepduck) (Remote host closed the connection) |
| 2021-06-20 19:44:59 | → | sheepduck joins (~sheepduck@user/sheepduck) |
| 2021-06-20 19:45:04 | × | sheepduck quits (~sheepduck@user/sheepduck) (Remote host closed the connection) |
| 2021-06-20 19:45:26 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-06-20 19:45:39 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2021-06-20 19:46:07 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
| 2021-06-20 19:50:30 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-06-20 19:50:44 | <dminuoso> | sm[m]: Do you also use haskell-mode? |
| 2021-06-20 19:54:36 | → | koishi_` joins (~user@222.195.87.238) |
| 2021-06-20 19:56:02 | boxscape | is now known as boxscape_ |
| 2021-06-20 19:56:18 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 265 seconds) |
| 2021-06-20 19:57:19 | <dminuoso> | sm[m]: Two questions I have for you. What is your gc-cons-threshold set at? |
| 2021-06-20 19:57:29 | → | Pickchea joins (~private@user/pickchea) |
| 2021-06-20 19:59:41 | × | koishi_` quits (~user@222.195.87.238) (Ping timeout: 265 seconds) |
| 2021-06-20 20:01:08 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-06-20 20:01:38 | <boxscape_> | > let x = 4 in (+) 5x |
| 2021-06-20 20:01:40 | <lambdabot> | 9 |
| 2021-06-20 20:01:48 | <boxscape_> | I don't think I ever noticed you don't need a space between 5 and x there |
| 2021-06-20 20:02:07 | × | tomsmeding quits (~tomsmedin@tomsmeding.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-20 20:02:28 | <monochrom> | Interesting! |
| 2021-06-20 20:02:37 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-20 20:03:53 | <monochrom> | > map id"abc" |
| 2021-06-20 20:03:54 | <lambdabot> | "abc" |
| 2021-06-20 20:03:56 | <sm[m]> | dminuoso: yes but not heavily.. it's active when I load a haskell file in emacs. (I also use VS code for haskell editing). My gc-cons-threshold is 800000 which I assume is default. |
| 2021-06-20 20:04:02 | <monochrom> | I only thought of that one. |
| 2021-06-20 20:04:09 | → | chexum joins (~chexum@gateway/tor-sasl/chexum) |
| 2021-06-20 20:04:30 | <dminuoso> | sm[m]: Ah, then you wouldn't notice the problem I guess. |
| 2021-06-20 20:04:43 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-06-20 20:05:00 | → | tomsmeding joins (~tomsmedin@tomsmeding.com) |
| 2021-06-20 20:05:29 | × | juhp quits (~juhp@128.106.188.66) (Ping timeout: 265 seconds) |
| 2021-06-20 20:07:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-06-20 20:08:06 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-06-20 20:09:31 | <pavonia> | > let x = 4 in (+) 0x |
| 2021-06-20 20:09:33 | <lambdabot> | 4 |
| 2021-06-20 20:09:45 | <pavonia> | Okay, this is surprising |
| 2021-06-20 20:10:02 | <geekosaur> | doesn't seem surprising to me |
| 2021-06-20 20:10:07 | → | boxscape joins (~boxscape@user/boxscape) |
| 2021-06-20 20:10:18 | <pavonia> | Why not? |
| 2021-06-20 20:10:18 | <geekosaur> | x is not a macro, it lexes as an identifier |
| 2021-06-20 20:10:43 | <pavonia> | What do you mean by macro? |
| 2021-06-20 20:11:01 | <pavonia> | > let xF = 4 in (+) 0xF |
| 2021-06-20 20:11:02 | <lambdabot> | <Integer -> Integer> |
| 2021-06-20 20:11:06 | <geekosaur> | or are you thinking of hex syntax? I think that requires following digits |
| 2021-06-20 20:11:19 | <pavonia> | Yeah |
| 2021-06-20 20:11:30 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-20 20:11:31 | <dminuoso> | I guess the lexer in GHC would disambiguate already. |
| 2021-06-20 20:14:17 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-06-20 20:20:01 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) |
| 2021-06-20 20:21:11 | → | koishi_` joins (~user@222.195.87.238) |
| 2021-06-20 20:21:46 | <boxscape_> | > let xdeadbeef = 4 in (+) 0xdeadbeef |
| 2021-06-20 20:21:47 | <boxscape_> | > let xdeadbeer = 4 in (+) 0xdeadbeer |
| 2021-06-20 20:21:47 | <lambdabot> | <Integer -> Integer> |
| 2021-06-20 20:21:48 | <lambdabot> | 233495534 + r |
| 2021-06-20 20:21:59 | <boxscape_> | pretty intuitive, I'd say |
| 2021-06-20 20:22:38 | <tomsmeding> | spaces are already meaningful in haskell |
| 2021-06-20 20:22:51 | <tomsmeding> | okay remove "already" |
All times are in UTC.