Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 .. 18031
— 1,803,061 events total
2021-07-20 04:12:18 justsomeguy is checking out the paper now
2021-07-20 04:13:36 <justsomeguy> But I think I'm probably taking that quote from the book too literally.
2021-07-20 04:14:06 <lechner> which book?
2021-07-20 04:14:21 <justsomeguy> Haskell programming from first princpiles (haskellbook.com)
2021-07-20 04:15:21 <justsomeguy> I'm, uhh, currently over-analysing the first chapter as part of a strange procrastination ritual.
2021-07-20 04:16:21 → P1RATEZ joins (piratez@user/p1ratez)
2021-07-20 04:16:49 <lechner> sometimes it's worthwhile to get your bearings right
2021-07-20 04:16:58 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-07-20 04:17:35 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-20 04:17:42 <justsomeguy> Well, at least I'm still learning new things from it.
2021-07-20 04:23:50 × Nahra` quits (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection)
2021-07-20 04:24:12 → Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-07-20 04:24:50 → Nahra` joins (~user@static.161.95.99.88.clients.your-server.de)
2021-07-20 04:27:27 × cjb quits (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50)
2021-07-20 04:31:36 <dsal> It's a great book. Depends on what you need to get out of it, though. I didn't care much about that particular bit of theory.
2021-07-20 04:34:51 → yauhsien joins (~yauhsien@61-231-35-149.dynamic-ip.hinet.net)
2021-07-20 04:37:48 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds)
2021-07-20 04:40:14 × yauhsien quits (~yauhsien@61-231-35-149.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-07-20 04:40:33 → cjb joins (~cjb@user/cjb)
2021-07-20 04:45:07 <justsomeguy> I've been developing a love hate relationship with it. I like the order that it teaches things in, and also how it leaves a lot of breadcrumbs to explore further. On the other hand, I often wish it to be more explcit about what the learning objectives for each chapter are, and have better code examples of where a newly introduced abstraction will be useful. It's also just too long, and not
2021-07-20 04:45:09 <justsomeguy> structured well enough to keep track of things (section names aren't descriptive enough, no figure numbers).
2021-07-20 04:45:36 <justsomeguy> But part of that is also just me learning how to read a big book.
2021-07-20 04:46:48 justsomeguy hasn't attempted to read a large non-fiction book where he can't "keep it all in his head" at once before this.
2021-07-20 04:50:12 → Codaraxis joins (~Codaraxis@user/codaraxis)
2021-07-20 04:52:48 × Codaraxis__ quits (~Codaraxis@141.98.255.148) (Ping timeout: 265 seconds)
2021-07-20 04:53:09 × Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Remote host closed the connection)
2021-07-20 04:54:37 → o1lo01ol1o joins (~o1lo01ol1@bl11-109-140.dsl.telepac.pt)
2021-07-20 04:56:30 → whileone joins (~whileone@98.37.84.120)
2021-07-20 04:58:17 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-20 04:58:25 → progwrite joins (~progwrite@95.104.194.200)
2021-07-20 04:58:47 × o1lo01ol1o quits (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) (Ping timeout: 252 seconds)
2021-07-20 04:59:31 ← progwrite parts (~progwrite@95.104.194.200) ()
2021-07-20 05:01:10 → progwrite joins (progwrite@95.104.194.200)
2021-07-20 05:01:23 ← progwrite parts (progwrite@95.104.194.200) ()
2021-07-20 05:04:37 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds)
2021-07-20 05:08:06 × P1RATEZ quits (piratez@user/p1ratez) (Remote host closed the connection)
2021-07-20 05:08:48 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-20 05:09:27 <dsal> Well, the lambda calculus thing is the first chapter, so like, I'm not sure how you got such a judgment. :)
2021-07-20 05:09:39 <dsal> But it mostly just walks you through building a lot of the fundamentals.
2021-07-20 05:10:47 <dsal> I had working haskell code I was working on when I read it, though. A lot of what it did was help me understand my code and the ideas behind it better. And dissolved some of the magic.
2021-07-20 05:11:30 <justsomeguy> As for how I came up with that opionion; I've read up to chapter 22, but am revisiting ch 1.
2021-07-20 05:11:50 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2021-07-20 05:13:29 × cjb quits (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50)
2021-07-20 05:14:13 → norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net)
2021-07-20 05:15:08 <justsomeguy> Overall, I like the book a lot. Maybe I shouldn't have said so much; I got a bit frustrated with it.
2021-07-20 05:16:20 <sm> justsomeguy: sounds quite reasonable
2021-07-20 05:19:29 × whileone quits (~whileone@98.37.84.120) (Quit: Client closed)
2021-07-20 05:20:04 → whileone joins (~jasonfout@98.37.84.120)
2021-07-20 05:22:18 × zmt00 quits (~zmt00@user/zmt00) (Quit: Gone.)
2021-07-20 05:22:18 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-07-20 05:23:05 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-20 05:24:33 → zmt00 joins (~zmt00@user/zmt00)
2021-07-20 05:25:14 × favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds)
2021-07-20 05:25:35 → favonia joins (~favonia@user/favonia)
2021-07-20 05:28:20 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-20 05:28:48 × whileone quits (~jasonfout@98.37.84.120) (Quit: WeeChat 3.1)
2021-07-20 05:30:30 × jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-20 05:31:56 <dsal> Ah. It sounded like you were just on chapter one. heh.
2021-07-20 05:32:24 <dsal> It's not a *perfect* book, but I liked the pace. I can totally understand why some people wouldn't like it. I enjoyed forgetting I ever knew how to program and just hopping in.
2021-07-20 05:33:36 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-07-20 05:34:42 × favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-20 05:34:50 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds)
2021-07-20 05:35:00 → favonia joins (~favonia@user/favonia)
2021-07-20 05:43:19 → Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-07-20 05:43:54 × favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-20 05:44:12 → favonia joins (~favonia@user/favonia)
2021-07-20 05:47:00 → chris_ joins (~chris@81.96.113.213)
2021-07-20 05:47:55 sus is now known as zero
2021-07-20 05:48:00 zero is now known as sus
2021-07-20 05:51:30 × favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-20 05:52:02 × Ananta-shesha quits (~pjetcetal@128-71-13-182.broadband.corbina.ru) (Quit: EXIT)
2021-07-20 05:55:03 → Ananta-shesha joins (~pjetcetal@128-71-13-182.broadband.corbina.ru)
2021-07-20 06:00:00 → favonia joins (~favonia@user/favonia)
2021-07-20 06:04:51 → yauhsien joins (~yauhsien@61-231-35-149.dynamic-ip.hinet.net)
2021-07-20 06:05:47 × shutdown_-h_now quits (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 265 seconds)
2021-07-20 06:05:51 × yauhsien quits (~yauhsien@61-231-35-149.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-07-20 06:06:16 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds)
2021-07-20 06:07:32 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 255 seconds)
2021-07-20 06:09:22 → guest720 joins (~user@49.5.6.87)
2021-07-20 06:09:58 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-20 06:10:44 × benin0369 quits (~benin@183.82.177.8) (Ping timeout: 252 seconds)
2021-07-20 06:11:13 → shutdown_-h_now joins (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl)
2021-07-20 06:15:15 → benin0369 joins (~benin@183.82.204.103)
2021-07-20 06:23:18 → Neunsburg joins (~Guest26@114.244.68.126)
2021-07-20 06:26:50 <sm> justsomeguy, maybe read some others for balance
2021-07-20 06:27:21 <sm> check this out: https://www.extrema.is/articles/haskell-books
2021-07-20 06:27:35 <sm> though if you've read 22 chapters of HPFFP maybe they have nothing to teach you :)
2021-07-20 06:30:18 → dunkeln joins (~dunkeln@188.71.231.232)
2021-07-20 06:33:49 × benin0369 quits (~benin@183.82.204.103) (Ping timeout: 265 seconds)
2021-07-20 06:34:12 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-20 06:35:42 → chele joins (~chele@user/chele)
2021-07-20 06:42:41 → o1lo01ol1o joins (~o1lo01ol1@bl11-109-140.dsl.telepac.pt)
2021-07-20 06:43:42 → fendor joins (~fendor@91.141.52.148.wireless.dyn.drei.com)
2021-07-20 06:47:08 × o1lo01ol1o quits (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) (Ping timeout: 255 seconds)
2021-07-20 06:48:49 × berberman quits (~berberman@user/berberman) (Ping timeout: 246 seconds)
2021-07-20 06:49:11 → Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es)
2021-07-20 06:49:32 → berberman joins (~berberman@user/berberman)
2021-07-20 06:50:11 → michalz joins (~michalz@185.246.204.50)
2021-07-20 06:50:41 × dunkeln quits (~dunkeln@188.71.231.232) (Ping timeout: 268 seconds)
2021-07-20 06:54:45 → agua joins (~agua@2804:18:4f:bc57:1:0:3808:8f6a)
←Prev  Next→
Page 1 .. 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 .. 18031

All times are in UTC.