Logs: freenode/#haskell
| 2021-05-01 11:18:55 | → | malumore_ joins (~malumore@151.62.121.94) |
| 2021-05-01 11:19:21 | <maerwald> | which means you can mostly preserve your own style |
| 2021-05-01 11:19:28 | × | malumore__ quits (~malumore@151.62.121.94) (Read error: Connection reset by peer) |
| 2021-05-01 11:24:04 | <zzz> | even better, code in your own syntax and share ASTs as the source |
| 2021-05-01 11:24:31 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b95037456cb0444e0d02f.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2021-05-01 11:26:12 | <maerwald> | also: getting contributors in open source projects these days is hard enough. If you want to make sure you'll never get one, including a 10 page style guide in your HACKING.md. |
| 2021-05-01 11:26:35 | → | Qwerky joins (~qwerky@37.172.55.41) |
| 2021-05-01 11:28:18 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-01 11:28:35 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-01 11:28:41 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-05-01 11:33:16 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-05-01 11:33:26 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-01 11:40:06 | <__minoru__shirae> | another option is to configure branches in git with formatting settings, so that everyone can have their own branch with their formatting, but some branches (like "dev" or "master") have standard formatting automatically |
| 2021-05-01 11:41:26 | × | puffnfresh1 quits (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 240 seconds) |
| 2021-05-01 11:42:58 | → | puffnfresh1 joins (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
| 2021-05-01 11:44:02 | → | ech joins (~user@gateway/tor-sasl/ech) |
| 2021-05-01 11:44:14 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds) |
| 2021-05-01 11:44:21 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2021-05-01 11:45:19 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 276 seconds) |
| 2021-05-01 11:45:53 | → | Lowl3v3l joins (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) |
| 2021-05-01 11:46:14 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-01 11:46:46 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-01 11:48:24 | → | tlaxkit joins (~konversat@185.228.153.18) |
| 2021-05-01 11:48:33 | × | Qwerky quits (~qwerky@37.172.55.41) () |
| 2021-05-01 11:49:47 | → | ddellacosta joins (~ddellacos@86.106.143.34) |
| 2021-05-01 11:54:00 | <thblt> | Does cabal have some equivalent of the stack shebang `stack --resolver RESOLVER script`? |
| 2021-05-01 11:54:06 | × | ddellacosta quits (~ddellacos@86.106.143.34) (Ping timeout: 240 seconds) |
| 2021-05-01 11:54:17 | × | ech quits (~user@gateway/tor-sasl/ech) (Remote host closed the connection) |
| 2021-05-01 11:55:05 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-05-01 11:55:29 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection) |
| 2021-05-01 11:55:36 | → | thevishy joins (~Nishant@117.193.35.98) |
| 2021-05-01 11:55:42 | <tomsmeding> | thblt: https://cabal.readthedocs.io/en/3.4/cabal-commands.html?highlight=running+script#cabal-v2-run ? |
| 2021-05-01 11:56:06 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-01 11:56:39 | <thblt> | tomsmeding: looks great, thank you! |
| 2021-05-01 11:56:56 | <geekosaur> | cabal doesn't have a resolver but it doeds have a (poorly documented) script mode including comments that tell it e.g. what packages to expose |
| 2021-05-01 11:59:03 | <thblt> | geekosaur: thanks! |
| 2021-05-01 11:59:42 | <tomsmeding> | unfortunately cabal re-builds your script every time you run it |
| 2021-05-01 11:59:57 | <tomsmeding> | some kind of caching would have been nice, but I guess depending on the purpose of the script it's not that important |
| 2021-05-01 12:04:55 | <thblt> | Indeed, 2.5s for an hello world :) |
| 2021-05-01 12:05:52 | → | supercoven joins (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 2021-05-01 12:06:16 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-01 12:06:29 | <thblt> | I have an old botched shebang script for recompiling on change and running a cached binary otherwise, but it's quite hacky. |
| 2021-05-01 12:11:04 | → | chimera joins (~chimera@168-182-134-95.pool.ukrtel.net) |
| 2021-05-01 12:11:47 | → | jgt joins (~jgt@176.232.59.54) |
| 2021-05-01 12:12:11 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds) |
| 2021-05-01 12:20:03 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-01 12:22:11 | × | __minoru__shirae quits (~shiraeesh@109.166.57.34) (Ping timeout: 240 seconds) |
| 2021-05-01 12:27:27 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-05-01 12:29:41 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-01 12:31:45 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 2021-05-01 12:32:46 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-01 12:33:14 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-01 12:33:49 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-01 12:34:06 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-01 12:37:37 | → | __minoru__shirae joins (~shiraeesh@109.166.57.34) |
| 2021-05-01 12:39:45 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-05-01 12:40:15 | × | Guest41112 quits (~textual@2603-7000-3040-0000-f13f-9b4c-5fb5-809d.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-01 12:42:46 | × | __minoru__shirae quits (~shiraeesh@109.166.57.34) (Ping timeout: 240 seconds) |
| 2021-05-01 12:46:00 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 2021-05-01 12:47:22 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-05-01 12:50:35 | → | xprl-gjf joins (~gavin@98.154.147.147.dyn.plus.net) |
| 2021-05-01 12:52:02 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-01 12:52:45 | hackage | dimensional-codata 2014.0.0.3 - CODATA Recommended Physical Constants with Dimensional Types https://hackage.haskell.org/package/dimensional-codata-2014.0.0.3 (BjornBuckwalter) |
| 2021-05-01 12:53:20 | × | xprl-gjf quits (~gavin@98.154.147.147.dyn.plus.net) (Client Quit) |
| 2021-05-01 12:54:06 | <olligobber> | can I curry types? |
| 2021-05-01 12:54:24 | <olligobber> | so if I have `* -> * -> *' can I turn it into `(*,*) -> *' ? |
| 2021-05-01 12:56:08 | → | xprl-gjf joins (~gavin@98.154.147.147.dyn.plus.net) |
| 2021-05-01 12:56:33 | <olligobber> | does that even make sense? |
| 2021-05-01 12:57:16 | <Clint> | i don't know what you mean, can you give an example? |
| 2021-05-01 12:57:31 | <geekosaur> | I thought the only tuples at type level were constraints |
| 2021-05-01 12:59:06 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-01 12:59:59 | <hpc> | type aliases can't be partially applied |
| 2021-05-01 13:00:04 | <hpc> | i don't know that they have kinds, per se |
| 2021-05-01 13:00:14 | <hpc> | but maybe that's the closest you can get to this idea |
| 2021-05-01 13:00:20 | <olligobber> | I was hoping I could have `Uncurry (,) a` and `Uncurry Either a` where `a :: (*,*)` |
| 2021-05-01 13:00:55 | <hpc> | actually, upon testing in ghci i am mistaken |
| 2021-05-01 13:00:57 | <hpc> | ignore me :P |
| 2021-05-01 13:01:01 | × | constrixor quits (~chargen@D964062A.static.ziggozakelijk.nl) (Quit: Leaving) |
| 2021-05-01 13:02:00 | <olligobber> | So the problem I have at the moment is I want to have a `class Show1 t' with member `show1 :: (a -> String) -> t a -> String', but I want that for types with various numbers of input types |
| 2021-05-01 13:02:26 | <olligobber> | I could write some template haskell to just generate all those classes, but I think there must be a better way |
| 2021-05-01 13:02:37 | <olligobber> | but it would have to somehow be generic over kinds |
| 2021-05-01 13:02:50 | <olligobber> | I don't think haskell has the required kind-level stuff I would need |
| 2021-05-01 13:03:00 | → | ddellacosta joins (~ddellacos@86.106.143.73) |
| 2021-05-01 13:04:20 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) |
| 2021-05-01 13:05:21 | × | jgt quits (~jgt@176.232.59.54) (Ping timeout: 260 seconds) |
| 2021-05-01 13:06:42 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-01 13:07:06 | × | ddellacosta quits (~ddellacos@86.106.143.73) (Ping timeout: 240 seconds) |
| 2021-05-01 13:08:35 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:2c87:532:74b7:8a30) (Ping timeout: 248 seconds) |
| 2021-05-01 13:09:05 | <olligobber> | % type Get1Of2 a b = a |
| 2021-05-01 13:09:07 | <yahb> | olligobber: |
| 2021-05-01 13:09:18 | <olligobber> | % type Fst p = p Get1Of2 |
| 2021-05-01 13:09:18 | <yahb> | olligobber: ; <interactive>:18:1: error:; * The type synonym `Get1Of2' should have 2 arguments, but has been given none; * In the type synonym declaration for `Fst' |
| 2021-05-01 13:09:27 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 260 seconds) |
| 2021-05-01 13:09:56 | <olligobber> | % type Fst (p :: (* -> * -> *) -> *) = p Get1Of2 |
| 2021-05-01 13:09:57 | <yahb> | olligobber: ; <interactive>:19:1: error:; * The type synonym `Get1Of2' should have 2 arguments, but has been given none; * In the type synonym declaration for `Fst' |
| 2021-05-01 13:10:00 | <olligobber> | >:( |
| 2021-05-01 13:10:08 | → | ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-01 13:10:25 | <olligobber> | I want type level pairs :( |
| 2021-05-01 13:12:01 | <olligobber> | I think I have to use constraints for that |
| 2021-05-01 13:12:48 | <olligobber> | I'll investigate some type level stuff later, see what I can find |
All times are in UTC.