Logs on 2020-09-22 (freenode/#haskell)
| 00:00:01 | × | Kampala quits (~Kampala@84.39.117.57) () |
| 00:01:08 | × | polyrain quits (~polyrain@2001:8003:e501:6901:c488:3d8b:4de5:8b83) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:03:39 | × | AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving) |
| 00:04:16 | × | wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 00:05:22 | × | jinblack- quits (~JinBlack@new.jinblack.it) (Ping timeout: 256 seconds) |
| 00:05:38 | × | alp quits (~alp@2a01:e0a:58b:4920:154c:81bf:aad9:3bc2) (Remote host closed the connection) |
| 00:05:57 | → | alp joins (~alp@2a01:e0a:58b:4920:8c96:3cd9:8d70:9068) |
| 00:11:38 | → | jinblack joins (~JinBlack@2001:41d0:8:4b28::1) |
| 00:11:45 | × | alp quits (~alp@2a01:e0a:58b:4920:8c96:3cd9:8d70:9068) (Ping timeout: 272 seconds) |
| 00:12:06 | → | eric_ joins (~eric@2804:431:c7d4:a280:a420:f119:9a1a:c48) |
| 00:15:13 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 00:15:48 | × | perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 2.9) |
| 00:16:12 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 00:16:49 | × | eric_ quits (~eric@2804:431:c7d4:a280:a420:f119:9a1a:c48) (Ping timeout: 272 seconds) |
| 00:17:00 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:ccd5:6ac:2216:f13b) |
| 00:17:27 | → | adamwespiser joins (~adam_wesp@209.6.42.110) |
| 00:19:15 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:ccd5:6ac:2216:f13b) (Client Quit) |
| 00:19:28 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 272 seconds) |
| 00:24:30 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 00:28:37 | → | falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 00:30:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:34:51 | → | grawity1 joins (~grawity@185.204.1.185) |
| 00:35:25 | × | sfvm quits (~sfvm@37.228.215.148) (Quit: off to the basement, mixing up the medicine) |
| 00:35:58 | → | sleblanc joins (~sleblanc@unaffiliated/sebleblanc) |
| 00:36:03 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 00:39:39 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 00:40:44 | <Axman6> | bloody hell, people give GHC crap for its error messages, but Scala's are just amazingly awful. I feel like I need a monitor 6 feet wide to read the, |
| 00:40:46 | <Axman6> | m* |
| 00:44:12 | × | flex14 quits (~flex14@2601:280:c780:7ea0:d233:9ddf:c010:c113) (Ping timeout: 260 seconds) |
| 00:46:42 | × | nineonine quits (~nineonine@216.81.48.202) (Remote host closed the connection) |
| 00:47:22 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds) |
| 00:48:15 | → | DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
| 00:50:17 | → | aenesidemus joins (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net) |
| 00:54:46 | → | polyrain joins (~polyrain@130.102.13.164) |
| 00:55:57 | × | adamwespiser quits (~adam_wesp@209.6.42.110) (Remote host closed the connection) |
| 00:56:03 | × | polyrain quits (~polyrain@130.102.13.164) (Client Quit) |
| 00:56:03 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...) |
| 00:57:57 | → | nineonine joins (~nineonine@216-19-190-182.dyn.novuscom.net) |
| 00:58:02 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:57:4cba:ee0e:cb3a) |
| 00:58:14 | × | nineonine quits (~nineonine@216-19-190-182.dyn.novuscom.net) (Remote host closed the connection) |
| 00:58:30 | → | nineonine joins (~nineonine@216-19-190-182.dyn.novuscom.net) |
| 00:59:33 | → | DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
| 00:59:37 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Read error: Connection reset by peer) |
| 00:59:43 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds) |
| 01:00:41 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 01:01:00 | → | isovector1 joins (~isovector@node-1w7jr9squrfoy3fci95ksrhpu.ipv6.telus.net) |
| 01:01:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:03:54 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 01:04:17 | → | adamwespiser joins (~adam_wesp@209.6.42.110) |
| 01:04:36 | <pacak> | Axman6: somethnig-something C++ |
| 01:06:38 | → | inkbottle joins (~inkbottle@aaubervilliers-654-1-101-24.w86-212.abo.wanadoo.fr) |
| 01:07:03 | → | DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
| 01:07:35 | <koz_> | pacak: Yes, the platinum standard for incomprehensible error drivel. |
| 01:08:01 | <pacak> | File contents: "#include __FILE\np;", ~20k lines of error messages when compiled with g++. |
| 01:08:09 | → | plutoniix joins (~q@175.176.222.7) |
| 01:08:15 | <pacak> | ghc error messages can be cryptic when you don't know what is it trying to tell you. |
| 01:08:35 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-47.w86-198.abo.wanadoo.fr) (Ping timeout: 240 seconds) |
| 01:10:11 | → | monad joins (43aa4b1c@c-67-170-75-28.hsd1.wa.comcast.net) |
| 01:10:35 | monad | is now known as Guest3651 |
| 01:11:25 | × | puffnfresh_ quits (~puffnfres@45.76.124.5) (Ping timeout: 240 seconds) |
| 01:12:00 | <Guest3651> | Hey all. Just started to learn Haskell a few months ago, and its been great. I have a shallow understanding of monad transformers, and am looking to get a deeper one. What are some good tutorials/articles/books that I can read to learn more about monad transformers? Thanks! |
| 01:12:53 | × | BIG_JIMMY_D quits (~jim@108.61.185.76) (Ping timeout: 258 seconds) |
| 01:13:02 | × | elcaro quits (~anonymous@45.32.191.75) (Ping timeout: 256 seconds) |
| 01:13:17 | <pacak> | Do you understand monads and type classes? |
| 01:13:24 | <Guest3651> | Yep. |
| 01:14:00 | <pacak> | I'd try to implement some boring monad transformers then. |
| 01:14:07 | <pacak> | Like ReaderT |
| 01:14:25 | <pacak> | :t lift |
| 01:14:27 | <lambdabot> | (MonadTrans t, Monad m) => m a -> t m a |
| 01:14:33 | <pacak> | ^ it's all here |
| 01:14:46 | <Guest3651> | ? |
| 01:15:07 | → | markh joins (~markholme@cpe-76-90-112-105.socal.res.rr.com) |
| 01:15:13 | <pacak> | There's not much magic in monad transformers. It's just a typeclass with some instances. |
| 01:16:30 | × | ddellacosta quits (~dd@86.106.121.168) (Read error: Connection reset by peer) |
| 01:16:59 | <Guest3651> | Ok... I'll try implementing ReaderT. Thanks (y) |
| 01:17:19 | → | ddellacosta joins (~dd@86.106.121.168) |
| 01:17:24 | → | puffnfresh_ joins (~puffnfres@45.76.124.5) |
| 01:17:38 | <koz_> | Also, Guest3651 - read the Typeclassopedia, because I think it has a good entry on monad transformers. |
| 01:17:49 | <Guest3651> | Okay |
| 01:18:14 | <sm[m]> | Guest3651: also you might enjoy http://jxv.io/blog/2018-02-28-A-Game-in-Haskell.html which includes a little practical discussion |
| 01:18:53 | → | BIG_JIMMY_D joins (~jim@108.61.185.76) |
| 01:19:11 | → | loller joins (uid358106@gateway/web/irccloud.com/x-yoghdfehqhptefbb) |
| 01:19:30 | <Guest3651> | I'll take a look at it |
| 01:20:42 | → | elcaro joins (~anonymous@45.32.191.75) |
| 01:21:59 | → | jedws joins (~jedws@121.209.139.222) |
| 01:22:48 | × | pera quits (~pera@unaffiliated/pera) (Ping timeout: 272 seconds) |
| 01:30:25 | <Xnuk> | Are there some practical cases using Reader(T) / Writer(T) over State(T)? |
| 01:31:38 | <pacak> | Reader(T) is better at at showing intent that whatever you are passing is not going to change. |
| 01:31:44 | <pacak> | Like passing configuration |
| 01:32:23 | <Axman6> | I don't think I've ever written an app that made use of StateT. ReaderT all the time though |
| 01:32:32 | ← | markh parts (~markholme@cpe-76-90-112-105.socal.res.rr.com) ("Textual IRC Client: www.textualapp.com") |
| 01:32:57 | <pacak> | % git grep StateT | wc -l |
| 01:32:57 | <pacak> | 26 |
| 01:32:57 | <yahb> | pacak: ; <interactive>:105:24: error: parse error (possibly incorrect indentation or mismatched brackets) |
| 01:35:10 | × | spew quits (uid195861@gateway/web/irccloud.com/x-ttozjtuhdixrdemb) (Quit: Connection closed for inactivity) |
| 01:35:26 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 01:35:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 01:36:02 | × | elcaro quits (~anonymous@45.32.191.75) (Ping timeout: 256 seconds) |
| 01:36:02 | × | BIG_JIMMY_D quits (~jim@108.61.185.76) (Ping timeout: 256 seconds) |
| 01:36:38 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 01:36:59 | × | puffnfresh_ quits (~puffnfres@45.76.124.5) (Ping timeout: 260 seconds) |
| 01:38:53 | → | macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net) |
| 01:42:04 | <Xnuk> | Is it quite different between `ReaderT Config IO a` and `Config -> IO a` ? |
| 01:42:13 | <Xnuk> | I guess yes |
| 01:42:15 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 01:44:46 | <Xnuk> | But the restriction unable to edit `Config` makes me feel useless for me |
| 01:44:59 | → | flex14 joins (~flex14@2601:280:c780:7ea0:d233:9ddf:c010:c113) |
| 01:45:09 | <pacak> | There is. In one case you have to pass Config manually all over the place and it can be changed, in case of reader - it gets passed automatically and is immutable. |
| 01:46:02 | <pacak> | What kind of editing do you have in mind? |
| 01:47:18 | <Xnuk> | the editing means like `modify :: (s -> s) -> StateT s m ()` |
| 01:47:19 | × | inkbottle quits (~inkbottle@aaubervilliers-654-1-101-24.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 01:47:27 | × | MarcelineVQ quits (~anja@198.254.202.72) (Read error: Connection reset by peer) |
| 01:47:40 | → | inkbottle joins (~inkbottle@aaubervilliers-654-1-101-24.w86-212.abo.wanadoo.fr) |
| 01:47:57 | → | MarcelineVQ joins (~anja@198.254.202.72) |
| 01:47:58 | × | flex14 quits (~flex14@2601:280:c780:7ea0:d233:9ddf:c010:c113) (Max SendQ exceeded) |
| 01:48:29 | → | flex14 joins (~flex14@2601:280:c780:7ea0:d233:9ddf:c010:c113) |
| 01:49:22 | <pacak> | Right. What kind of changes? |
| 01:50:00 | → | puffnfresh_ joins (~puffnfres@45.76.124.5) |
| 01:50:02 | × | solonarv quits (~solonarv@astrasbourg-653-1-186-165.w90-13.abo.wanadoo.fr) (Ping timeout: 272 seconds) |
| 01:50:27 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 01:50:41 | → | elcaro joins (~anonymous@45.32.191.75) |
| 01:50:46 | <Axman6> | Xnuk: what config would need changing? config is gatherted at startup. things that change over time are application state |
| 01:51:23 | → | BIG_JIMMY_D joins (~jim@108.61.185.76) |
| 01:51:24 | × | flex14 quits (~flex14@2601:280:c780:7ea0:d233:9ddf:c010:c113) (Max SendQ exceeded) |
| 01:51:39 | → | zaquest joins (~notzaques@5.128.210.178) |
| 01:51:51 | → | flex14 joins (~flex14@2601:280:c780:7ea0:d233:9ddf:c010:c113) |
| 01:52:03 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds) |
| 01:52:15 | <Axman6> | and state is usually a bad thing :) particularly if you are working with a multithreaded app, which is more often then case for me. |
| 01:54:46 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 01:55:16 | × | flex14 quits (~flex14@2601:280:c780:7ea0:d233:9ddf:c010:c113) (Max SendQ exceeded) |
| 01:55:18 | → | spew joins (uid195861@gateway/web/irccloud.com/x-qrcclbtlqeexxgus) |
| 01:55:46 | → | flex14 joins (~flex14@2601:280:c780:7ea0:d233:9ddf:c010:c113) |
| 01:56:33 | <Xnuk> | yeah an application config is very static, actually I feel that fits for `Config -> m a` more imo. |
| 01:58:10 | <Xnuk> | Using `ReaderT` more than `StateT` is suprising for me btw |
| 01:58:59 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 01:59:15 | × | flex14 quits (~flex14@2601:280:c780:7ea0:d233:9ddf:c010:c113) (Max SendQ exceeded) |
| 01:59:24 | <Xnuk> | for example, can I write parser (ex. JSON parser) with ReaderT? |
| 01:59:46 | → | flex14 joins (~flex14@2601:280:c780:7ea0:d233:9ddf:c010:c113) |
| 02:00:19 | <Xnuk> | I usually write parser/scrapper in haskell |
| 02:01:54 | × | xff0x quits (~fox@2001:1a81:53e9:6d00:158c:d17f:d83e:dc7f) (Ping timeout: 246 seconds) |
| 02:01:57 | → | jdgr joins (601c428b@gateway/web/cgi-irc/kiwiirc.com/ip.96.28.66.139) |
| 02:03:12 | × | acidjnk_new2 quits (~acidjnk@p200300d0c73658819d57354728142a5b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 02:03:49 | → | xff0x joins (~fox@2001:1a81:5222:7400:158c:d17f:d83e:dc7f) |
| 02:05:34 | <pacak> | You can use ReaderT part to pass some configuration parts to your parser. I was using it to pass a big ass lookup table. |
| 02:05:52 | × | s00pcan quits (~chris@107.181.165.217) (Ping timeout: 272 seconds) |
| 02:07:19 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 02:08:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:13:40 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 02:13:44 | × | darjeeling_ quits (~darjeelin@122.245.219.58) (Ping timeout: 260 seconds) |
| 02:14:12 | → | darjeeling_ joins (~darjeelin@122.245.219.58) |
| 02:17:46 | × | isovector1 quits (~isovector@node-1w7jr9squrfoy3fci95ksrhpu.ipv6.telus.net) (Remote host closed the connection) |
| 02:18:14 | × | macrover quits (~macrover@ip70-189-231-35.lv.lv.cox.net) (Ping timeout: 260 seconds) |
| 02:18:15 | → | isovector1 joins (~isovector@node-1w7jr9squrfoy3fci95ksrhpu.ipv6.telus.net) |
| 02:18:30 | × | machinedgod quits (~machinedg@d67-193-126-196.home3.cgocable.net) (Ping timeout: 265 seconds) |
| 02:21:16 | → | shad0w_ joins (~shad0w_@160.202.36.59) |
| 02:22:49 | × | Uma quits (~uma@umazalakain.info) (Remote host closed the connection) |
| 02:23:09 | × | marek quits (~mmahut@fedora/pyxel) (Ping timeout: 256 seconds) |
| 02:23:40 | → | Uma joins (~uma@umazalakain.info) |
| 02:28:17 | × | jedws quits (~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 02:28:47 | → | marek joins (~mmahut@209.250.249.245) |
| 02:31:21 | × | lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Killed (hitchcock.freenode.net (Nickname regained by services))) |
| 02:31:27 | → | lagothrix joins (~lagothrix@unaffiliated/lagothrix) |
| 02:33:49 | → | zacts joins (~zacts@dragora/developer/zacts) |
| 02:35:27 | hackage | flink-statefulfun 0.1.0.1 - Flink stateful functions SDK https://hackage.haskell.org/package/flink-statefulfun-0.1.0.1 (tdbgamer) |
| 02:37:39 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds) |
| 02:38:46 | × | ystael quits (~ystael@209.6.50.55) (Ping timeout: 260 seconds) |
| 02:38:58 | → | macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net) |
| 02:42:31 | ← | macrover parts (~macrover@ip70-189-231-35.lv.lv.cox.net) () |
| 02:42:45 | → | sasssss joins (54ed377d@84.237.55.125) |
| 02:46:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:47:26 | × | Guest3651 quits (43aa4b1c@c-67-170-75-28.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 02:48:13 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 02:49:12 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 02:51:59 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds) |
| 02:53:45 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 02:54:03 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Client Quit) |
| 02:54:44 | → | toorevitimirp joins (~tooreviti@117.182.182.33) |
| 02:55:22 | → | jedws joins (~jedws@121.209.139.222) |
| 02:56:40 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 02:58:03 | × | ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 260 seconds) |
| 02:58:46 | × | theDon quits (~td@muedsl-82-207-238-036.citykom.de) (Ping timeout: 256 seconds) |
| 03:00:02 | × | grawity1 quits (~grawity@185.204.1.185) () |
| 03:00:35 | → | theDon joins (~td@94.134.91.240) |
| 03:06:12 | × | isovector1 quits (~isovector@node-1w7jr9squrfoy3fci95ksrhpu.ipv6.telus.net) (Ping timeout: 260 seconds) |
| 03:10:20 | × | adamwespiser quits (~adam_wesp@209.6.42.110) (Remote host closed the connection) |
| 03:10:39 | → | dead10cc joins (63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207) |
| 03:11:03 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-nsrjqtazcudlgiur) () |
| 03:11:42 | → | drbean joins (~drbean@TC210-63-209-159.static.apol.com.tw) |
| 03:12:11 | × | bloodstalker quits (~bloodstal@46.166.187.154) (Read error: Connection reset by peer) |
| 03:13:16 | × | jedws quits (~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:20:15 | → | alxgnon1 joins (~alxgnon@185.204.1.185) |
| 03:21:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 03:23:31 | → | thir joins (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) |
| 03:24:40 | → | adamwespiser joins (~adam_wesp@209.6.42.110) |
| 03:25:12 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 03:28:22 | × | thir quits (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 03:35:21 | × | dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 03:35:46 | → | dirediresalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 03:37:44 | × | reppertj quits (~textual@pool-96-246-209-59.nycmny.fios.verizon.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 03:40:44 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 03:41:30 | × | zacts quits (~zacts@dragora/developer/zacts) (Ping timeout: 272 seconds) |
| 03:41:30 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 03:42:24 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 03:46:52 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 03:47:36 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...) |
| 03:47:43 | × | gmt quits (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 03:49:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:50:26 | → | abhixec joins (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net) |
| 03:50:29 | → | DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
| 03:54:35 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 03:54:37 | × | flex14 quits (~flex14@2601:280:c780:7ea0:d233:9ddf:c010:c113) (Ping timeout: 260 seconds) |
| 03:54:52 | → | macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net) |
| 03:55:18 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:25d0:9c91:85b6:2191) (Ping timeout: 246 seconds) |
| 03:55:57 | × | Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 04:00:32 | <edwardk> | i now have managed to figure out how to take the library of singleton types i have, build a category of arrows that take Sing a -> Sing b , show that is really SingI a => Sing b and has composition, where the kinds act as a sort of fiber over the terms in the language. Then I can build a category -># of the fibers, basically indexed by the kinds of the arguments in the polykinded category of functions between singletons (which |
| 04:00:32 | <edwardk> | acts like the constraints package on steroids) and get all haskell functions |
| 04:01:10 | → | sepi joins (49dc4892@c-73-220-72-146.hsd1.ca.comcast.net) |
| 04:01:39 | <edwardk> | now I want to clean up the presentation to make it clearer that the latter category of finers where arrows from i -> j are (forall (a::i). (Sing a -> Some (Sing @j)) are themselves describable |
| 04:01:44 | <edwardk> | er fibers |
| 04:01:47 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...) |
| 04:02:25 | <edwardk> | which then recovers richard's work in the singletons library, but with my own weird spin |
| 04:02:58 | hackage | flink-statefulfun 0.2.0.0 - Flink stateful functions SDK https://hackage.haskell.org/package/flink-statefulfun-0.2.0.0 (tdbgamer) |
| 04:03:11 | → | palancovich99 joins (~ranc199@2800:a4:17ce:600:bdde:ea99:e9ec:7574) |
| 04:03:57 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:1d6:8b82:83b6:a62b) |
| 04:05:51 | <edwardk> | i guess what i really need is singletons for 'Some f' |
| 04:05:53 | → | sand_dull joins (~theuser@62.182.99.37) |
| 04:06:11 | × | unlink2 quits (~unlink2@p200300ebcf25bd0068eb9d9c94da2a17.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 04:06:22 | <MarcelineVQ> | Sounds like you're having fun |
| 04:06:30 | → | unlink2 joins (~unlink2@p200300ebcf25bd0068eb9d9c94da2a17.dip0.t-ipconnect.de) |
| 04:06:35 | <edwardk> | generally, yes =) |
| 04:07:08 | <edwardk> | i have one bottleneck with my current approach |
| 04:07:28 | × | palancovich99 quits (~ranc199@2800:a4:17ce:600:bdde:ea99:e9ec:7574) (Quit: Leaving) |
| 04:07:38 | → | machinedgod joins (~machinedg@d67-193-126-196.home3.cgocable.net) |
| 04:07:47 | <edwardk> | i'd like to take types of kind (i -> j) and treat them at the value level as i do types of kind Type, which is as typereps for Type, here i'd want them to be typereps for types of kind (i -> j) |
| 04:07:50 | → | DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
| 04:08:44 | <edwardk> | but my reflection does 'on the nose' translations from types to terms, and that would mean that fromSing :: Sing (Maybe :: Type -> Type) -> Type -> Type |
| 04:08:50 | <edwardk> | hrmm, maybe that checks out |
| 04:09:26 | <edwardk> | except now i need to figure out what higher order functions look like |
| 04:10:39 | <sepi> | https://dpaste.org/AbtT currently trying to move onto the next element if there is no "match", [] is a placeholder, a little stuck, Any tips? |
| 04:10:51 | → | day_ joins (~Unknown@unaffiliated/day) |
| 04:10:57 | × | polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 260 seconds) |
| 04:12:05 | <edwardk> | But I need to be able to represent singletons for kind (i -> Type) at the least to make headway on talking about Some f in general, or Some (Sing @k) -- in particular |
| 04:12:31 | <edwardk> | i have two existing types that look like Some x for different choices of x now. Constraint looks like Some Dict, and Type looks like Some TypeRep |
| 04:12:59 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 04:13:40 | <edwardk> | so this does seem to indicate what a singleton looks like here |
| 04:13:53 | <edwardk> | Sing (a :: Type) ~ TypeRep (a :: Type) |
| 04:14:07 | <edwardk> | Sing (a :: Constraint) ~ Dict (a :: Constraint) |
| 04:14:26 | × | day quits (~Unknown@unaffiliated/day) (Ping timeout: 260 seconds) |
| 04:14:26 | day_ | is now known as day |
| 04:14:27 | × | dolio quits (~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.1 - https://znc.in) |
| 04:15:10 | × | spew quits (uid195861@gateway/web/irccloud.com/x-qrcclbtlqeexxgus) (Quit: Connection closed for inactivity) |
| 04:15:14 | → | shafox joins (~shafox@106.51.234.111) |
| 04:15:33 | <edwardk> | but i want to be able to talk about Sing (Eq :: Type -> Constraint) or Sing (Maybe :: Type -> Type) |
| 04:18:21 | → | dolio joins (~dolio@haskell/developer/dolio) |
| 04:18:28 | × | dolio quits (~dolio@haskell/developer/dolio) (Remote host closed the connection) |
| 04:18:38 | × | sleblanc quits (~sleblanc@unaffiliated/sebleblanc) (Ping timeout: 260 seconds) |
| 04:18:49 | <MarcelineVQ> | Any particular goal with being able to have constraints there? |
| 04:18:54 | Axman6 | stocks up on non-perishable food and supplies in case edwardk unlocks something truly disasterous for the planet |
| 04:19:04 | <edwardk> | ok, so the problem with the type rep story is i can compare TypeRep (a :: Type -> Type) for equality with another TypeRep (a :: Type -> Type) -- but i can't do that with the Type -> Type encoding |
| 04:19:07 | <edwardk> | yes! |
| 04:19:14 | <edwardk> | this makes Sing become Dict |
| 04:19:23 | <Axman6> | see, he's a madman |
| 04:19:34 | <edwardk> | just like TypeRep for Type makes Sing become TypeRep |
| 04:19:55 | <edwardk> | and making Nat ~ Natural lets me not have to change types between types/terms and can make round tripping through singletons O(1) not O(n) |
| 04:20:06 | <edwardk> | each one of these extends the space of operations i can do in constant time |
| 04:20:21 | <edwardk> | but since constraints are thin, they go into Sing |
| 04:20:23 | → | dolio joins (~dolio@haskell/developer/dolio) |
| 04:20:25 | <edwardk> | so does p :- q |
| 04:20:28 | <edwardk> | that has a singleton type |
| 04:20:29 | × | dolio quits (~dolio@haskell/developer/dolio) (Remote host closed the connection) |
| 04:20:53 | <edwardk> | so the arrows between singletons _also_ has a singleton type, because you can view them as SingI p :- SingI q |
| 04:20:59 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:21:13 | <edwardk> | so any function that acts on some singleton to build another passes the test |
| 04:21:33 | <edwardk> | so we get one category that generalizes Constraint, but which can also be used to tear apart terms |
| 04:21:42 | <edwardk> | and then i can look at all the fibers over it at kind Type, and we recover Hask |
| 04:22:12 | <edwardk> | and the way that => works, because we can view the left hand side of => and just Sing.. using the same vocabulary we do |
| 04:22:25 | <edwardk> | which motivates core treating constraints as thin, but still using them like types |
| 04:22:37 | <edwardk> | its just missing a layer of singleton type conversions to keep it sound |
| 04:23:35 | → | dolio joins (~dolio@haskell/developer/dolio) |
| 04:23:37 | <edwardk> | but i can only get away with my sort of 'homoiconic' Sing representation that has no overhead so long as all my types hold on the nose |
| 04:23:55 | <edwardk> | it works great right up til this need to lower terms of kind (i -> j) |
| 04:24:21 | <edwardk> | but I could get away there with a Demoted typeclass |
| 04:24:25 | <edwardk> | er |
| 04:24:27 | <edwardk> | type family |
| 04:24:33 | <edwardk> | just like is used in singletons |
| 04:24:44 | <edwardk> | but then it'll infect everything else i write |
| 04:25:33 | <MarcelineVQ> | What does thin used here mean? without inhabitants? |
| 04:25:34 | <edwardk> | basically type inference for the whole types lib goes to hell |
| 04:25:46 | <edwardk> | a thin category is one where between any two objects there is at most one arrow |
| 04:26:01 | <edwardk> | the category of constraints is thin (ignoring ImplicitParam fuckery) |
| 04:26:11 | <edwardk> | any partial order is thin viewed as -> = (<=) |
| 04:26:21 | × | abhixec quits (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net) (Quit: leaving) |
| 04:26:49 | × | dead10cc quits (63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207) (Quit: Connection closed) |
| 04:26:55 | × | dolio quits (~dolio@haskell/developer/dolio) (Read error: Connection reset by peer) |
| 04:27:03 | <edwardk> | here i'm building functions that take singletons to singletons. all it can do is sort of case on the input singleton of which there is only one, and produce a result, also in a singleton of which there is only one |
| 04:27:34 | <edwardk> | so such functions are just a recipe of oh, uncons this part and plumb the head here and tail there, and here is the result |
| 04:27:46 | <edwardk> | these are done for individual singletons |
| 04:28:01 | → | abhixec joins (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net) |
| 04:28:26 | <edwardk> | and in Meta I can work with singletons that are types, natural numbers, arbitrary integers, anything with structural equality so i can promote it once and forall |
| 04:28:48 | <edwardk> | and i can build a category of such boring (Sing i -> Sing j) functions |
| 04:29:00 | <edwardk> | and then look at bundles. i and j there can have different kinds |
| 04:29:15 | <edwardk> | so if we quantify away i universally and j existentially but leave the kinds... we're left with hask |
| 04:29:35 | → | dolio joins (~dolio@haskell/developer/dolio) |
| 04:29:40 | × | Orbstheorem quits (~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 244 seconds) |
| 04:29:56 | <edwardk> | basically its all the functions that look at parts of their inputs (remember it has to work forall (i::a) and returns some (j::b) now, which is just what a function is |
| 04:30:13 | <edwardk> | in category theory this notion of sort of exploding your objects is something called the grothendieck construction |
| 04:30:18 | × | falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Remote host closed the connection) |
| 04:30:36 | <edwardk> | well there are many grothendieck constructions, but this is the one that folks talk about when talking about categories |
| 04:31:19 | <edwardk> | so it was pretty cool to me that i could build this super-laborious category, build functors for it, etc. manipulate the guts of basically anything made out of types, constraints, numbers, inductive data types, etc. |
| 04:31:23 | <edwardk> | then reassemble the result |
| 04:31:33 | <edwardk> | and get an Arrow that internally does way more weird stuff than you'd expect |
| 04:31:46 | × | sepi quits (49dc4892@c-73-220-72-146.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 04:31:55 | <edwardk> | and it has all the power of normal functions (it is ArrowApply, etc) |
| 04:32:14 | <edwardk> | so i could view this as a sort of 'ultimate form' for something like compiling to categories |
| 04:32:39 | <edwardk> | if i want said compilation to categories to handle dictionaries, representations of types, etc. correctly |
| 04:35:13 | <edwardk> | not sure how coherent that is |
| 04:35:17 | <edwardk> | but that is sort of the thought |
| 04:35:42 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...) |
| 04:37:46 | → | eric_ joins (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df) |
| 04:38:55 | → | DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
| 04:39:05 | × | abhixec quits (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 04:40:08 | → | __Joker joins (~Joker@180.151.104.210) |
| 04:44:50 | × | __Joker quits (~Joker@180.151.104.210) (Ping timeout: 272 seconds) |
| 04:45:14 | × | darjeeling_ quits (~darjeelin@122.245.219.58) (Ping timeout: 260 seconds) |
| 04:46:00 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...) |
| 04:47:03 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 04:49:16 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Ping timeout: 272 seconds) |
| 04:49:44 | → | DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
| 04:53:04 | × | toorevitimirp quits (~tooreviti@117.182.182.33) (Ping timeout: 272 seconds) |
| 04:54:01 | → | toorevitimirp joins (~tooreviti@117.182.182.33) |
| 04:54:06 | × | macrover quits (~macrover@ip70-189-231-35.lv.lv.cox.net) (Ping timeout: 260 seconds) |
| 04:55:15 | <edwardk> | anyways MarcelineVQ the other major need for constraints to live in Sing is that i may want to take singleton types over ADTs. i can singleton ~ constraints, but i need to be able to singleton up whatever dictionaries they may package up in their constructors |
| 04:55:24 | <edwardk> | that covers the existential fragment |
| 04:55:49 | <edwardk> | and i need to be able to take limits over things to handle the (forall x. whatever x) kinda fragments as well that pop up in ADTs a lot |
| 04:55:56 | × | dxld quits (~dxld@2a01:4f8:201:89ff:7479:df6a:7ab8:8305) (Quit: Bye) |
| 04:56:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 04:56:02 | <edwardk> | otherwise my ability to introspect on singletons is quite limited |
| 04:56:26 | <edwardk> | the goal is to "fully" allow promotion of all haskell data types, not just the convenient ones like in byorgey's paper |
| 04:57:13 | <edwardk> | er data constructors |
| 04:57:15 | <edwardk> | not data types |
| 04:57:18 | <edwardk> | the types promote fine |
| 04:57:22 | <edwardk> | they just lack most of the stuff in them |
| 04:58:46 | × | sand_dull quits (~theuser@62.182.99.37) (Ping timeout: 260 seconds) |
| 05:01:24 | <siraben> | What do people use here for proving correctness of programs in Haskell? Is liquid haskell still a good choice? |
| 05:01:34 | <siraben> | Also, introspection testing, and so on. |
| 05:01:46 | <edwardk> | liquid haskell works well if all your constraints are easy things to feed a sat solver involving numbers |
| 05:01:58 | <edwardk> | otherwise there are a couple of haskell to coq toolchains and something for isabelle, etc. |
| 05:02:34 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 05:04:52 | → | falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 05:07:55 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 05:13:32 | → | alp joins (~alp@2a01:e0a:58b:4920:43b:dddd:19e5:4b3) |
| 05:15:17 | → | mariatsji joins (~mariatsji@2a01:79d:53aa:c66c:342b:5324:f59b:5b0e) |
| 05:17:02 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 05:17:27 | × | alxgnon1 quits (~alxgnon@185.204.1.185) (Remote host closed the connection) |
| 05:18:32 | × | steve_ quits (~quassel@ool-18b99d28.dyn.optonline.net) (Remote host closed the connection) |
| 05:19:18 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 05:19:18 | Lord_of_Life_ | is now known as Lord_of_Life |
| 05:19:43 | → | steve_ joins (~quassel@ool-18b99d28.dyn.optonline.net) |
| 05:19:58 | → | ishutin joins (~Ishutin@178-164-206-35.pool.digikabel.hu) |
| 05:20:11 | × | mariatsji quits (~mariatsji@2a01:79d:53aa:c66c:342b:5324:f59b:5b0e) (Ping timeout: 272 seconds) |
| 05:20:57 | <shafox> | I use ghcup to install ghc and cabal and use it in my project. However there are other tools that needs to be installed such as ghcid, hoogle, language-server etc which are bound by the ghc version to play well with the project. So I have started to look for a solution which can integrate all the tools that is needed for development env (for now), stumbled across on nix, however I am not sure whether nix can install all the dependency for a particular |
| 05:20:57 | <shafox> | ghc and I can use that in the project. Is there any blog posts or gist/github links where a env with developement tools are being used so that I can steal the config ? |
| 05:22:44 | <Axman6> | I don't know how it works, but at work we have something which will activate an environment, including nix stuff, when you cd into the project directory so everything Just Works |
| 05:23:18 | × | ishutin_ quits (~Ishutin@94-21-82-48.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 05:23:19 | <shafox> | Axman6, please share more about it. |
| 05:23:42 | <Axman6> | I can't share much, but I'll see if I can find names of things |
| 05:23:48 | → | __Joker joins (~Joker@180.151.104.210) |
| 05:24:04 | <shafox> | Alright. |
| 05:24:41 | × | iscke quits (~black@60.225.157.201) (Remote host closed the connection) |
| 05:24:44 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 272 seconds) |
| 05:24:59 | → | thir joins (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) |
| 05:25:00 | → | iscke joins (~black@60.225.157.201) |
| 05:25:19 | <Axman6> | looks like it uses something called direnv |
| 05:25:24 | → | peach_liqueur joins (~black@60.225.157.201) |
| 05:26:16 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 05:26:21 | × | whiteline quits (~whiteline@unaffiliated/whiteline) (Remote host closed the connection) |
| 05:26:39 | → | whiteline joins (~whiteline@unaffiliated/whiteline) |
| 05:27:08 | <shafox> | Axman6, yes. direnv doesnt actually solve what I have stated. |
| 05:27:11 | × | peach_liqueur quits (~black@60.225.157.201) (Remote host closed the connection) |
| 05:27:29 | → | peach_liqueur joins (~black@60.225.157.201) |
| 05:28:13 | <Axman6> | well, time for you to go and learn nix |
| 05:28:13 | × | Foritus quits (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 05:28:31 | <Axman6> | it can solve the problems you have, and there's plenty of examples of people doing it on the net |
| 05:28:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:28:49 | × | sasssss quits (54ed377d@84.237.55.125) (Ping timeout: 245 seconds) |
| 05:29:10 | × | inkbottle quits (~inkbottle@aaubervilliers-654-1-101-24.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 05:29:27 | × | thir quits (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 05:29:27 | → | jedws joins (~jedws@121.209.139.222) |
| 05:29:28 | → | Foritus joins (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) |
| 05:29:41 | × | peach_liqueur quits (~black@60.225.157.201) (Remote host closed the connection) |
| 05:29:44 | × | iscke quits (~black@60.225.157.201) (Ping timeout: 260 seconds) |
| 05:29:59 | → | peach_liqueur joins (~black@60.225.157.201) |
| 05:30:15 | → | maxfragg1 joins (~maxfragg@185.204.1.185) |
| 05:31:11 | × | peach_liqueur quits (~black@60.225.157.201) (Remote host closed the connection) |
| 05:34:08 | <shafox> | Axman6, Alright. Thank you though. |
| 05:34:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 05:38:40 | × | lemmih quits (~lemmih@58.182.131.25) (Remote host closed the connection) |
| 05:38:50 | × | drbean quits (~drbean@TC210-63-209-159.static.apol.com.tw) (Read error: Connection reset by peer) |
| 05:39:01 | → | lemmih joins (~lemmih@2406:3003:2072:44:55f9:95f2:5de1:13ad) |
| 05:40:16 | → | drbean joins (~drbean@TC210-63-209-170.static.apol.com.tw) |
| 05:41:12 | × | wavemode quits (~wavemode@097-070-075-143.res.spectrum.com) (Ping timeout: 272 seconds) |
| 05:41:24 | × | falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Remote host closed the connection) |
| 05:41:46 | × | toorevitimirp quits (~tooreviti@117.182.182.33) (Ping timeout: 246 seconds) |
| 05:41:49 | → | falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 05:43:08 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 05:43:35 | <edwardk> | MarcelineVQ: another benefit of the encoding using singletons in the types library is that Sing a is a newtype around the constraint, where Dict is a data type |
| 05:43:38 | → | salumu joins (~sMuNiX@142.119.32.174) |
| 05:43:46 | <edwardk> | so it should kill a bunch of wrapping overhead |
| 05:43:56 | <jdgr> | Can we get a Haskell book for children? |
| 05:44:22 | <jdgr> | One that introduces all the theory in an easy to remember, easy to digest form? |
| 05:44:38 | → | coot joins (~coot@37.30.51.178.nat.umts.dynamic.t-mobile.pl) |
| 05:46:54 | × | sMuNiX quits (~sMuNiX@142.119.32.174) (Ping timeout: 272 seconds) |
| 05:47:00 | → | mariatsji joins (~mariatsji@2a01:79d:53aa:c66c:342b:5324:f59b:5b0e) |
| 05:47:39 | × | mariatsji quits (~mariatsji@2a01:79d:53aa:c66c:342b:5324:f59b:5b0e) (Remote host closed the connection) |
| 05:48:23 | <Axman6> | the NICTA/Data61/system-f course teaches 90% of haskell in the first 20 minutes or so, but it's definitely best taken in person (ping dibblego) |
| 05:49:14 | → | kenran joins (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 05:49:18 | <Axman6> | the rest is learning how to think in Haskell |
| 05:49:26 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 272 seconds) |
| 05:50:29 | <dibblego> | LYAH is good for children |
| 05:50:39 | → | s00pcan joins (~chris@107.181.165.217) |
| 05:50:58 | hackage | witness 0.5 - values that witness types https://hackage.haskell.org/package/witness-0.5 (AshleyYakeley) |
| 05:51:13 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 05:51:37 | <olligobber> | LYAH is good |
| 05:51:58 | hackage | open-witness 0.5 - open witnesses https://hackage.haskell.org/package/open-witness-0.5 (AshleyYakeley) |
| 05:52:15 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 05:52:40 | <olligobber> | hmm, seems since christmas my laptop lost the modular-arithmetic package, now I have to figure out how to install packages again |
| 05:53:38 | × | machinedgod quits (~machinedg@d67-193-126-196.home3.cgocable.net) (Ping timeout: 260 seconds) |
| 05:55:42 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 05:56:06 | <olligobber> | hmm, `ghc-pkg check' is giving me a lot of warnings... |
| 05:56:34 | <olligobber> | is that bad? |
| 05:58:06 | → | zacts joins (~zacts@dragora/developer/zacts) |
| 05:58:22 | → | mariatsji joins (~mariatsji@2a01:79d:53aa:c66c:342b:5324:f59b:5b0e) |
| 06:00:01 | × | maxfragg1 quits (~maxfragg@185.204.1.185) () |
| 06:00:27 | <dibblego> | system-f/fp-course is good for children with in-person guidance |
| 06:00:32 | → | hiroaki joins (~hiroaki@ip-37-201-147-87.hsi13.unitymediagroup.de) |
| 06:00:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:00:49 | <MarcelineVQ> | edwardk: neat stuff, what I could follow (ncatlab just kept linking me to more and more pages), and glad you're so excited :> |
| 06:02:06 | <MarcelineVQ> | full promotion is definitely neat |
| 06:02:07 | × | kupi quits (uid212005@gateway/web/irccloud.com/x-xvisocankedeksfn) (Quit: Connection closed for inactivity) |
| 06:02:35 | <edwardk> | right now what i'm trying to do is get the template-haskell magic to be smart enough to properly promote p :- q |
| 06:02:43 | <edwardk> | i have manually translated Dict |
| 06:02:55 | <edwardk> | now i have a case where i have (p => Dict q) -- though |
| 06:03:17 | <edwardk> | i tried flipping newtype p :- q = Sub (p => Dict q) -- to something more like |
| 06:03:28 | → | ggole joins (~ggole@2001:8003:8119:7200:dc47:fb87:baff:bd1b) |
| 06:03:45 | <edwardk> | data p :- q where SubDict :: (p => q) -> p :- q |
| 06:03:47 | <edwardk> | er |
| 06:03:50 | <edwardk> | data p :- q where SubDict :: (p => q) => p :- q |
| 06:04:02 | <edwardk> | but that actually is less easily used than the other |
| 06:04:20 | <edwardk> | because we often open Sub to bring into scope the obligation we need a p, and then build q |
| 06:04:31 | <edwardk> | so trying to roundtrip those representations runs into a snag |
| 06:04:40 | <edwardk> | i have to use an unsafeCoerce trick to go one way |
| 06:04:44 | <edwardk> | which always makes me nervous |
| 06:05:17 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:57:4cba:ee0e:cb3a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 06:05:31 | <edwardk> | if i can use the latter encoding then i can just reuse the machinery i wrote for fixing Dict |
| 06:05:51 | <edwardk> | er for handling singletons of Dict |
| 06:05:54 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 06:06:09 | × | hiroaki quits (~hiroaki@ip-37-201-147-87.hsi13.unitymediagroup.de) (Ping timeout: 265 seconds) |
| 06:07:05 | <edwardk> | it also gets in the way in subtle ways, like ghc is willing to talk about Dict (p => q) when i have constraint kinds enabled. but despite the fact that Sing @Constraint is basically the same it complains about Sing @Constraint (p => q) -- in particular that q should live in Type, not Constraint |
| 06:07:18 | <edwardk> | so the hacks we have that make => work in constraints are a bit wobbly around this sort of stuff |
| 06:07:27 | <edwardk> | not that impredicative types in haskell is terribly well supported |
| 06:07:47 | <edwardk> | er Dict (p => q) requires impredicative types, not just constraint kinds |
| 06:08:14 | → | mirrorbird joins (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) |
| 06:08:31 | <edwardk> | i can of course make my own class (p => q) => p |- q; instance (p => q) => p |- q -- but that alias isn't something i can coerce into a function, unlike p => q -- which is internally knowable to be a function |
| 06:08:46 | <edwardk> | so i can kinda cast it around to Sing p -> Sing q |
| 06:09:12 | <edwardk> | 'oh the nose' taking advantage of the fact Sing is a newtype unlike Data |
| 06:09:26 | <edwardk> | er unlike Dict |
| 06:10:00 | → | danvet_ joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 06:11:27 | × | falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 240 seconds) |
| 06:12:11 | <MarcelineVQ> | why is Dict there impredicative? aren't p and q affixed in data p :- q ? |
| 06:12:11 | × | adamwespiser quits (~adam_wesp@209.6.42.110) (Remote host closed the connection) |
| 06:12:54 | <MarcelineVQ> | *affixed by |
| 06:16:44 | → | thir joins (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) |
| 06:16:56 | <MarcelineVQ> | That is to say I don't see where the extra rank is coming from |
| 06:19:23 | × | Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 06:22:03 | × | ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds) |
| 06:22:11 | → | yoneda joins (~mike@193.206.102.122) |
| 06:24:17 | → | ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 06:25:03 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 06:25:22 | × | kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Quit: leaving) |
| 06:29:13 | × | alp quits (~alp@2a01:e0a:58b:4920:43b:dddd:19e5:4b3) (Ping timeout: 272 seconds) |
| 06:29:56 | × | josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 06:30:29 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 06:32:19 | × | cross quits (~cross@spitfire.i.gajendra.net) (Quit: Lost terminal) |
| 06:33:52 | × | loller quits (uid358106@gateway/web/irccloud.com/x-yoghdfehqhptefbb) (Quit: Connection closed for inactivity) |
| 06:34:11 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Quit: hekkaidekapus) |
| 06:35:39 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 06:35:59 | → | tchouri joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 06:36:06 | → | tchouri1 joins (~tchouri@196.70.67.27) |
| 06:36:11 | × | tchouri1 quits (~tchouri@196.70.67.27) (Client Quit) |
| 06:36:38 | tchouri | is now known as hekkaidekapus |
| 06:36:53 | → | John20 joins (~John@82.46.59.122) |
| 06:38:58 | × | dave_uy quits (~david@108.61.193.26) (Quit: The Lounge - https://thelounge.chat) |
| 06:39:31 | → | josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 06:42:23 | → | dave_uy joins (~david@108.61.193.26) |
| 06:43:22 | × | aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 246 seconds) |
| 06:43:29 | → | adamwespiser joins (~adam_wesp@209.6.42.110) |
| 06:45:38 | → | nineonin_ joins (~nineonine@50.216.62.2) |
| 06:47:55 | × | adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 258 seconds) |
| 06:47:56 | → | falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 06:48:41 | × | nineonine quits (~nineonine@216-19-190-182.dyn.novuscom.net) (Ping timeout: 258 seconds) |
| 06:49:36 | × | jedws quits (~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 06:49:40 | × | tzh quits (~tzh@2601:448:c500:5300::82b3) (Quit: zzz) |
| 06:50:56 | × | mirrorbird quits (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) (Quit: Leaving) |
| 06:52:09 | → | dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) |
| 06:53:03 | → | chaosmasttter joins (~chaosmast@p200300c4a714f10131538000641ea681.dip0.t-ipconnect.de) |
| 06:53:18 | × | yoneda quits (~mike@193.206.102.122) (Quit: leaving) |
| 06:55:16 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 246 seconds) |
| 06:55:26 | × | josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 06:55:51 | → | Pawka joins (~Pawka@185.163.110.116) |
| 06:57:11 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 07:00:37 | → | josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 07:02:30 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 256 seconds) |
| 07:06:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:08:56 | → | jud joins (~jud@unaffiliated/jud) |
| 07:12:00 | × | josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 07:12:04 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 07:12:19 | → | alp joins (~alp@2a01:e0a:58b:4920:5c1c:d9c9:7d53:7a49) |
| 07:13:23 | → | josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 07:14:06 | → | jud^ joins (~jud@cpe-70-113-106-222.austin.res.rr.com) |
| 07:14:46 | → | jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se) |
| 07:15:13 | → | ^jud joins (~jud@cpe-70-113-106-222.austin.res.rr.com) |
| 07:15:37 | × | Turmfalke quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 07:17:48 | × | jud quits (~jud@unaffiliated/jud) (Ping timeout: 256 seconds) |
| 07:17:52 | <edwardk> | MarcelineVQ: rankntypes and impredicative types in haskell aren't just about foralls but also constraints |
| 07:17:54 | <edwardk> | p => ... |
| 07:18:01 | <edwardk> | counts like bumping rank |
| 07:18:10 | <MarcelineVQ> | oh I'd no idea |
| 07:18:12 | <edwardk> | [p => q] |
| 07:18:15 | <edwardk> | is impredicative |
| 07:18:41 | <edwardk> | because ghc doesn't know when to float p, it tries to just float it outside anything it can |
| 07:18:47 | × | thir quits (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 07:18:48 | × | jud^ quits (~jud@cpe-70-113-106-222.austin.res.rr.com) (Ping timeout: 260 seconds) |
| 07:19:33 | <edwardk> | ImpredicativeTypes lets it allow that type, but ImpredicativeTypes is generally a horrorshow |
| 07:20:01 | <edwardk> | the quick look at types paper should just allow this as well, as would andras kovacs' implicit fun elaboration stuff |
| 07:21:08 | × | josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 07:22:29 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 07:23:26 | → | josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 07:24:53 | → | chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) |
| 07:26:53 | → | jud^ joins (~jud@cpe-70-113-106-222.austin.res.rr.com) |
| 07:27:36 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 07:28:09 | × | josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 07:28:26 | xerox__ | is now known as xerox_ |
| 07:28:43 | × | ^jud quits (~jud@cpe-70-113-106-222.austin.res.rr.com) (Ping timeout: 260 seconds) |
| 07:29:27 | → | yoneda joins (~mike@193.206.102.122) |
| 07:30:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:32:51 | × | shad0w_ quits (~shad0w_@160.202.36.59) (Remote host closed the connection) |
| 07:34:31 | × | jud^ quits (~jud@cpe-70-113-106-222.austin.res.rr.com) (Quit: Leaving) |
| 07:35:07 | × | murphy_ quits (~murphy_@2604:2000:1281:8a9e:253d:d28c:4e2b:162) (Ping timeout: 240 seconds) |
| 07:35:27 | → | murphy_ joins (~murphy_@2604:2000:1281:8a9e:d2e4:da3f:de8a:c9c9) |
| 07:36:02 | → | Orbstheorem joins (~roosember@hellendaal.orbstheorem.ch) |
| 07:39:55 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 265 seconds) |
| 07:40:42 | → | mmohammadi9812 joins (~mmohammad@2.178.188.114) |
| 07:41:51 | → | raichoo joins (~raichoo@213.240.178.58) |
| 07:45:54 | → | mmohammadi98124 joins (~mmohammad@2.178.188.114) |
| 07:46:12 | × | falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 260 seconds) |
| 07:46:35 | × | mmohammadi9812 quits (~mmohammad@2.178.188.114) (Read error: Connection reset by peer) |
| 07:46:35 | mmohammadi98124 | is now known as mmohammadi9812 |
| 07:50:14 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 07:50:37 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 07:52:33 | × | xerox_ quits (~xerox@unaffiliated/xerox) (Quit: leaving) |
| 08:01:55 | → | danvet joins (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) |
| 08:01:58 | × | danvet quits (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) (Client Quit) |
| 08:04:46 | × | yoneda quits (~mike@193.206.102.122) (Quit: leaving) |
| 08:04:53 | × | chaosmasttter quits (~chaosmast@p200300c4a714f10131538000641ea681.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 08:04:59 | → | yoneda joins (~mike@193.206.102.122) |
| 08:05:12 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 08:05:45 | × | drbean quits (~drbean@TC210-63-209-170.static.apol.com.tw) (Ping timeout: 240 seconds) |
| 08:07:06 | → | notzmv` joins (~user@179.100.115.46) |
| 08:08:25 | × | cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 240 seconds) |
| 08:10:34 | × | notzmv quits (~user@unaffiliated/zmv) (Ping timeout: 260 seconds) |
| 08:14:29 | × | mmohammadi9812 quits (~mmohammad@2.178.188.114) (Ping timeout: 256 seconds) |
| 08:17:01 | → | Sanchayan joins (~Sanchayan@106.201.114.230) |
| 08:17:18 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 256 seconds) |
| 08:17:36 | → | supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 08:17:37 | × | supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Max SendQ exceeded) |
| 08:17:51 | → | supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 08:17:52 | × | supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Max SendQ exceeded) |
| 08:18:09 | → | supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 08:20:35 | × | poljar quits (~poljar@93-139-70-179.adsl.net.t-com.hr) (Read error: Connection reset by peer) |
| 08:20:54 | → | poljar joins (~poljar@93-139-70-179.adsl.net.t-com.hr) |
| 08:25:21 | × | ryansmccoy quits (~ryansmcco@156.96.151.132) (Ping timeout: 265 seconds) |
| 08:25:32 | × | CitizenS- quits (~CitizenSn@irc.refl.club) (Quit: ZNC 1.8.1 - https://znc.in) |
| 08:25:48 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 08:26:03 | → | ryansmccoy joins (~ryansmcco@193.37.254.27) |
| 08:27:22 | → | kritzefitz joins (~kritzefit@p548c999c.dip0.t-ipconnect.de) |
| 08:27:57 | → | CitizenSnips joins (~CitizenSn@irc.refl.club) |
| 08:30:30 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 08:30:33 | → | borne joins (~fritjof@200116b8645e7d00f00953f5fedbeb5e.dip.versatel-1u1.de) |
| 08:31:09 | → | cyphase joins (~cyphase@unaffiliated/cyphase) |
| 08:32:33 | → | supercoven_ joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 08:33:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 08:35:01 | × | supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Ping timeout: 265 seconds) |
| 08:35:40 | → | notzmv`` joins (~user@179.100.115.46) |
| 08:37:05 | × | asan quits (~yan4138@114.84.148.87) (Ping timeout: 240 seconds) |
| 08:37:32 | → | mmohammadi9812 joins (~mmohammad@2.178.188.114) |
| 08:37:51 | → | cpressey joins (~cpressey@88.144.69.118) |
| 08:38:59 | × | notzmv` quits (~user@179.100.115.46) (Ping timeout: 240 seconds) |
| 08:39:23 | → | asan joins (~yan4138@124.78.128.72) |
| 08:39:48 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 08:40:27 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 08:46:57 | → | SanchayanM joins (~Sanchayan@122.181.220.105) |
| 08:47:28 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 08:48:38 | × | Sanchayan quits (~Sanchayan@106.201.114.230) (Ping timeout: 260 seconds) |
| 08:49:43 | → | Ariakenom joins (~Ariakenom@h-98-128-229-34.NA.cust.bahnhof.se) |
| 08:51:29 | → | falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 08:55:49 | → | acidjnk_new2 joins (~acidjnk@p200300d0c7365847cc6a0d2723d0128d.dip0.t-ipconnect.de) |
| 08:57:30 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 08:57:42 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 08:59:47 | × | falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 240 seconds) |
| 09:00:02 | × | Pawka quits (~Pawka@185.163.110.116) () |
| 09:00:42 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 09:00:55 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 09:02:14 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 09:03:44 | × | SanchayanM quits (~Sanchayan@122.181.220.105) (Quit: leaving) |
| 09:04:11 | → | Sanchayan joins (~Sanchayan@122.181.220.105) |
| 09:05:32 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 258 seconds) |
| 09:06:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:06:54 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 09:07:25 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 09:08:12 | → | SanchayanM joins (~Sanchayan@106.201.35.117) |
| 09:08:32 | → | mmohammadi98124 joins (~mmohammad@2.178.188.114) |
| 09:08:43 | × | mmohammadi9812 quits (~mmohammad@2.178.188.114) (Read error: Connection reset by peer) |
| 09:08:44 | mmohammadi98124 | is now known as mmohammadi9812 |
| 09:09:36 | × | Sanchayan quits (~Sanchayan@122.181.220.105) (Ping timeout: 256 seconds) |
| 09:12:00 | × | SanchayanM quits (~Sanchayan@106.201.35.117) (Client Quit) |
| 09:14:59 | × | asan quits (~yan4138@124.78.128.72) (Ping timeout: 240 seconds) |
| 09:15:14 | → | asan joins (~yan4138@114.84.148.83) |
| 09:20:13 | → | darjeeling_ joins (~darjeelin@112.16.171.8) |
| 09:20:50 | → | Cros1 joins (~Cros@217.146.82.202) |
| 09:21:37 | × | eric_ quits (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df) (Read error: Connection reset by peer) |
| 09:22:10 | → | eric_ joins (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df) |
| 09:22:58 | × | kritzefitz quits (~kritzefit@p548c999c.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 09:23:05 | → | kuribas joins (~user@ptr-25vy0i6w0fjwv5tj6q0.18120a2.ip6.access.telenet.be) |
| 09:23:17 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
| 09:23:30 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 09:24:10 | × | mmohammadi9812 quits (~mmohammad@2.178.188.114) (Read error: Connection reset by peer) |
| 09:24:35 | → | mmohammadi9812 joins (~mmohammad@2.178.188.114) |
| 09:25:30 | → | polyrain joins (~polyrain@2001:8003:e501:6901:d81b:49ea:d8f1:8f81) |
| 09:27:56 | × | darjeeling_ quits (~darjeelin@112.16.171.8) (Ping timeout: 272 seconds) |
| 09:28:59 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 09:30:02 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 09:32:21 | × | mmohammadi9812 quits (~mmohammad@2.178.188.114) (Quit: I quit (╯°□°）╯︵ ┻━┻) |
| 09:32:50 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) |
| 09:33:19 | × | jespada quits (~jespada@90.254.241.6) (Quit: Sleeping) |
| 09:33:23 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 09:37:23 | → | mirrorbird joins (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) |
| 09:38:17 | <dminuoso> | Mmm, servant seems to be blowing up the simplifier quite a bit. Approaching 30s for my Server module. :( |
| 09:38:40 | → | ohmysomuchuser joins (~nickednam@dynamic-78-9-0-61.ssp.dialog.net.pl) |
| 09:40:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 09:42:41 | × | asan quits (~yan4138@114.84.148.83) (Ping timeout: 265 seconds) |
| 09:42:56 | → | asan joins (~yan4138@114.84.148.87) |
| 09:43:06 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 09:44:51 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 09:46:21 | × | ohmysomuchuser quits (~nickednam@dynamic-78-9-0-61.ssp.dialog.net.pl) (Quit: Lost terminal) |
| 09:47:18 | → | ohmysomuchuser joins (~nickednam@dynamic-78-9-0-61.ssp.dialog.net.pl) |
| 09:47:33 | → | supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 09:48:22 | <AWizzArd> | Generic Haskell. Thesis of Andres Löh. How much of it is still valid and up-to-date? Can one still read this and find today’s GHC working very exactly as back then, 16 (!) years ago? https://www.andres-loeh.de/ExploringGH.pdf |
| 09:49:05 | × | zaquest quits (~notzaques@5.128.210.178) (Ping timeout: 240 seconds) |
| 09:49:25 | → | supercoven__ joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 09:49:25 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 09:51:22 | × | supercoven_ quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 09:51:45 | × | __Joker quits (~Joker@180.151.104.210) (Read error: Connection reset by peer) |
| 09:52:00 | → | __Joker joins (~Joker@180.151.104.210) |
| 09:52:23 | → | jedws joins (~jedws@121.209.139.222) |
| 09:52:26 | × | supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Ping timeout: 256 seconds) |
| 09:55:32 | → | zaquest joins (~notzaques@5.128.210.178) |
| 09:55:51 | × | jedws quits (~jedws@121.209.139.222) (Client Quit) |
| 09:56:47 | × | polyrain quits (~polyrain@2001:8003:e501:6901:d81b:49ea:d8f1:8f81) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 09:58:06 | → | polyrain joins (~polyrain@2001:8003:e501:6901:d81b:49ea:d8f1:8f81) |
| 09:58:19 | → | DavidEichmann joins (~david@43.240.198.146.dyn.plus.net) |
| 09:59:49 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 260 seconds) |
| 10:00:14 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-mtwkarqdregvoupa) (Quit: Connection closed for inactivity) |
| 10:00:18 | × | eric_ quits (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df) (Remote host closed the connection) |
| 10:00:18 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 10:00:26 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 10:00:28 | hackage | stack-clean-old 0.1 - Clean away old stack build artefacts https://hackage.haskell.org/package/stack-clean-old-0.1 (JensPetersen) |
| 10:00:34 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 10:01:34 | → | supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 10:03:57 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 10:04:54 | × | supercoven__ quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Ping timeout: 260 seconds) |
| 10:05:22 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 10:05:30 | <kuribas> | dminuoso: are you sure it's not aeson? |
| 10:05:50 | <kuribas> | dminuoso: I find my JSON types take the longest to compile |
| 10:06:27 | × | tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection) |
| 10:06:32 | <kuribas> | with all the generics |
| 10:07:09 | <dminuoso> | kuribas: Quite, yes. My JSON instances are handwritten. |
| 10:07:13 | → | tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64) |
| 10:07:16 | <kuribas> | of course for servant to be somewhat performant it has to inline all the type class definitions. |
| 10:07:34 | <dminuoso> | Well, perhaps it's that. |
| 10:08:10 | → | flex14 joins (~flex14@2601:280:c780:7ea0:d233:9ddf:c010:c113) |
| 10:08:38 | × | supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Max SendQ exceeded) |
| 10:08:50 | → | supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 10:09:51 | → | xerox_ joins (~xerox@unaffiliated/xerox) |
| 10:11:55 | → | son0p joins (~son0p@181.58.39.86) |
| 10:12:26 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:14:06 | × | jdgr quits (601c428b@gateway/web/cgi-irc/kiwiirc.com/ip.96.28.66.139) (Ping timeout: 265 seconds) |
| 10:15:55 | × | supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Max SendQ exceeded) |
| 10:16:12 | → | supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 10:16:19 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 10:17:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 10:18:23 | → | jonatanb joins (~jonatanb@83.24.161.211.ipv4.supernova.orange.pl) |
| 10:19:37 | × | dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 10:19:39 | × | jonge quits (jonge@kofferbomber.org) (Quit: quit) |
| 10:19:52 | → | jonge joins (jonge@kofferbomber.org) |
| 10:20:19 | × | cpape quits (~user@static.180.18.203.116.clients.your-server.de) (Remote host closed the connection) |
| 10:20:23 | → | dirediresalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 10:20:24 | → | cpape` joins (~user@static.180.18.203.116.clients.your-server.de) |
| 10:20:25 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 10:20:46 | × | Ariakenom quits (~Ariakenom@h-98-128-229-34.NA.cust.bahnhof.se) (Quit: Leaving) |
| 10:22:22 | → | darjeeling_ joins (~darjeelin@122.245.219.58) |
| 10:28:42 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds) |
| 10:29:09 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 10:30:47 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 10:31:39 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 10:32:00 | → | p-core joins (~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) |
| 10:32:08 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 10:32:44 | × | cpressey quits (~cpressey@88.144.69.118) (Quit: WeeChat 1.9.1) |
| 10:40:50 | × | darjeeling_ quits (~darjeelin@122.245.219.58) (Ping timeout: 260 seconds) |
| 10:43:52 | × | flex14 quits (~flex14@2601:280:c780:7ea0:d233:9ddf:c010:c113) (Ping timeout: 260 seconds) |
| 10:44:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:44:57 | × | plutoniix quits (~q@175.176.222.7) (Quit: Leaving) |
| 10:47:38 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 10:49:42 | notzmv`` | is now known as notzmv |
| 10:49:51 | × | notzmv quits (~user@179.100.115.46) (Changing host) |
| 10:49:51 | → | notzmv joins (~user@unaffiliated/zmv) |
| 10:52:06 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 10:55:03 | × | evanjs quits (~evanjs@075-129-188-019.res.spectrum.com) (Read error: Connection reset by peer) |
| 10:55:27 | × | jchia_ quits (~jchia@58.32.37.220) (Remote host closed the connection) |
| 10:55:54 | → | evanjs joins (~evanjs@075-129-188-019.res.spectrum.com) |
| 10:56:25 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 246 seconds) |
| 10:57:29 | × | evanjs quits (~evanjs@075-129-188-019.res.spectrum.com) (Read error: Connection reset by peer) |
| 10:59:37 | → | evanjs joins (~evanjs@075-129-188-019.res.spectrum.com) |
| 11:04:04 | × | chele quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 11:04:13 | → | chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) |
| 11:06:01 | → | darjeeling_ joins (~darjeelin@122.245.219.58) |
| 11:08:04 | → | cpressey joins (~cpressey@88.144.69.118) |
| 11:09:16 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 272 seconds) |
| 11:11:04 | → | sleblanc joins (~sleblanc@unaffiliated/sebleblanc) |
| 11:11:34 | × | ridcully quits (~ridcully@p57b5263b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 11:12:42 | → | knupfer joins (~Thunderbi@dynamic-046-114-150-231.46.114.pool.telefonica.de) |
| 11:13:01 | → | LKoen joins (~LKoen@81.255.219.130) |
| 11:13:47 | <yushyin> | maerwald: thanks for GHCUP_USE_XDG_DIRS but it is not mentioned in --help, also `ghcup compile ghc ...' still uses ~/.ghcup/{cache,logs} even if GHCUP_USE_XDG_DIRS is set. |
| 11:14:28 | × | mirrorbird quits (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) (Quit: Leaving) |
| 11:16:07 | → | thir joins (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) |
| 11:16:07 | × | evanjs quits (~evanjs@075-129-188-019.res.spectrum.com) (Read error: Connection reset by peer) |
| 11:16:52 | → | evanjs joins (~evanjs@075-129-188-019.res.spectrum.com) |
| 11:18:43 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 11:20:59 | × | knupfer quits (~Thunderbi@dynamic-046-114-150-231.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 11:21:11 | × | thir quits (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 11:23:24 | → | ridcully joins (~ridcully@p57b5259e.dip0.t-ipconnect.de) |
| 11:23:40 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 11:23:48 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 11:24:35 | × | supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 11:24:36 | mort | is now known as mortbot |
| 11:24:54 | mortbot | is now known as mort |
| 11:24:55 | → | josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 11:25:49 | × | quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 11:26:52 | × | p-core quits (~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Quit: p-core) |
| 11:27:09 | → | p-core joins (~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) |
| 11:27:33 | → | tchouri joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 11:28:59 | × | josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 11:29:18 | × | ohmysomuchuser quits (~nickednam@dynamic-78-9-0-61.ssp.dialog.net.pl) (Quit: leaving) |
| 11:29:20 | → | gmt joins (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) |
| 11:29:43 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 11:30:55 | × | dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 11:31:13 | → | Sanchayan joins (~Sanchayan@106.201.35.117) |
| 11:31:20 | → | dirediresalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 11:34:19 | → | quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 11:34:27 | → | jespada joins (~jespada@90.254.241.6) |
| 11:34:29 | × | jespada quits (~jespada@90.254.241.6) (Client Quit) |
| 11:35:02 | → | jespada joins (~jespada@90.254.241.6) |
| 11:36:56 | × | lucianp quits (lucianp@gateway/vpn/privateinternetaccess/lucianp) (Ping timeout: 256 seconds) |
| 11:39:10 | × | rprije quits (~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au) (Ping timeout: 260 seconds) |
| 11:39:16 | → | supercoven joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 11:39:25 | × | swater quits (bouhier200@perso.iiens.net) (Ping timeout: 240 seconds) |
| 11:39:47 | → | supercoven_ joins (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) |
| 11:39:57 | → | swater joins (bouhier200@perso.iiens.net) |
| 11:42:53 | → | raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) |
| 11:44:18 | × | supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Ping timeout: 260 seconds) |
| 11:45:04 | × | alx741 quits (~alx741@186.178.110.130) (Ping timeout: 246 seconds) |
| 11:45:51 | × | p-core quits (~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Remote host closed the connection) |
| 11:45:56 | × | polyrain quits (~polyrain@2001:8003:e501:6901:d81b:49ea:d8f1:8f81) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 11:49:55 | <AWizzArd> | What is the package/derivation name in Nix for the Haskell Language Server? |
| 11:50:30 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 11:50:53 | → | ohmysomuchuser joins (~nickednam@dynamic-78-9-0-61.ssp.dialog.net.pl) |
| 11:51:23 | × | ohmysomuchuser quits (~nickednam@dynamic-78-9-0-61.ssp.dialog.net.pl) (Client Quit) |
| 11:51:31 | <Uniaika> | AWizzArd: https://search.nixos.org/packages?show=haskellPackages.haskell-language-server&query=haskell-language-server&from=0&size=30&sort=relevance&channel=unstable#disabled |
| 11:51:38 | → | ohmysomuchuser joins (~nickednam@dynamic-78-9-0-61.ssp.dialog.net.pl) |
| 11:51:43 | × | ohmysomuchuser quits (~nickednam@dynamic-78-9-0-61.ssp.dialog.net.pl) (Client Quit) |
| 11:52:38 | → | ohmysomuchuser joins (~nickednam@dynamic-78-9-0-61.ssp.dialog.net.pl) |
| 11:52:44 | <dminuoso> | Pretty sure that's just the wrapper for the cabal package |
| 11:52:51 | <dminuoso> | Unless that's what AWizzArd is looking for :) |
| 11:53:00 | → | jedws joins (~jedws@121.209.139.222) |
| 11:53:05 | × | mariatsji quits (~mariatsji@2a01:79d:53aa:c66c:342b:5324:f59b:5b0e) () |
| 11:53:18 | × | jedws quits (~jedws@121.209.139.222) (Client Quit) |
| 11:54:45 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 11:55:04 | <Uniaika> | dminuoso: aren't many nix derivations just wrappers for the cabal package? :P |
| 11:55:06 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 11:55:36 | → | aaaaaa joins (~ArthurStr@host-91-90-11-13.soborka.net) |
| 11:56:02 | × | cpressey quits (~cpressey@88.144.69.118) (Quit: WeeChat 1.9.1) |
| 11:56:15 | <AWizzArd> | I thought there might be a binary, compiled for a certain GHC version. |
| 11:58:14 | → | alx741 joins (~alx741@186.178.110.154) |
| 12:00:02 | × | Cros1 quits (~Cros@217.146.82.202) () |
| 12:02:03 | → | fendor joins (~fendor@77.119.129.26.wireless.dyn.drei.com) |
| 12:06:02 | <Uniaika> | Ah, that's a different request |
| 12:06:11 | <Uniaika> | I'm getting those directly from their GitHub release page |
| 12:06:21 | <Uniaika> | I'm pretty sure they don't exist in nixpkgs |
| 12:06:25 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 12:06:27 | × | dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 12:07:09 | <AWizzArd> | Uniaika: I would like to include the language server in my Nix environment. I don’t want to install the HLS globally cause different projects may want to use different GHC versions. |
| 12:07:21 | → | dirediresalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 12:07:30 | <Uniaika> | AWizzArd: well, that's why haskell-language-server-wrapper is for |
| 12:07:34 | <dminuoso> | AWizzArd: https://github.com/haskell/haskell-language-server/issues/122 |
| 12:07:55 | <Uniaika> | typically in my path I have : .local/bin/haskell-language-server-8.6.5* .local/bin/haskell-language-server-8.8.3* .local/bin/haskell-language-server-wrapper* |
| 12:08:10 | <AWizzArd> | My idea was to include the HLS in each project. Then I could start a nix shell in which I call Emacs, so that this instance of Emacs can "see" the specific HLS. |
| 12:08:36 | dminuoso | kicks back, thinking ghcid is the sweet spot of "ease of setup and future compatibility" |
| 12:08:53 | <dminuoso> | And for what it brings. :) |
| 12:09:29 | <dminuoso> | Maybe I should try out hls to know what the fuzz is about, but so far ghcid has not kept me wanting more. |
| 12:10:36 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 12:11:05 | → | mmohammadi9812 joins (~mmohammad@2.178.188.114) |
| 12:11:20 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 12:15:37 | → | shad0w_ joins (~shad0w_@160.202.36.59) |
| 12:15:39 | <siraben> | Why doesn't haskell-lsp in Emacs recognize packages in my cabal file? |
| 12:15:47 | × | darjeeling_ quits (~darjeelin@122.245.219.58) (Ping timeout: 240 seconds) |
| 12:15:50 | <siraben> | Like if I have project-specific dependencies, it says the library could not be found |
| 12:16:17 | <maralorn> | AWizzArd: If you take haskell-language-server from the haskell.packages.ghcxxx version that you use for your project you should be fine. Although we don‘t build or test hls for anything other than the default ghc version. |
| 12:17:17 | → | adamwespiser joins (~adam_wesp@209.6.42.110) |
| 12:17:32 | <maralorn> | Meaning: hls is always implicitly build for the ghc version you use to build it. |
| 12:17:44 | → | darjeeling_ joins (~darjeelin@122.245.219.58) |
| 12:17:59 | <maralorn> | dminuoso: I actually have projects for which hls works and ghcid fails.^^ |
| 12:18:39 | <dminuoso> | maralorn: Curious, why is that? |
| 12:19:14 | <merijn> | dminuoso: I don't think ghcid is remotely comparable to ghcide/hls, tbh |
| 12:19:57 | <merijn> | dminuoso: I want warning/errors in my editor and the ability to query types. ghcid requires sacrificing an entire terminal window to it and can't even tell you the type of an expression |
| 12:19:59 | <maralorn> | dminuoso: Not sure. It's probably easy to fix. But just saying it also sometimes fails to deliver ootb. |
| 12:20:01 | → | drbean joins (~drbean@TC210-63-209-182.static.apol.com.tw) |
| 12:20:34 | <dminuoso> | merijn: I can query types quickly with (f :: _), ghcid gives me a prompt response. ;) |
| 12:20:36 | <AWizzArd> | maralorn: how is "default ghc version" defined? |
| 12:20:53 | <dminuoso> | merijn: And for the "entire terminal window" that's not true. I have my ghcid running in compilation-mode in emacs just fine |
| 12:21:40 | <maralorn> | AWizzArd: It's the one used to build all packages in pkgs.haskellPackages and the one you get with pkgs.ghc. So you can see the default version just in the package search. |
| 12:21:52 | <merijn> | dminuoso: Right, so all I have to do is switch to a completely different editor and get a complicated setup to work there :p |
| 12:21:57 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 12:22:08 | <maralorn> | Right now it's 8.6.5 in 20.03 and 8.8.4 on 20.09 and unstable. |
| 12:22:31 | <dminuoso> | Not sure about complicated setup *shrugs* |
| 12:22:42 | <dminuoso> | It's a really simplistic elisp file to tie ghcid into emacs |
| 12:22:49 | <merijn> | dminuoso: It's emacs, any setup is gonna be complicated :) |
| 12:23:02 | <dminuoso> | Sounds to me like you have already made up your mind then |
| 12:23:30 | → | machinedgod joins (~machinedg@d67-193-126-196.home3.cgocable.net) |
| 12:23:34 | <maralorn> | For what it's worth the hls feedback is (or at least feels) just significantly faster then ghcid. Also hls has a quickly growing number of amazing features. Like applying warning corrections, etc. |
| 12:23:41 | <siraben> | How can I make Haskell mode detect cabal packages? |
| 12:24:22 | <AWizzArd> | maralorn: having an implicit build for my concrete ghc version is good of course. It would be nice if I didn’t have to specify version numbers in multiple places. Optimal is just to pin a certain Nix repo hash. |
| 12:25:33 | <dminuoso> | maralorn: I dont want a fight at all, but how can lsp be faster? How does lsp obtain its information? |
| 12:25:42 | <dminuoso> | Surely it interfaces with ghc or ghci under the hood |
| 12:26:03 | <dminuoso> | (I dont know the details of how ghcide works internally) |
| 12:26:09 | × | Kaivo quits (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com) (Quit: WeeChat 2.9) |
| 12:26:32 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 12:26:54 | <maralorn> | dminuoso: I don‘t know. It just has a running ghc-session and only re-typechecks the changed parts. |
| 12:27:10 | × | adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 272 seconds) |
| 12:27:19 | <maralorn> | I just can say that often the type error appears milliseconds after leaving insert mode. |
| 12:27:21 | <dminuoso> | Fair enough, I can see how that could be faster. :) |
| 12:27:27 | <AWizzArd> | Currently I like Intero most. Left-hand side is code, right-hand side the repl. I can mark sub expressions and get their types. Alas, it’s no longer maintained and it’s just a question of time until HLS will have overtaken. |
| 12:27:45 | <dminuoso> | How does ghcide fare with the unstable GHC API? |
| 12:28:09 | <dminuoso> | I mean this is my main motivator for ghcid, it just works regardless of how the GHC API changes |
| 12:28:13 | <maralorn> | dminuoso: With tons of CPP. It's a nightmare. |
| 12:28:16 | <dminuoso> | Heh |
| 12:29:14 | <maralorn> | dminuoso: But right now it's really well maintained. So I don‘t think that new ghc versions will loose support in the next years. |
| 12:30:20 | <maralorn> | siraben: I don‘t understand your question. But have you tried writting an explicit hie.yaml file? |
| 12:30:30 | <dminuoso> | I might give it a try some day. From the looks of it, it's nicely modular, I just not convinced I want to drag lsp-ui into emacs :( |
| 12:30:40 | <dminuoso> | Im a big fan of my sleek and small emacs setup |
| 12:30:51 | <dminuoso> | (or is there an lsp tie into compilation-mode?) |
| 12:30:53 | <siraben> | maralorn: I don't have an explicit hie.yaml, basically I have my dependencies in the cabal file and expect HIE to see them as well |
| 12:31:11 | <ohmysomuchuser> | Hello all. I'm having trouble recompiling xmonad with ghc 8.8.3: I am running FreeBSD 12; cabal-install installed from packages; latest version installed with `cabal install Cabal cabal-install`; installed xmonad and xmonad-contrib via cabal with command `cabal install --overwrite-policy=always xmonad xmonad-contrib` - completed without error; $PATH includes $HOME/.cabal/bin; there is a symlink to |
| 12:31:17 | <ohmysomuchuser> | xmonad inside (symlink created successfully); `whereis xmonad` returns $HOME/.cabal/bin/xmonad; but xmonad --recompile causes the error: "Could not find module XMonad"; neither does it find any of the xmonad-contrib modules. Everything was working before i updated my system. I have made no changes to $HOME/.xmonad/xmonad.hs |
| 12:31:29 | <maralorn> | siraben: Oh, I don‘t know anything about HIE. But you I would also expect it to see them. |
| 12:32:29 | <ohmysomuchuser> | My config file: https://paste.mozilla.org/2c8jfWF5 |
| 12:32:37 | <siraben> | Hang on, what's the difference between HIE and haskell-language-serevr? |
| 12:32:38 | <dminuoso> | ohmysomuchuser: Presumably $HOME/.cabal/bin/ is not on PATH for the user who initially started xmonad? |
| 12:32:53 | <merijn> | siraben: None |
| 12:32:53 | <siraben> | I have this in my config, `(setq lsp-haskell-process-path-hie "haskell-language-server-wrapper")` |
| 12:32:53 | → | lolo_ joins (~laurent@clg-coutanciere-44.dyn.ac-nantes.fr) |
| 12:32:55 | <dminuoso> | siraben: haskell-language-server is ghcide bolted onto lsp |
| 12:33:03 | <dminuoso> | (roughly) |
| 12:33:05 | <merijn> | siraben: HIE is/has been merging with hls |
| 12:33:20 | <merijn> | siraben: See https://mpickering.github.io/ide/posts/2020-05-08-state-of-haskell-ide.html |
| 12:33:29 | <dminuoso> | Ah heh indeed |
| 12:33:35 | <siraben> | Hm, then I don't get why emacs isn't seeing my cabal packages |
| 12:33:37 | × | lolo_ quits (~laurent@clg-coutanciere-44.dyn.ac-nantes.fr) (Client Quit) |
| 12:33:44 | <siraben> | I'm not using a nix shell for this project because of custom overrides |
| 12:34:00 | <ohmysomuchuser> | @dminuoso I believe it is: echo $PATH shows it is. |
| 12:34:00 | <lambdabot> | Unknown command, try @list |
| 12:34:12 | <siraben> | And one of the dependencies has been marked broken on pkgs.haskellPackages |
| 12:34:17 | <dminuoso> | ohmysomuchuser: "for the user who initially started xmonad" |
| 12:34:24 | × | cheater quits (~user@unaffiliated/cheater) (Remote host closed the connection) |
| 12:34:30 | <dminuoso> | ohmysomuchuser: There is no global PATH. It's an environment variable. |
| 12:34:34 | <ohmysomuchuser> | yes, that is me. |
| 12:34:41 | <dminuoso> | ohmysomuchuser: Let me clarify |
| 12:34:45 | <maralorn> | siraben: Have you run haskell-language-server-wrapper in the terminal? What does it display? |
| 12:34:47 | <dminuoso> | ohmysomuchuser: From the *environment* xmonad is started from. |
| 12:34:51 | <dminuoso> | How is xmonad started? |
| 12:35:10 | <dminuoso> | Ohh |
| 12:35:16 | <dminuoso> | ohmysomuchuser: I didnt read carefully, different problem |
| 12:35:17 | × | darjeeling_ quits (~darjeelin@122.245.219.58) (Ping timeout: 272 seconds) |
| 12:35:35 | <siraben> | maralorn: http://ix.io/2yo8 |
| 12:35:35 | <ohmysomuchuser> | by my ~/.xinitrc file, and the command startx. This is after adding ~/.cabal/bin to my $PATH |
| 12:35:40 | <dminuoso> | ohmysomuchuser: Which version does `cabal --version` return? |
| 12:35:47 | <siraben> | It's trying to find a Main.hs file, but I'm working on a library |
| 12:36:05 | <ohmysomuchuser> | 3.2.0.0 |
| 12:36:11 | → | cheater joins (~user@unaffiliated/cheater) |
| 12:36:17 | → | flex14 joins (~flex14@2601:280:c780:7ea0:d233:9ddf:c010:c113) |
| 12:37:00 | <siraben> | cabal repl works fine, but LSP is complaining about libraries it can't find, hm. |
| 12:37:09 | <dminuoso> | ohmysomuchuser: Mmm, let check the sources of xmonad real quick |
| 12:38:21 | <dminuoso> | ohmysomuchuser: So personally, I'd recommend using the cabal v2- features. Set the xmonad directory up as a cabal project with a cabal file, set up a build script, which just calls `cabal build`. |
| 12:38:22 | → | darjeeling_ joins (~darjeelin@122.245.219.58) |
| 12:39:02 | <ohmysomuchuser> | I can add that `ghci -v ~/.xmonad/xmonad.hs` states the following locations searched: Locations searched: XMonad.hs XMonad.lhs XMonad.hsig XMonad.lhsig |
| 12:39:18 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 12:39:19 | <dminuoso> | It's likely that your cabal version was bumped from below 3 to above 3, which now defaults to v2-*. Alternatively you could use v1-install in the above |
| 12:39:26 | <dminuoso> | The problem is, `cabal install` no longer does what you think it does |
| 12:39:33 | <siraben> | maralorn: here's the full log https://paste.debian.net/hidden/4429c229/ |
| 12:39:38 | <maerwald> | shafox: I'm integrating haskell-language-server into ghcup as we speak |
| 12:39:48 | <dminuoso> | ohmysomuchuser: But really, Id say go with the above. |
| 12:41:51 | <ohmysomuchuser> | I will give it a try. Thank you. |
| 12:41:59 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds) |
| 12:42:31 | <maerwald> | shafox: and then I've an idea for a "ghcup satisfy" command, which would partly be a rip-off of https://github.com/vabal/vabal |
| 12:43:03 | <maerwald> | I'm not sure if that's what you had in mind, feel free to open a ticket |
| 12:43:39 | <maralorn> | siraben: Hm, the second log looks fine … |
| 12:44:01 | <maerwald> | yushyin: can you open a ticket for that (preferably against master) |
| 12:44:11 | <ohmysomuchuser> | ah, i forgot to add that `ghc-pkg list` lists a lot of things, but not xmonad or xmonad-contrib. `ghc-pkg` recache, does not help. Why is it not "visible"? |
| 12:44:45 | siraben | uploaded an image: Screen Shot 2020-09-22 at 19.44.29.png (246KiB) < https://matrix.org/_matrix/media/r0/download/matrix.org/UlJVsSxbfoTpFFsWCYIFuZbf/Screen Shot 2020-09-22 at 19.44.29.png > |
| 12:44:48 | <siraben> | maralorn: ^ |
| 12:44:53 | → | Franciman joins (~francesco@host-82-55-138-222.retail.telecomitalia.it) |
| 12:45:03 | <dminuoso> | ohmysomuchuser: So roughly, cabal has two modes called old-style and new-style |
| 12:45:24 | <dminuoso> | ohmysomuchuser: In old-style, you had this notion of the "one global package database", where cabal install would build a package and register it with ghc-pkg |
| 12:45:55 | <maerwald> | new-style is also global :p |
| 12:46:01 | → | polyrain joins (~polyrain@2001:8003:e501:6901:d81b:49ea:d8f1:8f81) |
| 12:46:06 | <dminuoso> | In new-style, which is nix inspired, packages are built into a store, hashed by version, constraints, etc. Then, when cabal selects a plan, it will configure a package database out of that according to the build plan |
| 12:46:09 | × | amiri quits (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Remote host closed the connection) |
| 12:46:22 | <dminuoso> | Allowing multiple versions and flavors of a package to coexist |
| 12:46:58 | <dminuoso> | The fact that we have `cabal install` is a bit funny. We could, for the sake of this discussion, pretend that it doesnt make much sense anymore. |
| 12:47:06 | × | aaaaaa quits (~ArthurStr@host-91-90-11-13.soborka.net) (Ping timeout: 258 seconds) |
| 12:48:13 | <tomjaguarpaw> | `cabal install` still makes sense for executables |
| 12:48:21 | <dminuoso> | You can access these styles by prefixing the commands with v1-/v2- or old-/new-, and if you dont specify a prefix, before 3.0 it would default to old/v1, and after 3.0 it defaults to new/v2 |
| 12:48:29 | <dminuoso> | Which is why the behavior suddenly changed |
| 12:48:30 | <ohmysomuchuser> | OK - I'm going to have to look into this much more. I'm not a Haskell developer, just like XMonad very much. Basically, instead of "installing it", I should "build it" as a project, right? |
| 12:48:51 | <dminuoso> | ohmysomuchuser: I see! If you're not a haskell developer and want your stuff back to normal, use `v1-install` instead of `install` |
| 12:48:53 | <dminuoso> | and you should be fine |
| 12:49:13 | × | hhefesto quits (~user@2806:103e:27:514e:97f8:577a:384e:d8df) (Ping timeout: 272 seconds) |
| 12:49:14 | <tomjaguarpaw> | ohmysomuchuser: This is how I do XMonad (with Cabal new-style) https://github.com/tomjaguarpaw/dotfiles/tree/master/xmonad |
| 12:49:29 | → | amiri joins (~amiri@cpe-76-91-154-9.socal.res.rr.com) |
| 12:49:47 | <tomjaguarpaw> | but bear in mind this issue and my hacky workaround: https://github.com/xmonad/xmonad/issues/154 |
| 12:49:48 | <dminuoso> | Or you use a build file, like tomjaguarpaw has shown you. :) |
| 12:49:49 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 12:50:19 | <siraben> | maralorn: what's happening with LSP for it not to see the libraries? |
| 12:50:50 | <dminuoso> | ohmysomuchuser: Just be aware that at some point in the future v1- commands will be dropped from cabal. But this is distant. For xmonad-only users, v1- is perfectly fine to use. :) |
| 12:50:53 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 12:51:13 | <ohmysomuchuser> | I have to say, this is disapointingly convoluted :( I only started having problems when xmonad-contrib was removed from the FreeBSD pkg repositories. |
| 12:51:29 | <maerwald> | dminuoso: do you have a reference to that claim? |
| 12:51:35 | <maralorn> | siraben: I honestly don‘t know. I have only seen an issue like that once. That was under nixos. |
| 12:51:49 | <ohmysomuchuser> | So if I don't want to worry about future dropped commands, I can just do what tomjaguarpaw suggested? |
| 12:52:38 | <maralorn> | siraben: It could have something to do with hls in emacs seeing different env-variables to discover packages. But I don‘t see why that would be the case. |
| 12:52:40 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:57:4cba:ee0e:cb3a) |
| 12:52:54 | <dminuoso> | ohmysomuchuser: Yeah. |
| 12:53:00 | <siraben> | potentially I could correct this by using direnv? |
| 12:53:23 | <siraben> | In a project that worked before, I had a shell.nix and using emacs-direnv everything worked |
| 12:53:24 | <dminuoso> | ohmysomuchuser: Im not sure his method is completely correct, but Id be happy to give you a helping hand if you have issues. |
| 12:53:35 | <siraben> | But since I have to do an override for one of the dependencies, I can't use shell.nix here |
| 12:53:45 | × | sleblanc quits (~sleblanc@unaffiliated/sebleblanc) (Ping timeout: 240 seconds) |
| 12:53:49 | <maralorn> | siraben: Wait, have you installed anything in that setup with nix? |
| 12:54:04 | <dminuoso> | maralorn: cabal sandbox at least gives out deprecation notices, calling v1 style legacy. |
| 12:54:16 | <siraben> | maralorn: cabal and haskell language server is installed via nix, yeah |
| 12:54:17 | <dminuoso> | And I recall reading discussions marking v1 commands as deprecated |
| 12:54:19 | <ohmysomuchuser> | OK - I will attempt it his way, and will come back if need be. Thank you guys. While the tooling is a pain in the neck, you guys are great. |
| 12:54:29 | <siraben> | But I installed the libraries with cabal |
| 12:54:38 | <dminuoso> | Perhaps I misremember |
| 12:54:57 | <dminuoso> | ohmysomuchuser: The tooling is actually pretty good, it's just that xmonad has a bit bizarre installation method. |
| 12:55:04 | → | nhandler1 joins (~nhandler@193.56.252.210) |
| 12:55:05 | <maralorn> | siraben: And ghc? |
| 12:55:09 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 12:55:15 | <siraben> | maralorn: via nix as well |
| 12:55:36 | <maralorn> | siraben: How old is your nixpkgs/hls? |
| 12:55:43 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 12:55:52 | <siraben> | i updated my nix channel roughly 24 hours ago |
| 12:55:55 | <dminuoso> | ohmysomuchuser: Since xmonad is not configured but *programmed* (think of xmonad as a library that you use to build a window manager with, and some stub executable), you step into the whole "build problem" domain |
| 12:56:05 | <siraben> | haskell-language-server version: 0.4.0.0 (GHC: 8.8.4) |
| 12:56:10 | <dminuoso> | build tools are really complicated. :) |
| 12:56:15 | <siraben> | The Glorious Glasgow Haskell Compilation System, version 8.8.4 |
| 12:57:41 | → | wavemode joins (~wavemode@097-070-075-143.res.spectrum.com) |
| 12:57:45 | <maralorn> | siraben: Ugh |
| 12:58:10 | <maralorn> | Do you execute emacs inside the nix-shell? |
| 12:58:18 | <siraben> | maralorn: nope |
| 12:58:26 | <dminuoso> | maerwald: ^- I falsely send a message to someone else: cabal sandbox at least gives out deprecation notices, calling v1 style legacy. And I recall reading discussions marking v1 commands as deprecated |
| 12:58:27 | <maralorn> | siraben: Can you try that? |
| 12:58:31 | <siraben> | I usually use direnv for that kinda thing |
| 12:58:35 | <siraben> | maralorn: I don't have a shell.nix here |
| 12:58:41 | <maerwald> | dminuoso: sandboxes are removed |
| 12:58:49 | <maralorn> | Oh |
| 12:58:56 | <maerwald> | but about v1- I don't remember a clear decision, maybe phadej knows |
| 12:59:04 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Read error: Connection reset by peer) |
| 12:59:04 | <dminuoso> | maerwald: Heh fair enough. Havent used these in a while :) |
| 12:59:27 | <maralorn> | siraben: Can you tell if the missing packages are installed via cabal or via nix? |
| 12:59:30 | <dminuoso> | v1- is very consistently called "legacy" in various issues on haskell/cabal though :) |
| 12:59:36 | <dminuoso> | So that's rather suggestive already |
| 13:00:03 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 13:00:14 | <dminuoso> | Found it |
| 13:00:16 | <dminuoso> | maerwald: https://cabal.readthedocs.io/en/latest/nix-local-build-overview.html |
| 13:00:22 | × | machinedgod quits (~machinedg@d67-193-126-196.home3.cgocable.net) (Ping timeout: 265 seconds) |
| 13:00:23 | <siraben> | maralorn: I think it's through cabal |
| 13:00:24 | <dminuoso> | "[...] but these legacy commands will require the usage of the v1- prefix as of Cabal 3.0 and will be removed in a future release." |
| 13:00:26 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 13:00:32 | <siraben> | also I didn't do cabal-install at all |
| 13:00:35 | <siraben> | only cabal build; |
| 13:00:39 | tchouri | is now known as hekkaidekapus |
| 13:00:48 | <maralorn> | siraben: Do you use ghc.withPackages ? |
| 13:00:53 | <maralorn> | siraben: Yeah, that should work. |
| 13:00:54 | × | Tesseraction quits (~Tesseract@unaffiliated/tesseraction) (Ping timeout: 258 seconds) |
| 13:00:56 | <siraben> | maralorn: not for this project |
| 13:01:01 | <maralorn> | Okay |
| 13:01:06 | <dminuoso> | Based on the fact that they dont emit a deprecation notice, I guess v1 is gonna stay for at least a year or two. :) |
| 13:01:10 | <siraben> | everything worked when I used direnv, ghc.withPackages etc. in a previous project |
| 13:01:18 | <siraben> | but with this weird setup, it's not working exactly |
| 13:01:39 | <maralorn> | siraben: What's weird about the setup? |
| 13:01:41 | × | evanjs quits (~evanjs@075-129-188-019.res.spectrum.com) (Read error: Connection reset by peer) |
| 13:01:50 | <maralorn> | Have you installed hls and cabal via nix-env or configuration.nix? |
| 13:02:03 | <siraben> | maralorn: https://github.com/siraben/pcf/tree/rebuild |
| 13:02:08 | <siraben> | maralorn: home-manager |
| 13:02:25 | <siraben> | so, like configuration.nix I guess |
| 13:02:35 | → | evanjs joins (~evanjs@075-129-188-019.res.spectrum.com) |
| 13:02:48 | <siraben> | maralorn: weird in the sense that it's not using nix, but a cabal file and a cabal.project file |
| 13:02:59 | <siraben> | but all my tools are nix-installed |
| 13:02:59 | × | son0p quits (~son0p@181.58.39.86) (Ping timeout: 260 seconds) |
| 13:03:35 | × | gmt quits (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) (Ping timeout: 258 seconds) |
| 13:03:57 | → | Tesseraction joins (~Tesseract@unaffiliated/tesseraction) |
| 13:04:00 | <kosmikus> | AWizzArd: GHC has never been working as my thesis describes. The thesis describes an idealised version of Generic Haskell that used to be available as a separate preprocessor. whether it's still worth reading depends very much on what you want, but it's probably not. |
| 13:04:09 | × | evanjs quits (~evanjs@075-129-188-019.res.spectrum.com) (Excess Flood) |
| 13:04:26 | → | evanjs joins (~evanjs@075-129-188-019.res.spectrum.com) |
| 13:05:30 | <AWizzArd> | kosmikus: okay I see, the intro however is nice and of general interest. |
| 13:06:31 | <siraben> | Anyone working on an updated social graph for #haskell? https://wiki.haskell.org/wikiupload/3/3c/Haskell-current.png |
| 13:06:56 | <siraben> | maralorn: I think what's happening is LSP is using the GHC installed via nix |
| 13:06:58 | <siraben> | which doesn't have the packages |
| 13:07:15 | → | isovector1 joins (~isovector@node-1w7jr9squrfoy3fci95ksrhpu.ipv6.telus.net) |
| 13:07:17 | × | isovector1 quits (~isovector@node-1w7jr9squrfoy3fci95ksrhpu.ipv6.telus.net) (Remote host closed the connection) |
| 13:08:02 | <dminuoso> | siraben: yahb has the most fields! :) |
| 13:08:45 | <siraben> | dminuoso: yahb? |
| 13:09:07 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 13:09:22 | <dminuoso> | % putStrLn "At your disposal" |
| 13:09:23 | <yahb> | dminuoso: At your disposal |
| 13:09:42 | <dminuoso> | Oh. That was supposed to read friends. |
| 13:09:43 | <dminuoso> | Mmm. |
| 13:09:49 | <dminuoso> | My code has more fields than friends. :( |
| 13:09:52 | <maralorn> | siraben: HLS doesn‘t call any ghc from the PATH, it uses the ghc compiled into it. But yeah, that is the one from nix. |
| 13:09:57 | <dminuoso> | Surprisingly no fiends |
| 13:10:39 | <siraben> | didn't know that gwern used to hang around here in 2008, heh |
| 13:10:46 | <siraben> | maralorn: ah |
| 13:10:55 | <maralorn> | siraben: Wait. There is no haskell-language-server-wrapper in nixpkgs. |
| 13:11:09 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 260 seconds) |
| 13:11:10 | <siraben> | maralorn: haskellPackages.haskell-language-server |
| 13:11:45 | → | cpressey joins (~cpressey@88.144.69.118) |
| 13:11:48 | → | niHiggim joins (~manjaro-u@98.122.188.27) |
| 13:12:22 | <maralorn> | siraben: Anyways can you try removing the "-wrapper" from your emacs config and see what happens? |
| 13:12:30 | <maralorn> | Maybe the wrapper discovers some other hls? |
| 13:13:11 | <fendor> | maralorn, small detail, hie-bios may use the ghc on the path to find the project ghc version |
| 13:13:36 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 256 seconds) |
| 13:13:40 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 13:13:42 | <siraben> | maralorn: I removed the "-wrapper" suffix from my config, still has the same issue |
| 13:13:54 | <yushyin> | maerwald: ah yes, I'm sorry, I have to revert my 'bug' report :D it works as expected. I had just a very messy environment after converting to XDG_DIRS and either had still an old ghcup somewhere in PATH or not all shells/tmux had GHCUP_USE_XDG_DIRS set. |
| 13:14:03 | <siraben> | fendor: what's hie-bios? I don't have that on my path |
| 13:14:04 | <maerwald> | I see |
| 13:14:24 | → | polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 13:14:34 | <maerwald> | yushyin: would have been surprised, because I abstract via directory getters |
| 13:14:52 | <fendor> | siraben, woops, sorry, I did not want to confuse you. It is just a library in HLS that is used to load a project, just ignore it. |
| 13:15:03 | <siraben> | ok, all good |
| 13:15:22 | × | John20 quits (~John@82.46.59.122) (Ping timeout: 256 seconds) |
| 13:15:26 | <siraben> | argh, surely someone's had this problem with haskell-lsp before, but looking around the internet no one seems to have |
| 13:15:58 | <siraben> | Ah, https://emacs.stackexchange.com/questions/54017/interactively-load-cabal-packages-within-haskell-mode |
| 13:16:30 | <siraben> | "I accidentally found out that the error is fixed when I cd to the directory and "cabal install varying --lib", [..]" |
| 13:17:10 | <maralorn> | siraben: Just to clarify: haskell-lsp is a library hls uses to speak the language-server-protocol. So it might make more sense to talk about hls.^^ |
| 13:17:15 | <yushyin> | maerwald: yeah, just a dumb mistake on my part :/ |
| 13:17:35 | → | thir joins (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) |
| 13:17:37 | <siraben> | maralorn: ok, thanks |
| 13:17:46 | <fendor> | siraben, you definitely dont have to invoke `cabal install --lib` |
| 13:17:54 | <maerwald> | yushyin: it not showing up in --help is because you're the only one who ever complained about it :p |
| 13:17:59 | <siraben> | fendor: right, that's what I want to avoid |
| 13:18:15 | <maralorn> | <fendor "siraben, you definitely dont hav"> Or at least shouldn‘t have to.^^ |
| 13:18:27 | → | John20 joins (~John@82.46.59.122) |
| 13:18:48 | <fendor> | siraben, sorry, but what is the problem you observer? (Assuming it is not flycheck but hls) |
| 13:19:03 | <fendor> | oof, I may just read the history |
| 13:19:13 | <siraben> | fendor: there's an image I posted |
| 13:19:17 | <siraben> | that's probably the best way to explain it |
| 13:19:49 | <siraben> | I'm not sure if I'm articulating the various parts of it correctly, there's a lot of software interacting (emacs, cabal, nix, lsp, etc.) |
| 13:19:58 | <maralorn> | fendor: The debug output from running hls reports no errors, but in emacs it can‘t find the dependencies. |
| 13:20:09 | <fendor> | i just joined twenty minutes ago, did you post it in the last minutes? |
| 13:20:24 | → | aaaaaa joins (~ArthurStr@host-91-90-11-13.soborka.net) |
| 13:20:58 | <siraben> | fendor: https://matrix.org/_matrix/media/r0/download/matrix.org/UlJVsSxbfoTpFFsWCYIFuZbf/Screen Shot 2020-09-22 at 19.44.29.png |
| 13:20:59 | <maralorn> | siraben: Hm, maybe emacs is executing hls in the wrong directory? (just grasping here.) |
| 13:21:05 | <fendor> | siraben, then my first question would be, are you sure hls produces the errors and not some other tool such as flycheck? |
| 13:21:29 | × | aaaaaa quits (~ArthurStr@host-91-90-11-13.soborka.net) (Client Quit) |
| 13:21:39 | <siraben> | fendor: ah, when I do flycheck-list-errors, it appears there |
| 13:21:47 | × | thir quits (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 13:21:53 | <siraben> | So flycheck is the culprit here? |
| 13:22:10 | <fendor> | maybe, I am unfortunately not really familiar with emacs plugins |
| 13:22:12 | <siraben> | fendor: result of running haskell-language-server https://paste.debian.net/1164295/ |
| 13:22:26 | <maralorn> | Uuugh. I have never heard about flycheck. m( |
| 13:22:34 | <fendor> | that looks ok to me |
| 13:22:48 | <siraben> | maralorn: flycheck-verify-setup says https://paste.debian.net/1164296/ |
| 13:23:01 | <siraben> | First checker to run seems to be lsp |
| 13:23:20 | <fendor> | maralorn, I remember that multiple users had problems with errors showing up because of other tools, that is the only reason I know about it :) |
| 13:23:52 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 256 seconds) |
| 13:23:55 | <maralorn> | siraben: Can you just disable flycheck and see what happen? |
| 13:24:41 | <siraben> | Just disabled flycheck, but now all the hints and so on are gone |
| 13:24:44 | × | pgib quits (~textual@lmms/pgib) (Quit: 00 PC LOAD LETTER) |
| 13:25:10 | <fendor> | yeah, but the diagnostics are correct? How about completion, and types? |
| 13:25:17 | <fendor> | *type on hover |
| 13:25:24 | <siraben> | Ok, the types on hover seem to be correct |
| 13:25:34 | <siraben> | including the functions from the libraries it couldn't find before |
| 13:25:40 | <siraben> | implying that it loads correctly |
| 13:25:53 | fendor | throws confetti |
| 13:26:12 | <siraben> | Hm? But then why does flycheck report error? |
| 13:26:16 | <siraben> | I'm even more confused |
| 13:26:21 | <fendor> | flycheck and hls are completely unrelated |
| 13:26:26 | <merijn> | siraben: Because it's trying to use GHC directly or something |
| 13:26:41 | <fendor> | so I assume the setup of flycheck is broken in some way |
| 13:26:45 | <fendor> | but hls seems to work |
| 13:28:36 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:57:4cba:ee0e:cb3a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:28:40 | × | yoneda quits (~mike@193.206.102.122) (Quit: leaving) |
| 13:29:20 | × | LKoen quits (~LKoen@81.255.219.130) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 13:29:49 | × | niHiggim quits (~manjaro-u@98.122.188.27) (Read error: Connection reset by peer) |
| 13:29:52 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 13:30:04 | × | mmohammadi9812 quits (~mmohammad@2.178.188.114) (Quit: I quit (╯°□°）╯︵ ┻━┻) |
| 13:31:05 | <maralorn> | fendor: Lesson learned. |
| 13:31:21 | <siraben> | https://github.com/jwiegley/dot-emacs/blob/18be11e9d1459ec9d80dcea87b562f7cd30f72a9/settings.el#L648 |
| 13:31:22 | <siraben> | interesting |
| 13:31:51 | → | dhil joins (~dhil@11.29.39.217.dyn.plus.net) |
| 13:33:31 | <fendor> | maralorn, :) |
| 13:33:46 | × | ohmysomuchuser quits (~nickednam@dynamic-78-9-0-61.ssp.dialog.net.pl) (Quit: Lost terminal) |
| 13:34:10 | <maralorn> | Slightly unrelated: I imagine we could put some magic into nixpkgs so that haskell.packages.ghcxxx.haskell-language-server gives you a haskell-language-server-ghcxxx binary and even built them with hydra, so that we see build errors. |
| 13:34:12 | → | niHiggim joins (~manjaro-u@98.122.188.27) |
| 13:34:36 | <maralorn> | Then tha haskell-language-server-wrapper can work easily under nix, too. |
| 13:35:00 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 13:35:44 | × | niHiggim quits (~manjaro-u@98.122.188.27) (Client Quit) |
| 13:37:50 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:201c:1605:3252:940e) |
| 13:39:10 | <maralorn> | I wonder if it would be worth it to have pkgs.haskell-language-server-ghcxxx top-level-packages. Might make it easier for people to discover them. |
| 13:39:40 | <maralorn> | Gonna carry that question to a more appropriate channel. |
| 13:40:27 | <siraben> | Ok |
| 13:40:35 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 13:40:40 | → | niHiggim joins (~manjaro-u@2606-a000-4545-ba00-0000-0000-0000-0006.inf6.spectrum.com) |
| 13:41:10 | → | machinedgod joins (~machinedg@104.249.228.12) |
| 13:42:03 | → | tzh joins (~tzh@2601:448:c500:5300::82b3) |
| 13:42:49 | × | mirk0_ quits (~mirko@unaffiliated/-mirko-/x-2946915) (Ping timeout: 264 seconds) |
| 13:45:19 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 13:46:49 | → | mirk0_ joins (~mirko@unaffiliated/-mirko-/x-2946915) |
| 13:49:18 | × | drbean quits (~drbean@TC210-63-209-182.static.apol.com.tw) (Ping timeout: 256 seconds) |
| 13:51:23 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 13:52:29 | × | evanjs quits (~evanjs@075-129-188-019.res.spectrum.com) (Read error: Connection reset by peer) |
| 13:52:30 | → | p-core joins (~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) |
| 13:53:00 | → | spew joins (uid195861@gateway/web/irccloud.com/x-bhhgjdvsxlzecbgs) |
| 13:53:48 | → | evanjs joins (~evanjs@075-129-188-019.res.spectrum.com) |
| 13:54:45 | → | macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net) |
| 13:55:14 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 13:55:37 | ← | kish parts (~oracle@unaffiliated/oracle) ("Leaving") |
| 13:55:48 | → | ystael joins (~ystael@209.6.50.55) |
| 13:56:17 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 13:57:10 | × | Sanchayan quits (~Sanchayan@106.201.35.117) (Quit: leaving) |
| 13:57:16 | × | ystael quits (~ystael@209.6.50.55) (Read error: Connection reset by peer) |
| 13:57:45 | <ukari> | why the type of same field `value1` can't be inferred when use fmap? (https://plaster.tymoon.eu/view/2057) |
| 13:59:44 | × | zacts quits (~zacts@dragora/developer/zacts) (Quit: leaving) |
| 14:00:01 | → | zacts joins (~zacts@dragora/developer/zacts) |
| 14:00:38 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 14:00:58 | hackage | rebase 1.7.4 - A more progressive alternative to the "base" package https://hackage.haskell.org/package/rebase-1.7.4 (NikitaVolkov) |
| 14:01:16 | → | eric_ joins (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df) |
| 14:02:37 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:201c:1605:3252:940e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:03:28 | hackage | rerebase 1.7.4 - Reexports from "base" with a bunch of other standard libraries https://hackage.haskell.org/package/rerebase-1.7.4 (NikitaVolkov) |
| 14:05:14 | × | borne quits (~fritjof@200116b8645e7d00f00953f5fedbeb5e.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 14:05:21 | × | eric_ quits (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df) (Ping timeout: 246 seconds) |
| 14:06:53 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:d189:c928:c4c6:61d6) |
| 14:07:11 | → | ystael joins (~ystael@209.6.50.55) |
| 14:07:55 | × | Franciman quits (~francesco@host-82-55-138-222.retail.telecomitalia.it) (Quit: Leaving) |
| 14:08:37 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 14:08:58 | × | DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 260 seconds) |
| 14:10:17 | × | alp quits (~alp@2a01:e0a:58b:4920:5c1c:d9c9:7d53:7a49) (Ping timeout: 272 seconds) |
| 14:10:50 | × | dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 14:13:06 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 14:15:16 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 14:15:28 | × | s00pcan quits (~chris@107.181.165.217) (Ping timeout: 272 seconds) |
| 14:16:59 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 14:18:00 | × | machinedgod quits (~machinedg@104.249.228.12) (Ping timeout: 272 seconds) |
| 14:21:03 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 14:22:05 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 14:22:44 | × | macrover quits (~macrover@ip70-189-231-35.lv.lv.cox.net) (Remote host closed the connection) |
| 14:22:46 | × | p-core quits (~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Remote host closed the connection) |
| 14:23:10 | <hololeap> | i have a local cabal project "linked" to my current project using cabal.project.local, but it's not finding the haddock docs for this other project: Warning ... could not find link destinations for ... |
| 14:23:14 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:d189:c928:c4c6:61d6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:23:44 | → | ddellacosta joins (~dd@86.106.121.168) |
| 14:24:29 | → | gmt joins (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) |
| 14:24:53 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 14:24:56 | → | borne joins (~fritjof@200116b8645e7d00f00953f5fedbeb5e.dip.versatel-1u1.de) |
| 14:24:56 | → | ionut_ joins (~ionut@86.125.68.211) |
| 14:25:23 | <hololeap> | the line in cabal.project.local looks like `packages: ../foo/foo.cabal` |
| 14:25:49 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 14:26:32 | × | shafox quits (~shafox@106.51.234.111) (Read error: Connection reset by peer) |
| 14:26:54 | → | shafox joins (~shafox@106.51.234.111) |
| 14:26:58 | hackage | doctest-lib 0.1 - Parts of doctest exposed as library https://hackage.haskell.org/package/doctest-lib-0.1 (HenningThielemann) |
| 14:27:02 | ← | ionut_ parts (~ionut@86.125.68.211) () |
| 14:27:43 | <hololeap> | Warning: The documentation for the following packages are not installed. No links will be generated to these packages: ... |
| 14:27:57 | hackage | doctest-exitcode-stdio 0.0 - Run doctest's in a Cabal.Test.exitcode-stdio environment https://hackage.haskell.org/package/doctest-exitcode-stdio-0.0 (HenningThielemann) |
| 14:29:02 | × | gmt quits (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 14:29:19 | <hololeap> | what would be the best way to link to the generated haddocks inside the other package dir, or should i just install the other package |
| 14:29:44 | → | mitchellsalad joins (uid40617@gateway/web/irccloud.com/x-enhkpawvaptrcxlr) |
| 14:30:04 | → | irc_user joins (uid423822@gateway/web/irccloud.com/x-tpfipbfrsajxzuoj) |
| 14:31:18 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 14:31:43 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 14:32:15 | × | shad0w_ quits (~shad0w_@160.202.36.59) (Remote host closed the connection) |
| 14:33:22 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 14:36:00 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 256 seconds) |
| 14:36:14 | → | knupfer joins (~Thunderbi@200116b82410ab00bc92ce4dd4bbcbaa.dip.versatel-1u1.de) |
| 14:37:47 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 14:40:18 | → | niHiggim_ joins (~manjaro-u@98.122.188.27) |
| 14:40:22 | × | niHiggim quits (~manjaro-u@2606-a000-4545-ba00-0000-0000-0000-0006.inf6.spectrum.com) (Ping timeout: 260 seconds) |
| 14:41:38 | → | ahri joins (~ahri@178.209.40.84) |
| 14:42:10 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 14:43:06 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 14:44:05 | × | borne quits (~fritjof@200116b8645e7d00f00953f5fedbeb5e.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 14:44:18 | × | cpressey quits (~cpressey@88.144.69.118) (Quit: WeeChat 1.9.1) |
| 14:45:00 | <ahri> | I've been poking around trying to work out how to use ghcjs with stack, there's old docs saying Stack will automagically download snapshots but that's no longer true as far as I can tell. GHCJS' github talks about building the compiler, which is cool, but I'll have to tell stack to use it somewhere, right? |
| 14:45:42 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 14:47:33 | × | sw1nn quits (~sw1nn@host81-146-21-49.range81-146.btcentralplus.com) (Quit: WeeChat 2.9) |
| 14:48:41 | → | josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 14:48:41 | → | sw1nn joins (~sw1nn@host81-146-21-49.range81-146.btcentralplus.com) |
| 14:50:30 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 14:50:34 | × | gawen quits (~gawen@movzbl.root.sx) (Quit: cya) |
| 14:50:36 | → | p8m_ joins (p8m@gateway/vpn/protonvpn/p8m) |
| 14:50:49 | → | gawen joins (~gawen@movzbl.root.sx) |
| 14:50:56 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 272 seconds) |
| 14:51:39 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:7871:2065:6603:de04) |
| 14:52:39 | × | sw1nn quits (~sw1nn@host81-146-21-49.range81-146.btcentralplus.com) (Client Quit) |
| 14:53:58 | → | sw1nn joins (~sw1nn@host81-146-21-49.range81-146.btcentralplus.com) |
| 14:53:58 | × | fulc9277 quits (~fulc927@unaffiliated/fulc927) (Quit: Leaving) |
| 14:58:05 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 14:59:01 | → | jdgr joins (601c428b@gateway/web/cgi-irc/kiwiirc.com/ip.96.28.66.139) |
| 14:59:31 | × | flex14 quits (~flex14@2601:280:c780:7ea0:d233:9ddf:c010:c113) (Remote host closed the connection) |
| 15:00:01 | × | nhandler1 quits (~nhandler@193.56.252.210) () |
| 15:02:38 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 15:03:51 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 15:04:42 | → | thir joins (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) |
| 15:08:03 | → | machinedgod joins (~machinedg@45.78.189.122) |
| 15:08:15 | <maerwald> | stack dropped support for ghcjs, no? |
| 15:08:36 | <tdammers> | did they ever have proper support in the first place? |
| 15:08:36 | <maerwald> | I'm not sure, but I believe most ppl use nix for that |
| 15:09:18 | × | aidecoe quits (~aidecoe@unaffiliated/aidecoe) (Ping timeout: 272 seconds) |
| 15:09:31 | <tdammers> | also, getting either stack or cabal to use your ghcjs compiler is the easy part; the hard part is figuring out how to make them download and compile packages from the right repository the right way |
| 15:09:35 | → | aidecoe joins (~aidecoe@unaffiliated/aidecoe) |
| 15:10:07 | × | thir quits (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 15:10:27 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 15:10:56 | × | vnz quits (~vnz@unaffiliated/vnz) (Quit: ZNC - http://znc.in) |
| 15:12:41 | → | __Joker_ joins (~Joker@119.82.123.124) |
| 15:12:46 | → | vnz joins (~vnz@2001:bc8:604:94f::1) |
| 15:12:46 | × | vnz quits (~vnz@2001:bc8:604:94f::1) (Changing host) |
| 15:12:46 | → | vnz joins (~vnz@unaffiliated/vnz) |
| 15:13:44 | × | zacts quits (~zacts@dragora/developer/zacts) (Ping timeout: 256 seconds) |
| 15:14:51 | → | alp joins (~alp@2a01:e0a:58b:4920:24bf:2628:a65:b9f2) |
| 15:15:04 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 15:15:59 | <siraben> | maralorn: i finally resolved it |
| 15:16:04 | <siraben> | had to have a hie.yaml file all along... |
| 15:16:09 | × | Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 15:16:10 | × | __Joker quits (~Joker@180.151.104.210) (Ping timeout: 260 seconds) |
| 15:16:25 | × | jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection) |
| 15:17:04 | <maralorn> | siraben: Oh, okay. |
| 15:17:25 | × | xff0x quits (~fox@2001:1a81:5222:7400:158c:d17f:d83e:dc7f) (Ping timeout: 272 seconds) |
| 15:17:39 | <siraben> | maralorn: new issue that it seems to hang when I open the haskell file, hm. |
| 15:17:59 | → | xff0x joins (~fox@2001:1a81:5222:7400:a532:31e:75e4:cc8b) |
| 15:18:17 | <maralorn> | :-/ |
| 15:20:39 | → | tomatopotato joins (~tomatopot@s91904426.blix.com) |
| 15:21:41 | × | chele quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 15:21:48 | <siraben> | but, progress nonetheless |
| 15:22:06 | → | shad0w_ joins (~shad0w_@160.202.36.59) |
| 15:22:49 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 15:23:45 | → | cpressey joins (~cpressey@88.144.69.118) |
| 15:23:50 | <maerwald> | tdammers: ah right, I remember some ppl used to set up hackage overlays for thatt |
| 15:24:22 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Quit: Lost terminal) |
| 15:26:25 | → | isovector1 joins (~isovector@node-1w7jr9squrfoy3fci95ksrhpu.ipv6.telus.net) |
| 15:26:58 | → | DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
| 15:27:40 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 15:29:07 | × | acidjnk_new2 quits (~acidjnk@p200300d0c7365847cc6a0d2723d0128d.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 15:30:27 | → | bloodsta1ker joins (~bloodstal@46.166.187.154) |
| 15:34:15 | → | solonarv joins (~solonarv@anancy-653-1-63-100.w109-217.abo.wanadoo.fr) |
| 15:34:23 | → | zacts joins (~zacts@dragora/developer/zacts) |
| 15:34:27 | → | eric_ joins (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df) |
| 15:35:12 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 15:35:47 | × | knupfer quits (~Thunderbi@200116b82410ab00bc92ce4dd4bbcbaa.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 15:39:09 | × | blase quits (~blase@4e69b241.skybroadband.com) (Ping timeout: 246 seconds) |
| 15:39:36 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 15:40:48 | → | knupfer joins (~Thunderbi@200116b82410ab00c51d1171b9c0c856.dip.versatel-1u1.de) |
| 15:41:59 | × | polyrain quits (~polyrain@2001:8003:e501:6901:d81b:49ea:d8f1:8f81) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:42:21 | → | Guest_91 joins (84ccf37c@x-132-204-243-124.xtpr.umontreal.ca) |
| 15:42:41 | <Guest_91> | got a prob while installing haskell on mac |
| 15:42:59 | × | shad0w_ quits (~shad0w_@160.202.36.59) (Ping timeout: 240 seconds) |
| 15:43:31 | <Guest_91> | can somebody help me ?? |
| 15:43:46 | <siraben> | Guest_91: just ask your question |
| 15:44:32 | <Guest_91> | i install haskell via their website but when i wanna use i get the error GHCi command not found |
| 15:44:58 | <Guest_91> | how to overcome this error?? |
| 15:46:23 | → | aarvar joins (~foewfoiew@50.35.43.33) |
| 15:46:41 | × | sagax quits (~sagax_nb@213.138.71.146) (Remote host closed the connection) |
| 15:47:22 | → | Turmfalke joins (~user@unaffiliated/siracusa) |
| 15:47:32 | → | blase joins (~blase@4e69b241.skybroadband.com) |
| 15:47:34 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 15:50:13 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-101-24.w86-212.abo.wanadoo.fr) |
| 15:50:31 | <c_wraith> | well first of all, how did you actually install it? "via the website" isn't really informative. What was the name of the thing you downloaded? What did you run to install it? |
| 15:50:35 | → | Kaivo joins (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com) |
| 15:51:26 | <Guest_91> | https://www.haskell.org/ghcup/ t |
| 15:51:45 | <c_wraith> | ok. are you using bash as your shell? |
| 15:51:59 | <maerwald> | Guest_91: source ~/.ghcup/env |
| 15:52:03 | <maerwald> | in your current shell |
| 15:52:06 | × | dhil quits (~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 260 seconds) |
| 15:52:13 | <maerwald> | then add the same line in ~/.bash_profile |
| 15:52:22 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 15:52:25 | <Guest_91> | i run this code on terminal to instal :curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh |
| 15:52:58 | <Guest_91> | im using the terminal |
| 15:53:42 | <AWizzArd> | Emacs + Haskell Language Server: the three suggested Emacs plugins (lsp-mode, lsp-ui and lsp-haskell)... do they automatically try to call the haskell-language-server-wrapper exe, as soon as I open a .hs file? Or do I need to configure this binary at first? |
| 15:54:18 | × | knupfer quits (~Thunderbi@200116b82410ab00c51d1171b9c0c856.dip.versatel-1u1.de) (Quit: knupfer) |
| 15:54:34 | → | knupfer joins (~Thunderbi@200116b82410ab0070339623689cb0d4.dip.versatel-1u1.de) |
| 15:56:21 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-gdptvzwawxoahyub) |
| 15:56:51 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 15:57:25 | × | zacts quits (~zacts@dragora/developer/zacts) (Quit: leaving) |
| 15:57:43 | → | zacts joins (~zacts@dragora/developer/zacts) |
| 15:58:10 | × | knupfer quits (~Thunderbi@200116b82410ab0070339623689cb0d4.dip.versatel-1u1.de) (Client Quit) |
| 15:58:23 | → | knupfer joins (~Thunderbi@200116b82410ab006d6825eaf402e280.dip.versatel-1u1.de) |
| 15:59:10 | → | slack1256 joins (~slack1256@181.203.58.122) |
| 15:59:38 | × | cpressey quits (~cpressey@88.144.69.118) (Quit: WeeChat 1.9.1) |
| 15:59:55 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 16:00:15 | → | thir joins (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) |
| 16:00:25 | → | Rudd0 joins (~Rudd0@185.189.115.98) |
| 16:00:58 | <maerwald> | Guest_91: did you do what I said? |
| 16:02:34 | <Guest_91> | i am new on mac from windows and also new on haskell so please be more explicit !!! |
| 16:04:05 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 16:05:37 | × | thir quits (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 16:06:57 | <yushyin> | Needs more punctuation marks |
| 16:07:16 | <sm[m]> | that's telling you maerwald :) |
| 16:07:23 | × | ambiso quits (~ambiso@209.182.239.205) (Quit: Ping timeout (120 seconds)) |
| 16:07:42 | → | ambiso joins (~ambiso@209.182.239.205) |
| 16:08:05 | <sm[m]> | welcome Guest_91 be patient and we can help you :) |
| 16:08:21 | <maerwald> | I don't have a mac, but sm[m] is very knowledgable about that |
| 16:08:22 | × | datajerk quits (~datajerk@sense.net) (Quit: ZNC 1.7.3 - https://znc.in) |
| 16:08:29 | → | mmohammadi9812 joins (~mmohammad@86.106.194.98) |
| 16:08:32 | <sm[m]> | doh |
| 16:08:45 | × | blackdog quits (~blackdog@198.211.112.85) (Ping timeout: 240 seconds) |
| 16:08:46 | <Guest_91> | thank you |
| 16:09:01 | × | raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal) |
| 16:09:13 | → | |-\|-\ joins (~justsomeg@216.186.218.241) |
| 16:09:13 | × | |-\|-\ quits (~justsomeg@216.186.218.241) (Changing host) |
| 16:09:13 | → | |-\|-\ joins (~justsomeg@unaffiliated/--/x-3805311) |
| 16:09:22 | → | sfvm joins (~sfvm@37.228.215.148) |
| 16:09:45 | × | relrod quits (~relrod@redhat/ansible.staff.relrod) (Ping timeout: 240 seconds) |
| 16:10:25 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Ping timeout: 240 seconds) |
| 16:11:55 | → | Colpop4323 joins (~logstash@176.251.234.203) |
| 16:12:02 | <sm[m]> | if you use ghcup, I defer to your maerwald who is the worlds number one expert. I use brew or stack's install script, myself |
| 16:12:17 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 16:12:53 | <yushyin> | Guest_91: do you have the terminal still open? Type in 'source ~/.ghcup/env' and ghcup should work. If yes open the file ~/.bash_profile and also write that line into that file, save it! Open another terminal check if ghcup works |
| 16:13:00 | <maerwald> | sm[m]: xD |
| 16:13:05 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds) |
| 16:13:13 | <AWizzArd> | About the Haskell Language Server: can it show me the types of sub expressions? For example I mark the var `y` in the call `foo x y z` and it will tell me the type of y? |
| 16:13:33 | → | blackdog joins (~blackdog@198.211.112.85) |
| 16:14:17 | <Guest_91> | it workkkkk, thankk youuuuu yushyin!!!! |
| 16:14:33 | → | relrod joins (~relrod@origin.elrod.me) |
| 16:14:35 | × | relrod quits (~relrod@origin.elrod.me) (Changing host) |
| 16:14:35 | → | relrod joins (~relrod@redhat/ansible.staff.relrod) |
| 16:14:39 | <Turmfalke> | > head (_ : "bar") |
| 16:14:45 | <lambdabot> | error: |
| 16:14:45 | <lambdabot> | • Found hole: _ :: Char |
| 16:14:45 | <lambdabot> | • In the first argument of ‘(:)’, namely ‘_’ |
| 16:14:50 | <Guest_91> | how can i open the file ~/.bash_profile ?? |
| 16:15:02 | → | datajerk joins (~datajerk@sense.net) |
| 16:15:04 | <Turmfalke> | AWizzArd: ^ You could use holes like in the example |
| 16:15:13 | <yushyin> | Guest_91: With any editor |
| 16:15:25 | → | hololeap joins (~hololeap@unaffiliated/hololeap) |
| 16:15:31 | <yushyin> | Don't know what mac users use |
| 16:16:14 | <sm[m]> | Guest_91: one way is to type: open -a textedit --args ~/.bash_profile |
| 16:16:16 | <AWizzArd> | Turmfalke: yes sure, I am just comparing what HLS already can do vs. intero. |
| 16:16:43 | <AWizzArd> | Turmfalke: in Intero I simply mark (in Emacs) the thing I want to know the type of and immediately get it in the mini buffer. |
| 16:16:50 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 16:17:01 | <Turmfalke> | Oh, I don't know even what those are, sorry |
| 16:19:44 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-101-24.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 16:20:16 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 256 seconds) |
| 16:20:59 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 16:21:14 | × | nineonin_ quits (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 16:21:23 | × | Colpop4323 quits (~logstash@176.251.234.203) (Ping timeout: 258 seconds) |
| 16:22:02 | → | sand_dull joins (~theuser@62.182.99.37) |
| 16:23:21 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 16:23:37 | × | tomku quits (~tomku@unaffiliated/tomku) (Ping timeout: 264 seconds) |
| 16:23:47 | → | adamwespiser joins (~adam_wesp@209.6.42.110) |
| 16:24:41 | → | tomku joins (~tomku@unaffiliated/tomku) |
| 16:26:36 | <slack1256> | The RecordDotSyntax is expected to land in 8.12 or so? |
| 16:27:06 | → | ClaudiusMaximus joins (~claude@198.123.199.146.dyn.plus.net) |
| 16:27:06 | × | ClaudiusMaximus quits (~claude@198.123.199.146.dyn.plus.net) (Changing host) |
| 16:27:06 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 16:27:42 | × | J_Arcane quits (sid119274@gateway/web/irccloud.com/x-unhsxwafbyombroh) (Ping timeout: 260 seconds) |
| 16:28:02 | → | LKoen joins (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) |
| 16:28:05 | × | adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 240 seconds) |
| 16:28:20 | → | J_Arcane joins (sid119274@gateway/web/irccloud.com/x-tbeshiltkuiqzozn) |
| 16:30:00 | → | rkvist joins (~user@138.197.72.132) |
| 16:30:18 | <rkvist> | Does irc browse https://ircbrowse.tomsmeding.com/ have a channel? |
| 16:30:50 | <tomsmeding> | rkvist: it does not have a dedicated irc channel, no; is there a particular reason you're asking? |
| 16:31:06 | → | nineonine joins (~nineonine@50.216.62.2) |
| 16:31:06 | <tomsmeding> | (at least, not that I know of :D) |
| 16:33:29 | <monochrom> | Isn't that this channel? :) |
| 16:35:46 | → | Saten-san joins (~Saten-san@ip-83-134-202-119.dsl.scarlet.be) |
| 16:39:19 | × | jespada quits (~jespada@90.254.241.6) (Quit: Sleeping) |
| 16:39:51 | <rkvist> | lol I am sure it is not because I forgot to install postgres and thus it is not working. |
| 16:41:42 | <monochrom> | I see what you mean now. |
| 16:43:40 | × | sand_dull quits (~theuser@62.182.99.37) (Ping timeout: 272 seconds) |
| 16:44:33 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 16:44:44 | → | geekosaur joins (42d52102@66.213.33.2) |
| 16:45:56 | → | sand_dull joins (~theuser@62.182.99.37) |
| 16:47:57 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 16:48:06 | → | shad0w_ joins (~shad0w_@160.202.36.59) |
| 16:48:51 | × | shad0w_ quits (~shad0w_@160.202.36.59) (Remote host closed the connection) |
| 16:51:47 | × | xff0x quits (~fox@2001:1a81:5222:7400:a532:31e:75e4:cc8b) (Ping timeout: 272 seconds) |
| 16:51:59 | <tomsmeding> | I'm afraid I don't fully see; perhaps a meaning of "channel" is used that I'm not getting? :) |
| 16:52:40 | <monochrom> | Rather, I think rkvist means a channel about the software used behind ircbrowse. |
| 16:53:26 | <rkvist> | Sorry didn't mean to cause existential issues, like normally when I go places. |
| 16:53:32 | → | xff0x joins (~fox@2001:1a81:5222:7400:a532:31e:75e4:cc8b) |
| 16:53:33 | <tomsmeding> | :p |
| 16:54:48 | <monochrom> | Are existing issues discovered, or are they created? <--- the ultimate meta-existential issue. >:) |
| 16:56:44 | <hyperisco> | I think "discovery" is the fundamental question |
| 16:57:00 | × | Lowl3v3l quits (~Lowl3v3l@dslb-090-186-188-115.090.186.pools.vodafone-ip.de) (Remote host closed the connection) |
| 16:57:48 | <hyperisco> | and I don't think discovering something creates it, so no! :P |
| 16:59:04 | <geekosaur> | I walked into the middle of something, and I'm still trying to figure out what. >.> |
| 16:59:35 | <tomsmeding> | geekosaur: https://ircbrowse.tomsmeding.com/browse/haskell?id=14203×tamp=1600792200#t1600792200 |
| 17:00:07 | <monochrom> | It all began with my misinterpretation of a question. :) |
| 17:00:27 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 17:01:00 | <monochrom> | TLDR it ended with my great skill in using puns to tie a knot. |
| 17:01:13 | → | sagax joins (~sagax_nb@213.138.71.146) |
| 17:02:14 | <hyperisco> | discovery = novel subjective actualisation |
| 17:02:48 | → | chrisdotcode joins (~chrisdotc@unaffiliated/chrisdotcode) |
| 17:02:52 | <monochrom> | hyperisco, we all know that discovery and creation are disjoint. |
| 17:03:18 | × | machinedgod quits (~machinedg@45.78.189.122) (Ping timeout: 272 seconds) |
| 17:03:33 | <hyperisco> | I thought this was a hotly debated amongst philo laymen like myself whenever "invention" is discussed :P |
| 17:03:35 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-wtjtqduklnimitip) |
| 17:03:39 | <hyperisco> | are inventions discovered or created |
| 17:03:51 | <monochrom> | But do you choose to frame your programming activity as "creating your code", or do you frame it as "discovering your code?" |
| 17:04:00 | <int-e> | neither, they're patented :-P |
| 17:04:07 | <monochrom> | haha you win |
| 17:04:13 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 17:04:43 | <monochrom> | Because the set of all strings already exist as a mathematical set. Perhaps you discovered that you wanted one particular element to be your code. |
| 17:05:01 | → | dead10cc joins (63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207) |
| 17:05:01 | <hyperisco> | shoo Plato! |
| 17:05:56 | → | palmer67 joins (47cc944a@c-71-204-148-74.hsd1.ca.comcast.net) |
| 17:06:02 | <hyperisco> | I could agree the set of all strings exist but I wouldn't agree that all strings exist |
| 17:06:05 | × | sand_dull quits (~theuser@62.182.99.37) (Ping timeout: 240 seconds) |
| 17:06:10 | → | dhil joins (~dhil@11.29.39.217.dyn.plus.net) |
| 17:06:27 | <monochrom> | OTOH if you take the stance that you created, not discovered, your code, then whatever reason you use for that stance is very likely widely applicable and so the next question is what is there to discover. |
| 17:07:01 | <hyperisco> | well you say they are disjoint, I don't |
| 17:07:47 | <monochrom> | (The converse is also true. Whatever reason you use to take the stance that, for example, math is discovered, is likely widely applicable and so what is there to create.) |
| 17:08:07 | × | __Joker_ quits (~Joker@119.82.123.124) (Ping timeout: 246 seconds) |
| 17:08:27 | → | __Joker joins (~Joker@106.206.41.150) |
| 17:08:47 | → | sand_dull joins (~theuser@62.182.99.37) |
| 17:09:28 | <geekosaur> | on the one hand, "God created the integers; all else is the work of man." |
| 17:09:31 | × | alp quits (~alp@2a01:e0a:58b:4920:24bf:2628:a65:b9f2) (Ping timeout: 272 seconds) |
| 17:09:46 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 17:09:56 | → | ClaudiusMaximus joins (~claude@198.123.199.146.dyn.plus.net) |
| 17:09:57 | <geekosaur> | on the other, I can follow hyperisco and various sculptors in saying that something exists in the abstract and is revealed by someone |
| 17:10:06 | <monochrom> | ObHaskell: Discovery is reading eagerly-pre-evaluated values. Creation is forcing lazily-eval-on-demand values. |
| 17:10:46 | <hyperisco> | I have a hard time understanding the authorship part of creation |
| 17:11:25 | <hyperisco> | I'd rather say something more mundane like effects are created by causes |
| 17:11:36 | <monochrom> | Well yeah, authorship and "giving credits" is a social construct. :) |
| 17:11:42 | <hyperisco> | but you can't really get to saying a person is a cause |
| 17:12:10 | <monochrom> | Do you accept "humanity as a whole is the author"? |
| 17:12:44 | <hyperisco> | if authorship can be explained to me maybe |
| 17:13:08 | × | sand_dull quits (~theuser@62.182.99.37) (Ping timeout: 258 seconds) |
| 17:13:08 | × | __Joker quits (~Joker@106.206.41.150) (Ping timeout: 258 seconds) |
| 17:13:27 | → | __Joker joins (~Joker@119.82.123.124) |
| 17:13:48 | <geekosaur> | considering intellectual property law, I am not sure it can be explained |
| 17:14:48 | <hyperisco> | for discovery it seems okay to handwave "brain states" and fine |
| 17:15:20 | × | supercoven_ quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 17:16:13 | <hyperisco> | but authorship seems murky because intuitively it is about originality |
| 17:16:30 | <geekosaur> | you can do much the same handwave for creation. after all, something exists beforehand, you've merely come up with a new way to organize it. with luck it's even a useful way |
| 17:17:07 | <hyperisco> | I could say I create my code, but I've also learned from other people, and I mimic their ideas, like Monad |
| 17:17:22 | <hyperisco> | so where have I authored and where haven't I? |
| 17:17:53 | → | alp joins (~alp@2a01:e0a:58b:4920:79c5:27e3:c619:e1ff) |
| 17:18:12 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 17:18:21 | <hyperisco> | if I read a bubble sort and I type it out myself verbatim, did I create that? maybe I created the copy of it, the copy is novel |
| 17:19:14 | <hyperisco> | which then confusingly is on a screen, in RAM chips, bits in the CPU caches, somewhere on my SSD, somewhere in the cloud backup |
| 17:19:50 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 17:19:51 | <hyperisco> | did I create all of those or was that a feat of the hardware? |
| 17:20:05 | × | kuribas quits (~user@ptr-25vy0i6w0fjwv5tj6q0.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 17:20:21 | <hyperisco> | maybe all I really did was author the performance of pressing keys |
| 17:20:25 | × | dead10cc quits (63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207) (Ping timeout: 258 seconds) |
| 17:20:31 | <geekosaur> | are you also a feat of the hardware? |
| 17:20:47 | <hyperisco> | maybe D: |
| 17:21:04 | Lord_of_Life_ | is now known as Lord_of_Life |
| 17:21:17 | <monochrom> | Who knows, perhaps the exact timing and velocity of your pressing keys constitute a new symphony. |
| 17:21:41 | <maerwald> | is there any terminal layout library (e.g. printing tables) that deals correctly with escape chars and unicode? |
| 17:21:51 | <hyperisco> | a real question \o/ |
| 17:22:21 | × | ransom quits (~c4264035@c-73-243-2-10.hsd1.co.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:22:28 | × | brown121407 quits (~brown1214@brown.121407.xyz) (Changing host) |
| 17:22:28 | → | brown121407 joins (~brown1214@fsf/member/brown121407) |
| 17:25:37 | → | thir joins (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) |
| 17:30:37 | × | Guest_91 quits (84ccf37c@x-132-204-243-124.xtpr.umontreal.ca) (Remote host closed the connection) |
| 17:31:07 | <geekosaur> | hm. I think ircbrowse used to keep track of #ghc as well |
| 17:31:24 | <geekosaur> | (also the error message for an unknown channel is kinda unfortunate) |
| 17:31:28 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 17:32:15 | × | gawen quits (~gawen@movzbl.root.sx) (Quit: cya) |
| 17:33:14 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 17:33:22 | × | slack1256 quits (~slack1256@181.203.58.122) (Ping timeout: 256 seconds) |
| 17:33:31 | <geekosaur> | maerwald, I'd doubt it re escapes; it's tricky at best |
| 17:33:37 | × | isovector1 quits (~isovector@node-1w7jr9squrfoy3fci95ksrhpu.ipv6.telus.net) (Ping timeout: 260 seconds) |
| 17:33:54 | <maerwald> | brick deals with it correctly, but I can't use brick to just print to screen |
| 17:34:08 | → | gawen joins (~gawen@movzbl.root.sx) |
| 17:34:11 | × | tomku quits (~tomku@unaffiliated/tomku) (Ping timeout: 240 seconds) |
| 17:34:16 | <maerwald> | table-layout has too many bugs |
| 17:34:36 | → | dead10cc joins (63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207) |
| 17:34:48 | → | tomku joins (~tomku@unaffiliated/tomku) |
| 17:34:51 | <geekosaur> | although there are cheaty ways if you stick to a subset of escapes |
| 17:35:29 | <sm[m]> | hledger deals with it somehow (using tabular and helpers in Hledger.Utils.String or so) |
| 17:35:47 | <maerwald> | sm[m]: please make it a library... |
| 17:36:12 | <sm[m]> | I can't afford it |
| 17:36:27 | <maerwald> | why... how much funding you need |
| 17:36:40 | <sm[m]> | those are two issues, right.. dealing with wide unicode characters, and dealing with ansi escapes ? |
| 17:37:01 | <maerwald> | yeah, I don't know which one affects me and I don't really want to know |
| 17:37:18 | <sm[m]> | hehe |
| 17:37:34 | × | palmer67 quits (47cc944a@c-71-204-148-74.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 17:38:01 | × | alp quits (~alp@2a01:e0a:58b:4920:79c5:27e3:c619:e1ff) (Ping timeout: 272 seconds) |
| 17:38:11 | <sm[m]> | https://hackage.haskell.org/package/hledger-lib-1.19.1/docs/Hledger-Utils-String.html#v:stripAnsi removes ansi, probably this exists in some lib too |
| 17:38:29 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 17:38:30 | → | DavidEichmann joins (~david@43.240.198.146.dyn.plus.net) |
| 17:38:44 | <monochrom> | Necessity is the mother of yak shaving. :) |
| 17:39:09 | <sm[m]> | https://hackage.haskell.org/package/hledger-lib-1.19.1/docs/Hledger-Utils-String.html#v:strWidth calculates width, accounting for wide chars and ignoring ansi codes |
| 17:39:49 | <maerwald> | it's like... you want to drink a coffee and you end up flying to Africa, buying a plantation, growing coffee beans, figuring out logistics and how to ship your crap. Then 20 years later you get to drink the damn coffee. |
| 17:40:45 | <maerwald> | sm[m]: interesting |
| 17:40:54 | <monochrom> | I think that's how coffee company empires were built. |
| 17:41:17 | × | coot quits (~coot@37.30.51.178.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 17:41:21 | <sm[m]> | see also https://hackage.haskell.org/package/hledger-lib-1.19.1/docs/Hledger-Utils-Text.html |
| 17:41:45 | × | John20 quits (~John@82.46.59.122) (Ping timeout: 240 seconds) |
| 17:42:27 | <maerwald> | monochrom: I know right... it's always the little things where you think "this should just take a minute" and then it derails your life |
| 17:43:09 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:43:19 | <monochrom> | I wouldn't call it "derail" if the side effect is you become a tycoon of something and get rich. |
| 17:43:42 | <maerwald> | you're just trying to manipulate me into fixing this |
| 17:43:46 | <geekosaur> | but I'm still waiting for my <redacted> coffee! |
| 17:43:47 | <maerwald> | that won't work! |
| 17:43:49 | <monochrom> | :) |
| 17:43:53 | → | machinedgod joins (~machinedg@d67-193-126-196.home3.cgocable.net) |
| 17:44:50 | <sm[m]> | <gazing into space> hmm, if only someone had time to extract my utils into a library... |
| 17:45:31 | <monochrom> | I have Dyson in mind. The vacuum cleaner Dyson. He was very dissatisfied by the vacuum cleaners before his, so he did the yak shaving of making his own (fortunately, he also had the know-how to). As a side effect, he's a tycoon of this business now, and goes on to sell hair dryers in addition. |
| 17:46:30 | <maerwald> | imagine a multi-functional vacuum cleaner, which also works as a hair dryer |
| 17:46:51 | <maerwald> | just be sure to press the right button |
| 17:47:11 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 17:47:17 | → | confundus joins (~confundus@132.145.106.146) |
| 17:47:19 | <maerwald> | (and a leaf blower) |
| 17:47:43 | → | jespada joins (~jespada@90.254.241.6) |
| 17:47:44 | × | chrisdotcode quits (~chrisdotc@unaffiliated/chrisdotcode) (Remote host closed the connection) |
| 17:48:06 | → | chrisdotcode joins (~chrisdotc@unaffiliated/chrisdotcode) |
| 17:48:26 | <maerwald> | why do discussions about ansi terminal always end up with vacuum cleaners? Because it sucks! |
| 17:48:35 | <monochrom> | hahaha |
| 17:48:51 | <monochrom> | And leaf blowers? Because it blows! |
| 17:49:13 | <maerwald> | sm[m]: please rescue us |
| 17:49:36 | <maerwald> | you have the know-how... just need to become tycoon now |
| 17:49:58 | <sm[m]> | urgh it's not so easy |
| 17:50:19 | <maerwald> | you're a good sales man |
| 17:50:31 | maerwald | increases the offer |
| 17:50:37 | → | pera joins (~pera@unaffiliated/pera) |
| 17:50:52 | × | confundus quits (~confundus@132.145.106.146) (Client Quit) |
| 17:52:22 | <maerwald> | how do you build a table now? |
| 17:52:32 | <sm[m]> | maerwald: I just saw your https://github.com/muesli4/table-layout/issues/8 screenshot.. like the commenter said, that's just being caused by the colour codes, yes ? is the bug in table-layout then ? |
| 17:52:46 | <maerwald> | where else would the bug be |
| 17:54:53 | → | natrys joins (~natrys@132.145.106.146) |
| 17:54:57 | → | mirrorbird joins (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) |
| 17:55:24 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 17:55:46 | → | acidjnk_new2 joins (~acidjnk@p200300d0c7365847cc6a0d2723d0128d.dip0.t-ipconnect.de) |
| 17:55:49 | <maerwald> | I think I'll just implement this myself... doing a table isn't that hard |
| 17:56:04 | <maerwald> | only when you want to support all sorts of weird configurations |
| 17:56:09 | <sm[m]> | I use those utils + tabular. It shouldn't be that hard to add a similar fix in table-layout though. |
| 17:57:37 | × | natrys quits (~natrys@132.145.106.146) (Client Quit) |
| 17:58:17 | <maerwald> | sm[m]: can it do normal line by line output without table frames and delimiters? |
| 17:58:45 | <sm[m]> | tabular.. I don't think so.. |
| 17:58:57 | <sm[m]> | I have munged its output when I wanted that |
| 17:59:11 | <sm[m]> | oh I could be wrong |
| 17:59:47 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 18:00:02 | × | tomatopotato quits (~tomatopot@s91904426.blix.com) () |
| 18:00:14 | <tomsmeding> | maerwald: in that screenshot in that issue, what bytes does ghcup write to the terminal? |
| 18:00:30 | <sm[m]> | oh nice, tabular is maintained now, by bgamari |
| 18:00:41 | <tomsmeding> | because that looks suspiciously like it's trying to align with tabs where ghcup thinks tabs are width 4, and your terminal emulator thinks they're width 8 |
| 18:00:42 | <tomsmeding> | :p |
| 18:00:44 | <bgamari> | indeed; it's a nice package |
| 18:00:54 | <sm[m]> | thanks bgamari ! |
| 18:00:58 | <tomsmeding> | or... maybe not, since the columns are 9 characters apart |
| 18:01:20 | × | spew quits (uid195861@gateway/web/irccloud.com/x-bhhgjdvsxlzecbgs) (Quit: Connection closed for inactivity) |
| 18:01:20 | <maerwald> | tomsmeding: https://hackage.haskell.org/package/pretty-terminal-0.1.0.0/docs/src/System-Console-Pretty.html#Color |
| 18:01:44 | <tomsmeding> | I was asking in particular about what characters make up the blank space between the columns :p |
| 18:01:52 | <tomsmeding> | I know ansi color codes |
| 18:02:04 | <maerwald> | it's probably ...space? |
| 18:02:25 | <geekosaur> | the alternative being tabs, which is what tomsmeding was asking |
| 18:02:38 | <tomsmeding> | or manual positioning using ansi cursor movement codes |
| 18:02:48 | <dead10cc> | is there any document like "how haskellers program in x language" of from haskell to x language? |
| 18:03:21 | <sm[m]> | yes, a few |
| 18:04:04 | <tomsmeding> | maerwald: a way to get the actual stuff that a program is writing to the terminal is running it in `script(1)` |
| 18:04:36 | <tomsmeding> | '$ script -O log.txt' opens a new shell, and copies all bytes written to the "terminal" during that shell session to log.txt |
| 18:05:06 | <tomsmeding> | it's better than piping the output to a file if the command does something different depending on isatty(stdout); script(1) makes sure stdout actually looks like a tty |
| 18:05:13 | × | thir quits (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 18:05:39 | → | thir joins (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) |
| 18:06:40 | <monochrom> | I simplify "how haskellers program in x language" by s/haskellers/to/ |
| 18:07:03 | <tomsmeding> | ah! maerwald the ansi code for switching on a simple text colour takes 5 bytes, and the ansi code for resetting colour takes 4; your "Notes" column entries are offset 9 (= 5 + 4) bytes from each other |
| 18:07:24 | <maerwald> | tomsmeding: I'm already reimplementing it |
| 18:07:30 | <tomsmeding> | the number of spaces is calculated by taking the length of the preceding string, which wrongly includes the ansi formatting characters |
| 18:07:31 | <tomsmeding> | ah :p |
| 18:07:37 | <tomsmeding> | took me a while to spoit it |
| 18:07:41 | <tomsmeding> | *spot |
| 18:08:01 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 18:08:28 | hackage | stm-actor 0.2.0.0 - A simplistic actor model based on STM https://hackage.haskell.org/package/stm-actor-0.2.0.0 (sgschlesinger) |
| 18:08:44 | <dead10cc> | monochrom, no I want to see it from a haskell programming perspective |
| 18:09:05 | <tomsmeding> | geekosaur: ircbrowse did indeed have lots of channels; since I was in none of those except #haskell, I disabled all except #haskell. If you want more channels, you need to only request and promise me that the ircbrowse bot is welcome there :) |
| 18:09:09 | × | chrisdotcode quits (~chrisdotc@unaffiliated/chrisdotcode) (Remote host closed the connection) |
| 18:09:24 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:7871:2065:6603:de04) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 18:09:27 | → | chrisdotcode joins (~chrisdotc@unaffiliated/chrisdotcode) |
| 18:09:47 | × | thir quits (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 18:10:23 | <geekosaur> | I can't speak for #ghc but suspect it would be welcomed back. I can even less speak for other channels |
| 18:10:54 | <geekosaur> | (well, I can speak for #xmonad but that's not worth logging really, it's so low volume) |
| 18:10:57 | hackage | nri-prelude 0.1.0.0 - A Prelude inspired by the Elm programming language https://hackage.haskell.org/package/nri-prelude-0.1.0.0 (JasperWoudenberg) |
| 18:12:25 | <sm[m]> | tomsmeding: #hledger is ready to be logged again, thanks for the offer |
| 18:12:36 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 18:12:43 | <tomsmeding> | I'll add it sm[m] |
| 18:12:54 | <sm[m]> | I suppose you don't have the old logs from ircbrowse.net ? |
| 18:13:13 | <tomsmeding> | I don't :p |
| 18:13:19 | × | niHiggim_ quits (~manjaro-u@98.122.188.27) (Read error: Connection reset by peer) |
| 18:13:20 | <tomsmeding> | not sure how I would obtain them |
| 18:13:41 | tomsmeding | is kind of confused why the channels in ircbrowse are determined at compile time |
| 18:13:52 | → | ransom joins (~c4264035@2601:285:201:6720:28cb:f0d0:855:f556) |
| 18:14:06 | <sm[m]> | it would mean contacting chris done |
| 18:14:29 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:2dba:ec90:fe41:6b4d) |
| 18:14:36 | <sm[m]> | not urgent for me, I was just wondering |
| 18:14:48 | <monochrom> | I'm a lazy programmer, I think I know. It's less work to hardcode parameters at compile time. :) |
| 18:14:56 | <tomsmeding> | :p |
| 18:15:10 | ← | dead10cc parts (63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207) () |
| 18:15:38 | <geekosaur> | xmonad-style configuration :) |
| 18:16:06 | → | dxld joins (~dxld@2a01:4f8:201:89ff:7479:df6a:7ab8:8305) |
| 18:16:45 | → | niHiggim_ joins (~manjaro-u@98.122.188.27) |
| 18:17:13 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal) |
| 18:18:40 | × | zacts quits (~zacts@dragora/developer/zacts) (Ping timeout: 272 seconds) |
| 18:19:28 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 18:20:14 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 18:20:20 | × | theorbtwo quits (~theorb@cpc81860-swin19-2-0-cust166.3-1.cable.virginm.net) (Ping timeout: 265 seconds) |
| 18:20:38 | <tomsmeding> | sm[m]: ircbrowse_tom should have joined #hledger |
| 18:22:07 | <sm[m]> | it has not |
| 18:22:49 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 18:23:12 | <tomsmeding> | why does znc not make a channel enabled by default |
| 18:23:23 | <tomsmeding> | there we go |
| 18:23:42 | <tomsmeding> | https://ircbrowse.tomsmeding.com/browse/hledger |
| 18:24:07 | <maerwald> | sm[m]: stripAnsi... wasn't that the function with the bug? :) |
| 18:24:35 | <sm[m]> | tomsmeding: thanks! |
| 18:25:01 | → | zacts joins (~zacts@dragora/developer/zacts) |
| 18:25:05 | <sm[m]> | maerwald: it got broken and fixed in hledger master recently, but works fine in all released versions AFAIK |
| 18:25:43 | <sm[m]> | well I'd better qualify that, maybe 1.19 or 1.19.1 is suspect |
| 18:26:58 | hackage | stm-actor 0.2.0.1 - A simplistic actor model based on STM https://hackage.haskell.org/package/stm-actor-0.2.0.1 (sgschlesinger) |
| 18:27:21 | → | Tops2 joins (~Tobias@dyndsl-095-033-021-091.ewe-ip-backbone.de) |
| 18:30:41 | → | ircbrowse_tom joins (~ircbrowse@64.225.78.177) |
| 18:30:41 | Server | sets mode +CLnt |
| 18:30:46 | → | chrisdotcode joins (~chrisdotc@unaffiliated/chrisdotcode) |
| 18:31:06 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 18:32:30 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 18:34:51 | → | rig0rmortis joins (~rig0rmort@pool-71-125-29-11.nycmny.fios.verizon.net) |
| 18:34:57 | → | coot joins (~coot@37.30.51.178.nat.umts.dynamic.t-mobile.pl) |
| 18:36:45 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds) |
| 18:37:52 | → | rig0rmor_ joins (~rig0rmort@86.106.143.21) |
| 18:39:13 | × | Saten-san quits (~Saten-san@ip-83-134-202-119.dsl.scarlet.be) (Quit: WeeChat 2.8) |
| 18:39:30 | × | rig0rmortis quits (~rig0rmort@pool-71-125-29-11.nycmny.fios.verizon.net) (Ping timeout: 256 seconds) |
| 18:40:43 | → | thir joins (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) |
| 18:40:56 | × | rig0rmor_ quits (~rig0rmort@86.106.143.21) (Client Quit) |
| 18:41:49 | → | rig0rmortis joins (~rig0rmort@86.106.143.21) |
| 18:42:06 | × | |-\|-\ quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 272 seconds) |
| 18:42:17 | × | zacts quits (~zacts@dragora/developer/zacts) (Quit: leaving) |
| 18:43:11 | → | mmohammadi98122 joins (~mmohammad@86.106.194.98) |
| 18:43:39 | × | mmohammadi98122 quits (~mmohammad@86.106.194.98) (Client Quit) |
| 18:44:05 | × | mmohammadi9812 quits (~mmohammad@86.106.194.98) (Ping timeout: 240 seconds) |
| 18:44:30 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-101-24.w86-212.abo.wanadoo.fr) |
| 18:45:16 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 272 seconds) |
| 18:45:34 | → | nineonin_ joins (~nineonine@216.81.48.202) |
| 18:46:33 | × | sw1nn quits (~sw1nn@host81-146-21-49.range81-146.btcentralplus.com) (Ping timeout: 260 seconds) |
| 18:48:22 | → | Saten-san joins (~Saten-san@ip-83-134-202-119.dsl.scarlet.be) |
| 18:49:04 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 272 seconds) |
| 18:49:37 | → | sw1nn joins (~sw1nn@host81-146-21-49.range81-146.btcentralplus.com) |
| 18:58:02 | × | ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 265 seconds) |
| 18:58:21 | × | Saten-san quits (~Saten-san@ip-83-134-202-119.dsl.scarlet.be) (Quit: WeeChat 2.8) |
| 18:58:31 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection) |
| 18:58:49 | → | ryansmccoy joins (~ryansmcco@193.37.254.27) |
| 18:59:03 | → | hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 18:59:32 | → | gmt joins (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) |
| 19:00:40 | × | shafox quits (~shafox@106.51.234.111) (Remote host closed the connection) |
| 19:00:57 | <maerwald> | sm[m]: and done :) |
| 19:01:00 | → | geekosaur joins (42d52102@66.213.33.2) |
| 19:01:05 | <maerwald> | your function works well |
| 19:01:28 | <sm[m]> | nice! |
| 19:02:00 | → | dwts joins (pid@gateway/shell/blinkenshell.org/x-hdcyxbuhngzudhpp) |
| 19:02:20 | × | ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection) |
| 19:02:57 | → | ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 19:03:45 | × | gmt quits (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 19:04:36 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 19:04:54 | × | cocreature quits (092ESE2ULR@gateway/shell/uberspace.de/x-qtbzjlnixqybifgo) (Quit: A monad is just a monoid in the category of endofunctors, what's the problem?) |
| 19:05:28 | <maerwald> | the solution was actually less than 10 lines of code (if I don't count the functions I copy pasted from you) |
| 19:05:41 | <maerwald> | and one library less in use |
| 19:06:08 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 19:07:16 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds) |
| 19:07:58 | <maerwald> | sm[m]: https://gitlab.haskell.org/haskell/ghcup-hs/-/commit/40a1cc98c6ea7eb06eeca7a37915a5075451420b#c84b8cca7fc11e84e49df98e5e56e35d46791361_1560_1558 |
| 19:08:39 | × | bennofs_ quits (~quassel@dslb-094-222-034-064.094.222.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 19:09:04 | → | bennofs joins (~quassel@dslb-188-106-255-124.188.106.pools.vodafone-ip.de) |
| 19:09:13 | → | mmohammadi9812 joins (~mmohammad@2.178.152.109) |
| 19:10:26 | <sm[m]> | maerwald: slight warning, I think that list of wide characters doesn't cover everything |
| 19:10:39 | <maerwald> | doesn't have to |
| 19:10:48 | ← | rig0rmortis parts (~rig0rmort@86.106.143.21) ("Textual IRC Client: www.textualapp.com") |
| 19:11:02 | <sm[m]> | but so far we've only once had to add another mystery unicode region to it |
| 19:11:22 | <maerwald> | this isn't rocket science I think, ppl have done worse things in CSS |
| 19:11:35 | <geekosaur> | it's not really possible to, as which ones are wide depends on the font and sometimes the terminal |
| 19:12:22 | <sm[m]> | I think unicode specifies their nominal width |
| 19:13:02 | <sm[m]> | how they get rendered is of course another matter |
| 19:15:33 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:2dba:ec90:fe41:6b4d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:20:25 | × | arahael quits (~arahael@203.194.42.27) (Ping timeout: 240 seconds) |
| 19:24:08 | × | niHiggim_ quits (~manjaro-u@98.122.188.27) (Quit: Konversation terminated!) |
| 19:25:00 | → | polyrain joins (~polyrain@2001:8003:e501:6901:d81b:49ea:d8f1:8f81) |
| 19:25:01 | × | josh quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 19:25:17 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 19:25:32 | → | josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 19:25:44 | × | ggole quits (~ggole@2001:8003:8119:7200:dc47:fb87:baff:bd1b) (Quit: Leaving) |
| 19:27:31 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 19:28:20 | × | __Joker quits (~Joker@119.82.123.124) (Ping timeout: 272 seconds) |
| 19:28:37 | × | knupfer quits (~Thunderbi@200116b82410ab006d6825eaf402e280.dip.versatel-1u1.de) (Remote host closed the connection) |
| 19:28:45 | → | knupfer joins (~Thunderbi@200116b82410ab0004048f5f1e9c0efb.dip.versatel-1u1.de) |
| 19:29:42 | × | polyrain quits (~polyrain@2001:8003:e501:6901:d81b:49ea:d8f1:8f81) (Ping timeout: 260 seconds) |
| 19:29:52 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.) |
| 19:30:23 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) |
| 19:30:39 | → | tummy joins (~tummy@84.39.117.57) |
| 19:30:52 | → | cr0ssw1nd joins (~crosswind@93.152.144.222) |
| 19:31:35 | → | arahael joins (~arahael@203.158.32.156) |
| 19:32:03 | → | hiroaki joins (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de) |
| 19:32:12 | <cr0ssw1nd> | hey |
| 19:33:28 | hackage | nri-env-parser 0.1.0.0 - Read environment variables as settings to build 12-factor apps. https://hackage.haskell.org/package/nri-env-parser-0.1.0.0 (JasperWoudenberg) |
| 19:33:50 | <cr0ssw1nd> | what is the way to install tools in haskell world? |
| 19:34:12 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 19:34:14 | <cr0ssw1nd> | like `cargo install` in rust |
| 19:34:30 | <cr0ssw1nd> | `cabal install` installs the project itself if I understand correctly |
| 19:34:47 | <maerwald> | cr0ssw1nd: cabal install |
| 19:35:17 | × | knupfer quits (~Thunderbi@200116b82410ab0004048f5f1e9c0efb.dip.versatel-1u1.de) (Quit: knupfer) |
| 19:35:37 | → | knupfer joins (~Thunderbi@i59F7FFF0.versanet.de) |
| 19:35:43 | <cr0ssw1nd> | maerwald, it starts to compile my project |
| 19:35:55 | → | chaosmasttter joins (~chaosmast@p200300c4a714f10131538000641ea681.dip0.t-ipconnect.de) |
| 19:36:23 | × | murphy_ quits (~murphy_@2604:2000:1281:8a9e:d2e4:da3f:de8a:c9c9) (Remote host closed the connection) |
| 19:36:40 | → | murphy_ joins (~murphy_@2604:2000:1281:8a9e:e3b0:32cd:63ad:fdb4) |
| 19:36:55 | <cr0ssw1nd> | for instance, I want to install hpack |
| 19:37:00 | <maerwald> | cabal install hpack |
| 19:37:11 | <cr0ssw1nd> | but why it compiles the whole my project |
| 19:37:20 | <cr0ssw1nd> | it is like 15 minutes in my case |
| 19:37:29 | <maerwald> | go outside of your project dir |
| 19:37:51 | <cr0ssw1nd> | ha, thanks |
| 19:38:00 | <cr0ssw1nd> | didn't think about it :) |
| 19:39:13 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 264 seconds) |
| 19:39:25 | → | akhov joins (~akh@89.45.7.218) |
| 19:39:27 | ← | akhov parts (~akh@89.45.7.218) () |
| 19:40:52 | <sm[m]> | either way, it could build a lot of deps. But if you do it from your home dir you're more likely to have them already built |
| 19:41:39 | × | chrpape` quits (~user@2a01:4f9:c010:632d::1) (Remote host closed the connection) |
| 19:42:09 | → | akh joins (~akh@89.45.7.218) |
| 19:44:00 | × | knupfer quits (~Thunderbi@i59F7FFF0.versanet.de) (Read error: Connection reset by peer) |
| 19:44:07 | × | akh quits (~akh@89.45.7.218) (Remote host closed the connection) |
| 19:44:35 | → | knupfer joins (~Thunderbi@200116b82410ab0010276a31c69417f5.dip.versatel-1u1.de) |
| 19:44:56 | × | knupfer quits (~Thunderbi@200116b82410ab0010276a31c69417f5.dip.versatel-1u1.de) (Client Quit) |
| 19:45:03 | → | knupfer joins (~Thunderbi@200116b82410ab0065b786bc88f112f9.dip.versatel-1u1.de) |
| 19:45:14 | × | knupfer quits (~Thunderbi@200116b82410ab0065b786bc88f112f9.dip.versatel-1u1.de) (Client Quit) |
| 19:45:30 | → | knupfer joins (~Thunderbi@200116b82410ab003d77c1dc916b2456.dip.versatel-1u1.de) |
| 19:45:35 | × | ransom quits (~c4264035@2601:285:201:6720:28cb:f0d0:855:f556) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:45:41 | × | knupfer quits (~Thunderbi@200116b82410ab003d77c1dc916b2456.dip.versatel-1u1.de) (Client Quit) |
| 19:45:55 | → | knupfer joins (~Thunderbi@200116b82410ab009ddd9eec399b6461.dip.versatel-1u1.de) |
| 19:45:55 | × | knupfer quits (~Thunderbi@200116b82410ab009ddd9eec399b6461.dip.versatel-1u1.de) (Client Quit) |
| 19:46:03 | → | knupfer joins (~Thunderbi@200116b82410ab009ddd9eec399b6461.dip.versatel-1u1.de) |
| 19:46:18 | × | knupfer quits (~Thunderbi@200116b82410ab009ddd9eec399b6461.dip.versatel-1u1.de) (Client Quit) |
| 19:46:25 | → | knupfer joins (~Thunderbi@200116b82410ab006d8c120bee9a46a1.dip.versatel-1u1.de) |
| 19:46:34 | × | knupfer quits (~Thunderbi@200116b82410ab006d8c120bee9a46a1.dip.versatel-1u1.de) (Client Quit) |
| 19:46:54 | → | knupfer joins (~Thunderbi@200116b82410ab00b573267253896de3.dip.versatel-1u1.de) |
| 19:46:59 | × | knupfer quits (~Thunderbi@200116b82410ab00b573267253896de3.dip.versatel-1u1.de) (Client Quit) |
| 19:47:10 | → | knupfer joins (~Thunderbi@200116b82410ab0069ad36cc71a59f96.dip.versatel-1u1.de) |
| 19:47:13 | × | knupfer quits (~Thunderbi@200116b82410ab0069ad36cc71a59f96.dip.versatel-1u1.de) (Client Quit) |
| 19:47:27 | → | knupfer joins (~Thunderbi@200116b82410ab008c7b5c98de551213.dip.versatel-1u1.de) |
| 19:47:35 | × | knupfer quits (~Thunderbi@200116b82410ab008c7b5c98de551213.dip.versatel-1u1.de) (Client Quit) |
| 19:47:49 | → | knupfer joins (~Thunderbi@200116b82410ab00e550c0c7d018127d.dip.versatel-1u1.de) |
| 19:47:55 | × | knupfer quits (~Thunderbi@200116b82410ab00e550c0c7d018127d.dip.versatel-1u1.de) (Client Quit) |
| 19:48:04 | → | knupfer joins (~Thunderbi@200116b82410ab0034e42a4fde443f6d.dip.versatel-1u1.de) |
| 19:48:33 | × | LKoen quits (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:48:56 | → | Hollows joins (59943f26@89.148.63.38) |
| 19:50:09 | → | ransom joins (~c4264035@2601:285:201:6720:28cb:f0d0:855:f556) |
| 19:50:23 | <maerwald> | sm[m]: do I have to pay ransom for stealing your code? |
| 19:51:24 | × | tomku quits (~tomku@unaffiliated/tomku) (Ping timeout: 256 seconds) |
| 19:52:03 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:85b3:8a6c:1150:3477) |
| 19:52:10 | → | tomku joins (~tomku@unaffiliated/tomku) |
| 19:52:38 | <sm[m]> | maerwald: no, use it freely. You're in the GPL "family" now. |
| 19:54:13 | <cr0ssw1nd> | sm[m], hm, I actually did it from /tmp |
| 19:54:13 | × | geekosaur quits (42d52102@66.213.33.2) (Remote host closed the connection) |
| 19:54:23 | <cr0ssw1nd> | doesn't it look into ~ automatically? |
| 19:54:41 | <sm[m]> | ..if you want to leave, we'll have to send Vinnie the Collector .. |
| 19:54:53 | <sm[m]> | cr0ssw1nd: that's fine, the main thing is a non-project directory. I always to "cd" because it's easy |
| 19:54:57 | <sm[m]> | do |
| 19:55:18 | <cr0ssw1nd> | lol, I forgot that there is default for cd |
| 19:55:35 | <cr0ssw1nd> | started to use /tmp a lot last time |
| 19:56:13 | <maerwald> | those are all excellent choices |
| 19:56:22 | × | Hollows quits (59943f26@89.148.63.38) (Remote host closed the connection) |
| 19:56:25 | <maerwald> | a gentleman choice |
| 19:56:45 | <cr0ssw1nd> | :) |
| 20:00:53 | × | Alleria_ quits (~AllahuAkb@2604:2000:1484:26:f9f7:186a:b38:3c1e) (Ping timeout: 244 seconds) |
| 20:01:03 | <sm[m]> | cr0ssw1nd: and some things are just too much hassle to build from source (pandoc) so you might find brew/nix/apt quicker |
| 20:01:40 | <cr0ssw1nd> | can imagine, rpm in my case |
| 20:01:46 | <cr0ssw1nd> | but probably I should try nix already |
| 20:02:14 | <sm[m]> | rpm/apt tend to be very out of date, is all |
| 20:02:25 | <maerwald> | cr0ssw1nd: nix... if you have time to waste :p |
| 20:02:37 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-157-9.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 20:03:25 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds) |
| 20:03:28 | → | ixlun joins (~matthew@213.205.241.18) |
| 20:03:29 | <cr0ssw1nd> | gentoo already isn't that popular? :) |
| 20:03:33 | <cr0ssw1nd> | for this purpose |
| 20:03:43 | × | thir quits (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 20:04:06 | <sm[m]> | it's popular only among gentoo users |
| 20:04:40 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 20:04:50 | <ixlun> | Is there a mapZip function? |
| 20:05:07 | <ixlun> | (a -> b) -> [a] -> [(a, b)] |
| 20:05:57 | <phadej> | :t \f -> map (id &&& f) |
| 20:05:58 | <lambdabot> | (a -> c') -> [a] -> [(a, c')] |
| 20:06:02 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:06:24 | <ixlun> | whoa, not seen `&&&` before |
| 20:07:46 | <sm[m]> | nice |
| 20:08:01 | <cr0ssw1nd> | sm[m], yeah, gentoo is probably more about wasting cpu time than your own |
| 20:08:19 | <maerwald> | yeah, I wasted a lot of time on it :p |
| 20:09:02 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 20:09:23 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 20:10:03 | <phadej> | ixlun: I consider that to be slightly code-golfy, `map (\x -> (x, f x))` is not that bad either |
| 20:10:40 | → | gmt joins (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) |
| 20:11:55 | × | danvet_ quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 20:12:45 | × | carlomagno quits (~cararell@inet-hqmc02-o.oracle.com) (Ping timeout: 240 seconds) |
| 20:12:56 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 20:14:30 | → | carlomagno joins (~cararell@inet-hqmc02-o.oracle.com) |
| 20:15:22 | → | acidjnk_new joins (~acidjnk@p5487d26a.dip0.t-ipconnect.de) |
| 20:15:31 | <ixlun> | Indeed, I think if I came back to this code and saw your previous answer, I'd be scratching my head. |
| 20:15:34 | <dolio> | Using (&&&) is longer once you account for importing Control.Arrow. |
| 20:15:50 | × | gmt quits (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 20:15:50 | <ixlun> | (I need to read up on Arrows) |
| 20:16:23 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 20:16:44 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 20:16:57 | × | acidjnk_new2 quits (~acidjnk@p200300d0c7365847cc6a0d2723d0128d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 20:18:22 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 272 seconds) |
| 20:20:47 | → | Alleria_ joins (~AllahuAkb@2604:2000:1484:26:e98f:8381:852e:ca0) |
| 20:21:47 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 20:22:32 | <merijn> | ixlun: tbh, you don't really |
| 20:22:46 | <merijn> | I'd say Arrow is a mostly dead abstraction that's fallen in near complete disuse |
| 20:23:13 | <merijn> | Most of the stuff it's used for has been superseded by a mix of Applicative, Category, and Profunctor |
| 20:23:55 | <merijn> | The &&& and *** combinators are sometimes used for code golfing, but their tuple instance honestly has fairly little to do with Arrows |
| 20:25:18 | <sshine> | I prefer Data.Bifunctor for tuple jugling |
| 20:25:25 | → | adamwespiser joins (~adam_wesp@209.6.42.110) |
| 20:25:40 | <merijn> | Yeah, but &&& doesn't work with bifunctor :p |
| 20:25:52 | <sshine> | :t (&&&) |
| 20:25:53 | <lambdabot> | Arrow a => a b c -> a b c' -> a b (c, c') |
| 20:25:57 | → | gmt joins (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) |
| 20:26:21 | → | ubert joins (~Thunderbi@178.165.128.28.wireless.dyn.drei.com) |
| 20:27:12 | <merijn> | That'd require Biapplicative |
| 20:27:14 | × | acidjnk_new quits (~acidjnk@p5487d26a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 20:27:23 | <merijn> | actually, no, not even then |
| 20:27:26 | <sshine> | heh :) |
| 20:27:39 | → | isovector1 joins (~isovector@node-1w7jr9squrfoy3fci95ksrhpu.ipv6.telus.net) |
| 20:28:18 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:30:24 | × | adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 272 seconds) |
| 20:30:46 | → | z0 joins (~z0@bl15-163-199.dsl.telepac.pt) |
| 20:32:50 | <z0> | hi. can we create a 'newtype N = N Int' that inherits everything Int has? |
| 20:33:16 | <z0> | basically i want a type synonym that doesnt typecheck with the original type |
| 20:34:03 | <sshine> | z0, there are many ways to automatically derive, but I think you have to be explicit about what you derive. |
| 20:34:08 | <solonarv> | z0: *everything, automatically*? no. but with GeneralizedNewtypeDeriving, you can inherit a lot of things |
| 20:34:41 | <z0> | that's what i thought. thanks |
| 20:34:52 | <solonarv> | newtype N = N Int deriving newtype (Eq, Ord, Num, Real, Integral, Show, Read, ... more typeclasses here ...) |
| 20:35:28 | <z0> | wouldnt it be useful to be able to do that? |
| 20:35:36 | <sshine> | hmm, maybe. but also shaky. |
| 20:35:42 | → | irreg joins (97f8d1fe@pub-151-248-209-254.dh-hfc.datazug.ch) |
| 20:35:43 | <z0> | why shaky? |
| 20:36:27 | <irreg> | @pl \x y -> x y |
| 20:36:28 | <lambdabot> | id |
| 20:36:41 | <sshine> | I'm not sure where to start, or if what I'm thinking is the most fundamental argument to not want that. but I'd like that if my data type has some ability, this ability is listed next to the data type definition. |
| 20:37:15 | × | murphy_ quits (~murphy_@2604:2000:1281:8a9e:e3b0:32cd:63ad:fdb4) (Ping timeout: 272 seconds) |
| 20:37:23 | <sshine> | so with derived abilities, at least it says where I derived it. otherwise I get a soup of unknown behaviors once I derive everything from something that derives everything from something else. :) |
| 20:37:47 | → | murphy_ joins (~murphy_@2604:2000:1281:8a9e:f9e2:b2b0:776f:fb0d) |
| 20:38:04 | <z0> | well, you can have 'type N = Int' and that wont bother you. the difference is that i want to make sure im not passing Dollars where i should be passing Mass (dumb example) |
| 20:38:05 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 20:38:08 | <monochrom> | It is both useful to inherit and useful to forbid inheriting. There lies the conflict. |
| 20:38:22 | <sshine> | what if I create a data type that has two fields (so isomorphic to a tuple), where I derive everything from each of those components, and somehow those components have overlapping instances? |
| 20:38:58 | hackage | sequence-formats 1.5.1.3 - A package with basic parsing utilities for several Bioinformatic data formats. https://hackage.haskell.org/package/sequence-formats-1.5.1.3 (stephan_schiffels) |
| 20:39:16 | <monochrom> | sshine, but then with two fields it wouldn't be newtype. |
| 20:39:23 | <sshine> | monochrom, no, it wouldn't. |
| 20:39:31 | <z0> | this wouldnt be a derivation, it would be like a synonym that doesnt typecheck with the original type |
| 20:39:53 | <monochrom> | Here the fundamental conflict is how different people have opposite use cases of newtype and therefore opposite expectations. |
| 20:39:57 | <sshine> | monochrom, so maybe this is useful to consider as a newtype-only feature. but are there deriving strategies that only work on newtypes so far? |
| 20:40:29 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 20:40:57 | <z0> | https://downloads.haskell.org/~ghc/5.04.3/docs/html/users_guide/newtype-deriving.html |
| 20:41:22 | <phadej> | hmm, that's ancient docs |
| 20:41:22 | × | ixlun quits (~matthew@213.205.241.18) (Read error: Connection reset by peer) |
| 20:42:15 | <monochrom> | I had a copy of GHC 4.something, but it got corrupted. |
| 20:42:17 | <sshine> | z0, have you seen the safe-money package? https://hackage.haskell.org/package/safe-money - https://ren.zone/articles/safe-money - this is one approach to providing domain-specific wrappers that try to mix convenience (e.g. 3.14 :: Dense "USD") with type-safety. |
| 20:45:07 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 20:47:38 | <z0> | interesting |
| 20:47:40 | <z0> | thanks |
| 20:48:18 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 20:50:27 | → | acidjnk_new joins (~acidjnk@p200300d0c72378606823dd4b271c2000.dip0.t-ipconnect.de) |
| 20:51:05 | → | LKoen joins (~LKoen@81.255.219.130) |
| 20:51:11 | × | ubert quits (~Thunderbi@178.165.128.28.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 20:52:49 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 246 seconds) |
| 20:52:59 | → | ubert joins (~Thunderbi@178.165.128.28.wireless.dyn.drei.com) |
| 20:53:08 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 20:56:36 | → | acidjnk_new2 joins (~acidjnk@p200300d0c7237860d9dcd65723cec3bc.dip0.t-ipconnect.de) |
| 20:57:23 | × | z0 quits (~z0@bl15-163-199.dsl.telepac.pt) (Ping timeout: 240 seconds) |
| 20:57:41 | × | irreg quits (97f8d1fe@pub-151-248-209-254.dh-hfc.datazug.ch) (Remote host closed the connection) |
| 20:57:48 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 20:58:21 | <dolio> | There would be more details needed to be worked out for such a thing. |
| 21:00:01 | × | tummy quits (~tummy@84.39.117.57) () |
| 21:00:02 | → | ixlun joins (~matthew@213.205.241.18) |
| 21:00:13 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 264 seconds) |
| 21:00:38 | × | acidjnk_new quits (~acidjnk@p200300d0c72378606823dd4b271c2000.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 21:00:52 | × | ubert quits (~Thunderbi@178.165.128.28.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 21:01:10 | → | jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de) |
| 21:01:28 | <cr0ssw1nd> | if I have only 1 library in my project, what is the difference between putting something into "dependencies" or into "library->dependencies" in my package.yaml ? |
| 21:02:58 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 246 seconds) |
| 21:03:47 | × | tzh quits (~tzh@2601:448:c500:5300::82b3) (Ping timeout: 240 seconds) |
| 21:05:34 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 21:07:32 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:07:43 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 260 seconds) |
| 21:07:50 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 21:08:35 | <maerwald> | safe-money is awesome, yet I haven't seen it in use... I think ppl just go for Double and call it a day |
| 21:09:31 | <Uniaika> | smart people don't handle money ;) |
| 21:10:58 | × | knupfer quits (~Thunderbi@200116b82410ab0034e42a4fde443f6d.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 21:11:48 | <cr0ssw1nd> | :D |
| 21:11:49 | → | tzh joins (~tzh@2601:448:c500:5300::82b3) |
| 21:16:52 | → | falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 21:18:01 | × | falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Remote host closed the connection) |
| 21:18:25 | → | falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 21:19:14 | → | adamwespiser joins (~adam_wesp@209.6.42.110) |
| 21:22:37 | → | bahamas joins (~lucian@188.24.181.166) |
| 21:22:38 | × | bahamas quits (~lucian@188.24.181.166) (Changing host) |
| 21:22:38 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 21:24:38 | <ixlun> | If I have: a -> f a, and a -> b, how can I combine them to get a -> f b? |
| 21:25:22 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 21:26:01 | <koz_> | :t fmap |
| 21:26:04 | <lambdabot> | Functor f => (a -> b) -> f a -> f b |
| 21:26:08 | <koz_> | ixlun: ^ |
| 21:26:22 | <sshine> | :t fmap . pure |
| 21:26:24 | <lambdabot> | Functor f => b -> f a -> f b |
| 21:27:23 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds) |
| 21:28:36 | <ixlun> | so, say x :: a -> f a and y :: a -> b |
| 21:28:38 | × | jumper149 quits (~jumper149@ip185225.wh.uni-hannover.de) (Quit: WeeChat 2.9) |
| 21:29:10 | <ixlun> | then, if I do, pure y <$> x, then I get: a -> a -> b |
| 21:29:24 | <sshine> | where'd the f go? |
| 21:29:47 | × | adamwespiser quits (~adam_wesp@209.6.42.110) (Remote host closed the connection) |
| 21:29:57 | → | alp joins (~alp@2a01:e0a:58b:4920:ac64:cb7c:7fea:4133) |
| 21:30:09 | <ixlun> | I ain't got a clue but that's what haskell is telling me! |
| 21:30:17 | <ixlun> | let me post the code... |
| 21:30:56 | <ixlun> | http://ix.io/2yrC |
| 21:31:35 | <ixlun> | at the bottom: x :: GameState -> Tree GameState |
| 21:31:57 | <ixlun> | evaluate :: GameState -> Double |
| 21:32:28 | <ixlun> | tree :: GameState -> GameState -> Double |
| 21:32:37 | <ixlun> | ^ that I really don't understand |
| 21:32:55 | <ixlun> | `Tree` has disappeared? |
| 21:35:31 | × | ransom quits (~c4264035@2601:285:201:6720:28cb:f0d0:855:f556) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 21:35:34 | × | mmohammadi9812 quits (~mmohammad@2.178.152.109) (Quit: I quit (╯°□°）╯︵ ┻━┻) |
| 21:38:01 | × | falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Remote host closed the connection) |
| 21:38:28 | × | jonatanb quits (~jonatanb@83.24.161.211.ipv4.supernova.orange.pl) (Quit: Leaving...) |
| 21:38:50 | <dolio> | `pure y :: f (a -> b)` but using it as the first argument to fmap/<$> means `f` is expected to unify with a function type. |
| 21:39:19 | × | mirrorbird quits (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) (Ping timeout: 272 seconds) |
| 21:39:31 | <dolio> | Also x has a function type, but the second argument of fmap/<$> is expected to be `f a`, which also leads to f being expected to be a function type. |
| 21:39:59 | → | falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 21:40:05 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 21:40:12 | × | Kaivo quits (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com) (Quit: WeeChat 2.9) |
| 21:40:22 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 21:40:55 | <dolio> | Anyhow, `fmap y . x` is the desired composition. |
| 21:41:01 | × | falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Remote host closed the connection) |
| 21:41:26 | → | falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 21:43:32 | → | sleblanc joins (~sleblanc@unaffiliated/sebleblanc) |
| 21:44:19 | <ixlun> | Aha, that works. thanks@ |
| 21:44:19 | × | chrisdotcode quits (~chrisdotc@unaffiliated/chrisdotcode) (Quit: Leaving) |
| 21:45:50 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 260 seconds) |
| 21:47:23 | × | gmt quits (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 21:50:43 | × | alp quits (~alp@2a01:e0a:58b:4920:ac64:cb7c:7fea:4133) (Ping timeout: 272 seconds) |
| 21:52:02 | → | alp joins (~alp@2a01:e0a:58b:4920:75e9:ae93:ceb:5e19) |
| 21:53:29 | × | nbloomf quits (~nbloomf@2600:1700:83e0:1f40:85b3:8a6c:1150:3477) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 21:55:19 | → | boily joins (~boily@185.204.1.185) |
| 21:55:56 | → | sMuNiX joins (~sMuNiX@142.119.32.174) |
| 21:58:58 | × | salumu quits (~sMuNiX@142.119.32.174) (Ping timeout: 246 seconds) |
| 22:00:07 | × | fendor quits (~fendor@77.119.129.26.wireless.dyn.drei.com) (Remote host closed the connection) |
| 22:00:20 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 22:02:37 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 22:03:14 | × | alp quits (~alp@2a01:e0a:58b:4920:75e9:ae93:ceb:5e19) (Remote host closed the connection) |
| 22:04:07 | × | irc_user quits (uid423822@gateway/web/irccloud.com/x-tpfipbfrsajxzuoj) (Ping timeout: 240 seconds) |
| 22:04:07 | × | amatecha__ quits (sid10006@gateway/web/irccloud.com/x-hewmqxcjaspzjnxl) (Ping timeout: 240 seconds) |
| 22:04:07 | × | gluegadget quits (sid22336@gateway/web/irccloud.com/x-klcsgfpriifgbwcb) (Ping timeout: 240 seconds) |
| 22:04:07 | × | cbarrett quits (sid192934@adium/cbarrett) (Ping timeout: 240 seconds) |
| 22:04:09 | × | AndreasK quits (sid320732@gateway/web/irccloud.com/x-ittbinoprhigtbnr) (Read error: Connection reset by peer) |
| 22:04:09 | × | kyagrd__ quits (sid102627@gateway/web/irccloud.com/x-umexjnjqxisrtwcp) (Read error: Connection reset by peer) |
| 22:04:09 | × | rslima____ quits (sid26145@gateway/web/irccloud.com/x-gryhrrapzxqdvvte) (Read error: Connection reset by peer) |
| 22:04:10 | × | Firedancer quits (sid336191@gateway/web/irccloud.com/x-kktgdtdhdotnvoyf) (Read error: Connection reset by peer) |
| 22:04:10 | × | lexi-lambda quits (sid92601@gateway/web/irccloud.com/x-khivaeoslmsawiap) (Read error: Connection reset by peer) |
| 22:04:10 | × | conjunctive quits (sid433686@gateway/web/irccloud.com/x-gxnhfydfxtuxvhrb) (Read error: Connection reset by peer) |
| 22:04:10 | × | bgavran quits (sid393312@gateway/web/irccloud.com/x-tlvsdvbfvoruwvrt) (Read error: Connection reset by peer) |
| 22:04:10 | × | billstclair quits (sid77830@gateway/web/irccloud.com/x-njtwabjodxfeadlq) (Read error: Connection reset by peer) |
| 22:04:10 | × | idnar quits (sid12240@gateway/web/irccloud.com/x-jjnutjrgcrnwlbzz) (Write error: Connection reset by peer) |
| 22:04:10 | × | verlet64_ quits (sid261276@gateway/web/irccloud.com/x-enbpazlihfwnodyt) (Read error: Connection reset by peer) |
| 22:04:20 | → | billstclair joins (sid77830@gateway/web/irccloud.com/x-pgatvwkmtnxlsvqm) |
| 22:04:21 | → | kyagrd__ joins (sid102627@gateway/web/irccloud.com/x-bpqznclhpkuhhkvr) |
| 22:04:27 | × | gaze__ quits (sid387101@gateway/web/irccloud.com/x-uqinezzzoacqistn) (Ping timeout: 240 seconds) |
| 22:04:28 | × | pepeiborra quits (sid443799@gateway/web/irccloud.com/x-muozmjndjwfeqfvy) (Read error: Connection reset by peer) |
| 22:04:29 | × | banjiewen quits (sid115913@gateway/web/irccloud.com/x-nssuccxilqzmlupj) (Read error: Connection reset by peer) |
| 22:04:30 | × | milessabin quits (sid86799@gateway/web/irccloud.com/x-zzhiqbciotinctdo) (Read error: Connection reset by peer) |
| 22:04:33 | × | integral quits (sid296274@p3m/member/integral) (Read error: Connection reset by peer) |
| 22:04:36 | → | pepeiborra joins (sid443799@gateway/web/irccloud.com/x-aielmlrjpvrtaudg) |
| 22:04:38 | → | lexi-lambda joins (sid92601@gateway/web/irccloud.com/x-kqlffaskqxngpytz) |
| 22:04:38 | × | jonrh quits (sid5185@gateway/web/irccloud.com/x-uehyptvyqowptwll) (Read error: Connection reset by peer) |
| 22:04:39 | × | wpcarro quits (sid397589@gateway/web/irccloud.com/x-wrenofujztduecpe) (Ping timeout: 272 seconds) |
| 22:04:39 | × | nlofaro quits (sid258233@gateway/web/irccloud.com/x-jtgfxmuprlagzefb) (Ping timeout: 272 seconds) |
| 22:04:40 | → | alp joins (~alp@2a01:e0a:58b:4920:c8e4:4670:fb4c:ebbb) |
| 22:04:41 | × | mitchellsalad quits (uid40617@gateway/web/irccloud.com/x-enhkpawvaptrcxlr) (Read error: Connection reset by peer) |
| 22:04:42 | × | ^[_ quits (sid43445@gateway/web/irccloud.com/x-jqgsrnowfujwlgxj) (Read error: Connection reset by peer) |
| 22:04:43 | × | sgraf quits (sid326656@gateway/web/irccloud.com/x-radnepseyennuodd) (Read error: Connection reset by peer) |
| 22:04:43 | × | affinespaces quits (sid327561@gateway/web/irccloud.com/x-kqmgsfuaufenxspw) (Write error: Connection reset by peer) |
| 22:04:43 | × | tnks quits (sid412124@gateway/web/irccloud.com/x-dwexomjeqnwyvklm) (Read error: Connection reset by peer) |
| 22:04:43 | × | mudri quits (sid317655@gateway/web/irccloud.com/x-dtllfvjvxgtquiuk) (Write error: Connection reset by peer) |
| 22:04:43 | × | parseval quits (sid239098@gateway/web/irccloud.com/x-asobwxfjahkqvwqi) (Read error: Connection reset by peer) |
| 22:04:44 | × | jared-w quits (uid405292@gateway/web/irccloud.com/x-zzbrjddwdzpuydkx) (Read error: Connection reset by peer) |
| 22:04:44 | × | alanz_ quits (sid110616@gateway/web/irccloud.com/x-ctvkvbwalukqkomp) (Write error: Connection reset by peer) |
| 22:04:44 | × | jackdk quits (sid373013@gateway/web/irccloud.com/x-dbnwqqwsgdzlmpfc) (Read error: Connection reset by peer) |
| 22:04:49 | × | xyggos quits (uid216035@gateway/web/irccloud.com/x-wkdpfxootgmnrnej) (Read error: Connection reset by peer) |
| 22:04:50 | × | zabracks quits (sid322453@gateway/web/irccloud.com/x-loclvakwxwxwlmzf) (Read error: Connection reset by peer) |
| 22:04:50 | × | aristid quits (sid1599@gateway/web/irccloud.com/x-ccnoufjdujsoakqg) (Read error: Connection reset by peer) |
| 22:04:50 | × | kozowu quits (uid44796@gateway/web/irccloud.com/x-cyafictvxyuooeqg) (Write error: Connection reset by peer) |
| 22:04:55 | × | Adeon quits (sid418992@gateway/web/irccloud.com/x-hxhxuxjjmuenreuf) (Read error: Connection reset by peer) |
| 22:04:55 | × | grfn quits (sid449115@gateway/web/irccloud.com/x-djhtljnkxqossiys) (Read error: Connection reset by peer) |
| 22:04:56 | × | SrPx quits (sid108780@gateway/web/irccloud.com/x-enunzzqygomruidr) (Read error: Connection reset by peer) |
| 22:04:57 | → | gluegadget joins (sid22336@gateway/web/irccloud.com/x-tmiumiesupahnofb) |
| 22:04:57 | × | rann quits (sid175221@gateway/web/irccloud.com/x-sckiymvkkodozjmc) (Read error: Connection reset by peer) |
| 22:04:57 | × | johs quits (sid246410@gateway/web/irccloud.com/x-bnklndnmwpendrgc) (Read error: Connection reset by peer) |
| 22:04:57 | × | thi quits (sid97277@gateway/web/irccloud.com/x-egurzehjnvehwmoj) (Write error: Connection reset by peer) |
| 22:05:02 | → | sgraf joins (sid326656@gateway/web/irccloud.com/x-hgjjxemhusyfacvt) |
| 22:05:13 | → | affinespaces joins (sid327561@gateway/web/irccloud.com/x-surtytzgkagqbptw) |
| 22:05:14 | → | bgavran joins (sid393312@gateway/web/irccloud.com/x-rpbuvoicjcozhpoz) |
| 22:05:26 | → | Firedancer joins (sid336191@gateway/web/irccloud.com/x-cfbollkuhedzfspa) |
| 22:05:27 | → | zabracks joins (sid322453@gateway/web/irccloud.com/x-gipkskgkjwtsbbvf) |
| 22:05:28 | → | cbarrett joins (sid192934@adium/cbarrett) |
| 22:05:28 | → | alanz_ joins (sid110616@gateway/web/irccloud.com/x-etykcjmhdnhcbhar) |
| 22:05:29 | → | idnar joins (sid12240@gateway/web/irccloud.com/x-tfsrbtkqrzazovfm) |
| 22:05:34 | → | rslima____ joins (sid26145@gateway/web/irccloud.com/x-zjgqdcvtyayglqgm) |
| 22:05:38 | → | banjiewen joins (sid115913@gateway/web/irccloud.com/x-rewtcdbdusjizrvy) |
| 22:05:38 | → | integral joins (sid296274@p3m/member/integral) |
| 22:05:40 | → | AndreasK joins (sid320732@gateway/web/irccloud.com/x-vczvdqfgysdsqvxe) |
| 22:05:42 | → | conjunctive joins (sid433686@gateway/web/irccloud.com/x-tffvixiwtutlgztn) |
| 22:05:45 | → | verlet64_ joins (sid261276@gateway/web/irccloud.com/x-olzkamcxrqzvgctd) |
| 22:05:52 | → | tnks joins (sid412124@gateway/web/irccloud.com/x-qmlnvujgxrzdkpep) |
| 22:05:56 | → | amatecha__ joins (sid10006@gateway/web/irccloud.com/x-seypgunpjxtonakl) |
| 22:05:58 | → | jackdk joins (sid373013@gateway/web/irccloud.com/x-lcbyflyjffmioate) |
| 22:05:59 | → | irc_user joins (uid423822@gateway/web/irccloud.com/x-nvqjaolnpjtmisyj) |
| 22:06:00 | → | johs joins (sid246410@gateway/web/irccloud.com/x-rkhjgvgwqomlfxih) |
| 22:06:02 | → | milessabin joins (sid86799@gateway/web/irccloud.com/x-rqchthtgtmeyzixk) |
| 22:06:02 | → | wpcarro joins (sid397589@gateway/web/irccloud.com/x-rezhuutabpzihnck) |
| 22:06:04 | → | thi joins (sid97277@gateway/web/irccloud.com/x-wriovfhjtmcdbcjt) |
| 22:06:05 | → | SrPx joins (sid108780@gateway/web/irccloud.com/x-jnqckeiseqjldnfr) |
| 22:06:09 | → | Adeon joins (sid418992@gateway/web/irccloud.com/x-alybvdyanbyduxzk) |
| 22:06:10 | → | gaze__ joins (sid387101@gateway/web/irccloud.com/x-dnjlouysixtlqjqi) |
| 22:06:11 | → | jonrh joins (sid5185@gateway/web/irccloud.com/x-vrzamnbrmfpulknf) |
| 22:06:11 | → | jared-w joins (uid405292@gateway/web/irccloud.com/x-nigyfvoydxcxiets) |
| 22:06:14 | → | mudri joins (sid317655@gateway/web/irccloud.com/x-aglqfensdztorpxf) |
| 22:06:19 | → | mitchellsalad joins (uid40617@gateway/web/irccloud.com/x-buqlvcdbvgdtirvi) |
| 22:06:21 | → | kozowu joins (uid44796@gateway/web/irccloud.com/x-hudcnsdmybxuceok) |
| 22:06:22 | → | xyggos joins (uid216035@gateway/web/irccloud.com/x-wmxaxxurlecshsab) |
| 22:06:28 | → | nlofaro joins (sid258233@gateway/web/irccloud.com/x-luupihxgwjhpolne) |
| 22:06:29 | → | parseval joins (sid239098@gateway/web/irccloud.com/x-maeovdrfxjodxdsd) |
| 22:06:47 | → | rann joins (sid175221@gateway/web/irccloud.com/x-qththkjntwgnhebq) |
| 22:07:16 | → | grfn joins (sid449115@gateway/web/irccloud.com/x-mkmmnpicneasqiio) |
| 22:07:20 | → | aristid joins (sid1599@gateway/web/irccloud.com/x-xcvzgeubwazbgttv) |
| 22:07:52 | → | ^[_ joins (sid43445@gateway/web/irccloud.com/x-tppirwslmjxiosbo) |
| 22:08:23 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 22:10:57 | → | kanishka joins (~kanishka@207.38.161.184) |
| 22:11:37 | × | alp quits (~alp@2a01:e0a:58b:4920:c8e4:4670:fb4c:ebbb) (Ping timeout: 272 seconds) |
| 22:16:25 | → | cocreature joins (K5Bm45ovDM@gateway/shell/uberspace.de/x-nbwtipuyknbchowa) |
| 22:17:06 | × | dhil quits (~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 260 seconds) |
| 22:17:07 | × | falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 260 seconds) |
| 22:18:10 | × | jespada quits (~jespada@90.254.241.6) (Ping timeout: 256 seconds) |
| 22:18:25 | × | eric_ quits (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df) (Remote host closed the connection) |
| 22:19:06 | → | eric joins (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df) |
| 22:22:02 | → | jespada joins (~jespada@90.254.241.6) |
| 22:22:48 | → | falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 22:23:32 | × | eric quits (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df) (Ping timeout: 260 seconds) |
| 22:24:18 | <cr0ssw1nd> | f :: (Monad m) => m [SomeType] |
| 22:24:22 | <cr0ssw1nd> | f = ... g ... |
| 22:24:26 | <cr0ssw1nd> | where |
| 22:24:39 | <cr0ssw1nd> | g :: AnotherType -> m SomeType |
| 22:25:08 | <cr0ssw1nd> | how to make `g` use the same type variable `m` as in `f`? instead of new `m1` |
| 22:25:40 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 22:26:19 | → | alp joins (~alp@2a01:e0a:58b:4920:70da:fbd3:2228:5773) |
| 22:26:37 | → | thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) |
| 22:26:39 | <monochrom> | One way is you don't give g a type signature at all. |
| 22:26:53 | <monochrom> | But if it's important to give g a type signature: |
| 22:27:04 | <monochrom> | Step 1: Turn on ScopedTypeVariables |
| 22:27:33 | <monochrom> | Step 2: f :: forall m . (Monad m) => m [SomeType] |
| 22:27:47 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 22:28:28 | → | bc178 joins (43bce2b8@67.188.226.184) |
| 22:29:09 | × | bc178 quits (43bce2b8@67.188.226.184) (Remote host closed the connection) |
| 22:30:57 | <cr0ssw1nd> | monochrom, awesome |
| 22:31:22 | <cr0ssw1nd> | now I recalled that I read about step 1 |
| 22:31:41 | <cr0ssw1nd> | but didn't know that forall also does this |
| 22:32:06 | <cr0ssw1nd> | I need the type annotation mostly from educational reasons though |
| 22:32:28 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 22:33:24 | → | adamwespiser joins (~adam_wesp@209.6.42.110) |
| 22:34:09 | × | thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 22:34:32 | × | chaosmasttter quits (~chaosmast@p200300c4a714f10131538000641ea681.dip0.t-ipconnect.de) (Quit: WeeChat 2.9) |
| 22:34:57 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...) |
| 22:35:46 | × | ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 260 seconds) |
| 22:36:27 | × | falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 240 seconds) |
| 22:36:43 | → | ryansmccoy joins (~ryansmcco@156.96.151.132) |
| 22:37:42 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 272 seconds) |
| 22:37:44 | → | eric joins (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df) |
| 22:39:05 | <sshine> | cr0ssw1nd, it's the combination of ScopedTypeVariables and explicitl forall that makes it work. |
| 22:39:45 | → | rprije joins (~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au) |
| 22:40:27 | <sshine> | so 'Monad m => m [SomeType]' becomes '(forall m. Monad m => m [SomeType])' without ScopedTypeVariables, and with, the parenthesis extends to the 'where' declarations. |
| 22:40:29 | <cr0ssw1nd> | sshine, but I actually didn't specify ScopedTypeVariables now |
| 22:40:37 | <sshine> | cr0ssw1nd, oh. |
| 22:40:45 | <cr0ssw1nd> | although it probably could be taken from project config |
| 22:41:03 | <cr0ssw1nd> | (parent one) |
| 22:41:30 | <cr0ssw1nd> | your explanation makes sense actually |
| 22:42:43 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 22:42:46 | × | dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.8) |
| 22:45:13 | × | kanishka quits (~kanishka@207.38.161.184) (Quit: Quit) |
| 22:48:27 | hackage | shake-futhark 0.2.0.0 - Dependency tracking for Futhark https://hackage.haskell.org/package/shake-futhark-0.2.0.0 (vmchale) |
| 22:48:59 | × | alp quits (~alp@2a01:e0a:58b:4920:70da:fbd3:2228:5773) (Ping timeout: 272 seconds) |
| 22:49:14 | × | puffnfresh_ quits (~puffnfres@45.76.124.5) (Quit: ZNC 1.8.0 - https://znc.in) |
| 22:50:19 | → | alp joins (~alp@2a01:e0a:58b:4920:b002:3906:2dae:d503) |
| 22:51:31 | × | ph88_ quits (~ph88@2a02:8109:9e40:2704:a1b2:872a:487a:52ae) (Ping timeout: 272 seconds) |
| 22:51:34 | → | puffnfresh_ joins (~puffnfres@45.76.124.5) |
| 22:54:19 | × | isovector1 quits (~isovector@node-1w7jr9squrfoy3fci95ksrhpu.ipv6.telus.net) (Quit: Leaving) |
| 22:55:04 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 22:55:58 | → | Tesseraction_m joins (~Tesseract@unaffiliated/tesseraction) |
| 22:58:24 | × | Tesseraction quits (~Tesseract@unaffiliated/tesseraction) (Ping timeout: 256 seconds) |
| 22:58:57 | hackage | implicit-hie-cradle 0.2.0.1 - Auto generate hie-bios cradles https://hackage.haskell.org/package/implicit-hie-cradle-0.2.0.1 (Avi_Dessauer) |
| 23:00:35 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 23:01:26 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 23:05:03 | → | marmalodak joins (~marmaloda@c-73-202-176-57.hsd1.ca.comcast.net) |
| 23:09:51 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:10:31 | × | alp quits (~alp@2a01:e0a:58b:4920:b002:3906:2dae:d503) (Ping timeout: 272 seconds) |
| 23:10:41 | → | nicholaslyang joins (~nicholasl@cpe-67-243-148-221.nyc.res.rr.com) |
| 23:14:47 | × | nicholaslyang quits (~nicholasl@cpe-67-243-148-221.nyc.res.rr.com) (Client Quit) |
| 23:15:06 | → | debclare joins (~debclare@host-186-3-198-7.netlife.ec) |
| 23:15:08 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 23:16:14 | × | debclare quits (~debclare@host-186-3-198-7.netlife.ec) (Client Quit) |
| 23:20:26 | → | wavemode_ joins (~wavemode@107.77.248.139) |
| 23:21:10 | × | wavemode_ quits (~wavemode@107.77.248.139) (Remote host closed the connection) |
| 23:21:40 | → | wavemode_ joins (~wavemode@107.77.248.139) |
| 23:22:15 | → | aljce joins (617326cd@97-115-38-205.ptld.qwest.net) |
| 23:22:26 | × | wavemode quits (~wavemode@097-070-075-143.res.spectrum.com) (Ping timeout: 260 seconds) |
| 23:22:35 | <aljce> | does anyone know of a good text escaping function i can use? |
| 23:22:42 | <aljce> | like escape :: Text -> Text |
| 23:23:03 | × | sleblanc quits (~sleblanc@unaffiliated/sebleblanc) (Ping timeout: 260 seconds) |
| 23:23:59 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:25:05 | <sm[m]> | what should it do ? |
| 23:25:27 | <aljce> | "\n" -> "\\n" |
| 23:27:56 | × | DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 256 seconds) |
| 23:28:37 | <sm[m]> | here are some https://hoogle.haskell.org/?hoogle=quoteIfNeeded&scope=set%3Astackage&= like that |
| 23:29:02 | <hpc> | that still leaves a lot open to interpretation - how should it handle quotes? does it matter that it's \\n and not \0x20? what other non-printable characters need to be escaped? |
| 23:29:13 | <sm[m]> | click Source to see code you can copy |
| 23:29:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 23:29:40 | × | mirk0_ quits (~mirko@unaffiliated/-mirko-/x-2946915) (Ping timeout: 265 seconds) |
| 23:30:16 | × | wavemode_ quits (~wavemode@107.77.248.139) (Ping timeout: 272 seconds) |
| 23:31:22 | → | nbloomf joins (~nbloomf@2600:1700:83e0:1f40:7d6b:724c:3a0b:bf8f) |
| 23:31:23 | <sm[m]> | looking again, it's not quite what you asked. How about just "show" ? |
| 23:32:01 | × | Tesseraction_m quits (~Tesseract@unaffiliated/tesseraction) (Ping timeout: 264 seconds) |
| 23:33:32 | × | tomku quits (~tomku@unaffiliated/tomku) (Ping timeout: 265 seconds) |
| 23:33:40 | → | tomku joins (~tomku@unaffiliated/tomku) |
| 23:33:57 | × | adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 272 seconds) |
| 23:35:41 | → | Tesseraction joins (~Tesseract@unaffiliated/tesseraction) |
| 23:36:55 | <sm[m]> | T.pack . show I guess |
| 23:37:03 | × | xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds) |
| 23:37:10 | <hpc> | show adds quotation marks around whatever you're escaping |
| 23:37:28 | <hpc> | which may or may not be a problem |
| 23:37:58 | × | LKoen quits (~LKoen@81.255.219.130) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 23:38:12 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:1d6:8b82:83b6:a62b) (Ping timeout: 260 seconds) |
| 23:39:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:39:30 | <sm[m]> | true |
| 23:41:01 | → | alp joins (~alp@88.126.45.36) |
| 23:43:50 | → | jedws joins (~jedws@121.209.139.222) |
| 23:44:23 | × | carlomagno quits (~cararell@inet-hqmc02-o.oracle.com) (Remote host closed the connection) |
| 23:44:36 | → | carlomagno joins (~cararell@inet-hqmc02-o.oracle.com) |
| 23:45:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 23:47:54 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:48:13 | × | raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 23:51:03 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:aa:72fb:77bf:1002) |
| 23:52:03 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 240 seconds) |
| 23:52:17 | × | jedws quits (~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:52:57 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 23:54:07 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 23:57:34 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-gdptvzwawxoahyub) (Quit: Connection closed for inactivity) |
| 23:57:44 | → | falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) |
| 23:58:45 | × | machinedgod quits (~machinedg@d67-193-126-196.home3.cgocable.net) (Remote host closed the connection) |
| 23:59:29 | → | jedws joins (~jedws@121.209.139.222) |
All times are in UTC on 2020-09-22.