Logs: freenode/#haskell
| 2020-10-30 15:25:19 | <dolio> | The cabal file doesn't actually have a test suite. |
| 2020-10-30 15:25:41 | <tomjaguarpaw> | I think it's pulled in by cabal.project |
| 2020-10-30 15:25:43 | <merijn> | dolio: There's a testsuite + cabal file in the testsuite directory and cabal.project pulls it in |
| 2020-10-30 15:25:44 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-30 15:26:35 | <dolio> | Right, so you should build only the stm package, probably. |
| 2020-10-30 15:26:42 | × | toorevitimirp quits (~tooreviti@117.182.180.36) (Ping timeout: 268 seconds) |
| 2020-10-30 15:27:28 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2020-10-30 15:27:41 | → | toorevitimirp joins (~tooreviti@117.182.180.36) |
| 2020-10-30 15:28:10 | → | dhil joins (~dhil@195.213.192.107) |
| 2020-10-30 15:28:31 | <tomjaguarpaw> | How would I do that? cabal v2-build stm doesn't seem to work. |
| 2020-10-30 15:28:37 | <tomjaguarpaw> | Nor does cabal v2-build . |
| 2020-10-30 15:28:42 | <tomjaguarpaw> | I'm not sure what the incantation is |
| 2020-10-30 15:29:02 | <merijn> | Just comment out the two lines in cabal.project? :p |
| 2020-10-30 15:30:30 | × | LKoen quits (~LKoen@81.255.219.130) (Remote host closed the connection) |
| 2020-10-30 15:30:48 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2020-10-30 15:32:44 | <dolio> | Possibly `.:stm` would work. I'm not super familiar with the syntax for specifying things. |
| 2020-10-30 15:33:09 | × | jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection) |
| 2020-10-30 15:33:29 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 268 seconds) |
| 2020-10-30 15:33:44 | → | softwarm joins (4408f588@ip68-8-245-136.sd.sd.cox.net) |
| 2020-10-30 15:34:33 | <angerman> | tomsmeding: I think it's also going to possibly provide some foundation for SIMD optimisations; let's see. |
| 2020-10-30 15:37:26 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 2020-10-30 15:39:16 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 2020-10-30 15:40:35 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2020-10-30 15:40:40 | × | akad_ quits (~akad@109107030050.radomsko.vectranet.pl) (Ping timeout: 246 seconds) |
| 2020-10-30 15:41:37 | <tomsmeding> | that would be very nice, more optimisations is always a good thing |
| 2020-10-30 15:41:58 | × | Franciman quits (~francesco@host-79-36-167-172.retail.telecomitalia.it) (Quit: Leaving) |
| 2020-10-30 15:44:09 | hackage | polysemy-fskvstore 0.1.0.0 - Run a KVStore as a filesystem in polysemy. https://hackage.haskell.org/package/polysemy-fskvstore-0.1.0.0 (locallycompact) |
| 2020-10-30 15:47:21 | <mananamenos> | hi, `f a b $ f c d $ f w z` is there a way rewrite this this call in some way so that `f` appears once only/ |
| 2020-10-30 15:47:37 | → | xerox_ joins (~xerox@unaffiliated/xerox) |
| 2020-10-30 15:48:02 | <mananamenos> | `f a b $ f c d $ f w z []`, sorry, meant to write this |
| 2020-10-30 15:48:12 | <__monty__> | (\g -> g a b $ g c d $ g w z []) f |
| 2020-10-30 15:48:47 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-30 15:48:56 | <dminuoso> | mananamenos: Can you share a bit more context perhaps? |
| 2020-10-30 15:50:16 | <dminuoso> | `f a b (f c b (f w z))` looks like a list, so a recursion scheme could fit. |
| 2020-10-30 15:51:54 | <mananamenos> | dminuoso, just playing with concepts..yes you're probably right, it is recursion scheme that would fit best |
| 2020-10-30 15:52:05 | <merijn> | Or just uncurry + map |
| 2020-10-30 15:52:15 | <merijn> | ah, no, not quite |
| 2020-10-30 15:52:23 | <dminuoso> | uncurry + foldr |
| 2020-10-30 15:52:30 | <dminuoso> | or, rather curry + foldr |
| 2020-10-30 15:52:32 | → | brandonhamilton joins (~brandonha@2001:19f0:6c01:1579:5400:2ff:fee8:d636) |
| 2020-10-30 15:52:35 | <dminuoso> | uh |
| 2020-10-30 15:52:39 | <merijn> | :t uncurry |
| 2020-10-30 15:52:41 | <lambdabot> | (a -> b -> c) -> (a, b) -> c |
| 2020-10-30 15:52:44 | <dminuoso> | I always mix them up |
| 2020-10-30 15:52:49 | <merijn> | same |
| 2020-10-30 15:54:59 | → | xnt14 joins (~xnt14@185.204.1.185) |
| 2020-10-30 15:55:51 | → | solonarv joins (~solonarv@astrasbourg-653-1-117-122.w90-33.abo.wanadoo.fr) |
| 2020-10-30 15:56:35 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-msjovqkiidznwkye) |
| 2020-10-30 15:56:35 | → | mbomba joins (~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca) |
| 2020-10-30 15:59:42 | × | raichoo quits (~raichoo@dslb-188-101-191-075.188.101.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 2020-10-30 16:01:09 | → | thir joins (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) |
| 2020-10-30 16:01:36 | <mananamenos> | thanks |
| 2020-10-30 16:01:51 | × | hiroaki quits (~hiroaki@2a02:908:4b18:e20::8f6e) (Ping timeout: 268 seconds) |
| 2020-10-30 16:03:04 | × | brandonhamilton quits (~brandonha@2001:19f0:6c01:1579:5400:2ff:fee8:d636) (Quit: Textual IRC Client: www.textualapp.com) |
| 2020-10-30 16:06:10 | × | thir quits (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2020-10-30 16:07:58 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 2020-10-30 16:08:25 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-30 16:10:15 | → | nineonine joins (~textual@216-19-190-182.dyn.novuscom.net) |
| 2020-10-30 16:11:28 | × | nineonine quits (~textual@216-19-190-182.dyn.novuscom.net) (Client Quit) |
| 2020-10-30 16:11:31 | × | bartemius quits (~bartemius@109-252-20-20.nat.spd-mgts.ru) (Remote host closed the connection) |
| 2020-10-30 16:12:05 | → | giorgoskos joins (~giorgosko@athedsl-4372657.home.otenet.gr) |
| 2020-10-30 16:12:40 | <giorgoskos> | any hacker here? |
| 2020-10-30 16:13:39 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-30 16:13:40 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 2020-10-30 16:13:59 | → | nineonine joins (~textual@216-19-190-182.dyn.novuscom.net) |
| 2020-10-30 16:14:13 | × | toorevitimirp quits (~tooreviti@117.182.180.36) (Remote host closed the connection) |
| 2020-10-30 16:14:28 | → | hiroaki joins (~hiroaki@2a02:908:4b18:e20::f733) |
| 2020-10-30 16:15:46 | × | nineonine quits (~textual@216-19-190-182.dyn.novuscom.net) (Client Quit) |
| 2020-10-30 16:16:08 | <ghoulguy> | giorgoskos, yes, how can I help you? |
| 2020-10-30 16:16:27 | <giorgoskos> | i need someone to help me to hack someone facebook |
| 2020-10-30 16:17:02 | <Uniaika> | wtf |
| 2020-10-30 16:18:02 | <giorgoskos> | any help? |
| 2020-10-30 16:18:14 | <ghoulguy> | giorgoskos, ah OK. You're on the wrong network. |
| 2020-10-30 16:18:33 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 2020-10-30 16:18:35 | <giorgoskos> | were i go? |
| 2020-10-30 16:18:44 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2020-10-30 16:18:48 | <ghoulguy> | giorgoskos, try Google |
| 2020-10-30 16:19:02 | <giorgoskos> | and? |
| 2020-10-30 16:19:06 | <ghoulguy> | and search |
| 2020-10-30 16:19:23 | <giorgoskos> | i found this site for hacks |
| 2020-10-30 16:19:27 | <giorgoskos> | on google |
| 2020-10-30 16:19:31 | ChanServ | sets mode +q *!*@79.130.40.161 |
| 2020-10-30 16:19:32 | <monsterchrom> | "We are not a directory service either." |
| 2020-10-30 16:20:20 | × | giorgoskos quits (~giorgosko@athedsl-4372657.home.otenet.gr) (Remote host closed the connection) |
| 2020-10-30 16:20:41 | × | xiinotulp quits (~q@ppp-223-24-190-153.revip6.asianet.co.th) (Ping timeout: 258 seconds) |
| 2020-10-30 16:21:06 | <monsterchrom> | I inflicted shift/reset on my students today. They are now thoroughly turned inside-out. |
| 2020-10-30 16:21:07 | → | xiinotulp joins (~q@ppp-49-237-16-83.revip6.asianet.co.th) |
| 2020-10-30 16:21:33 | <monsterchrom> | I also caught a chance to say "now we shift gear to..." |
| 2020-10-30 16:22:10 | × | sam___ quits (~sam@141.104.204.77.rev.sfr.net) (Read error: Connection reset by peer) |
| 2020-10-30 16:24:35 | <koz_> | Not gonna lie - I didn't get shift/reset until I saw their Cont-based type sigs. |
| 2020-10-30 16:24:47 | <koz_> | Then I was like 'oh, so _that's_ what they do, huh'. |
| 2020-10-30 16:25:04 | <dolio> | Which ones? |
| 2020-10-30 16:25:39 | ← | thblt parts (~thblt@unaffiliated/thblt) ("ERC (IRC client for Emacs 27.1)") |
| 2020-10-30 16:25:52 | <texasmynsted> | sigh Haskell cafe keeps telling my my email address is invalid. Oh well. |
| 2020-10-30 16:26:53 | → | seveg joins (~gabriel@2a02-ab04-0249-8d00-7d49-c4e2-4790-91c2.dynamic.v6.chello.sk) |
| 2020-10-30 16:26:54 | <Uniaika> | texasmynsted: oh? |
| 2020-10-30 16:27:02 | texasmynsted | shrug |
| 2020-10-30 16:27:04 | <texasmynsted> | yes |
| 2020-10-30 16:27:18 | <monsterchrom> | Today I showed Racket's shift/reset. But I think I will have a chance to show Haskell's Cont and runCont next month. |
| 2020-10-30 16:27:22 | → | wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) |
All times are in UTC.