Logs: liberachat/#haskell
| 2021-06-23 15:33:46 | <davean> | sekun: I mean there is directly addressing the issue |
| 2021-06-23 15:33:58 | <davean> | why are your build times long? |
| 2021-06-23 15:34:31 | <davean> | if what you care about is that clean build's build time, haskell.nix does help |
| 2021-06-23 15:34:56 | <davean> | But you only build dependencies once per configuration of said dependency with cabal |
| 2021-06-23 15:35:03 | <davean> | so you probably care about YOUR code's compile time in practice |
| 2021-06-23 15:35:08 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-23 15:35:10 | <davean> | So why is your code not compiling fast? |
| 2021-06-23 15:35:20 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-23 15:36:19 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.1) |
| 2021-06-23 15:38:00 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-23 15:38:43 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-06-23 15:39:33 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-23 15:39:35 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-06-23 15:40:10 | → | mikail_ joins (~mikail@2a02:c7f:bc9c:3100:ae93:93fc:603f:ceaf) |
| 2021-06-23 15:40:12 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-06-23 15:42:25 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-23 15:42:59 | × | chisui quits (~chisui@200116b866efc300342cdc4d594c896c.dip.versatel-1u1.de) (Quit: Client closed) |
| 2021-06-23 15:43:36 | × | MorrowM quits (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 258 seconds) |
| 2021-06-23 15:44:01 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-23 15:44:20 | → | chisui joins (~chisui@200116b866efc30078bec775310a636c.dip.versatel-1u1.de) |
| 2021-06-23 15:45:04 | × | sekun quits (~sekun@180.190.208.125) (Ping timeout: 252 seconds) |
| 2021-06-23 15:45:25 | → | chomwitt joins (~Pitsikoko@athedsl-16082.home.otenet.gr) |
| 2021-06-23 15:46:51 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-23 15:48:25 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-23 15:50:01 | → | opv joins (~opv@methodsofcontrol.com) |
| 2021-06-23 15:50:15 | → | Ollie[m] joins (~ollieocha@2001:470:69fc:105::41a5) |
| 2021-06-23 15:51:12 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-23 15:52:45 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-23 15:53:13 | → | arjun_ joins (~arjun@160.202.37.101) |
| 2021-06-23 15:53:27 | <chisui> | I came across a library that redefined some categorical typeclasses in a more categorical way, like `Functor (c0 :: k0 -> k0 -> Type) (c1 :: k1 -> k1 -> Type) (f :: k0 -> k1)` , but I forgot the name. Does anyone know how that package is called? |
| 2021-06-23 15:54:45 | × | azeem quits (~azeem@176.201.6.138) (Read error: Connection reset by peer) |
| 2021-06-23 15:55:06 | → | azeem joins (~azeem@dynamic-adsl-84-220-246-231.clienti.tiscali.it) |
| 2021-06-23 15:55:28 | <c_wraith> | I think there are actually several packages that explore that direction |
| 2021-06-23 15:55:32 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-23 15:55:50 | → | zeenk joins (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) |
| 2021-06-23 15:56:57 | <chisui> | do you have the name of some? they don't seem to be indexed by hoggle |
| 2021-06-23 15:57:02 | → | pfurla_ joins (~pfurla@216.131.82.16) |
| 2021-06-23 15:57:07 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-23 15:57:59 | <chisui> | *hoogle |
| 2021-06-23 15:58:30 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Client Quit) |
| 2021-06-23 15:59:23 | <c_wraith> | https://hackage.haskell.org/package/hask is one, though I don't think it's the one you saw |
| 2021-06-23 15:59:44 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-06-23 16:00:32 | → | finsternis joins (~X@23.226.237.192) |
| 2021-06-23 16:01:21 | CookE[] | is now known as fef |
| 2021-06-23 16:01:21 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-06-23 16:01:50 | <c_wraith> | https://hackage.haskell.org/package/data-category is another, though probably still not the one you're looking for |
| 2021-06-23 16:02:58 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e846:fcb5:a54b:afb8) |
| 2021-06-23 16:03:54 | <chisui> | Thank you c_wraith but none of those are what I was looking for |
| 2021-06-23 16:04:23 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-23 16:05:02 | → | trcc joins (~trcc@eduroam09.au.dk) |
| 2021-06-23 16:05:03 | × | trcc quits (~trcc@eduroam09.au.dk) (Remote host closed the connection) |
| 2021-06-23 16:05:38 | → | trcc joins (~trcc@users-1190.st.net.au.dk) |
| 2021-06-23 16:05:59 | × | warnz quits (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) (Remote host closed the connection) |
| 2021-06-23 16:06:16 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:e6b3:18ff:fe83:8f33) (Ping timeout: 250 seconds) |
| 2021-06-23 16:07:56 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e846:fcb5:a54b:afb8) (Ping timeout: 268 seconds) |
| 2021-06-23 16:08:57 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2021-06-23 16:09:02 | <chisui> | The package is called "category" *facepalm* |
| 2021-06-23 16:09:18 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2021-06-23 16:11:03 | <carbolymer> | davean: wait how did you lost your data? Your package incorporated version with a bug, outside of cabal bounds , or what happened? |
| 2021-06-23 16:14:20 | → | dunkeln joins (~dunkeln@188.71.193.140) |
| 2021-06-23 16:14:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-23 16:15:25 | × | dhil quits (~dhil@195.213.192.47) (Ping timeout: 258 seconds) |
| 2021-06-23 16:17:49 | <c_wraith> | chisui: well, if I helped you at least figure out what to search for, I'm calling that a win. :) |
| 2021-06-23 16:18:04 | × | hgolden quits (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Remote host closed the connection) |
| 2021-06-23 16:19:32 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 2021-06-23 16:19:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-06-23 16:20:59 | → | warnz joins (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) |
| 2021-06-23 16:21:03 | × | warnz quits (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) (Remote host closed the connection) |
| 2021-06-23 16:23:05 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-06-23 16:23:10 | → | warnz joins (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) |
| 2021-06-23 16:23:17 | → | Guest3175 joins (~Guest31@176.41.31.219) |
| 2021-06-23 16:23:45 | <davean> | carbolymer: yah, I specificly said "I require directory that has a bug fixed because that bug affects me", and the nixpkg approach said "haha, we don't believe you" |
| 2021-06-23 16:26:21 | × | pfurla_ quits (~pfurla@216.131.82.16) (Ping timeout: 268 seconds) |
| 2021-06-23 16:28:23 | ← | zyklotomic parts (~ethan@2604:a880:800:10::79f:8001) (WeeChat 2.8) |
| 2021-06-23 16:29:01 | → | dhil joins (~dhil@80.208.56.181) |
| 2021-06-23 16:29:08 | <c_wraith> | yikes. Overriding version bounds without explicit instructions to do so is scary. |
| 2021-06-23 16:32:42 | × | vpan quits (~vilius@212.117.1.172) (Quit: Leaving.) |
| 2021-06-23 16:33:17 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-23 16:33:32 | <maerwald> | That's why I usually avoid 'directory' and reimplemented everything myself, lol. But I'm missing windows support. AFPP etc... grml |
| 2021-06-23 16:34:23 | × | mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
| 2021-06-23 16:34:32 | → | mrmonday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2021-06-23 16:35:26 | <maerwald> | Cross platform functions are the worst. Purely functional and "local reasoning" goes out the window and laughs at you |
| 2021-06-23 16:37:15 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-23 16:38:24 | <c_wraith> | "purely functional" goes out the window when working with filesystems anyway |
| 2021-06-23 16:39:04 | <maerwald> | How would a functionsl filesystem look like? |
| 2021-06-23 16:40:43 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-06-23 16:43:10 | <monochrom> | It would support undo. |
| 2021-06-23 16:43:47 | <monochrom> | Imagine you're back to the 2000's and you got yourself into cabal hell. Don't you wish you could undo? |
| 2021-06-23 16:43:56 | <c_wraith> | it would look like a log-based filesystem |
| 2021-06-23 16:44:41 | → | mikail__ joins (~mikail@90.212.77.3) |
| 2021-06-23 16:45:35 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-23 16:45:38 | <sclv> | If in imagining im in the 2000s im not thinking about cabal i’m remembering when britney was on the radio, the housing market was good, and i could still buy a large coke for 1.25 |
| 2021-06-23 16:45:41 | → | peterhil_ joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-23 16:45:47 | × | ystael quits (~ystael@user/ystael) (Quit: Lost terminal) |
| 2021-06-23 16:46:23 | <monochrom> | That would be "how would a functional society look like?" >:) |
| 2021-06-23 16:46:29 | → | ubert joins (~Thunderbi@p200300ecdf259deac0d59fca0b69df22.dip0.t-ipconnect.de) |
| 2021-06-23 16:46:43 | <c_wraith> | oh no, we've switched meanings of "functional"! |
| 2021-06-23 16:47:30 | × | mikail_ quits (~mikail@2a02:c7f:bc9c:3100:ae93:93fc:603f:ceaf) (Ping timeout: 240 seconds) |
| 2021-06-23 16:47:30 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-06-23 16:47:58 | <monochrom> | I'm great at puns. That "functional" could still mean you have undo. |
All times are in UTC.