Newest at the top
| 2025-12-15 21:21:11 +0100 | lockna | (~obr@089144192027.atnat0001.highway.a1.net) (Quit: Leaving) |
| 2025-12-15 21:20:58 +0100 | <int-e> | one way to get a quintuple is to have symbols, states, accepting states, rejecting states, transitions |
| 2025-12-15 21:18:18 +0100 | <Rembane> | There was something in the regular automata course that was a quintuple of "basically trivial things" I can't remember what though, maybe a turing machine or regular expression or something. |
| 2025-12-15 21:17:54 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-15 21:17:42 +0100 | <monochrom> | Alpha and Meta :) |
| 2025-12-15 21:17:05 +0100 | <int-e> | (FWIW I call the underlying failed product Facebook 3D out of spite.) |
| 2025-12-15 21:17:04 +0100 | <Rembane> | int-e: Indeed, it doesn't mean anything. :) |
| 2025-12-15 21:16:52 +0100 | gf3 | (~gf3@user/gf3) (Ping timeout: 246 seconds) |
| 2025-12-15 21:16:47 +0100 | <monochrom> | Hey wouldn't it be nice! class Tuploid f where pure :: a -> f a; (<*>) :: f a -> f b -> f (a,b); class Tuploid f => Triploid f where (>>=) :: ... |
| 2025-12-15 21:15:59 +0100 | <int-e> | Rembane: It's like calling a company Meta because it's about something. ;-) |
| 2025-12-15 21:15:53 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-15 21:15:38 +0100 | <int-e> | Rembane: but it's way too generic |
| 2025-12-15 21:15:26 +0100 | <c_wraith> | I don't think Applicative was really recognized as useful (in two directions - rich enough to have practical applications, simple enough that it can have useful instances that can't be monads) until the development of applicative parsers |
| 2025-12-15 21:15:24 +0100 | <Rembane> | That's a way less scary word! :D |
| 2025-12-15 21:14:43 +0100 | <monochrom> | Monad was called "triple" at the beginning, too. :) |
| 2025-12-15 21:14:07 +0100 | <int-e> | (remember when it was called "Idiom" for a while... that would've been awful.) |
| 2025-12-15 21:13:27 +0100 | <int-e> | Or maybe in 1998 Haskell was less concerned with applications. |
| 2025-12-15 21:13:11 +0100 | <c_wraith> | oversight would be accurate, I think. No one had yet realized that Applicative was a useful middle ground. |
| 2025-12-15 21:11:23 +0100 | <monochrom> | Or more moderately, s/mistake/oversight/ |
| 2025-12-15 21:10:38 +0100 | <monochrom> | If `return` is historic, then it means that it was a historical mistake. |
| 2025-12-15 21:10:11 +0100 | <monochrom> | Eq has (==), Ord is a subclass, and we don't propose to add (===) to Ord to be a synonym of (==) such that when we compare two integers we use (===) to "signify that I'm using Ord". |
| 2025-12-15 21:08:37 +0100 | lockna | (~obr@089144192027.atnat0001.highway.a1.net) lockna |
| 2025-12-15 21:05:56 +0100 | <monochrom> | IMO unimportant. |
| 2025-12-15 21:04:40 +0100 | <chromoblob> | also, `return` signifies that you're using Monad |
| 2025-12-15 21:04:06 +0100 | <monochrom> | `pure` is modern :) |
| 2025-12-15 21:03:35 +0100 | <chromoblob> | `return` is historic |
| 2025-12-15 21:03:16 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-15 21:00:54 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 21:00:40 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Client Quit) |
| 2025-12-15 20:57:40 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 20:57:25 +0100 | <monochrom> | haha |
| 2025-12-15 20:57:20 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 20:56:51 +0100 | <int-e> | monochrom: I'm all for short term rewards as well. |
| 2025-12-15 20:56:28 +0100 | <lambdabot> | Just 2 |
| 2025-12-15 20:56:28 +0100 | <monochrom> | When I teach a language course, my excuse for saying "term" for "expression" is: "term" is shorter. :) |
| 2025-12-15 20:56:27 +0100 | <int-e> | > (do return 1; return 2) :: Maybe Int |
| 2025-12-15 20:55:49 +0100 | <monochrom> | Yeah I like shorter too. :) |
| 2025-12-15 20:55:37 +0100 | <int-e> | chromoblob: `pure` is shorter and doesn't have the misleading imperative programming connotations that `return` has. |
| 2025-12-15 20:55:16 +0100 | <monochrom> | I just installed a new device driver in my head. :) |
| 2025-12-15 20:54:43 +0100 | <int-e> | it only took a decade to retrain myself to actually use `pure`. |
| 2025-12-15 20:54:20 +0100 | <monochrom> | We like the name "pure" more. :) |
| 2025-12-15 20:53:35 +0100 | <chromoblob> | why not `return` |
| 2025-12-15 20:43:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-15 20:43:37 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-12-15 20:42:54 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 20:42:34 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 20:41:23 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 250 seconds) |
| 2025-12-15 20:35:09 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-12-15 20:33:03 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2025-12-15 20:32:15 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |