Newest at the top
2024-05-10 21:57:37 +0200 | <ncf> | anyone know what this thing is called? it's the free monad on f if f preserves coproducts i guess |
2024-05-10 21:57:24 +0200 | <ncf> | <ncf> 1 + f + f² + ... |
2024-05-10 21:57:21 +0200 | <tram> | I think I have a good solution for problem 2 in H-99 (https://wiki.haskell.org/H-99:_Ninety-Nine_Haskell_Problems). I think it's faster than the ones on the wiki (at least the ones that are not cheating by using built in functions...) |
2024-05-10 21:55:22 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds) |
2024-05-10 21:53:32 +0200 | <[exa]> | justsomeguy: optparse-applicative and gogogo |
2024-05-10 21:50:38 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-10 21:45:05 +0200 | <probie> | I see a lot of the younger generation rather enamoured with Typst right now |
2024-05-10 21:41:12 +0200 | <monochrom> | We all learned latex for school. :) |
2024-05-10 21:38:24 +0200 | <justsomeguy> | (I actually have to learn latex for school.) |
2024-05-10 21:38:22 +0200 | Henson | (~kvirc@192-0-202-2.cpe.teksavvy.com) (Quit: KVIrc 5.0.1 Aria http://www.kvirc.net/) |
2024-05-10 21:38:14 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-10 21:37:50 +0200 | <justsomeguy> | in latex :D |
2024-05-10 21:33:27 +0200 | ocra8 | (ocra8@user/ocra8) |
2024-05-10 21:32:33 +0200 | <monochrom> | or a PhD thesis >:) |
2024-05-10 21:31:38 +0200 | <dolio> | Probably. |
2024-05-10 21:31:06 +0200 | <justsomeguy> | ^_^;... |
2024-05-10 21:30:52 +0200 | <justsomeguy> | So, I've finally gotten through the basics of Semigroup, Monoid, Functor, Foldable, Applicative and Monad. Can I write cool command-line apps now? |
2024-05-10 21:29:49 +0200 | <monochrom> | The GHC user's guide has the best explanation and motivating example of GADTs. |
2024-05-10 21:29:46 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
2024-05-10 21:29:12 +0200 | <mauke> | goofy-ahh dark templar |
2024-05-10 21:29:06 +0200 | mankanor | (~mankanor@210.185.176.242) (Read error: Connection reset by peer) |
2024-05-10 21:28:35 +0200 | justsomeguy | goes off to google GADTs |
2024-05-10 21:27:00 +0200 | mankanor | (~mankanor@210.185.176.242) |
2024-05-10 21:25:58 +0200 | mankanor | (~mankanor@210.185.176.242) (Remote host closed the connection) |
2024-05-10 21:25:58 +0200 | mankanor | (~mankanor@210.185.176.242) |
2024-05-10 21:25:57 +0200 | <probie> | You only need GADTs if you want to include the depth in the type |
2024-05-10 21:25:09 +0200 | <int-e> | ncf: You don't need GADT powers for that; Haskell 98 data types would allow that. |
2024-05-10 21:25:00 +0200 | <ncf> | right, it's not an actual GADT |
2024-05-10 21:25:00 +0200 | <ski> | you can separate it into a singleton, and an indexed type, if you want to .. |
2024-05-10 21:24:33 +0200 | <ski> | that's just `GADTSyntax' |
2024-05-10 21:24:15 +0200 | <ncf> | Z :: a -> Powers f a; S :: Powers f (f a) -> Powers f a |
2024-05-10 21:23:58 +0200 | <ski> | (requires polymorphic recursion) |
2024-05-10 21:23:56 +0200 | <ncf> | you can encode it as a GADT right? |
2024-05-10 21:23:55 +0200 | mankanor | (~mankanor@210.185.176.242) (Remote host closed the connection) |
2024-05-10 21:23:54 +0200 | mankanor | (~mankanor@210.185.176.242) |
2024-05-10 21:23:48 +0200 | <ncf> | yes yes |
2024-05-10 21:23:43 +0200 | <ski> | (and this is a nonregular data type, not a GADT) |
2024-05-10 21:23:25 +0200 | mankanor | (~mankanor@210.185.176.242) (Remote host closed the connection) |
2024-05-10 21:23:23 +0200 | <ncf> | oh yeah |
2024-05-10 21:23:20 +0200 | <probie> | Assuming f is `[]`, do you mean something that's equivalent to `data Lists a = F0 a | F1 [a] | F2 [[a]] | F3 [[[a]]] ...` or have I misinterpreted? |
2024-05-10 21:23:08 +0200 | <ski> | s/Z/Z a/ |
2024-05-10 21:23:01 +0200 | <ncf> | EvanR: lol |
2024-05-10 21:22:53 +0200 | <ncf> | no wait |
2024-05-10 21:22:48 +0200 | <EvanR> | 1 / (1 - f) |
2024-05-10 21:22:37 +0200 | <ncf> | Powers f a = Z | S (Powers f (f a)) ? |
2024-05-10 21:22:11 +0200 | mankanor | (~mankanor@210.185.176.242) |
2024-05-10 21:21:43 +0200 | <ncf> | 1 + f + f² + ... |
2024-05-10 21:21:36 +0200 | <ncf> | is there a GADT that builds the sum of powers of a functor |
2024-05-10 21:20:37 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-10 21:19:33 +0200 | <int-e> | you can't reasily do that... you'll have to play some nasty type class tricks. |