Logs: liberachat/#haskell
| 2021-06-01 18:00:44 | → | mccoyb joins (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) |
| 2021-06-01 18:00:53 | × | ddellacosta quits (~ddellacos@89.45.224.79) (Ping timeout: 244 seconds) |
| 2021-06-01 18:01:00 | <mccoyb> | Lycurgus -- sorry, I should have been more clear. Yes, no need for difficulties, just linking with C. |
| 2021-06-01 18:01:38 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-06-01 18:01:44 | <mccoyb> | In general, I'm looking for a Haskell package which I can use as a template, is anyone aware of a package which links with a `dylib`? |
| 2021-06-01 18:01:45 | <Lycurgus> | lemme put it this way, once upon a time linking was straightforward |
| 2021-06-01 18:02:03 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-01 18:02:20 | <Lycurgus> | and fundamentally it still is |
| 2021-06-01 18:02:49 | → | igghibu joins (~igghibu@91.193.5.46) |
| 2021-06-01 18:03:45 | × | dmwit quits (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-06-01 18:07:21 | × | Guest31 quits (~textual@cpc146410-hari22-2-0-cust124.20-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-06-01 18:08:05 | <mccoyb> | My main issue has been getting this stuff working with `stack` and/or `cabal`. I studied `llvm-hs` relatively deeply -- but thought there could be a simpler way to prototype linking without having a custom `Setup.hs`. |
| 2021-06-01 18:08:51 | <Lycurgus> | is llvm the only backend now? |
| 2021-06-01 18:09:19 | <Lycurgus> | it was optional for a long time |
| 2021-06-01 18:09:59 | <Lycurgus> | after link it's all the same object code |
| 2021-06-01 18:10:30 | × | qbt quits (~edun@user/edun) (Quit: WeeChat 3.1) |
| 2021-06-01 18:11:14 | <Lycurgus> | llvm conceptually is like user microprogamming but just, at least on regular cpus |
| 2021-06-01 18:14:46 | Guest929 | is now known as bor0 |
| 2021-06-01 18:14:48 | × | bor0 quits (~boro@46.217.54.116) (Changing host) |
| 2021-06-01 18:14:48 | → | bor0 joins (~boro@user/bor0) |
| 2021-06-01 18:15:23 | <mccoyb> | Lycurgus -- when you say backend, do you mean final lower target for MLIR? Or are you referring to usage in a different context? |
| 2021-06-01 18:15:57 | <Lycurgus> | compiler backend, the code generation stage, in this case ghc |
| 2021-06-01 18:15:59 | <bor0> | ski, sorry, I was afk. It's true that `ruleGeneralize` can have multiple premises, but I believe we only care about the inner most premise? |
| 2021-06-01 18:16:10 | <bor0> | ski, I might have, as well, misunderstood its description from GEB :) |
| 2021-06-01 18:16:16 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Read error: Connection reset by peer) |
| 2021-06-01 18:16:24 | <dminuoso> | monochrom: One does wonder, if the usage frequency is so high, whether that doesn't that desensetizes the authors. I mean if you fling it around at every chance, do you really even pay attention to that danger name? |
| 2021-06-01 18:16:31 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 2021-06-01 18:16:45 | <dminuoso> | Might at as well call it "mostlySafePerformIO" |
| 2021-06-01 18:16:59 | <dminuoso> | On the basis that all uses of it are considered safe. |
| 2021-06-01 18:17:00 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-01 18:17:07 | → | jorjor joins (~jorgemene@85.251.190.6.dyn.user.ono.com) |
| 2021-06-01 18:17:31 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-01 18:18:09 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-01 18:18:15 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-06-01 18:18:27 | × | prite quits (~pritam@user/pritambaral) (Quit: Konversation terminated!) |
| 2021-06-01 18:18:32 | <boxscape> | maybe they should have chosen a name that's very difficult to type |
| 2021-06-01 18:18:52 | × | Bartosz quits (~textual@24.35.90.211) (Client Quit) |
| 2021-06-01 18:19:01 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-06-01 18:19:09 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Client Quit) |
| 2021-06-01 18:19:13 | <dminuoso> | accursdeUntturabelPerfformIO |
| 2021-06-01 18:19:20 | <dminuoso> | I guarantee, you will mispell it every time. |
| 2021-06-01 18:19:25 | <boxscape> | haha |
| 2021-06-01 18:19:40 | <monochrom> | Unpopular opinion: Every long caml case name is difficult to type anyway. |
| 2021-06-01 18:20:04 | <monochrom> | haha that's nice |
| 2021-06-01 18:22:14 | → | curiousgay joins (~quassel@178.217.208.8) |
| 2021-06-01 18:22:48 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) (Remote host closed the connection) |
| 2021-06-01 18:24:25 | → | df joins (~ben@51.15.198.140) |
| 2021-06-01 18:24:26 | × | sqrt2 quits (~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net) (Ping timeout: 265 seconds) |
| 2021-06-01 18:24:46 | → | allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-01 18:24:54 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-06-01 18:27:15 | → | sqrt2 joins (~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net) |
| 2021-06-01 18:28:45 | <maerwald> | snake case > camel case |
| 2021-06-01 18:28:49 | <maerwald> | there's research |
| 2021-06-01 18:29:00 | <maerwald> | https://ieeexplore.ieee.org/document/5521745 |
| 2021-06-01 18:29:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-01 18:30:58 | → | ddellacosta joins (~ddellacos@89.45.224.170) |
| 2021-06-01 18:31:36 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1) |
| 2021-06-01 18:33:49 | ← | jorjor parts (~jorgemene@85.251.190.6.dyn.user.ono.com) (Konversation terminated!) |
| 2021-06-01 18:33:54 | <tdammers> | kebab case is best |
| 2021-06-01 18:33:57 | × | neceve quits (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 272 seconds) |
| 2021-06-01 18:34:10 | <maerwald> | only chicken |
| 2021-06-01 18:34:55 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-01 18:35:17 | <maerwald> | which language does kebab? |
| 2021-06-01 18:35:37 | <tdammers> | lisps |
| 2021-06-01 18:36:02 | <tdammers> | they can pull it off because prefix-everything notation |
| 2021-06-01 18:38:41 | <nf> | > subjects were trained mainly in the underscore style [...] subjects recognize identifiers in the underscore style more quickly |
| 2021-06-01 18:38:42 | <lambdabot> | <hint>:1:30: error: parse error on input ‘in’ |
| 2021-06-01 18:38:53 | <nf> | interesting methodology o_Ô |
| 2021-06-01 18:39:49 | <tdammers> | or maybe just randomizing casing conventions entirely is the best way forward, that way everyone has something to complain |
| 2021-06-01 18:41:28 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) |
| 2021-06-01 18:42:31 | <maerwald> | haskell is a dense language... I read haskell different than C |
| 2021-06-01 18:42:37 | <maerwald> | I wouldn't want camel case in C |
| 2021-06-01 18:43:18 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-06-01 18:43:51 | <nf> | i think it's a matter of habit, probably? |
| 2021-06-01 18:43:53 | × | mcglk quits (~mcglk@131.191.49.120) (Read error: Connection reset by peer) |
| 2021-06-01 18:44:05 | × | beka quits (~beka@104.193.170-254.PUBLIC.monkeybrains.net) (Ping timeout: 264 seconds) |
| 2021-06-01 18:44:13 | <maerwald> | of course, but how strong the effects are is the question |
| 2021-06-01 18:44:34 | → | mcglk joins (~mcglk@131.191.49.120) |
| 2021-06-01 18:45:32 | → | dss joins (~dss@144.202.106.125) |
| 2021-06-01 18:46:18 | ← | dss parts (~dss@144.202.106.125) () |
| 2021-06-01 18:50:28 | × | benin quits (~benin@183.82.205.186) (Quit: The Lounge - https://thelounge.chat) |
| 2021-06-01 18:51:25 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-01 18:53:35 | × | bor0 quits (~boro@user/bor0) (Quit: This computer has gone to sleep) |
| 2021-06-01 18:54:44 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-01 18:55:28 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-01 18:56:10 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 244 seconds) |
| 2021-06-01 18:57:00 | <monochrom> | https://0paste.com/251395 shows the problem with camel case. |
| 2021-06-01 18:57:29 | <monochrom> | Error message: non-exhaustive pattern. Can you catch it? |
| 2021-06-01 18:57:49 | <xsperry> | yes, i not capitalized |
| 2021-06-01 18:57:58 | <nf> | not any more than foo_bar/foo-bar shows the problem with snake case :shrug: |
| 2021-06-01 18:58:06 | <monochrom> | Took both the asker and me 10 minutes. |
| 2021-06-01 18:58:22 | <ski> | @tell bor0 "It's true that `ruleGeneralize` can have multiple premises, but I believe we only care about the inner most premise?" -- no, all of them should be taken into account, for the side condition of generalization (`forall'-intro) (as well as for `exists'-elim) |
| 2021-06-01 18:58:22 | <lambdabot> | Consider it noted. |
| 2021-06-01 18:58:58 | <xsperry> | monochrom, to be honest, if you didn't talk about the problem with camel case first, it would probably take me longer |
| 2021-06-01 18:59:08 | <monochrom> | No, would you spot it when you make this kind of mistakes? |
| 2021-06-01 18:59:23 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-06-01 18:59:27 | <monochrom> | In fact, even, would you even make this kind of mistakes with snake case for example? |
| 2021-06-01 18:59:32 | <maerwald> | there should be an error AND a warning |
| 2021-06-01 18:59:40 | <maerwald> | the warning should tell you what's wrong |
| 2021-06-01 18:59:48 | <ski> | error for ? |
All times are in UTC.