Logs: liberachat/#haskell
| 2021-07-15 08:36:56 | <Taneb> | keltono: yeah! Tim Rice, and Benny Andersson and Björn Ulvaeus of ABBA |
| 2021-07-15 08:37:11 | <Rogach> | [exa]: I usually go for perl in such cases, actually. But interactive spreadsheet is just nicer for off-hand work - e.g. I want to move some cells around, experiment with the formulas somewhere. Styling is also nice. |
| 2021-07-15 08:37:11 | <Rogach> | But some spreadsheets I actually do in org-mode, yes =) |
| 2021-07-15 08:37:12 | → | cheater joins (~Username@user/cheater) |
| 2021-07-15 08:38:35 | <keltono> | Taneb: Oh cool! I'll have to check it out sometime |
| 2021-07-15 08:38:47 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds) |
| 2021-07-15 08:38:57 | → | Topsi joins (~Tobias@dyndsl-095-033-090-054.ewe-ip-backbone.de) |
| 2021-07-15 08:39:45 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 265 seconds) |
| 2021-07-15 08:39:58 | → | Kaipi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-15 08:40:38 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-07-15 08:43:02 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-15 08:45:56 | <andrews> | Assembly language is irritating... |
| 2021-07-15 08:46:06 | <andrews> | all you have are jumps |
| 2021-07-15 08:46:23 | <int-e> | do you suffer from jump scares? |
| 2021-07-15 08:46:38 | <tdammers> | jump scars, maybe |
| 2021-07-15 08:46:50 | <Rogach> | andrews: This escalated quickly. One moment you were installing Haskell, another you dropped down all the way to assembly =) |
| 2021-07-15 08:47:13 | <andrews> | actually I wrote an assembler program |
| 2021-07-15 08:47:29 | <andrews> | https://github.com/andrewjohnroy/Two-Fer-X86-64-Assembly/blob/main/string_manipulation.nasm |
| 2021-07-15 08:47:38 | <andrews> | it's a nightmare |
| 2021-07-15 08:47:56 | <andrews> | rather an assembly function |
| 2021-07-15 08:48:02 | <andrews> | not even the whole program |
| 2021-07-15 08:48:14 | <tdammers> | I'd call that deescalation |
| 2021-07-15 08:48:27 | × | PungentCheese quits (~PungentCh@x527179fa.dyn.telefonica.de) (Ping timeout: 255 seconds) |
| 2021-07-15 08:48:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-07-15 08:50:06 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-15 08:50:23 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-07-15 08:50:24 | <andrews> | I also have code that defines a boot sector for a hard disk |
| 2021-07-15 08:50:28 | <andrews> | https://github.com/andrewjohnroy/hello-world-boot-sector-nasm/blob/main/hello.asm |
| 2021-07-15 08:51:30 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-07-15 08:52:57 | × | keutoi quits (~keutoi@223.237.22.166) (Ping timeout: 255 seconds) |
| 2021-07-15 08:53:31 | → | nschoe joins (~quassel@178.251.84.79) |
| 2021-07-15 08:54:20 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Read error: Connection reset by peer) |
| 2021-07-15 08:55:20 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-15 09:00:13 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 2021-07-15 09:01:45 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-15 09:03:46 | → | anandprabhu joins (~anandprab@94.202.243.198) |
| 2021-07-15 09:06:14 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
| 2021-07-15 09:06:31 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-15 09:12:04 | ← | Rogach parts (uid6398@id-6398.brockwell.irccloud.com) () |
| 2021-07-15 09:15:37 | × | acidjnk_new3 quits (~acidjnk@p200300d0c72b9516c0edb1e0bd38b359.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2021-07-15 09:18:27 | × | chomwitt quits (~Pitsikoko@2a02:587:dc04:e00:12c3:7bff:fe6d:d374) (Ping timeout: 245 seconds) |
| 2021-07-15 09:19:21 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Remote host closed the connection) |
| 2021-07-15 09:19:54 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-15 09:20:23 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Quit: ubert) |
| 2021-07-15 09:21:08 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-07-15 09:22:28 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-07-15 09:22:42 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds) |
| 2021-07-15 09:24:16 | → | flareon joins (~flareon@117.222.66.126) |
| 2021-07-15 09:24:40 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-15 09:25:03 | → | chexum joins (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-15 09:26:51 | <flareon> | if i'm trying to write the expression `Just head xs`, due to right associativity of function application, it's interpreted as `(Just head) xs` which is a type error. is there a universal styling convention as to whether i should write it as `Just (head xs)` or `Just $ head xs`. i'm used to parentheses and like the former more, but i seem to remember reading some Haskell style guides which recommended the |
| 2021-07-15 09:26:57 | <flareon> | latter. |
| 2021-07-15 09:27:39 | <flareon> | s/right/left/ |
| 2021-07-15 09:27:56 | <__monty__> | flareon: $ is a bit contentious if anything. So if you prefer parens just go with those. |
| 2021-07-15 09:28:50 | <__monty__> | Might also get away with making it pointfree in simple cases though. If you can drop xs on left and rhs, `Just . head` is fairly idiomatic. |
| 2021-07-15 09:29:09 | <__monty__> | It does look like you just want to use listToMaybe though. |
| 2021-07-15 09:29:15 | <__monty__> | @hoogle listToMaybe |
| 2021-07-15 09:29:15 | <lambdabot> | Data.Maybe listToMaybe :: [a] -> Maybe a |
| 2021-07-15 09:29:15 | <lambdabot> | Distribution.Compat.Prelude.Internal listToMaybe :: [a] -> Maybe a |
| 2021-07-15 09:29:15 | <lambdabot> | Network.AWS.Prelude listToMaybe :: () => [a] -> Maybe a |
| 2021-07-15 09:29:47 | <__monty__> | Which is total. As opposed to your function which would need to be guarded against xs being []. |
| 2021-07-15 09:29:56 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds) |
| 2021-07-15 09:32:15 | <flareon> | __monty__: thanks for the suggestion. this is not a particular question. i'm running into these kinds of situations a lot and that's why i just asked using this example. i'd use to parenthesis for now but keep a guard on it lest i turn into a perpetual ophomore Haskell programmer in the evolutionary timeline :) |
| 2021-07-15 09:33:08 | <__monty__> | $ has lost popularity over time if anything. |
| 2021-07-15 09:33:47 | <flareon> | __monty__: but the point-free styling is a suggestion i'll keep in mind. it's concise. thanks! |
| 2021-07-15 09:35:06 | <__monty__> | It's very useful as long as you don't take it too far. Once you need Birds you should think long and hard about whether it's still understandable. |
| 2021-07-15 09:36:53 | → | chexum joins (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-15 09:37:23 | <flareon> | __monty__: i totally agree. did you refer to Data.Aviary.Birds? |
| 2021-07-15 09:37:35 | <flareon> | @hoogle Birds |
| 2021-07-15 09:37:35 | <lambdabot> | No results found |
| 2021-07-15 09:38:16 | <__monty__> | Exactly. |
| 2021-07-15 09:39:34 | <flareon> | __monty__: i suppose some nifty notation is no substitute for careful programming. sure. |
| 2021-07-15 09:39:50 | × | flareon quits (~flareon@117.222.66.126) (Quit: leaving) |
| 2021-07-15 09:40:41 | <__monty__> | It's more that there's a tipping point where the succinctness of expression costs you more time in the understanding than it saves. Having names for arguments can make things much clearer. |
| 2021-07-15 09:41:31 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2021-07-15 09:41:59 | → | cheater joins (~Username@user/cheater) |
| 2021-07-15 09:42:37 | <tomsmeding> | "v0.4.0: Removed the "useful" combinators (to emphasize that Data.Aviary is not a utility library)." |
| 2021-07-15 09:42:42 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 272 seconds) |
| 2021-07-15 09:46:50 | × | Gurkenglas_ quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2021-07-15 09:55:44 | × | azeem quits (~azeem@dynamic-adsl-84-220-239-177.clienti.tiscali.it) (Ping timeout: 258 seconds) |
| 2021-07-15 09:56:29 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-15 09:56:58 | <DigitalKiwi> | Data.Aviary.Crane |
| 2021-07-15 09:59:20 | → | azeem joins (~azeem@176.201.40.210) |
| 2021-07-15 09:59:44 | × | xff0x quits (~xff0x@2001:1a81:5396:d100:b9ea:2990:3a98:f09b) (Ping timeout: 255 seconds) |
| 2021-07-15 09:59:59 | × | zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-07-15 10:00:45 | → | xff0x joins (~xff0x@2001:1a81:5396:d100:8e8d:3ad4:f4d0:67e9) |
| 2021-07-15 10:03:02 | × | cheater quits (~Username@user/cheater) (Ping timeout: 245 seconds) |
| 2021-07-15 10:03:38 | → | oxide joins (~lambda@user/oxide) |
| 2021-07-15 10:03:46 | → | cheater joins (~Username@user/cheater) |
| 2021-07-15 10:04:29 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-07-15 10:07:48 | → | ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2021-07-15 10:12:05 | → | GIANTWORLDKEEPER joins (~pjetcetal@128-71-13-182.broadband.corbina.ru) |
| 2021-07-15 10:13:31 | × | azeem quits (~azeem@176.201.40.210) (Ping timeout: 265 seconds) |
| 2021-07-15 10:14:00 | → | azeem joins (~azeem@176.201.40.210) |
| 2021-07-15 10:16:26 | → | jippiedoe joins (~david@2a02-a44c-e14e-1-1f41-d350-ba29-922c.fixed6.kpn.net) |
| 2021-07-15 10:18:26 | → | peterhil joins (~peterhil@mobile-access-bceeac-89.dhcp.inet.fi) |
| 2021-07-15 10:18:35 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-15 10:19:06 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-15 10:23:40 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 265 seconds) |
| 2021-07-15 10:28:02 | × | anandprabhu quits (~anandprab@94.202.243.198) (Remote host closed the connection) |
All times are in UTC.