Logs: freenode/#haskell
| 2020-09-17 10:03:26 | → | z0 joins (~z0@bl15-162-186.dsl.telepac.pt) |
| 2020-09-17 10:03:32 | <phadej> | new features need to get to that list when they introduced, not 2-3 releases after |
| 2020-09-17 10:05:05 | <merijn> | kuribas: The short answer to why it's not the default is: Insufficient people baby sitting these sorts of tickets/fixes, tracking whether they work everywhere and flipping the switch |
| 2020-09-17 10:05:28 | <kuribas> | merijn: the flipside of avoiding success. |
| 2020-09-17 10:08:16 | → | Tops2 joins (~Tobias@dyndsl-095-033-091-070.ewe-ip-backbone.de) |
| 2020-09-17 10:08:39 | <maerwald> | pedantic person? Someone called my name? |
| 2020-09-17 10:09:05 | → | gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) |
| 2020-09-17 10:09:06 | <merijn> | maerwald: Please do :p |
| 2020-09-17 10:10:04 | <someuser123> | where can I see the precedence ranks of operators such as <*> and <$>? |
| 2020-09-17 10:10:22 | <merijn> | % :i (<$>) |
| 2020-09-17 10:10:22 | <yahb> | merijn: (<$>) :: Functor f => (a -> b) -> f a -> f b -- Defined in `Data.Functor'; infixl 4 <$> |
| 2020-09-17 10:10:33 | <merijn> | someuser123: The "infixl 4" is precedence |
| 2020-09-17 10:10:36 | <merijn> | % :i (<*>) |
| 2020-09-17 10:10:37 | <yahb> | merijn: type Applicative :: (* -> *) -> Constraint; class Functor f => Applicative f where; ...; (<*>) :: f (a -> b) -> f a -> f b; ...; -- Defined in `GHC.Base'; infixl 4 <*> |
| 2020-09-17 10:10:46 | <merijn> | So, precedence level 4, left associative |
| 2020-09-17 10:11:21 | → | alp_ joins (~alp@88.126.45.36) |
| 2020-09-17 10:11:40 | <someuser123> | thanks |
| 2020-09-17 10:11:42 | → | adauguet joins (4d838b43@67.139.131.77.rev.sfr.net) |
| 2020-09-17 10:12:12 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds) |
| 2020-09-17 10:14:19 | × | gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 272 seconds) |
| 2020-09-17 10:14:24 | × | sw1nn quits (~sw1nn@host81-146-21-49.range81-146.btcentralplus.com) (Quit: WeeChat 2.9) |
| 2020-09-17 10:14:58 | <adauguet> | Hi everyone, is this the right place to ask beginners questions about haskell? |
| 2020-09-17 10:14:59 | <dminuoso> | Unhammer: I have added `split-sections: true` to my ~/.cabal/config and made profits ever since! :) |
| 2020-09-17 10:15:03 | <dminuoso> | adauguet: Yes. |
| 2020-09-17 10:15:25 | <dminuoso> | adauguet: You can also use #haskell-beginners if you want a more quiet/less chatty place, but we dont mind the most naive beginner questions either. |
| 2020-09-17 10:15:36 | → | sw1nn joins (~sw1nn@host81-146-21-49.range81-146.btcentralplus.com) |
| 2020-09-17 10:16:02 | <adauguet> | thanks, i will try on #haskell-beginners then |
| 2020-09-17 10:18:43 | → | fendor joins (~fendor@77.119.129.27.wireless.dyn.drei.com) |
| 2020-09-17 10:22:59 | → | darjeeling_ joins (~darjeelin@115.215.41.222) |
| 2020-09-17 10:24:32 | × | mmohammadi9812 quits (~mmohammad@5.238.164.128) (Quit: I quit (╯°□°）╯︵ ┻━┻) |
| 2020-09-17 10:27:58 | → | jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de) |
| 2020-09-17 10:28:26 | → | nan` joins (~nan`@unaffiliated/nan/x-5405850) |
| 2020-09-17 10:29:59 | → | gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) |
| 2020-09-17 10:32:13 | → | perdent joins (~k4fr@212.102.36.136) |
| 2020-09-17 10:32:22 | <perdent> | Anyone here want to be hired to code a 'hacking' CTF challenge for money? If so PM me for further details |
| 2020-09-17 10:33:28 | × | nan` quits (~nan`@unaffiliated/nan/x-5405850) (Ping timeout: 260 seconds) |
| 2020-09-17 10:33:28 | <Raito_Bezarius> | perdent: what's the relation with Haskell? |
| 2020-09-17 10:34:28 | <perdent> | Raito_Bezarius: I want it to be coded in haskell |
| 2020-09-17 10:34:33 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2020-09-17 10:34:44 | × | gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
| 2020-09-17 10:35:07 | <perdent> | Makes it more difficult for participants who are not used to functional programming |
| 2020-09-17 10:35:48 | <[exa]> | also a lot more difficult to actually C the F |
| 2020-09-17 10:36:29 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…) |
| 2020-09-17 10:39:15 | × | gnumonik quits (~gnumonik@c-73-170-91-210.hsd1.ca.comcast.net) (Quit: Leaving) |
| 2020-09-17 10:39:27 | → | rapskalian joins (~user@2601:804:8400:5750:6d07:cb01:64a9:36bb) |
| 2020-09-17 10:44:25 | × | rapskalian quits (~user@2601:804:8400:5750:6d07:cb01:64a9:36bb) (Ping timeout: 240 seconds) |
| 2020-09-17 10:44:34 | × | darjeeling_ quits (~darjeelin@115.215.41.222) (Ping timeout: 256 seconds) |
| 2020-09-17 10:45:42 | → | sagax joins (~sagax_nb@213.138.71.146) |
| 2020-09-17 10:45:47 | × | fendor quits (~fendor@77.119.129.27.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2020-09-17 10:46:51 | → | darjeeling_ joins (~darjeelin@115.215.41.222) |
| 2020-09-17 10:47:16 | → | Tops21 joins (~Tobias@dyndsl-095-033-091-070.ewe-ip-backbone.de) |
| 2020-09-17 10:48:25 | × | Tops2 quits (~Tobias@dyndsl-095-033-091-070.ewe-ip-backbone.de) (Ping timeout: 240 seconds) |
| 2020-09-17 10:50:02 | → | DavidEichmann joins (~david@43.240.198.146.dyn.plus.net) |
| 2020-09-17 10:51:06 | → | gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) |
| 2020-09-17 10:51:37 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 2020-09-17 10:53:10 | <dminuoso> | How can I extract the test-suite binary in v2-*? |
| 2020-09-17 10:53:24 | × | someuser123 quits (59b76050@a89-183-96-80.net-htp.de) (Ping timeout: 245 seconds) |
| 2020-09-17 10:55:17 | → | toorevitimirp joins (~tooreviti@117.182.182.33) |
| 2020-09-17 10:56:52 | × | gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 272 seconds) |
| 2020-09-17 11:05:17 | → | raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) |
| 2020-09-17 11:08:00 | × | adauguet quits (4d838b43@67.139.131.77.rev.sfr.net) (Ping timeout: 245 seconds) |
| 2020-09-17 11:10:18 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2020-09-17 11:12:02 | → | gestone joins (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) |
| 2020-09-17 11:13:29 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.) |
| 2020-09-17 11:13:57 | → | ajcerejeira joins (~ajcerejei@2001:8a0:ddee:700:efbc:7163:11a0:b83) |
| 2020-09-17 11:13:58 | × | jchia_ quits (~jchia@58.32.37.220) (Quit: Leaving.) |
| 2020-09-17 11:14:00 | <maerwald> | dminuoso: same as any other |
| 2020-09-17 11:14:28 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) |
| 2020-09-17 11:16:12 | <dminuoso> | Well until now it was just with `cp $(cabal v2-exec -- which foo) ..` |
| 2020-09-17 11:16:21 | → | Turmfalke joins (~user@unaffiliated/siracusa) |
| 2020-09-17 11:16:25 | × | gestone quits (~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 240 seconds) |
| 2020-09-17 11:16:26 | <dminuoso> | So I guess you're proposing to just use cabal-plan? |
| 2020-09-17 11:16:42 | × | yoneda quits (~mike@193.206.102.122) (Quit: leaving) |
| 2020-09-17 11:17:33 | <maerwald> | I did that v2-exec with spec test as well I believe |
| 2020-09-17 11:18:44 | × | rprije quits (~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au) (Ping timeout: 260 seconds) |
| 2020-09-17 11:18:44 | <dminuoso> | Ah, I did not realize the testsuite binaries are called after their testsuite name. |
| 2020-09-17 11:19:35 | × | jchia__ quits (~jchia@58.32.37.220) (Quit: Leaving.) |
| 2020-09-17 11:19:59 | → | jchia__ joins (~jchia@58.32.37.220) |
| 2020-09-17 11:20:12 | × | jchia__ quits (~jchia@58.32.37.220) (Client Quit) |
| 2020-09-17 11:20:35 | → | Neuromancer joins (~Neuromanc@unaffiliated/neuromancer) |
| 2020-09-17 11:21:18 | → | tchouri joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-09-17 11:21:27 | <WzC> | does anyone know how to get a fully statically compiled executable using ghc these days? |
| 2020-09-17 11:21:46 | <maerwald> | WzC: with alipne |
| 2020-09-17 11:22:02 | <WzC> | the internet claims 'ghc -static -optl-static -optl-pthread' should work, but that gives a bunch of errors |
| 2020-09-17 11:22:10 | <merijn> | WzC: Depends on how extreme you wanna take "full static" :) |
| 2020-09-17 11:22:23 | <maerwald> | there's only full static or none at all |
| 2020-09-17 11:22:55 | <WzC> | as in: everything (including dependent c-libs) included in the binary |
| 2020-09-17 11:22:57 | <merijn> | WzC: Well, for one, on linux you're hosed because glibc can't be linked statically, so you need a linux (or toolchain, at least) that has a statically linkable libc |
| 2020-09-17 11:23:03 | <maerwald> | WzC: see https://github.com/actions/setup-haskell/issues/31#issuecomment-676001831 |
| 2020-09-17 11:23:43 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 2020-09-17 11:23:51 | → | jchia__ joins (~jchia@45.32.62.73) |
| 2020-09-17 11:24:06 | × | jchia__ quits (~jchia@45.32.62.73) (Client Quit) |
| 2020-09-17 11:24:31 | → | jchia__ joins (~jchia@45.32.62.73) |
| 2020-09-17 11:24:40 | <WzC> | hmm I'll have to read through that a bit |
| 2020-09-17 11:24:41 | × | jchia__ quits (~jchia@45.32.62.73) (Client Quit) |
| 2020-09-17 11:26:14 | <WzC> | essentially I'm trying to set up ghc in domjudge, some system to compile student handins and test them. Somehow the system is running the compiled executables in some chroot, and hence the basic approach to avoid that would be to compile static binaries |
| 2020-09-17 11:26:16 | <dminuoso> | WzC: If you're a nix user, there's a static haskell overlay. |
| 2020-09-17 11:26:24 | <maerwald> | which sometimes works |
| 2020-09-17 11:27:09 | <maerwald> | WzC: it's easy |
| 2020-09-17 11:27:10 | <WzC> | this is essentially what I now get with those options though: https://gist.github.com/noinia/a77769a70b833496501ffb6a6e64472f |
All times are in UTC.