Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 .. 18038
— 1,803,719 events total
2021-07-27 22:10:25 <hpc> you have to ^C while execution is in an exception handler, it seems
2021-07-27 22:11:59 × justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2)
2021-07-27 22:12:02 × burnsidesLlama quits (~burnsides@dhcp168-022.wadham.ox.ac.uk) (Remote host closed the connection)
2021-07-27 22:12:05 → agua joins (~agua@2804:14c:8793:8e2f:24cc:893e:e794:aea7)
2021-07-27 22:12:47 <lechner> Hi, is there a way to assign values to a constituent in a "data" type (sorry, if that lingo is bogus) or do I always have to construct a new one?
2021-07-27 22:12:49 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2021-07-27 22:13:15 <monochrom> Immutable data means you have to construct a new one.
2021-07-27 22:13:21 <geekosaur> you always ocnstruct a new one although it may be based on an old one
2021-07-27 22:13:49 <monochrom> It also means that you can still get 90% reuse.
2021-07-27 22:14:25 → drd joins (~drd@93-39-151-19.ip76.fastwebnet.it)
2021-07-27 22:14:29 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-07-27 22:15:31 <hpc> record update syntax can be a nice shortcut for having to fully type out constructing a new value
2021-07-27 22:15:54 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 276 seconds)
2021-07-27 22:15:59 × pesada quits (~agua@2804:18:4a:f76c:1:0:5e60:e39) (Ping timeout: 268 seconds)
2021-07-27 22:16:32 <lechner> that discipline is great. i keep finding bugs, or near misses
2021-07-27 22:16:57 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-27 22:17:14 → Null_A joins (~null_a@2601:645:8700:2290:5520:ed9a:24da:3d0c)
2021-07-27 22:18:17 <lechner> i really have to get my types in order
2021-07-27 22:18:35 → jpds joins (~jpds@gateway/tor-sasl/jpds)
2021-07-27 22:19:28 <sm> get your ducks in a row 🦆 🦆 🦆
2021-07-27 22:20:14 <lechner> if they only were all ducks!
2021-07-27 22:22:08 <lechner> this program will be so reliable, they can take it to Mars
2021-07-27 22:23:22 × dhil quits (~dhil@195.213.192.47) (Ping timeout: 240 seconds)
2021-07-27 22:24:19 <sm> all must be ducks in ducks compartment. Please stay in your assigned seating so that we can depart for Mars on time.
2021-07-27 22:25:34 <lechner> actually, with "duck typing" being a common expression elsewhere we should really pick a different animal
2021-07-27 22:25:34 → sheepduck joins (~sheepduck@user/sheepduck)
2021-07-27 22:26:16 <sm> these are space ducks
2021-07-27 22:27:02 × Null_A quits (~null_a@2601:645:8700:2290:5520:ed9a:24da:3d0c) (Remote host closed the connection)
2021-07-27 22:27:03 <sm> highly trained
2021-07-27 22:27:32 <Axman6> These ducks know their type, and will not accept gooses
2021-07-27 22:28:28 <Axman6> (and gooses are distinct from geese too)
2021-07-27 22:30:46 <lechner> with so much professionalism required, I was more thinking about penguins: https://www.youtube.com/watch?v=j1iejIfJ0gk
2021-07-27 22:31:28 <DigitalKiwi> what do you call a flock of geese at 1600 Amphitheatre Parkway?
2021-07-27 22:31:34 <DigitalKiwi> a gaggle
2021-07-27 22:32:24 × arthurxavierx quits (~arthurxav@201.17.157.69) (Remote host closed the connection)
2021-07-27 22:34:36 <DigitalKiwi> if that is not improved upon and posted to twitter later ya'll have failed me ;(
2021-07-27 22:35:31 → Null_A joins (~null_a@2601:645:8700:2290:5520:ed9a:24da:3d0c)
2021-07-27 22:36:06 × vysn quits (~vysn@user/vysn) (Remote host closed the connection)
2021-07-27 22:37:00 × chris_ quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-07-27 22:37:13 → chris_ joins (~chris@81.96.113.213)
2021-07-27 22:38:49 <Cale> lechner: Yeah, the way that I think about it is that if you want to write good software in a language without a good type system, you still need to think about types, it's just that the computer isn't going to be much help.
2021-07-27 22:39:58 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-07-27 22:40:21 <lechner> Cale: I feel silly about having done so much in Perl
2021-07-27 22:40:32 <DigitalKiwi> plz buy my new book on dysfunctional programming; types without thinking, available soon but maybe never!
2021-07-27 22:40:51 × finsternis quits (~X@23.226.237.192) (Remote host closed the connection)
2021-07-27 22:41:14 × ukari quits (~ukari@user/ukari) (Ping timeout: 252 seconds)
2021-07-27 22:41:53 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 252 seconds)
2021-07-27 22:42:04 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-27 22:42:22 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-07-27 22:42:44 <DigitalKiwi> (this is parody)
2021-07-27 22:43:52 → meinside_ joins (uid24933@id-24933.brockwell.irccloud.com)
2021-07-27 22:44:41 → peterhil joins (~peterhil@mobile-access-b04815-181.dhcp.inet.fi)
2021-07-27 22:45:34 × P1RATEZ quits (piratez@user/p1ratez) (Remote host closed the connection)
2021-07-27 22:45:47 <DigitalKiwi> kind of want that book though ;(
2021-07-27 22:45:48 × drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 276 seconds)
2021-07-27 22:46:54 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-07-27 22:47:17 <monochrom> I think I can contribute to that book. When I was undergrad, some classmates did the following, I had to correct them.
2021-07-27 22:47:40 <monochrom> We were learning C and reading man pages for library functions like strcpy for example.
2021-07-27 22:48:22 <monochrom> man page had a line about the type, "char *strcpy(char *dest, const char *src)".
2021-07-27 22:48:52 <monochrom> My classmates fulfilled that line only, without reading the rest of the man page or understanding why we need dst, by coding:
2021-07-27 22:49:04 <monochrom> char *foo; strcpy(foo, "hello");
2021-07-27 22:49:21 <geekosaur> oy
2021-07-27 22:50:21 × zeenk quits (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) (Quit: Konversation terminated!)
2021-07-27 22:51:23 → curiousgay joins (~curiousga@77-120-186-48.kha.volia.net)
2021-07-27 22:53:02 × acidjnk_new3 quits (~acidjnk@p200300d0c72b950729faca9193881d78.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-07-27 22:53:30 → drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-07-27 22:53:40 × Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection)
2021-07-27 22:54:49 → ukari joins (~ukari@user/ukari)
2021-07-27 22:56:04 <lechner> i once worked with a gentleman who took on an Excel task at work. the resulting file contained no formulas; he had used a desk calculator for the computations and then typed in all the values
2021-07-27 22:58:10 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds)
2021-07-27 22:58:32 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-27 22:58:34 → Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-27 22:58:46 × mnrmnaugh quits (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) (Ping timeout: 265 seconds)
2021-07-27 22:59:10 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-07-27 22:59:29 <hpc> that reminds me of a story from a web developer job interview
2021-07-27 23:00:01 <hpc> the interviewer asked "how would you calculate the area of a square", and the interviewee asked "how long are the sides?"
2021-07-27 23:00:17 <hpc> and just couldn't understand that they wanted a formula
2021-07-27 23:00:50 × drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Read error: Connection reset by peer)
2021-07-27 23:01:25 → drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-07-27 23:02:12 dermato_ is now known as dermato
2021-07-27 23:05:49 <DigitalKiwi> A mathematician, a physicist, and an engineer were all given a red rubber ball and told to find the volume.
2021-07-27 23:05:50 <DigitalKiwi> The mathematician carefully measured the diameter and evaluated a triple integral.
2021-07-27 23:05:52 <DigitalKiwi> The physicist filled a beaker with water, put the ball in the water, and measured the total displacement.
2021-07-27 23:05:54 <DigitalKiwi> The engineer looked up the model and serial numbers in his red-rubber-ball table.
2021-07-27 23:06:05 × drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Read error: Connection reset by peer)
2021-07-27 23:06:25 → Atum__ joins (~IRC@user/atum/x-2392232)
2021-07-27 23:06:28 → drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-07-27 23:07:10 × dermato quits (~dermatobr@154.21.114.128) (Quit: WeeChat 3.1)
2021-07-27 23:07:16 × chomwitt quits (~chomwitt@2a02:587:dc01:5c00:12c3:7bff:fe6d:d374) (Remote host closed the connection)
2021-07-27 23:07:54 → Atum___ joins (~IRC@user/atum/x-2392232)
2021-07-27 23:08:20 → dermato joins (~dermatobr@154.21.114.128)
2021-07-27 23:09:42 × Atum_ quits (~IRC@user/atum/x-2392232) (Ping timeout: 245 seconds)
2021-07-27 23:09:57 <hpc> when i measured my red rubber ball at home i came up with a volume of 0db
2021-07-27 23:11:29 × Atum__ quits (~IRC@user/atum/x-2392232) (Ping timeout: 252 seconds)
2021-07-27 23:12:53 → mrus joins (~mrus@2001:19f0:5:1535:5400:3ff:fe7d:10ae)
2021-07-27 23:12:58 <monochrom> Wait, I would expect the mathematician to measure the surface areas and divide by 3.
2021-07-27 23:13:22 <DigitalKiwi> the web developer is still trying to figure out how long the sides are
2021-07-27 23:13:42 <hpc> monochrom: that doesn't work in anti-de sitter space
2021-07-27 23:14:39 <monochrom> I also missed a factor of the radius.
2021-07-27 23:14:55 <monochrom> But heh anti-de-sitter space is more funny.
←Prev  Next→
Page 1 .. 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 .. 18038

All times are in UTC.