Logs: liberachat/#haskell
| 2021-07-20 20:28:33 | <maerwald> | converting to strict will also cause memory copy |
| 2021-07-20 20:28:37 | <lechner> | i actally have a strict bytestring from the socket |
| 2021-07-20 20:29:07 | × | Null_A quits (~null_a@2601:645:8700:2290:51:7614:ed:3f42) (Remote host closed the connection) |
| 2021-07-20 20:29:59 | <sm> | would anyone have thoughts on https://github.com/commercialhaskell/stack/issues/5591 ? The GHC_ENVIRONMENT file created by `stack test` is breaking doctest, only with GHC 9.0. I wonder if it could be the newer template-haskell 2.17, and how to test that |
| 2021-07-20 20:30:10 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-07-20 20:30:28 | × | Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Ping timeout: 265 seconds) |
| 2021-07-20 20:30:30 | <lechner> | maerwald: why does 'evaluate' only go to WHNF, please? |
| 2021-07-20 20:30:50 | <sm> | aha I can think of a way |
| 2021-07-20 20:30:52 | × | nvmd quits (~nvmd@user/nvmd) (Quit: Later, nerds.) |
| 2021-07-20 20:31:12 | <maerwald> | lechner: because this is haskell? |
| 2021-07-20 20:31:20 | <maerwald> | well |
| 2021-07-20 20:31:25 | <maerwald> | not necessarily |
| 2021-07-20 20:31:47 | <maerwald> | lazy evaluation and all |
| 2021-07-20 20:31:49 | × | jespada quits (~jespada@90.254.247.46) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-20 20:31:53 | → | Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
| 2021-07-20 20:32:08 | <maerwald> | you *could* define other evaluation functions, sure |
| 2021-07-20 20:32:26 | <maerwald> | and in a pure language they shall all be equivalent-ish |
| 2021-07-20 20:32:38 | <lechner> | i always thought 'lazy evaluation' was a contradiction in terms, but here it is |
| 2021-07-20 20:34:00 | → | dunkeln_ joins (~dunkeln@188.71.231.232) |
| 2021-07-20 20:34:57 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-20 20:35:45 | <lechner> | does a half-lazy 'evaluate' make sense with ByteStrings, though? |
| 2021-07-20 20:36:32 | <davean> | what is "half-lazy"? |
| 2021-07-20 20:36:38 | <lechner> | WHNF |
| 2021-07-20 20:36:42 | <maerwald> | huh? |
| 2021-07-20 20:36:46 | <davean> | in what way is that half lazy? |
| 2021-07-20 20:37:20 | <lechner> | well, it's apparently not doing a complete evaluation |
| 2021-07-20 20:37:25 | <maerwald> | there's also HNF |
| 2021-07-20 20:37:29 | <maerwald> | and NF |
| 2021-07-20 20:37:31 | <davean> | Its going to *A* complete evaluation |
| 2021-07-20 20:37:43 | <maerwald> | lechner: for the 3rd time: read the documentation on 'evaluate' |
| 2021-07-20 20:37:50 | <davean> | just not all complete evaluations that are below that |
| 2021-07-20 20:37:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-20 20:38:08 | <lechner> | i am, but they recommend force instead of deepseq |
| 2021-07-20 20:38:41 | <lechner> | shallow evaluation would have been a better term |
| 2021-07-20 20:39:11 | <maerwald> | lazy evaluation is an operational term anyway |
| 2021-07-20 20:39:42 | <maerwald> | not sure those terms are that precise to begin with |
| 2021-07-20 20:40:12 | <lechner> | deepseq only does the first chunk, while evaluate $ force does the whole string? |
| 2021-07-20 20:40:13 | <davean> | Theres several well defined steps of evaluation |
| 2021-07-20 20:40:27 | <maerwald> | lechner: try it |
| 2021-07-20 20:40:34 | × | dunkeln_ quits (~dunkeln@188.71.231.232) (Ping timeout: 240 seconds) |
| 2021-07-20 20:40:43 | → | dtman34 joins (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) |
| 2021-07-20 20:40:45 | <maerwald> | deepseq and force are kinda the same thing |
| 2021-07-20 20:40:59 | <maerwald> | read the documentation of 'force' |
| 2021-07-20 20:41:23 | <maerwald> | @src force |
| 2021-07-20 20:41:24 | <lambdabot> | Source not found. My mind is going. I can feel it. |
| 2021-07-20 20:41:46 | <maerwald> | no shortcut, use your browser |
| 2021-07-20 20:41:57 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 268 seconds) |
| 2021-07-20 20:42:04 | <lechner> | What's an easy way to figure out the hackage package name from the docs, please? |
| 2021-07-20 20:42:22 | <maerwald> | @hoogle force |
| 2021-07-20 20:42:23 | <lambdabot> | Data.Vector force :: Vector a -> Vector a |
| 2021-07-20 20:42:23 | <lambdabot> | Data.Vector.Generic force :: Vector v a => v a -> v a |
| 2021-07-20 20:42:23 | <lambdabot> | Data.Vector.Primitive force :: Prim a => Vector a -> Vector a |
| 2021-07-20 20:42:24 | <lechner> | at the very top, i suppose |
| 2021-07-20 20:42:35 | → | oxide joins (~lambda@user/oxide) |
| 2021-07-20 20:42:41 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-20 20:42:45 | <maerwald> | @where hoogle |
| 2021-07-20 20:42:45 | <lambdabot> | https://hoogle.haskell.org |
| 2021-07-20 20:43:44 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-20 20:44:07 | → | acidjnk joins (~acidjnk@p200300d0c72b9575c508b842a8b97de2.dip0.t-ipconnect.de) |
| 2021-07-20 20:45:44 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-20 20:46:21 | <lechner> | maerwald: you nailed it! force did it. thanks so much! |
| 2021-07-20 20:47:00 | <maerwald> | here's my BTC address... |
| 2021-07-20 20:52:34 | <maerwald> | lechner: also: awful API from lzma |
| 2021-07-20 20:53:21 | <maerwald> | streamly might soon support things like that |
| 2021-07-20 20:59:33 | → | dunkeln joins (~dunkeln@188.71.231.232) |
| 2021-07-20 21:02:19 | × | abhixec_ quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2021-07-20 21:05:29 | <lechner> | maerwald: Debian is tight on cash (and BTC) but I credited you and dsal on the website. I hope it compensates you, however inadequately, for your kind. Thanks so much to both of you! https://lintian.debian.org/ |
| 2021-07-20 21:07:09 | <lechner> | that was supposed to read "kind help". Anyway, thanks! |
| 2021-07-20 21:10:17 | → | jmorris joins (uid433911@id-433911.stonehaven.irccloud.com) |
| 2021-07-20 21:10:19 | × | benin0369 quits (~benin@106.198.95.190) (Read error: Connection reset by peer) |
| 2021-07-20 21:12:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-20 21:12:14 | → | benin0369 joins (~benin@46.244.28.118) |
| 2021-07-20 21:12:59 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 2021-07-20 21:18:59 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-07-20 21:19:26 | <h98> | is there a standard size function/class that will give me the length of a type of kind [*]? like "size @(Int ': Int ': String ': Float) = 4" |
| 2021-07-20 21:19:49 | <h98> | (I can write one obviously, just wondering if it's in a library somewhere) |
| 2021-07-20 21:25:25 | × | fendor quits (~fendor@91.141.52.148.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-07-20 21:29:36 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-07-20 21:39:39 | <[exa]> | h98: you might have luck with Generics |
| 2021-07-20 21:39:48 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-20 21:40:13 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-20 21:42:30 | → | chomwitt joins (~chomwitt@2a02:587:dc0e:ef00:12c3:7bff:fe6d:d374) |
| 2021-07-20 21:43:05 | <[exa]> | (or maybe with just gfoldl) |
| 2021-07-20 21:44:05 | <smtnet3> | man... i gotta learn me some generics |
| 2021-07-20 21:47:02 | → | x_kuru joins (~xkuru@user/xkuru) |
| 2021-07-20 21:47:05 | × | vysn quits (~vysn@user/vysn) (Quit: WeeChat 3.0.1) |
| 2021-07-20 21:48:12 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Read error: Connection reset by peer) |
| 2021-07-20 21:48:17 | → | Null_A joins (~null_a@2601:645:8700:2290:51:7614:ed:3f42) |
| 2021-07-20 21:49:12 | × | xkuru quits (~xkuru@user/xkuru) (Ping timeout: 255 seconds) |
| 2021-07-20 21:50:25 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 2021-07-20 21:50:47 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-07-20 21:50:49 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-20 21:50:56 | → | vysn joins (~vysn@user/vysn) |
| 2021-07-20 21:51:00 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 255 seconds) |
| 2021-07-20 21:51:01 | <[exa]> | % gfoldl (\(Const n) _ -> Const (n+1)) (const $ Const 0) (Just 5) |
| 2021-07-20 21:51:01 | <yahb> | [exa]: Const 1 |
| 2021-07-20 21:51:12 | <[exa]> | % gfoldl (\(Const n) _ -> Const (n+1)) (const $ Const 0) (1:[]) |
| 2021-07-20 21:51:12 | <yahb> | [exa]: Const 2 |
| 2021-07-20 21:51:16 | <[exa]> | \o/ |
| 2021-07-20 21:51:22 | × | adinf quits (~adinfinit@2600:6c40:653f:5f00:a650:d8d7:fe0b:8c1f) (Ping timeout: 245 seconds) |
All times are in UTC.