Newest at the top
| 2024-04-17 00:54:40 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-04-17 00:53:31 +0200 | JeremyB99 | (~JeremyB99@2600:1702:21b0:a500:2bf1:bd3e:81f0:ed26) (Read error: Connection reset by peer) |
| 2024-04-17 00:49:40 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-17 00:34:29 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-17 00:31:54 +0200 | caubert | (~caubert@user/caubert) |
| 2024-04-17 00:31:36 +0200 | caubert | (~caubert@user/caubert) (Read error: Connection reset by peer) |
| 2024-04-17 00:28:15 +0200 | <monochrom> | Oh and my favourite BlockArguments did not make it into GHC2024 either. |
| 2024-04-17 00:27:28 +0200 | remmie | (ianremsen@tilde.team) |
| 2024-04-17 00:26:38 +0200 | <monochrom> | I think someone also mentioned that "Just x <- foo" is also what you would write in list comprehension. |
| 2024-04-17 00:26:06 +0200 | <monochrom> | Oh here is how I remember it's <- not ->. It is either <- or ->, but -> is already taken ("case foo of Just x ->"), so it can only be <- |
| 2024-04-17 00:23:27 +0200 | <Inst> | sorry, mistell |
| 2024-04-17 00:21:15 +0200 | zetef | (~quassel@5.2.182.98) (Remote host closed the connection) |
| 2024-04-17 00:20:43 +0200 | <Inst> | guards are already quite cryptic enough already |
| 2024-04-17 00:20:36 +0200 | <geekosaur> | #polotics? arguments about little wooden balls that are swatted from horseback? 😛 |
| 2024-04-17 00:20:35 +0200 | <Inst> | if yoou're doing or patterns on a single guard, it could be useful, but it'd cause confusion |
| 2024-04-17 00:19:47 +0200 | Athas | (athas@sigkill.dk) (Ping timeout: 264 seconds) |
| 2024-04-17 00:19:11 +0200 | sprout | (~quassel@84-80-106-227.fixed.kpn.net) (Ping timeout: 264 seconds) |
| 2024-04-17 00:18:55 +0200 | <monochrom> | Then the answer is like that, the 2nd branch cannot use the x from the 1st branch. |
| 2024-04-17 00:18:30 +0200 | <monochrom> | Inst: Do you mean like this? | Just x <- foo -> this branch can use x | [y] <- bar -> this branch can use y but not x |
| 2024-04-17 00:18:20 +0200 | <Inst> | \\\\\/join ##polotics |
| 2024-04-17 00:17:56 +0200 | Athas_ | (athas@sigkill.dk) |
| 2024-04-17 00:17:16 +0200 | <int-e> | (I was checking whether lambdabot had one about Haskell being a DSL for writing compilers, but it doesn't) |
| 2024-04-17 00:16:57 +0200 | <lambdabot> | Jafet says: Javascript is pretty much a DSL for making your web browser take up more CPU |
| 2024-04-17 00:16:57 +0200 | <int-e> | @quote DSL.*CPU |
| 2024-04-17 00:15:32 +0200 | sprout_ | (~quassel@2a02-a448-3a80-0-d844-6577-cb5e-d92a.fixed6.kpn.net) |
| 2024-04-17 00:14:45 +0200 | <monochrom> | You use it when you write like "foo = xxx >> foo" for a toy example. |
| 2024-04-17 00:13:35 +0200 | <monochrom> | But laziness would be right for do-notation kind of things. |
| 2024-04-17 00:12:42 +0200 | <monochrom> | I am actually ready to agree that for the purpose of number crunching, laziness gets in the way, so yeah don't pick Haskell for that actually. |
| 2024-04-17 00:12:34 +0200 | <Inst> | well you can also blame F# on SPJ |
| 2024-04-17 00:11:34 +0200 | <monochrom> | I almost could credibly spread the rumour "you can blame it on SPJ" >:) |
| 2024-04-17 00:11:33 +0200 | <duncan> | ML.mwwwrrrrreoooow |
| 2024-04-17 00:11:25 +0200 | <Inst> | we're sort of unlucky in that way; OCaml survives because of Jane Street picking it on a whim |
| 2024-04-17 00:10:46 +0200 | <monochrom> | But it was the same kind of contracts that brought down everything, remember? >:) |
| 2024-04-17 00:10:21 +0200 | <monochrom> | Well SPJ tried the finance quant way too. He wrote papers on how to write convoluted bond contracts in Haskell do-notation. |
| 2024-04-17 00:09:24 +0200 | orcus | (~orcus@mail.brprice.uk) |
| 2024-04-17 00:09:04 +0200 | orcus | (~orcus@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-17 00:08:22 +0200 | <monochrom> | On the "bright" side it also earned someone a lot more money and enabled him to be a charity for science research and the Quanta Magazine. |
| 2024-04-17 00:08:01 +0200 | remmie | (ianremsen@tilde.team) (Ping timeout: 246 seconds) |
| 2024-04-17 00:07:36 +0200 | <Inst> | | is reserved, but here's a different question: do you discard the bindings from previous or do you keep them? |
| 2024-04-17 00:07:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-17 00:07:29 +0200 | <monochrom> | That option trading equation I saw on that Veritasium video is certainly much harder than the rocket equation :) |
| 2024-04-17 00:06:51 +0200 | <monochrom> | in which case it's financial quant science, which is harder :) |
| 2024-04-17 00:06:28 +0200 | <monochrom> | They solved that by selling their souls to Jane Street, no? |
| 2024-04-17 00:05:45 +0200 | <ncf> | ocaml folks figured it out, it can't be rocket science :) |
| 2024-04-17 00:03:56 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2024-04-17 00:02:34 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Client Quit) |
| 2024-04-17 00:02:15 +0200 | <monochrom> | At the international conference of mice, to add an early warning system against cat attacks, they passed two resolutions uanimously. 1. Someone should put a bell on the cat's neck. 2. Someone else should do it. |
| 2024-04-17 00:01:58 +0200 | <Inst> | okay |
| 2024-04-17 00:00:29 +0200 | <monochrom> | And that brings us to: You need to hear my favourite Aesop fable, too. |
| 2024-04-17 00:00:22 +0200 | <Inst> | yeah, because foo | True, Nothing <- do; Just 5; Nothing = 5 is valid, so you'd have issues figuring out whether the semicolon belongs to the injected layout or the top-level layout. |