Logs: liberachat/#haskell
| 2021-05-31 11:24:04 | → | Topsi1 joins (~Tobias@dyndsl-095-033-095-132.ewe-ip-backbone.de) |
| 2021-05-31 11:24:21 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-05-31 11:24:35 | → | hmmmas joins (~chenqisu1@183.217.202.217) |
| 2021-05-31 11:24:42 | → | ru0mad joins (~ru0mad@176.164.105.224) |
| 2021-05-31 11:24:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-31 11:26:12 | × | Topsi quits (~Tobias@dyndsl-095-033-095-132.ewe-ip-backbone.de) (Ping timeout: 268 seconds) |
| 2021-05-31 11:26:34 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 252 seconds) |
| 2021-05-31 11:26:37 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-05-31 11:28:48 | → | Guest31 joins (~textual@cpc146410-hari22-2-0-cust124.20-2.cable.virginm.net) |
| 2021-05-31 11:29:52 | × | ru0mad quits (~ru0mad@176.164.105.224) (Quit: Sayonara) |
| 2021-05-31 11:29:53 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2021-05-31 11:30:08 | → | cheater joins (~Username@user/cheater) |
| 2021-05-31 11:30:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-31 11:30:12 | → | ru0mad joins (~ru0mad@82-64-17-144.subs.proxad.net) |
| 2021-05-31 11:30:29 | × | ru0mad quits (~ru0mad@82-64-17-144.subs.proxad.net) (Client Quit) |
| 2021-05-31 11:30:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-31 11:30:46 | → | atwm joins (~andrew@178.197.235.239) |
| 2021-05-31 11:31:41 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2021-05-31 11:32:08 | → | Topsi joins (~Tobias@dyndsl-095-033-095-132.ewe-ip-backbone.de) |
| 2021-05-31 11:33:16 | × | GIANTWORLDKEEPER quits (~pjetcetal@2.95.204.25) (Ping timeout: 265 seconds) |
| 2021-05-31 11:34:56 | → | ru0mad joins (~ru0mad@82-64-17-144.subs.proxad.net) |
| 2021-05-31 11:35:19 | × | Topsi1 quits (~Tobias@dyndsl-095-033-095-132.ewe-ip-backbone.de) (Ping timeout: 272 seconds) |
| 2021-05-31 11:35:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-31 11:35:34 | × | hmmmas quits (~chenqisu1@183.217.202.217) (Quit: Leaving.) |
| 2021-05-31 11:36:03 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-31 11:36:12 | × | ru0mad quits (~ru0mad@82-64-17-144.subs.proxad.net) (Client Quit) |
| 2021-05-31 11:37:18 | × | atwm quits (~andrew@178.197.235.239) (Ping timeout: 268 seconds) |
| 2021-05-31 11:37:21 | → | ru0mad joins (~ru0mad@82-64-17-144.subs.proxad.net) |
| 2021-05-31 11:37:37 | × | ru0mad quits (~ru0mad@82-64-17-144.subs.proxad.net) (Client Quit) |
| 2021-05-31 11:39:26 | → | xsperry joins (~as@user/xsperry) |
| 2021-05-31 11:47:22 | <arahael> | When I run 'cabal run', I often get the error 'Warning: Couldn't figure out C compiler information! Make sure you're using GNU gcc, or clang' on macos. Is there anything I can do to fix that? |
| 2021-05-31 11:49:55 | <arahael> | Hmm, I have to get to bed - I'll ask another time. |
| 2021-05-31 11:50:14 | <arahael> | tdammers: Oh, managed to catch you! Before I go, wanted to think you for Ginger. :) Using it for a small personal site that isn't online yet. :) |
| 2021-05-31 11:50:45 | → | zebrag joins (~chris@user/zebrag) |
| 2021-05-31 11:50:50 | → | Dynom joins (~niels@80-114-12-206.cable.dynamic.v4.ziggo.nl) |
| 2021-05-31 11:51:14 | → | atwm joins (~andrew@178.197.235.239) |
| 2021-05-31 11:56:07 | → | chisui joins (~chisui@200116b86662dd0045dcdbf42fb73e43.dip.versatel-1u1.de) |
| 2021-05-31 11:56:13 | <xerox> | arahael: I wonder what's that about as well |
| 2021-05-31 11:57:02 | × | atwm quits (~andrew@178.197.235.239) (Ping timeout: 268 seconds) |
| 2021-05-31 11:57:05 | jpds1 | is now known as jpds |
| 2021-05-31 11:57:12 | <arahael> | xerox: Not just me, then? Sweet. I'll have to get back in and ask about it again another day. |
| 2021-05-31 11:57:22 | <xerox> | arahael: which version are you using? |
| 2021-05-31 11:58:00 | <arahael> | xerox: Seems to be 8.8.4, using cabal-install 3.2.0.0 |
| 2021-05-31 11:58:06 | <arahael> | xerox: On an M1. |
| 2021-05-31 11:58:19 | <xerox> | me 8.10.4 on an m1 |
| 2021-05-31 11:58:28 | <arahael> | I probably should upgrade - another time. |
| 2021-05-31 12:02:34 | × | benin quits (~benin@183.82.177.19) (Ping timeout: 268 seconds) |
| 2021-05-31 12:06:13 | → | benin joins (~benin@183.82.177.19) |
| 2021-05-31 12:07:30 | × | gbd_628 quits (~gbd_628@c-73-160-244-80.hsd1.nj.comcast.net) (Quit: Client closed) |
| 2021-05-31 12:07:30 | × | sondre quits (~sondrelun@eduroam-193-157-245-37.wlan.uio.no) (Ping timeout: 264 seconds) |
| 2021-05-31 12:07:33 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-05-31 12:09:21 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-31 12:09:43 | <merijn> | arahael, xerox: The C compiler is handled by GHC's configure script |
| 2021-05-31 12:09:47 | <merijn> | but it's hacky as fuck |
| 2021-05-31 12:09:56 | <merijn> | It breaks a lot |
| 2021-05-31 12:10:50 | <merijn> | Things that have broke it for me: Having a stupid ancient clang that gets identified as gcc (and then breaks, because it considers clang 3.4 to have a bug that applies to gcc sub 4.4) |
| 2021-05-31 12:11:08 | <merijn> | Having CUDA's nvcc installed changes clang's output on macOS, which also breaks it |
| 2021-05-31 12:14:18 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-05-31 12:15:47 | → | bfrk1 joins (~Thunderbi@200116b84534a60005aeadf137ee420f.dip.versatel-1u1.de) |
| 2021-05-31 12:16:05 | → | sondre joins (~sondrelun@eduroam-193-157-245-37.wlan.uio.no) |
| 2021-05-31 12:18:00 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Ping timeout: 268 seconds) |
| 2021-05-31 12:18:08 | bfrk1 | is now known as bfrk |
| 2021-05-31 12:18:28 | → | ubikium joins (~ubikium@2400:2200:4f2:4b71:94bf:c634:be62:7c0d) |
| 2021-05-31 12:18:30 | → | schuelermine joins (~schuelerm@2a02:3032:403:c9bf:a3eb:b0ef:ce:fa31) |
| 2021-05-31 12:19:52 | × | ubikium quits (~ubikium@2400:2200:4f2:4b71:94bf:c634:be62:7c0d) (Read error: Connection reset by peer) |
| 2021-05-31 12:20:06 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 2021-05-31 12:21:45 | → | xprlgjf joins (~gavin@60.27.93.209.dyn.plus.net) |
| 2021-05-31 12:22:52 | → | AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-05-31 12:24:43 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Ping timeout: 272 seconds) |
| 2021-05-31 12:25:10 | → | ubikium joins (~ubikium@2400:2200:4f2:4b71:94bf:c634:be62:7c0d) |
| 2021-05-31 12:30:37 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-31 12:31:58 | <schuelermine> | Hello |
| 2021-05-31 12:32:32 | <schuelermine> | Does anybody know if GHC have any plans to add full dependent typing? |
| 2021-05-31 12:33:07 | <schuelermine> | It’s kinda sad that most Optics need Template Haskell… |
| 2021-05-31 12:33:59 | <maerwald> | schuelermine: https://github.com/ghc-proposals/ghc-proposals/pull/378 was accepted, but that isn't full dependent types |
| 2021-05-31 12:34:08 | <maerwald> | and I hope we don't get it |
| 2021-05-31 12:34:16 | <merijn> | Yeah |
| 2021-05-31 12:34:24 | <merijn> | Dependent Haskell is a terrible idea, imo |
| 2021-05-31 12:34:42 | <merijn> | I'm not super optimistic about Linear Haskell either |
| 2021-05-31 12:35:38 | <schuelermine> | Isn’t linear Haskell basically implemented? |
| 2021-05-31 12:35:50 | <kuribas> | merijn: better have a good compiler for idris then? |
| 2021-05-31 12:35:58 | <schuelermine> | 8.10 has -XLinearTypes (or similar) |
| 2021-05-31 12:36:08 | <opqdonut> | kuribas: that's my opinion, at least |
| 2021-05-31 12:36:18 | <opqdonut> | I'd also rather have a haskell2020 standard than yet more experiments |
| 2021-05-31 12:36:25 | <opqdonut> | oh well |
| 2021-05-31 12:36:30 | × | benin quits (~benin@183.82.177.19) (Ping timeout: 268 seconds) |
| 2021-05-31 12:36:34 | <schuelermine> | Also, why do you think dependent Haskell is a bad idea? |
| 2021-05-31 12:36:44 | <maerwald> | a language that's designed from the ground up with dependent types in mind sounds like a better idea |
| 2021-05-31 12:36:52 | <schuelermine> | true |
| 2021-05-31 12:36:59 | <opqdonut> | yeah, that's pretty much it |
| 2021-05-31 12:37:04 | <maerwald> | ppl are just turning haskell into C++ |
| 2021-05-31 12:37:24 | <schuelermine> | Agda’s mixfix is fun |
| 2021-05-31 12:38:39 | <maerwald> | also, why not have a language that compiles to haskell and has dependent types? Do you really want all of the features in one language? What's wrong with inter-operability? |
| 2021-05-31 12:38:40 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-05-31 12:39:34 | <maerwald> | intellectual complexity is also a concern... I don't want to think about dependent types most of the time, unless I'm doing something rather odd and complicated |
| 2021-05-31 12:39:40 | <merijn> | schuelermine: Haskell as-is isn't designed for dependent times and I expect retrofitting will make the user interface considerably worse |
| 2021-05-31 12:39:54 | <merijn> | s/times/types |
| 2021-05-31 12:39:55 | <beaky> | nice i like agda |
| 2021-05-31 12:40:05 | <beaky> | agda is implemented in haskell i think |
| 2021-05-31 12:40:10 | <merijn> | And big libraries moving to -XKitchenSink will force it on the entire ecosystem |
All times are in UTC.