Logs: freenode/#haskell
| 2020-11-05 20:06:33 | → | jacksonier joins (~jacksonie@10.52.classcom.pl) |
| 2020-11-05 20:06:43 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-11-05 20:07:25 | × | kish quits (~oracle@unaffiliated/oracle) (Ping timeout: 240 seconds) |
| 2020-11-05 20:08:41 | × | jacksonier quits (~jacksonie@10.52.classcom.pl) (Quit: Leaving...) |
| 2020-11-05 20:10:17 | × | hyiltiz_ quits (~quassel@82.118.227.47) (Quit: hyiltiz_) |
| 2020-11-05 20:11:23 | → | jacksonier joins (~jacksonie@10.52.classcom.pl) |
| 2020-11-05 20:11:53 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 2020-11-05 20:13:22 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 2020-11-05 20:14:46 | → | banner joins (~banner@116-255-17-160.ip4.superloop.com) |
| 2020-11-05 20:15:49 | ← | jacksonier parts (~jacksonie@10.52.classcom.pl) () |
| 2020-11-05 20:16:14 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 264 seconds) |
| 2020-11-05 20:17:28 | → | JohnnyL joins (~john@unaffiliated/johnnyl) |
| 2020-11-05 20:17:35 | <JohnnyL> | How stable is SDL for haskell? |
| 2020-11-05 20:18:17 | × | banner quits (~banner@116-255-17-160.ip4.superloop.com) (Client Quit) |
| 2020-11-05 20:18:18 | <dminuoso> | JohnnyL: There's sdl2 on hackage that has quite a few downloads. |
| 2020-11-05 20:18:46 | <dminuoso> | It has a couple issues on github, but oh well - this is sdl after all. |
| 2020-11-05 20:20:25 | <JohnnyL> | dminuoso: ok |
| 2020-11-05 20:21:02 | → | theorbtwo joins (~theorb@cpc81822-swin19-2-0-cust3.3-1.cable.virginm.net) |
| 2020-11-05 20:21:04 | <JohnnyL> | I assume that it all compiles into one big binary. |
| 2020-11-05 20:23:18 | × | u0_a298 quits (~user@47.206.148.226) (Remote host closed the connection) |
| 2020-11-05 20:23:31 | <dminuoso> | What do you mean? |
| 2020-11-05 20:23:33 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-05 20:24:08 | <koz_> | dminuoso: I think they are asking 'do I get static linking of my C deps'. |
| 2020-11-05 20:24:25 | <dminuoso> | You can statically link anything you want. |
| 2020-11-05 20:25:00 | → | banner joins (~banner@116-255-17-160.ip4.superloop.com) |
| 2020-11-05 20:27:03 | × | alp quits (~alp@2a01:e0a:58b:4920:51b5:8281:3384:97c9) (Ping timeout: 272 seconds) |
| 2020-11-05 20:27:03 | × | PacoV quits (~pcoves@16.194.31.93.rev.sfr.net) (Quit: leaving) |
| 2020-11-05 20:27:03 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-05 20:27:29 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-05 20:27:39 | <dminuoso> | That is, if you want non-haskell to be statically linked, you can pass `-optl-static -optl-pthread` to ghc. Keep in mind that you very likely need musl or similar if you have any transitive dependency on NSS |
| 2020-11-05 20:27:58 | <dminuoso> | (Since statically linking glibc is not officially supported, and likely leads to quirky bugs) |
| 2020-11-05 20:27:58 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2020-11-05 20:28:34 | × | banner quits (~banner@116-255-17-160.ip4.superloop.com) (Remote host closed the connection) |
| 2020-11-05 20:28:52 | <dminuoso> | (And you must provide these libraries as .a to GHC, which for some libraries like libpg can be a hassle) |
| 2020-11-05 20:29:09 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 2020-11-05 20:29:50 | <bqv> | haskell itself is static by default, right? |
| 2020-11-05 20:29:56 | → | mirrorbird joins (psutcliffe@gateway/vpn/mullvad/psutcliffe) |
| 2020-11-05 20:30:43 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2020-11-05 20:31:32 | <sm[m]> | JohnnyL: sdl2 works great and doesn't change much, so I'd say pretty stable |
| 2020-11-05 20:32:13 | → | banner joins (~banner@116-255-17-160.ip4.superloop.com) |
| 2020-11-05 20:33:33 | × | banner quits (~banner@116-255-17-160.ip4.superloop.com) (Client Quit) |
| 2020-11-05 20:35:17 | → | kamikaze_ joins (~kamikaze@59.103.111.71) |
| 2020-11-05 20:36:35 | <JohnnyL> | It's not sdl2 I'm worried about. |
| 2020-11-05 20:37:14 | × | knupfer quits (~Thunderbi@200116b82c33ca00a8fb0b764d84b823.dip.versatel-1u1.de) (Ping timeout: 264 seconds) |
| 2020-11-05 20:38:07 | × | arampa quits (5e454e4c@94.69.78.76) (Remote host closed the connection) |
| 2020-11-05 20:38:08 | × | fendor quits (~fendor@178.115.129.187.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2020-11-05 20:38:23 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 244 seconds) |
| 2020-11-05 20:39:19 | <matthew-> | am I right in thinking that when you're doing type inference for a throw-away var, e.g. _ every time you see _ you allocate a fresh type variable (for the purposes of unification) |
| 2020-11-05 20:39:57 | <bqv> | in answer to myself: yes. yes it is |
| 2020-11-05 20:41:08 | ← | kamikaze_ parts (~kamikaze@59.103.111.71) ("Leaving") |
| 2020-11-05 20:42:42 | → | geekosaur joins (ac3a5323@172.58.83.35) |
| 2020-11-05 20:43:32 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-11-05 20:44:18 | <lyxia> | matthew-: yes. you can treat _ like just an unused variable. |
| 2020-11-05 20:44:57 | × | mirrorbird quits (psutcliffe@gateway/vpn/mullvad/psutcliffe) (Quit: Leaving) |
| 2020-11-05 20:45:47 | × | AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving) |
| 2020-11-05 20:46:01 | → | bennofs1 joins (~benno@dslb-094-222-083-101.094.222.pools.vodafone-ip.de) |
| 2020-11-05 20:46:15 | × | bennofs1 quits (~benno@dslb-094-222-083-101.094.222.pools.vodafone-ip.de) (Client Quit) |
| 2020-11-05 20:46:51 | → | knupfer joins (~Thunderbi@i59F7FF32.versanet.de) |
| 2020-11-05 20:47:27 | × | coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2020-11-05 20:47:54 | → | jakob_ joins (~textual@p57b0eae0.dip0.t-ipconnect.de) |
| 2020-11-05 20:49:57 | → | joaj joins (~joaj@2001:818:e326:8200:5273:55b7:3a86:e6ca) |
| 2020-11-05 20:50:05 | <matthew-> | lyxia: thanks |
| 2020-11-05 20:52:01 | × | Chai-T-Rex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Quit: Chai-T-Rex) |
| 2020-11-05 20:52:36 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-ghekqquifdegujeg) (Quit: Connection closed for inactivity) |
| 2020-11-05 20:52:42 | → | ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 2020-11-05 20:54:45 | × | u0_a298 quits (~user@47.206.148.226) (Remote host closed the connection) |
| 2020-11-05 20:54:48 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-11-05 20:55:01 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-05 20:55:30 | × | jakob_ quits (~textual@p57b0eae0.dip0.t-ipconnect.de) (Quit: My Laptop has gone to sleep. ZZZzzz…) |
| 2020-11-05 20:56:02 | <dminuoso> | lyxia: Interestingly, it turns out that this is not quite true. |
| 2020-11-05 20:56:17 | <merijn> | JohnnyL: In the end GHC just calls your system linker, so anything you know how to do with C libraries/executables should translate pretty much 1-to-1 to Haskell :) |
| 2020-11-05 20:56:28 | <dminuoso> | But that's probably a bug |
| 2020-11-05 20:56:48 | <dminuoso> | I found an elaborate situation, where annotationg with `_` leads GHC To infer a different type than if not annotated at all. |
| 2020-11-05 20:56:59 | <merijn> | JohnnyL: And by default all the Haskell stuff is already linked statically, so C libraries are all you really need to handle |
| 2020-11-05 20:57:44 | × | avdb quits (~avdb@ip-83-134-202-8.dsl.scarlet.be) (Quit: avdb) |
| 2020-11-05 20:58:05 | <bqv> | it's like i'm on mute... |
| 2020-11-05 20:58:29 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2020-11-05 20:58:57 | <merijn> | bqv: That's because not everyone is completely reading the chat and some are just responding to things they see out of the corner of their eyes while playing videogames ;) |
| 2020-11-05 20:59:18 | × | Gurkenglas__ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 2020-11-05 20:59:29 | × | kupi quits (uid212005@gateway/web/irccloud.com/x-fvjiylahrovnfgof) (Quit: Connection closed for inactivity) |
| 2020-11-05 21:00:01 | hackage | protocol-buffers 2.4.17 - Parse Google Protocol Buffer specifications https://hackage.haskell.org/package/protocol-buffers-2.4.17 (TvH) |
| 2020-11-05 21:00:02 | × | untwisted quits (~untwisted@84.39.116.180) () |
| 2020-11-05 21:01:00 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection) |
| 2020-11-05 21:01:01 | hackage | protocol-buffers-descriptor 2.4.17, hprotoc 2.4.17 (TvH): https://qbin.io/chevy-ago-djgz |
| 2020-11-05 21:01:48 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-11-05 21:03:35 | × | ransom_ quits (~c4264035@c-73-243-2-10.hsd1.co.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-05 21:03:36 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-05 21:04:20 | × | asthasr quits (~asthasr@162.210.29.120) (Quit: asthasr) |
| 2020-11-05 21:04:25 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 2020-11-05 21:05:29 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-11-05 21:05:34 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit) |
| 2020-11-05 21:07:09 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-05 21:08:01 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-05 21:10:15 | → | todda7 joins (~torstein@ppp-2-84-30-242.home.otenet.gr) |
| 2020-11-05 21:10:16 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-05 21:10:42 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-05 21:10:59 | → | jakob_ joins (~textual@p200300f49f162200708c4f4194f529b6.dip0.t-ipconnect.de) |
| 2020-11-05 21:12:34 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-11-05 21:13:29 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-11-05 21:13:49 | → | catchme joins (uid355354@gateway/web/irccloud.com/x-wmqwbwgtbuzhjsjg) |
All times are in UTC.