Logs: freenode/#haskell
| 2021-03-01 09:57:58 | <lambdabot> | 12 |
| 2021-03-01 09:58:08 | <ski> | @undo (do undefined; x <- (2 +); undefined; y <- (3 +); return (x * y)) 1 |
| 2021-03-01 09:58:08 | <lambdabot> | (undefined >> (2 +) >>= \ x -> undefined >> (3 +) >>= \ y -> return (x * y)) 1 |
| 2021-03-01 09:59:36 | <ski> | > (\r -> let _ = undefined; x = (2 +) r; _ = undefined; y = (3 +) r in x * y) 1 -- that amounts to this |
| 2021-03-01 09:59:37 | → | mouseghost joins (~draco@87.206.9.185) |
| 2021-03-01 09:59:37 | × | mouseghost quits (~draco@87.206.9.185) (Changing host) |
| 2021-03-01 09:59:37 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-03-01 09:59:37 | <lambdabot> | 12 |
| 2021-03-01 10:00:34 | <ski> | (so, the order is present in the source, but doesn't actually impose data-dependencies) |
| 2021-03-01 10:00:36 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-03-01 10:02:10 | <nha> | ski: that's only because haskell is lazy though isn't it? |
| 2021-03-01 10:02:57 | <ski> | non-strict, but yes |
| 2021-03-01 10:03:10 | → | ClaudiusMaximus joins (~claude@191.123.199.146.dyn.plus.net) |
| 2021-03-01 10:03:10 | × | ClaudiusMaximus quits (~claude@191.123.199.146.dyn.plus.net) (Changing host) |
| 2021-03-01 10:03:10 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 2021-03-01 10:03:38 | <nha> | the language i'm using is strict and i don't want to have to thunk everything |
| 2021-03-01 10:03:50 | <ski> | but then using the equivalent to `let' in that language, assuming it's strict, would also have order dependencies in the reduction, no ? |
| 2021-03-01 10:03:53 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:692f:34e4:c65a:92f2) |
| 2021-03-01 10:04:33 | <nha> | i tried going down the applicative route but couldn't figure out how to type it since the terms are wrapped in fixpoint types |
| 2021-03-01 10:04:46 | <nha> | ski: yea fair enough |
| 2021-03-01 10:05:14 | <ski> | the language has a static type system ? |
| 2021-03-01 10:05:49 | <nha> | yeah the type system is turing complete and basically is just prolog |
| 2021-03-01 10:06:33 | <ski> | if you had a custom kind of arrow, say `~>' such that `T ~> U' meant `R -> T -> U', then an algebra of type `F c ~> c' in this Kleisli category would correspond to a function of type `R -> F c -> c' |
| 2021-03-01 10:06:43 | <ski> | mhm |
| 2021-03-01 10:07:41 | <nha> | ski: i'll look into that a bit, thanks |
| 2021-03-01 10:08:15 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:692f:34e4:c65a:92f2) (Ping timeout: 240 seconds) |
| 2021-03-01 10:08:41 | → | o1lo01ol_ joins (~o1lo01ol1@95.69.78.182) |
| 2021-03-01 10:09:28 | → | mayleesia joins (4d0d9efc@dynamic-077-013-158-252.77.13.pool.telefonica.de) |
| 2021-03-01 10:09:32 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-03-01 10:09:37 | <ski> | (btw, "the type of Functor (F a -> F b)" sounds weird) |
| 2021-03-01 10:10:18 | <nha> | sorry i left out the (a --> b) part |
| 2021-03-01 10:10:45 | × | tribly quits (~tribly@unaffiliated/tribly) (Quit: WeeChat 2.9) |
| 2021-03-01 10:11:10 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:a7e6:fd5e:5dd8:f140) |
| 2021-03-01 10:11:19 | × | o1lo01ol1o quits (~o1lo01ol1@31.22.239.189) (Ping timeout: 245 seconds) |
| 2021-03-01 10:12:08 | → | ionv joins (592f6a92@89.47.106.146) |
| 2021-03-01 10:13:01 | × | ionv quits (592f6a92@89.47.106.146) (Client Quit) |
| 2021-03-01 10:20:31 | → | ashepelev joins (~ashepelev@37.120.211.188) |
| 2021-03-01 10:26:23 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-vtsprrmimewrgslj) |
| 2021-03-01 10:27:14 | → | son0p joins (~son0p@181.58.39.182) |
| 2021-03-01 10:27:30 | <ski> | ok |
| 2021-03-01 10:33:46 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-vdnrjtitbesdywow) (Quit: Connection closed for inactivity) |
| 2021-03-01 10:39:51 | × | psutcliffe quits (~psutcliff@2a00:801:3f2:4b56:e93e:1663:ff0c:6c42) (K-Lined) |
| 2021-03-01 10:50:49 | → | michalz joins (~user@185.246.204.42) |
| 2021-03-01 10:50:59 | → | gues65469 joins (username@gateway/vpn/mullvad/esp32prog/x-46565127) |
| 2021-03-01 10:53:58 | <ij> | too bad hip doesn't allow making images from delayed repa vectors, I could then have more declarative index computations |
| 2021-03-01 10:55:28 | × | APic quits (apic@apic.name) (Ping timeout: 276 seconds) |
| 2021-03-01 10:56:07 | × | gues65469 quits (username@gateway/vpn/mullvad/esp32prog/x-46565127) (Remote host closed the connection) |
| 2021-03-01 10:56:12 | <ij> | hip's design is really cool, however |
| 2021-03-01 10:57:20 | → | esp32_prog joins (username@gateway/vpn/mullvad/esp32prog/x-46565127) |
| 2021-03-01 10:58:11 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-ynybzievihtknuvf) |
| 2021-03-01 10:58:13 | → | _noblegas joins (uid91066@gateway/web/irccloud.com/x-qtxpmwkzibqndqvb) |
| 2021-03-01 10:58:57 | → | chisui joins (577bc9b7@i577BC9B7.versanet.de) |
| 2021-03-01 11:01:58 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 276 seconds) |
| 2021-03-01 11:05:13 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:692f:34e4:c65a:92f2) |
| 2021-03-01 11:07:39 | <CrabMan> | Is there a Haskell's alternative to Python's virtualenv? |
| 2021-03-01 11:09:15 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:692f:34e4:c65a:92f2) (Ping timeout: 240 seconds) |
| 2021-03-01 11:10:16 | <Rembane> | CrabMan: cabal or stack should do approximately that |
| 2021-03-01 11:11:13 | <CrabMan> | Rembane: My distro provides cabal 2.2.0.0. It looks like version 3 is out. I am afraid that if I install cabal 3 globally, things will break in my distro. |
| 2021-03-01 11:12:13 | <Rembane> | CrabMan: I don't think it will, cabal 3 is backwards compatible, this statement will probably jinx it though. :) |
| 2021-03-01 11:12:31 | <Rembane> | CrabMan: There's another tool that can help you with this: https://www.haskell.org/ghcup/ |
| 2021-03-01 11:13:05 | → | APic joins (apic@apic.name) |
| 2021-03-01 11:16:15 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-03-01 11:17:03 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-01 11:20:47 | → | kam1 joins (~kam1@5.125.126.175) |
| 2021-03-01 11:21:18 | × | redmp quits (~redmp@172.58.38.156) (Ping timeout: 245 seconds) |
| 2021-03-01 11:22:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-01 11:22:37 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-01 11:24:14 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 245 seconds) |
| 2021-03-01 11:24:23 | → | quackrabbit joins (8102b464@129-2-180-100.wireless.umd.edu) |
| 2021-03-01 11:26:27 | <quackrabbit> | I have a brand new installation from ghcup on an intel mac and im trying to figure out how to install packages. When I do a cabal install (ex: cabal install QuickCheck), modules I've written locally no longer compile complaining that the package "mtl" is locked. |
| 2021-03-01 11:26:50 | <quackrabbit> | The only way to resolve this that I've found is completely blow away ~/.ghcup ~/.ghc and ~/.cabal and re-install |
| 2021-03-01 11:26:52 | × | forgottenone quits (~forgotten@176.42.27.254) (Quit: Konversation terminated!) |
| 2021-03-01 11:27:06 | × | nha quits (~nha@host109-158-11-34.range109-158.btcentralplus.com) (Quit: Leaving) |
| 2021-03-01 11:28:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-01 11:28:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-01 11:29:01 | → | davros joins (~davros@host86-183-29-83.range86-183.btcentralplus.com) |
| 2021-03-01 11:31:21 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-03-01 11:31:49 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-01 11:32:19 | × | danza quits (~francesco@151.53.76.37) (Ping timeout: 260 seconds) |
| 2021-03-01 11:32:20 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-03-01 11:33:48 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-01 11:34:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-01 11:35:55 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-03-01 11:36:35 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 240 seconds) |
| 2021-03-01 11:37:12 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 2021-03-01 11:39:15 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-03-01 11:39:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-01 11:41:25 | <fendor> | quackrabbit, you should not install libraries with either cabal or stack. You usually open a project where you add the packages you want to the project |
| 2021-03-01 11:41:38 | <quackrabbit> | How do I that? |
| 2021-03-01 11:42:10 | <fendor> | quackrabbit, one way is to cd into an empty directory and execute `cabal init` |
| 2021-03-01 11:42:10 | <quackrabbit> | I have a prject.cabal file |
| 2021-03-01 11:42:30 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-01 11:42:32 | <fendor> | then you open that .cabal file and add to the build-depends section the library you want |
| 2021-03-01 11:43:36 | <quackrabbit> | Then running `cabal build` fails due to a conflict in the versioning of baes |
| 2021-03-01 11:43:42 | <quackrabbit> | *base |
| 2021-03-01 11:43:53 | <fendor> | can you show the error? |
| 2021-03-01 11:43:55 | <fendor> | @where paste |
| 2021-03-01 11:43:55 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2021-03-01 11:44:08 | <fendor> | and what ghc version do you have installed? |
| 2021-03-01 11:44:19 | <quackrabbit> | https://paste.tomsmeding.com/5Jhwihwi |
All times are in UTC.