Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 551 552 553 554 555 556 557 558 559 560 561 .. 18007
— 1,800,686 events total
2021-06-20 09:52:21 × HotblackDesiato quits (~HotblackD@gateway/tor-sasl/hotblackdesiato) (*.net *.split)
2021-06-20 09:52:21 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (*.net *.split)
2021-06-20 09:52:49 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
2021-06-20 09:52:51 → hendursa1 joins (~weechat@user/hendursaga)
2021-06-20 09:53:01 → HotblackDesiato joins (~HotblackD@gateway/tor-sasl/hotblackdesiato)
2021-06-20 09:53:03 → adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
2021-06-20 09:53:04 → gehmehgeh joins (~user@user/gehmehgeh)
2021-06-20 09:53:13 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
2021-06-20 09:54:55 → ddellacosta joins (~ddellacos@86.106.121.100)
2021-06-20 09:55:01 → chexum joins (~chexum@gateway/tor-sasl/chexum)
2021-06-20 09:55:03 → pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-06-20 09:55:49 → mastarija joins (~mastarija@31.217.22.187)
2021-06-20 09:56:18 × hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-20 09:57:17 <mastarija> Is there an actual paper about "Curry-Howard correspondence"? All I'm finding are wikis and presentations talking about the correspondence, but no original paper.
2021-06-20 09:57:25 <mastarija> Is it even a paper?
2021-06-20 09:58:18 → notzmv joins (~zmv@user/notzmv)
2021-06-20 09:59:35 × ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 258 seconds)
2021-06-20 10:00:04 <boxscape> mastarija I believe this is it, but I haven't read it https://www.cs.cmu.edu/~crary/819-f09/Howard80.pdf
2021-06-20 10:00:13 <boxscape> mastarija there's some history here https://wadler.blogspot.com/2014/08/howard-on-curry-howard.html
2021-06-20 10:00:16 <tomsmeding> Rembane: the parts that feel odd to me (but I don't have a better alternative!) are the weights of the rules for priotitised sampling and the selection of types for unconstrained type variables (namely selecting environment types and functions of them, or something)
2021-06-20 10:00:33 <boxscape> mastarija and I found the reference to that in http://www.cs.bc.edu/~muller/teaching/lc/WadlerPropositionsAsTypes.pdf
2021-06-20 10:01:59 <tomsmeding> Cajun: if you're still using `cabal install --lib`, I think that is what's giving you issues. The normal usage of cabal (and what it's debugged for :p) is where you have a project with dependencies, and you work in a project
2021-06-20 10:02:16 <tomsmeding> You never globally install anything, except perhaps executables
2021-06-20 10:02:44 <tomsmeding> Kind of like a python virtualenv, or a Cargo.toml file for rust, or a package.json for nodejs
2021-06-20 10:03:50 <tomsmeding> If you want to be able to use a repl on an ad-hoc basis, try to use `cabal repl -b accelerate` or similar -- which essentially sets up a temporary project with the given dependenc(y)(ies)
2021-06-20 10:04:28 <tomsmeding> Cabal should be smart enough to not recompile libraries if you depend on them in a similar enough configuration
2021-06-20 10:06:41 <tomsmeding> Cajun: cabal's documentation says that `install --lib` modifies a file in `~/.ghc/$ARCH-$OS-$GHCVER/environments/default`; you might want to remove that file in case there is some odd configuration there now
2021-06-20 10:06:53 <tomsmeding> (docs: https://cabal.readthedocs.io/en/3.4/cabal-commands.html#cabal-v2-install )
2021-06-20 10:07:52 <qrpnxz> iterators: just works. https://termbin.com/yotb
2021-06-20 10:09:51 → _xor joins (~xor@74.215.46.133)
2021-06-20 10:10:06 <qrpnxz> > The _real_ reason for all this is that we still use ASCII strings to notate programs when we could be using interfaces actually based on ASTs
2021-06-20 10:10:06 <qrpnxz> boxscape: been kind of waiting for this to happen, haskell is probably a good candidate for such an interface given that composition is its whole shtick
2021-06-20 10:10:12 <lambdabot> error:
2021-06-20 10:10:12 <lambdabot> Data constructor not in scope:
2021-06-20 10:10:12 <lambdabot> The
2021-06-20 10:10:52 <boxscape> qrpnxz yeah I also think expression-based languages might be a better fit than statement-based ones
2021-06-20 10:10:58 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 244 seconds)
2021-06-20 10:12:00 × HotblackDesiato quits (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 244 seconds)
2021-06-20 10:12:31 × nf quits (~n@monade.li) (Quit: Fairfarren.)
2021-06-20 10:12:33 → adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
2021-06-20 10:12:36 × chexum quits (~chexum@gateway/tor-sasl/chexum) (Remote host closed the connection)
2021-06-20 10:12:44 → nf joins (~n@monade.li)
2021-06-20 10:12:46 → HotblackDesiato joins (~HotblackD@gateway/tor-sasl/hotblackdesiato)
2021-06-20 10:13:45 → ph88 joins (~ph88@2a02:8109:9e00:7e5c:1960:9d14:60f8:23cf)
2021-06-20 10:14:13 × nf quits (~n@monade.li) (Client Quit)
2021-06-20 10:15:00 → chexum joins (~chexum@gateway/tor-sasl/chexum)
2021-06-20 10:15:07 → nf joins (~n@monade.li)
2021-06-20 10:18:00 ← jakalx parts (~jakalx@base.jakalx.net) ()
2021-06-20 10:23:21 × mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 258 seconds)
2021-06-20 10:28:20 × fabfianda quits (~fabfianda@net-109-116-251-109.cust.vodafonedsl.it) (Ping timeout: 258 seconds)
2021-06-20 10:28:36 → fabfianda joins (~fabfianda@mob-5-90-249-105.net.vodafone.it)
2021-06-20 10:29:05 → nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-20 10:30:34 → ddellacosta joins (~ddellacos@86.106.121.100)
2021-06-20 10:33:42 × HotblackDesiato quits (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 244 seconds)
2021-06-20 10:34:44 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 244 seconds)
2021-06-20 10:34:44 × gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 244 seconds)
2021-06-20 10:34:48 × ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 252 seconds)
2021-06-20 10:35:19 × chexum quits (~chexum@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.)
2021-06-20 10:35:45 → HotblackDesiato joins (~HotblackD@gateway/tor-sasl/hotblackdesiato)
2021-06-20 10:35:46 → adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
2021-06-20 10:36:31 → gehmehgeh joins (~user@user/gehmehgeh)
2021-06-20 10:37:32 × mastarija quits (~mastarija@31.217.22.187) (Ping timeout: 258 seconds)
2021-06-20 10:37:54 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-20 10:38:21 → chexum joins (~chexum@gateway/tor-sasl/chexum)
2021-06-20 10:38:43 → dhil joins (~dhil@80.208.56.181)
2021-06-20 10:46:06 × HotblackDesiato quits (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 244 seconds)
2021-06-20 10:46:34 → HotblackDesiato joins (~HotblackD@gateway/tor-sasl/hotblackdesiato)
2021-06-20 10:47:29 → jakalx joins (~jakalx@base.jakalx.net)
2021-06-20 10:47:38 → is7s joins (~is7s@2a01:4b00:895f:3d00:ddd:ae00:86d4:d79c)
2021-06-20 10:50:06 × altern quits (~altern@altern.corbina.com.ua) (Ping timeout: 264 seconds)
2021-06-20 10:52:52 × dhil quits (~dhil@80.208.56.181) (Ping timeout: 258 seconds)
2021-06-20 10:54:03 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Quit: _)
2021-06-20 10:54:04 × chexum quits (~chexum@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.)
2021-06-20 10:54:16 → chexum joins (~chexum@gateway/tor-sasl/chexum)
2021-06-20 10:54:18 → adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
2021-06-20 10:55:27 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 265 seconds)
2021-06-20 10:58:14 × fabfianda quits (~fabfianda@mob-5-90-249-105.net.vodafone.it) (Ping timeout: 258 seconds)
2021-06-20 10:58:59 → fabfianda joins (~fabfianda@net-109-116-251-109.cust.vodafonedsl.it)
2021-06-20 11:00:15 × Cajun quits (~Cajun@ip98-163-211-112.no.no.cox.net) (Quit: Client closed)
2021-06-20 11:03:02 × nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 252 seconds)
2021-06-20 11:05:20 × matsurago quits (~matsurago@nttkyo1710068.tkyo.nt.ngn.ppp.infoweb.ne.jp) (Quit: Leaving)
2021-06-20 11:07:06 → dhil joins (~dhil@195.213.192.47)
2021-06-20 11:08:42 × xff0x quits (~xff0x@2001:1a81:5381:2000:b608:3aa5:8037:f5c5) (Ping timeout: 264 seconds)
2021-06-20 11:09:03 → xff0x joins (~xff0x@2001:1a81:5381:2000:e1b5:6bc2:be6a:4590)
2021-06-20 11:09:11 → synthmeat joins (~synthmeat@user/synthmeat)
2021-06-20 11:09:54 → ddellacosta joins (~ddellacos@86.106.121.100)
2021-06-20 11:10:12 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-06-20 11:10:19 → hegstal joins (~hegstal@2a02:c7f:7604:8a00:3573:4e54:4d99:437f)
2021-06-20 11:14:24 × ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 252 seconds)
2021-06-20 11:15:22 → favonia joins (~favonia@user/favonia)
2021-06-20 11:16:47 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-20 11:18:31 × sm2n quits (~sm2n@user/sm2n) (Quit: Leaving)
2021-06-20 11:18:48 ← jakalx parts (~jakalx@base.jakalx.net) ()
2021-06-20 11:19:44 → jakalx joins (~jakalx@base.jakalx.net)
2021-06-20 11:20:31 → sm2n joins (~sm2n@user/sm2n)
2021-06-20 11:24:04 × yd502_ quits (~yd502@114.85.148.68) (Read error: Connection reset by peer)
2021-06-20 11:26:12 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-20 11:28:54 × teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-06-20 11:29:15 × involans quits (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 265 seconds)
2021-06-20 11:30:44 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 551 552 553 554 555 556 557 558 559 560 561 .. 18007

All times are in UTC.