Logs: freenode/#haskell
| 2021-03-10 22:41:17 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 2021-03-10 22:41:27 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-10 22:41:30 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-10 22:42:02 | × | roconnor quits (~roconnor@host-45-58-192-182.dyn.295.ca) (Ping timeout: 264 seconds) |
| 2021-03-10 22:42:59 | × | graf_blutwurst quits (~user@2001:171b:226e:adc0:c1fc:bf0e:a9e3:f70e) (Remote host closed the connection) |
| 2021-03-10 22:43:09 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 264 seconds) |
| 2021-03-10 22:46:26 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 2021-03-10 22:46:45 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 264 seconds) |
| 2021-03-10 22:47:52 | → | ft joins (~ft@shell.chaostreff-dortmund.de) |
| 2021-03-10 22:47:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-10 22:48:28 | → | redmp joins (~redmp@172.58.35.235) |
| 2021-03-10 22:50:52 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-10 22:51:01 | × | kozowu quits (uid44796@gateway/web/irccloud.com/x-qrafyzcgzsqfnujy) (Quit: Connection closed for inactivity) |
| 2021-03-10 22:51:33 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-10 22:51:49 | × | jneira quits (5127adbf@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.191) (Quit: Ping timeout (120 seconds)) |
| 2021-03-10 22:51:53 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-10 22:54:12 | → | gitgoood joins (~gitgood@82-132-217-249.dab.02.net) |
| 2021-03-10 22:55:30 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 2021-03-10 22:56:09 | → | jneira joins (5127adbf@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.191) |
| 2021-03-10 22:56:24 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-10 22:57:09 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-10 22:57:19 | × | gitgood quits (~gitgood@82-132-217-203.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-10 22:57:30 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-10 22:59:02 | × | Wuzzy quits (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) (Quit: Wuzzy) |
| 2021-03-10 23:00:55 | → | Guest20912 joins (~Yassine@105.156.108.211) |
| 2021-03-10 23:00:57 | <Guest20912> | hi |
| 2021-03-10 23:01:46 | <Axman6> | carbolymer: Time to use https://hackage.haskell.org/package/unamb-0.2.7/docs/Data-Unamb.html and race all implementations at once! |
| 2021-03-10 23:01:49 | <Axman6> | Guest20912: hello! |
| 2021-03-10 23:02:39 | × | Franciman quits (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-03-10 23:03:33 | <carbolymer> | Axman6: what is this? |
| 2021-03-10 23:03:50 | <Guest20912> | hey guys |
| 2021-03-10 23:03:53 | <Guest20912> | how are you |
| 2021-03-10 23:04:18 | <Guest20912> | https://hackage.haskell.org/package/unamb-0.2.7/docs/Data-Unamb.html what this link about |
| 2021-03-10 23:04:24 | × | bergey` quits (~user@107.181.19.30) (Ping timeout: 246 seconds) |
| 2021-03-10 23:04:38 | <Axman6> | it's documentation for a haskell library |
| 2021-03-10 23:05:08 | <Guest20912> | anyone worked with YAML here |
| 2021-03-10 23:05:17 | × | mananamenos_ quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2021-03-10 23:05:19 | <monochrom> | No. |
| 2021-03-10 23:05:24 | <Axman6> | Yes. |
| 2021-03-10 23:05:27 | <monochrom> | This is not a YAML channel. |
| 2021-03-10 23:05:47 | <monochrom> | inb4 This is not a directory service either. |
| 2021-03-10 23:05:48 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-03-10 23:06:04 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-03-10 23:06:24 | <Guest20912> | it was just a question monochrom i get that |
| 2021-03-10 23:06:43 | ← | Guest20912 parts (~Yassine@105.156.108.211) () |
| 2021-03-10 23:06:51 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 246 seconds) |
| 2021-03-10 23:07:07 | <Axman6> | Do you have any questions about Haskell? |
| 2021-03-10 23:07:11 | × | hydroxon1um quits (7458bdce@116.88.189.206) (Quit: Connection closed) |
| 2021-03-10 23:07:54 | <Axman6> | I guess not |
| 2021-03-10 23:08:14 | × | hazard-pointer_ quits (sid331723@gateway/web/irccloud.com/x-rscrbhaeowmswqqn) () |
| 2021-03-10 23:08:27 | → | hazard-pointer_ joins (sid331723@gateway/web/irccloud.com/x-yguwayyfezbfvngd) |
| 2021-03-10 23:09:02 | → | jud^ joins (~jud@76.210.187.183) |
| 2021-03-10 23:09:31 | × | m-renaud quits (sid333785@gateway/web/irccloud.com/x-bkrbrcredfckpflf) () |
| 2021-03-10 23:09:47 | → | m-renaud joins (sid333785@gateway/web/irccloud.com/x-zqfzcnsyosafkivm) |
| 2021-03-10 23:10:21 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-10 23:12:44 | × | jud quits (~jud@unaffiliated/jud) (Ping timeout: 256 seconds) |
| 2021-03-10 23:14:11 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Read error: Connection reset by peer) |
| 2021-03-10 23:14:57 | × | DavidEichmann quits (~david@234.109.45.217.dyn.plus.net) (Ping timeout: 265 seconds) |
| 2021-03-10 23:17:37 | → | roconnor joins (~roconnor@host-45-58-192-182.dyn.295.ca) |
| 2021-03-10 23:19:48 | × | jack1909 quits (~qpls@cpeb4750e67d202-cmf81d0fad5840.cpe.net.fido.ca) (Ping timeout: 246 seconds) |
| 2021-03-10 23:20:58 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-03-10 23:21:19 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-03-10 23:22:03 | × | tomku quits (~tomku@unaffiliated/tomku) (Quit: Lost terminal) |
| 2021-03-10 23:22:56 | → | lambda-11235 joins (~lambda-11@2600:1700:7c70:4600:519a:9076:b242:5207) |
| 2021-03-10 23:28:13 | × | dani- quits (sid341953@gateway/web/irccloud.com/x-vlzznqernbfijtli) () |
| 2021-03-10 23:28:28 | → | dani- joins (sid341953@gateway/web/irccloud.com/x-tmspjqxdraljonyu) |
| 2021-03-10 23:31:01 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 2021-03-10 23:31:34 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-10 23:32:57 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-03-10 23:34:03 | × | bitmagie quits (~Thunderbi@200116b80638f2001086a93e70cf6b57.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-03-10 23:34:36 | <monochrom> | Yikes, the Yoneda lemma is intuitive in retrospect. I buried my head too deeply in the formal game. |
| 2021-03-10 23:35:10 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:2026:8325:bd4b:a2d3) |
| 2021-03-10 23:35:46 | <monochrom> | Someone gives you "phi :: forall r. (Int -> r) -> [r]" for example. What can phi possibly do without breaking parametricity or naturality? |
| 2021-03-10 23:36:54 | <monochrom> | It doesn't know what r is, hell it doesn't even know what to do with the Int->r function you give it, except to call it on a few secret Ints and make that [r] list. |
| 2021-03-10 23:36:59 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:2026:8325:bd4b:a2d3) (Client Quit) |
| 2021-03-10 23:37:17 | → | elliott_ joins (~elliott_@172.58.190.239) |
| 2021-03-10 23:37:35 | × | elliott_ quits (~elliott_@172.58.190.239) (Read error: Connection reset by peer) |
| 2021-03-10 23:37:36 | <monochrom> | So it has to go like "phi g = [g secret_number_1, g secret_number_2, g secret_number 3]". |
| 2021-03-10 23:37:59 | <monochrom> | In that sense, "forall r. (Int -> r) -> [r]" doesn't exceed [Int]. |
| 2021-03-10 23:38:39 | × | jud^ quits (~jud@76.210.187.183) (Quit: Leaving) |
| 2021-03-10 23:38:56 | <monochrom> | [] is just an example. You can imagine extending this to other data structures, and other functors. |
| 2021-03-10 23:39:25 | → | jud joins (~jud@unaffiliated/jud) |
| 2021-03-10 23:39:53 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-10 23:41:37 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-10 23:42:17 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-10 23:42:32 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9595a49e15de1a2c16dc.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-03-10 23:42:49 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 276 seconds) |
| 2021-03-10 23:42:51 | → | conal joins (~conal@198.8.81.80) |
| 2021-03-10 23:43:34 | × | Tops21 quits (~Tobias@dyndsl-095-033-019-066.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-03-10 23:45:41 | <monochrom> | I'm going to put it on the exam. >:) |
| 2021-03-10 23:46:02 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 2021-03-10 23:49:15 | <hpc> | maybe it'd be easier to remember if it had a descriptive name |
| 2021-03-10 23:49:42 | <hpc> | if it was "the parametricity suchandsuch", i would barely even have to think about what it is to understand it |
| 2021-03-10 23:50:11 | Axman6 | phi :: (forall r. Rational -> r) -> Tree r |
| 2021-03-10 23:50:33 | → | solidus-river joins (~mike@174.127.249.180) |
| 2021-03-10 23:50:41 | <Axman6> | hmm, those brackets are probablt wrong - does it make a difference in this case? |
| 2021-03-10 23:51:57 | <solidus-river> | hey all, i'm using haskell-language-server for the first time and just realized it needs to be built with the exact version of ghc that my project is using. whats the best strategy to support working on projects with different ghc targets at the same time? (e.g.) is there a way to build for 8.3 and 8.10 and conditionally use one or the other via a hie.yaml file? |
| 2021-03-10 23:52:17 | <Axman6> | did you install it using ghcup? |
| 2021-03-10 23:52:38 | <Axman6> | 8.3 seems like a version you definitely shouldn't be using :) |
| 2021-03-10 23:55:03 | <solidus-river> | i'm using stack, the projects i'm working on for now are all using 8.10.4 but the installer targetd 8.8.4 |
All times are in UTC.