Logs: liberachat/#haskell
| 2021-07-02 17:30:46 | <wwalker> | rats. I didn't see a second edition for sale (admittedly I didn't know to look) |
| 2021-07-02 17:31:13 | <wwalker> | Thx monochrom , will do. |
| 2021-07-02 17:31:32 | <wwalker> | thanks all... |
| 2021-07-02 17:31:37 | <tam> | you can also try ghci instead |
| 2021-07-02 17:31:40 | → | alx741 joins (~alx741@186.178.109.174) |
| 2021-07-02 17:31:45 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-02 17:32:54 | <tam> | and use let double = (*2) |
| 2021-07-02 17:33:19 | <tam> | or let double x = x + x |
| 2021-07-02 17:34:23 | <boxscape_> | (you don't actually need the "let" anymore in ghci) |
| 2021-07-02 17:34:38 | <tam> | ah great |
| 2021-07-02 17:47:49 | → | jumper149 joins (~jumper149@i577BCBD1.versanet.de) |
| 2021-07-02 17:48:13 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-02 17:48:19 | → | _73 joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-07-02 17:48:55 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-02 17:49:22 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-02 17:51:59 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-02 17:52:11 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-02 17:53:53 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-02 17:56:38 | → | koboldchieftain joins (~jwhittle@2600:1700:6750:a000::26) |
| 2021-07-02 17:57:57 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds) |
| 2021-07-02 18:00:13 | × | nurupo quits (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
| 2021-07-02 18:00:27 | → | nurupo joins (~nurupo.ga@user/nurupo) |
| 2021-07-02 18:00:42 | → | warnz joins (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) |
| 2021-07-02 18:02:32 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-07-02 18:03:42 | × | MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 268 seconds) |
| 2021-07-02 18:05:08 | × | warnz quits (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) (Ping timeout: 256 seconds) |
| 2021-07-02 18:05:45 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 265 seconds) |
| 2021-07-02 18:12:35 | <wwalker> | Cool, good info! Thank you all! |
| 2021-07-02 18:12:53 | ← | _73 parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2)) |
| 2021-07-02 18:13:25 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-02 18:14:01 | → | _73 joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-07-02 18:15:49 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-02 18:16:18 | → | ukari joins (~ukari@user/ukari) |
| 2021-07-02 18:16:52 | × | mei quits (~mei@user/mei) (Quit: Client closed) |
| 2021-07-02 18:17:15 | <_73> | I would like a function `[Word8] -> Word64`. That works by appending the bytes together. I have tried using Data.ByteString.pack to to turn the [Word8] into a bytestring, and then using Data.Binary.decode to turn the bytestring into a Word64, however I am using strict bytestrings instead of lazy ones so this did not work. I could use advice on what I can do. |
| 2021-07-02 18:17:18 | → | smichel joins (~smichel@2601:193:8201:330::1) |
| 2021-07-02 18:18:20 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-02 18:19:33 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-07-02 18:19:45 | → | mei joins (~mei@user/mei) |
| 2021-07-02 18:22:42 | → | chisui joins (~chisui@200116b866763900f1775f6a59e6eae4.dip.versatel-1u1.de) |
| 2021-07-02 18:22:50 | <monochrom> | Moreover, IIRC decode for Word64 totally doesn't use the format you expect. |
| 2021-07-02 18:22:57 | <ChaiTRex> | > foldr1 (\ b x -> shiftL x 8 .|. b) [1, 2] |
| 2021-07-02 18:22:59 | <lambdabot> | 513 |
| 2021-07-02 18:23:16 | <ChaiTRex> | _73: Here's little endian ^ |
| 2021-07-02 18:24:06 | <ChaiTRex> | Hmm, probably would need foldr because of different types. |
| 2021-07-02 18:24:42 | <_73> | ChaiTRex: oh nice. Ill see if I can use this to make a big endian version. |
| 2021-07-02 18:24:51 | <ChaiTRex> | > let f :: [Word8] -> Word64; f xs = foldr (\ b x -> shiftL x 8 .|. b) 0 xs in f [1, 2] |
| 2021-07-02 18:24:52 | <lambdabot> | error: |
| 2021-07-02 18:24:52 | <lambdabot> | • Couldn't match expected type ‘Word64’ with actual type ‘Word8’ |
| 2021-07-02 18:24:52 | <lambdabot> | • In the expression: foldr (\ b x -> shiftL x 8 .|. b) 0 xs |
| 2021-07-02 18:25:30 | <ChaiTRex> | > let f :: [Word8] -> Word64; f xs = foldr (\ b x -> shiftL x 8 .|. fromIntegral b) 0 xs in f [1, 2] |
| 2021-07-02 18:25:32 | <lambdabot> | 513 |
| 2021-07-02 18:25:53 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-02 18:26:02 | <chisui> | Hey, is there a way to compare arbitrary types, not just Nat and Symbol? |
| 2021-07-02 18:27:29 | × | lbseale quits (~lbseale@user/ep1ctetus) (Remote host closed the connection) |
| 2021-07-02 18:27:52 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-07-02 18:28:04 | <ChaiTRex> | > > let f :: [Word8] -> Word64; f xs = foldl' (\ x b -> shiftL x 8 .|. fromIntegral b) 0 xs in f [1, 2] |
| 2021-07-02 18:28:06 | <lambdabot> | <hint>:1:1: error: parse error on input ‘>’ |
| 2021-07-02 18:28:29 | <ChaiTRex> | > let f :: [Word8] -> Word64; f xs = foldl' (\ x b -> shiftL x 8 .|. fromIntegral b) 0 xs in f [1, 2] |
| 2021-07-02 18:28:30 | <lambdabot> | 258 |
| 2021-07-02 18:28:38 | <DigitalKiwi> | is there a haskell library for AWS infinidash? |
| 2021-07-02 18:28:42 | <ChaiTRex> | _73: Here it is for big endian ^ |
| 2021-07-02 18:28:55 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-07-02 18:29:18 | <_73> | ChaiTRex: Thank you. Im gonna have to think about how this works. This is what I need though. |
| 2021-07-02 18:29:42 | × | cheater quits (~Username@user/cheater) (Ping timeout: 258 seconds) |
| 2021-07-02 18:29:45 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-02 18:29:53 | → | cheater joins (~Username@user/cheater) |
| 2021-07-02 18:30:38 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-02 18:32:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-02 18:33:08 | → | stevenxl_ joins (~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) |
| 2021-07-02 18:33:23 | <DigitalKiwi> | Hecate: ^ have you one yet? |
| 2021-07-02 18:36:13 | × | stevenxl quits (~stevenlei@68.235.43.101) (Ping timeout: 258 seconds) |
| 2021-07-02 18:38:20 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-02 18:41:49 | × | chisui quits (~chisui@200116b866763900f1775f6a59e6eae4.dip.versatel-1u1.de) (Ping timeout: 246 seconds) |
| 2021-07-02 18:46:36 | → | chddr joins (~Thunderbi@91.226.34.159) |
| 2021-07-02 18:47:16 | <Franciman> | does haskell still make sense to adopt in 2021? |
| 2021-07-02 18:47:50 | <maerwald> | Franciman: what? |
| 2021-07-02 18:47:50 | <Franciman> | it has unsatisfactory with respect to the type system and the generics |
| 2021-07-02 18:47:59 | <Franciman> | I think it is become out of fashion |
| 2021-07-02 18:48:07 | → | tose joins (~tose@ip-85-160-2-70.eurotel.cz) |
| 2021-07-02 18:48:07 | <Franciman> | is there any work to improve on both? |
| 2021-07-02 18:48:08 | <maerwald> | use case? |
| 2021-07-02 18:48:20 | → | stevenxl joins (~stevenlei@68.235.43.109) |
| 2021-07-02 18:48:23 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-02 18:49:59 | <Franciman> | maerwald: any use case in which you end up using Generics to reduce boilerplate |
| 2021-07-02 18:50:14 | <Franciman> | I end up in a hell that reminds me of c++ template metaprogramming |
| 2021-07-02 18:51:05 | × | johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2021-07-02 18:51:10 | × | stevenxl_ quits (~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) (Ping timeout: 258 seconds) |
| 2021-07-02 18:52:59 | <zzz> | holy cow, i've been typing javascript for hours. i was reminded of how much i love haskell |
| 2021-07-02 18:53:37 | <maerwald> | Franciman: maybe TypeScript |
| 2021-07-02 18:53:50 | <maerwald> | it has structural typing, which is superior to generics imo |
| 2021-07-02 18:54:03 | <maerwald> | but also a little less "correct" |
| 2021-07-02 18:54:27 | <maerwald> | there are a few unsoudness issues in TypeScript, but you might not care about them in practice |
| 2021-07-02 18:54:39 | <Franciman> | thanks maerwald |
| 2021-07-02 18:54:56 | <maerwald> | I know of some haskell programmers who in fact switched to typescript... |
| 2021-07-02 18:55:06 | <maerwald> | in their professional career |
| 2021-07-02 18:55:18 | <Franciman> | I would like to switch to idris2 or agda |
| 2021-07-02 18:55:30 | <Franciman> | everytime I program in haskell I remind myself of how much i love dependent types |
| 2021-07-02 18:55:43 | <Franciman> | anche scheme-like macros |
| 2021-07-02 18:56:47 | <tomsmeding> | Franciman: who is going to maintain the code after you've written it? you yourself or someone else? |
All times are in UTC.