2021-03-22 00:00:56 +0100 | mav1 | (~mav@ip-88-152-11-222.hsi03.unitymediagroup.de) (Ping timeout: 240 seconds) |
2021-03-22 00:02:37 +0100 | Sorny | (~Sornaensi@077213203030.dynamic.telenor.dk) |
2021-03-22 00:04:22 +0100 | Sornaens1 | (~Sornaensi@077213203030.dynamic.telenor.dk) |
2021-03-22 00:05:03 +0100 | Sornaensis | (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 260 seconds) |
2021-03-22 00:07:39 +0100 | bgamari | (~bgamari@72.65.101.179) |
2021-03-22 00:07:45 +0100 | Sorny | (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 264 seconds) |
2021-03-22 00:08:11 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 256 seconds) |
2021-03-22 00:08:19 +0100 | curl | (5ce955fb@gateway/web/cgi-irc/kiwiirc.com/ip.92.233.85.251) |
2021-03-22 00:08:21 +0100 | knupfer | (~Thunderbi@200116b82c854200c01b3ec09b839738.dip.versatel-1u1.de) (Quit: knupfer) |
2021-03-22 00:08:51 +0100 | son0p | (~son0p@181.136.122.143) (Quit: leaving) |
2021-03-22 00:09:27 +0100 | __minoru__shirae | (~shiraeesh@109.166.57.171) |
2021-03-22 00:13:18 +0100 | timCF | (~i.tkachuk@m91-129-99-43.cust.tele2.ee) (Ping timeout: 265 seconds) |
2021-03-22 00:14:15 +0100 | <LogicUpgrade> | We need a new paragidm: mutable functional programming |
2021-03-22 00:14:26 +0100 | <curl> | no we dont |
2021-03-22 00:14:35 +0100 | <LogicUpgrade> | Erlang is kinda there with process dictionaries |
2021-03-22 00:14:45 +0100 | <monochrom> | It is not new at all. Scheme and SML already have it. |
2021-03-22 00:14:46 +0100 | usr25 | (~usr25@unaffiliated/usr25) (Quit: Leaving) |
2021-03-22 00:14:56 +0100 | <monochrom> | More meta-ly, are you done? |
2021-03-22 00:15:10 +0100 | <LogicUpgrade> | monochrom, well we need it in a way that makes it an official approach, rather than seen as some mix |
2021-03-22 00:15:15 +0100 | <curl> | purity is power... |
2021-03-22 00:15:21 +0100 | <curl> | why dispense of that? |
2021-03-22 00:15:35 +0100 | <curl> | what do you hope to gain that could make up for whats lost? |
2021-03-22 00:15:43 +0100 | <LogicUpgrade> | Perfectly pure water can't even freeze. How'd we make ice-cream then |
2021-03-22 00:15:54 +0100 | <curl> | monochrom: its a troll? |
2021-03-22 00:16:08 +0100 | <monochrom> | I'm planning to ban. Any objection? |
2021-03-22 00:16:15 +0100 | <LogicUpgrade> | :P |
2021-03-22 00:16:27 +0100 | <curl> | i object in principle yes |
2021-03-22 00:16:42 +0100 | <curl> | LogicUpgrade: pack it in |
2021-03-22 00:16:52 +0100 | <ski> | @quote jlf |
2021-03-22 00:16:52 +0100 | <lambdabot> | jlf says: sufficiently advanced ignorance is indistinguishable from trolling |
2021-03-22 00:17:00 +0100 | <ski> | ;) |
2021-03-22 00:17:17 +0100 | <LogicUpgrade> | I am dumb, I'm very dumb |
2021-03-22 00:18:03 +0100 | <curl> | a discussion on mutable programing doesnt sound bad, but if you cant actually have such a conversation... |
2021-03-22 00:18:06 +0100 | <LogicUpgrade> | But still what if we had a walled-off mutable part of every program. I don't mean via monads, but entirely. |
2021-03-22 00:18:21 +0100 | <LogicUpgrade> | Isolated, but mutable |
2021-03-22 00:18:25 +0100 | <ski> | look into "effect systems" ? |
2021-03-22 00:18:33 +0100 | <Axman6> | LogicUpgrade: we already have exactly that |
2021-03-22 00:19:23 +0100 | <Axman6> | the ST monad gives us honest to goodness mutation, in a guaranteed pure wrapper. Haskell programs actually use it all the time behind the scenes |
2021-03-22 00:22:50 +0100 | <ski> | you could implement `sort :: Ord a => [a] -> [a]', using `ST', e.g., possibly using (in-place) quicksort on a locally allocated array |
2021-03-22 00:27:50 +0100 | <lechner> | Hi, in an interactive example with 'find' from Data.List, typing ':t' returns a Foldable prefix in "find :: Foldable t => (a -> Bool) -> t a -> Maybe a" while the expected output from the example should just be "find :: (a -> Bool) -> [a] -> Maybe a". Am I using a newer (or older) version of GHCI? What is a Foldable, please? Thanks! http://learnyouahaskell.com/modules |
2021-03-22 00:28:44 +0100 | <Axman6> | a few years ago several functions which used to be list only werre generalised to any foldable |
2021-03-22 00:28:57 +0100 | <Axman6> | % :t Data.List.find |
2021-03-22 00:28:57 +0100 | <yahb> | Axman6: forall {t :: * -> *} {a}. Foldable t => (a -> Bool) -> t a -> Maybe a |
2021-03-22 00:29:03 +0100 | <Axman6> | % :t Data.List.find @[] |
2021-03-22 00:29:03 +0100 | <yahb> | Axman6: forall {a}. (a -> Bool) -> [a] -> Maybe a |
2021-03-22 00:29:22 +0100 | <Axman6> | they are the same type when t ~ [] |
2021-03-22 00:29:40 +0100 | <lechner> | Axman6: ah, thanks! |
2021-03-22 00:30:25 +0100 | <Axman6> | % :t getFirst . foldMap (First . Just) |
2021-03-22 00:30:25 +0100 | <yahb> | Axman6: forall {t :: * -> *} {a}. Foldable t => t a -> Maybe a |
2021-03-22 00:31:11 +0100 | <Axman6> | % :t \p -> getFirst . foldMap (\x -> First $ if p x then Just x else Nothing) |
2021-03-22 00:31:11 +0100 | <yahb> | Axman6: forall {t :: * -> *} {a}. Foldable t => (a -> Bool) -> t a -> Maybe a |
2021-03-22 00:31:45 +0100 | <lechner> | Also, why do I not see parentheses for ":t elemIndex" around (Eq a) as in the example, please? elemIndex :: Eq a => a -> [a] -> Maybe Int (same link) |
2021-03-22 00:33:39 +0100 | heatsink_ | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Remote host closed the connection) |
2021-03-22 00:34:11 +0100 | <hololeap> | lechner: the parentheses aren't required when you have one constraint |
2021-03-22 00:34:37 +0100 | <hololeap> | so, it could be written "Eq a => ..." or "(Eq a) => ..." |
2021-03-22 00:34:41 +0100 | <lechner> | what do they mean, please? |
2021-03-22 00:34:44 +0100 | ski | prefers the former |
2021-03-22 00:35:35 +0100 | <ski> | the brackets there are only required/mandatory, when you have multiple constraints, rather than just one, in which case they're optional |
2021-03-22 00:36:10 +0100 | <ski> | @type elemIndex :: ((Eq a)) => a -> [a] -> Maybe Int -- you can add multiple pairs, if you really like to, although it'd look strange and ugly |
2021-03-22 00:36:12 +0100 | <lambdabot> | Eq a => a -> [a] -> Maybe Int |
2021-03-22 00:36:14 +0100 | <hololeap> | it means that it takes any type (represented by the type variable 'a'), but the "Eq a" constraint means that the type has to have an instance of the Eq typeclass |
2021-03-22 00:36:16 +0100 | <ski> | > ((42)) |
2021-03-22 00:36:19 +0100 | <lambdabot> | 42 |
2021-03-22 00:36:54 +0100 | <hololeap> | :i Eq |
2021-03-22 00:37:00 +0100 | <hololeap> | % :i Eq |
2021-03-22 00:37:00 +0100 | <yahb> | hololeap: type Eq :: * -> Constraint; class Eq a where; (==) :: a -> a -> Bool; (/=) :: a -> a -> Bool; {-# MINIMAL (==) | (/=) #-}; -- Defined in `GHC.Classes'; instance [safe] Eq MonoN -- Defined at <interactive>:42:43; instance [safe] forall w (m :: * -> *) a. (Eq w, Data.Functor.Classes.Eq1 m, Eq a) => Eq (WriterT w m a) -- Defined in `Control.Monad.Trans.Writer.Lazy'; instance [safe] forall (f :: * -> |
2021-03-22 00:37:05 +0100 | <hololeap> | oof |
2021-03-22 00:37:10 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-03-22 00:37:30 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-03-22 00:37:33 +0100 | DavidEichmann | (~david@47.27.93.209.dyn.plus.net) (Remote host closed the connection) |
2021-03-22 00:37:34 +0100 | <hololeap> | lechner, does that make sense to you? |
2021-03-22 00:38:31 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) |
2021-03-22 00:39:01 +0100 | <hololeap> | in simple terms, it means that the type has to have (==) defined |
2021-03-22 00:39:02 +0100 | <lechner> | so (Eq a, Ord a) would mean ordered with an identity (although Ord prabably implies Eq)? |
2021-03-22 00:39:21 +0100 | <monochrom> | Ord implies Eq. |
2021-03-22 00:41:00 +0100 | <hololeap> | lechner: right, "Eq a" means the type has to have some notion of equal values, and "Ord a" means it has to have some notion of one value being less than or greater than another value |
2021-03-22 00:41:22 +0100 | santiweight | (622165e4@c-98-33-101-228.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2021-03-22 00:41:28 +0100 | <hololeap> | and, yes, you can't make something an instance of Ord without it first being an instance of Eq |
2021-03-22 00:42:14 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
2021-03-22 00:42:18 +0100 | <ski> | (because with an ordering, you get equality anyway, so there's no point with not having it an instance of `Eq' as well, in that case) |
2021-03-22 00:42:21 +0100 | <hololeap> | so, you could just write it "Ord a" in that particular case |
2021-03-22 00:44:58 +0100 | juri_ | (~juri@178.63.35.222) |
2021-03-22 00:46:08 +0100 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds) |
2021-03-22 00:46:56 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
2021-03-22 00:49:18 +0100 | <SoF> | hi, just because I can implement e.g. (for [a]) foldl in terms of foldr, it doesn't mean that they behave the same way for infinite lists, right? |
2021-03-22 00:49:39 +0100 | <SoF> | or vice versa |
2021-03-22 00:50:17 +0100 | <SoF> | *it doesnt mean they behave the same as the canonical implementations of them |
2021-03-22 00:50:24 +0100 | <Axman6> | you can probably answer that yourself if you step through the evaluation. what's your definition of foldl in terms of foldr? |
2021-03-22 00:50:41 +0100 | <SoF> | one that builds a lambda stack |
2021-03-22 00:51:00 +0100 | <Axman6> | can you paste it here, and we'll use it as a starting point |
2021-03-22 00:51:22 +0100 | <monochrom> | Does your "implement" mean "correctly implement", "Incorrectly implement" or "I don't know how correct it is"? |
2021-03-22 00:51:22 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-03-22 00:51:37 +0100 | <SoF> | foldl f a bs = foldr (\b g x -> g (f x b)) id bs a |
2021-03-22 00:51:41 +0100 | <SoF> | from here https://wiki.haskell.org/Foldl_as_foldr |
2021-03-22 00:52:03 +0100 | <SoF> | considering foldr is a minimal complete definition of Foldable, I assume that foldl is "correct"? |
2021-03-22 00:52:19 +0100 | <SoF> | or at least that there exists a foldl implementation in terms of foldr that is correct |
2021-03-22 00:52:24 +0100 | <Axman6> | ok, now try evaluating it on the list [a,b,c]: foldl f x [a,b,c] = ??? |
2021-03-22 00:56:18 +0100 | <SoF> | (\x -> (\y -> (\z -> f z c) (f y b)) (f x a)) x, maybe? |
2021-03-22 00:56:32 +0100 | <monochrom> | Hand-tracing the evaluation is going to be too tedious for too little gain. |
2021-03-22 00:56:58 +0100 | <monochrom> | But you can always design test cases, expecially in the infinite-list case. |
2021-03-22 00:57:23 +0100 | rond_ | (594021ff@89-64-33-255.dynamic.chello.pl) (Quit: Connection closed) |
2021-03-22 00:59:17 +0100 | Chai-T-Rex | (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection) |
2021-03-22 00:59:43 +0100 | Chai-T-Rex | (~ChaiTRex@gateway/tor-sasl/chaitrex) |
2021-03-22 00:59:45 +0100 | <monochrom> | Well, hand-tracing the first few steps is illuminating. Just not hand-tracing until the end of the world since the list is infinite. |
2021-03-22 01:04:43 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
2021-03-22 01:06:08 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) (Remote host closed the connection) |
2021-03-22 01:06:14 +0100 | Adluc | (~Adluc@2a01:430:17:1::ffff:328) (Quit: ZNC - http://znc.in) |
2021-03-22 01:06:14 +0100 | hexo| | (~hexo@2a01:430:17:1::ffff:328) (Quit: ZNC - http://znc.in) |
2021-03-22 01:06:36 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 256 seconds) |
2021-03-22 01:06:39 +0100 | atk | (~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.) |
2021-03-22 01:07:00 +0100 | atk | (~Arch-TK@ircpuzzles/staff/Arch-TK) |
2021-03-22 01:07:14 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) |
2021-03-22 01:09:33 +0100 | curl | (5ce955fb@gateway/web/cgi-irc/kiwiirc.com/ip.92.233.85.251) (Quit: Connection closed) |
2021-03-22 01:11:59 +0100 | dqd | (id@wikipedia/dqd) (Ping timeout: 268 seconds) |
2021-03-22 01:13:13 +0100 | mouseghost | (~draco@wikipedia/desperek) (Quit: mew wew) |
2021-03-22 01:13:26 +0100 | rond_ | (594021ff@89-64-33-255.dynamic.chello.pl) |
2021-03-22 01:17:41 +0100 | Adluc | (~Adluc@83.167.228.130) |
2021-03-22 01:18:27 +0100 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
2021-03-22 01:18:35 +0100 | Chai-T-Rex | (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection) |
2021-03-22 01:18:47 +0100 | stree | (~stree@68.36.8.116) |
2021-03-22 01:18:55 +0100 | Chai-T-Rex | (~ChaiTRex@gateway/tor-sasl/chaitrex) |
2021-03-22 01:22:41 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-03-22 01:22:42 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
2021-03-22 01:22:54 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Remote host closed the connection) |
2021-03-22 01:24:04 +0100 | hexo- | (~hexo@2a01:430:17:1::ffff:328) |
2021-03-22 01:24:24 +0100 | stass | (~stas@2a00:13c0:63:7195::beef) (Read error: Connection reset by peer) |
2021-03-22 01:24:27 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
2021-03-22 01:25:34 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-03-22 01:25:55 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
2021-03-22 01:26:37 +0100 | fissureman | (~quassel@c-73-201-159-163.hsd1.dc.comcast.net) |
2021-03-22 01:29:36 +0100 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
2021-03-22 01:30:07 +0100 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 276 seconds) |
2021-03-22 01:32:52 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) |
2021-03-22 01:33:42 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
2021-03-22 01:34:03 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 01:34:32 +0100 | acidjnk_new | (~acidjnk@p200300d0c72b9545dcff5306019ad0b1.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2021-03-22 01:44:05 +0100 | stass | (~stas@2a00:13c0:63:7195::beef) |
2021-03-22 01:45:07 +0100 | benkolera | (uid285671@gateway/web/irccloud.com/x-tltwxcjzjwjvtasj) |
2021-03-22 01:46:18 +0100 | matryoshka | (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
2021-03-22 01:47:47 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 01:47:55 +0100 | xiinotulp | (~q@ppp-223-24-94-215.revip6.asianet.co.th) (Ping timeout: 256 seconds) |
2021-03-22 01:48:07 +0100 | cabpa | (~cabpa@180.190.165.139) |
2021-03-22 01:48:31 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 268 seconds) |
2021-03-22 01:49:00 +0100 | azure1 | (~azure@103.154.230.130) (Ping timeout: 246 seconds) |
2021-03-22 01:49:12 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Remote host closed the connection) |
2021-03-22 01:49:21 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 01:49:28 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
2021-03-22 01:50:14 +0100 | remal | (~remal@d24-57-234-201.home.cgocable.net) |
2021-03-22 01:52:19 +0100 | Lycurgus | (~niemand@98.4.116.165) |
2021-03-22 01:56:02 +0100 | plutoniix | (~q@ppp-223-24-94-215.revip6.asianet.co.th) |
2021-03-22 02:00:32 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-03-22 02:03:08 +0100 | remal | (~remal@d24-57-234-201.home.cgocable.net) (Quit: Reconnecting) |
2021-03-22 02:03:24 +0100 | remal | (~remal@d24-57-234-201.home.cgocable.net) |
2021-03-22 02:08:36 +0100 | rond_ | (594021ff@89-64-33-255.dynamic.chello.pl) (Quit: Connection closed) |
2021-03-22 02:10:25 +0100 | dqd | (id@wikipedia/dqd) |
2021-03-22 02:12:12 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) (Remote host closed the connection) |
2021-03-22 02:14:25 +0100 | teardown | (~user@gateway/tor-sasl/mrush) (Ping timeout: 268 seconds) |
2021-03-22 02:14:56 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-03-22 02:15:17 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-03-22 02:15:24 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) (Read error: Connection reset by peer) |
2021-03-22 02:15:42 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) |
2021-03-22 02:16:00 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
2021-03-22 02:16:16 +0100 | Franciman | (~francesco@host-79-53-62-46.retail.telecomitalia.it) (Quit: Leaving) |
2021-03-22 02:16:31 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-03-22 02:19:16 +0100 | scraireland | (4a8b849c@cpe-74-139-132-156.kya.res.rr.com) |
2021-03-22 02:20:21 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds) |
2021-03-22 02:20:44 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
2021-03-22 02:20:53 +0100 | hackage | aviation-units 0.0.3 - Units of measurements used in aviation. https://hackage.haskell.org/package/aviation-units-0.0.3 (TonyMorris) |
2021-03-22 02:20:59 +0100 | teardown | (~user@gateway/tor-sasl/mrush) |
2021-03-22 02:21:09 +0100 | fengh | (~haskeller@ip72-205-40-121.dc.dc.cox.net) |
2021-03-22 02:21:10 +0100 | fengh | (~haskeller@ip72-205-40-121.dc.dc.cox.net) (Client Quit) |
2021-03-22 02:21:44 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
2021-03-22 02:22:09 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
2021-03-22 02:22:53 +0100 | scraireland | (4a8b849c@cpe-74-139-132-156.kya.res.rr.com) (Quit: Connection closed) |
2021-03-22 02:25:34 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-03-22 02:25:55 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
2021-03-22 02:26:09 +0100 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) |
2021-03-22 02:27:21 +0100 | Lycurgus | (~niemand@98.4.116.165) (Quit: Exeunt) |
2021-03-22 02:32:23 +0100 | hackage | aviation-weight-balance 0.0.3 - Weight and Balance structures used in aviation. https://hackage.haskell.org/package/aviation-weight-balance-0.0.3 (TonyMorris) |
2021-03-22 02:36:04 +0100 | rajivr | (uid269651@gateway/web/irccloud.com/x-qkauuhiezkyxqudg) |
2021-03-22 02:37:30 +0100 | nfd9001 | (~nfd9001@2601:602:77f:1820:399b:9959:f377:89d) |
2021-03-22 02:41:06 +0100 | <wroathe> | Anyone here familiar with Miso? In particular I'm wondering where startApp and App are defined in the sample application they give: https://github.com/dmjio/miso#sample-application |
2021-03-22 02:41:23 +0100 | nfd | (~nfd9001@c-73-225-42-170.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
2021-03-22 02:41:25 +0100 | <wroathe> | The only two imports are Miso and Miso.String, and neither of those export startApp or App |
2021-03-22 02:42:28 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) |
2021-03-22 02:42:59 +0100 | Vadrigar | (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
2021-03-22 02:47:20 +0100 | Vadrigar | (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
2021-03-22 02:47:55 +0100 | conal | (~conal@ip-66-115-176-177.creativelink.net) (Quit: Computer has gone to sleep.) |
2021-03-22 02:47:59 +0100 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 256 seconds) |
2021-03-22 02:49:16 +0100 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
2021-03-22 02:49:32 +0100 | drbean | (~drbean@TC210-63-209-25.static.apol.com.tw) |
2021-03-22 02:51:14 +0100 | tefter | (~bmaxa@62.240.24.85) |
2021-03-22 02:51:26 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-03-22 02:52:02 +0100 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 268 seconds) |
2021-03-22 02:53:43 +0100 | conal | (~conal@64.71.133.70) |
2021-03-22 02:55:20 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
2021-03-22 02:55:50 +0100 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) |
2021-03-22 02:56:32 +0100 | z0k | (~user@101.50.108.120) (Ping timeout: 240 seconds) |
2021-03-22 02:56:33 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
2021-03-22 02:58:47 +0100 | z0k | (~user@115.186.169.1) |
2021-03-22 02:59:48 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) (Remote host closed the connection) |
2021-03-22 03:00:41 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) |
2021-03-22 03:00:56 +0100 | xff0x_ | (~xff0x@2001:1a81:52b5:3300:c707:488e:58f1:2927) (Ping timeout: 240 seconds) |
2021-03-22 03:01:45 +0100 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
2021-03-22 03:01:56 +0100 | xff0x_ | (~xff0x@2001:1a81:52b5:3300:9367:249e:e628:18c7) |
2021-03-22 03:03:59 +0100 | conal | (~conal@64.71.133.70) |
2021-03-22 03:05:25 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) (Remote host closed the connection) |
2021-03-22 03:05:59 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
2021-03-22 03:06:22 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:56d) |
2021-03-22 03:08:32 +0100 | cabpa | (~cabpa@180.190.165.139) (Ping timeout: 240 seconds) |
2021-03-22 03:10:36 +0100 | <slack1256> | What is the correct way of using the language server on a single file? say xmonad. |
2021-03-22 03:10:59 +0100 | <slack1256> | I know I could import xmonad as a lib on a bare project but maybe there is an easier way? |
2021-03-22 03:11:55 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection) |
2021-03-22 03:12:45 +0100 | shad0w_ | (a0ca254d@160.202.37.77) |
2021-03-22 03:14:21 +0100 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
2021-03-22 03:19:17 +0100 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
2021-03-22 03:19:17 +0100 | andrei | (~user@c-66-31-23-28.hsd1.ma.comcast.net) |
2021-03-22 03:25:18 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) |
2021-03-22 03:25:52 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-03-22 03:26:21 +0100 | xff0x_ | (~xff0x@2001:1a81:52b5:3300:9367:249e:e628:18c7) (Ping timeout: 265 seconds) |
2021-03-22 03:26:43 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 245 seconds) |
2021-03-22 03:28:16 +0100 | xff0x_ | (~xff0x@2001:1a81:52ec:b00:b309:634c:e93:e310) |
2021-03-22 03:28:23 +0100 | shad0w_ | (a0ca254d@160.202.37.77) (Quit: Connection closed) |
2021-03-22 03:29:55 +0100 | shad0w_ | (shadowma1@gateway/shell/matrix.org/x-bmdtekutdmvqywht) |
2021-03-22 03:30:32 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
2021-03-22 03:31:35 +0100 | <shapr> | slack1256: you could ask on #haskell-language-server ? |
2021-03-22 03:32:42 +0100 | <slack1256> | Nice |
2021-03-22 03:33:53 +0100 | LogicUpgrade | (57e3c46d@87.227.196.109) (Quit: Connection closed) |
2021-03-22 03:34:35 +0100 | Chai-T-Rex | (~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 268 seconds) |
2021-03-22 03:34:43 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:56d) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
2021-03-22 03:35:20 +0100 | plutoniix | (~q@ppp-223-24-94-215.revip6.asianet.co.th) (Ping timeout: 240 seconds) |
2021-03-22 03:36:08 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:56d) |
2021-03-22 03:36:12 +0100 | Chai-T-Rex | (~ChaiTRex@gateway/tor-sasl/chaitrex) |
2021-03-22 03:39:23 +0100 | stree | (~stree@68.36.8.116) |
2021-03-22 03:39:53 +0100 | hackage | hapistrano 0.4.1.3 - A deployment library for Haskell applications https://hackage.haskell.org/package/hapistrano-0.4.1.3 (juanpaucar) |
2021-03-22 03:43:53 +0100 | stree | (~stree@68.36.8.116) (Client Quit) |
2021-03-22 03:44:08 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
2021-03-22 03:44:19 +0100 | stree | (~stree@68.36.8.116) |
2021-03-22 03:45:02 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) |
2021-03-22 03:48:26 +0100 | spake | (~spake@185.204.1.185) (Remote host closed the connection) |
2021-03-22 03:49:48 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 256 seconds) |
2021-03-22 03:54:09 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1) |
2021-03-22 03:55:24 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-03-22 03:55:27 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
2021-03-22 03:56:17 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Client Quit) |
2021-03-22 04:00:03 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
2021-03-22 04:02:12 +0100 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
2021-03-22 04:02:12 +0100 | finn_elija | Guest55571 |
2021-03-22 04:02:12 +0100 | FinnElija | finn_elija |
2021-03-22 04:02:18 +0100 | Guest78805 | (62c3ce20@gateway/web/cgi-irc/kiwiirc.com/ip.98.195.206.32) (Quit: Connection closed) |
2021-03-22 04:04:48 +0100 | davidfetter1 | (~davidfett@217.146.82.202) |
2021-03-22 04:06:02 +0100 | Guest55571 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
2021-03-22 04:10:14 +0100 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
2021-03-22 04:12:58 +0100 | elusive | (~Jeanne-Ka@static-198-54-134-93.cust.tzulo.com) (Ping timeout: 260 seconds) |
2021-03-22 04:15:01 +0100 | codygman__ | (~user@47.186.207.161) |
2021-03-22 04:18:28 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 04:18:38 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
2021-03-22 04:30:17 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-03-22 04:40:30 +0100 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 246 seconds) |
2021-03-22 04:41:32 +0100 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
2021-03-22 04:44:27 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) |
2021-03-22 04:44:37 +0100 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) |
2021-03-22 04:45:07 +0100 | styledash | (~styledash@157.230.173.136) (Quit: The Lounge - https://thelounge.chat) |
2021-03-22 04:45:34 +0100 | badfilms | (badfilms@gateway/vpn/mullvad/badfilms) |
2021-03-22 04:45:48 +0100 | styledash | (~styledash@157.230.173.136) |
2021-03-22 04:47:09 +0100 | theDon | (~td@muedsl-82-207-238-103.citykom.de) (Ping timeout: 246 seconds) |
2021-03-22 04:49:14 +0100 | theDon | (~td@94.134.91.6) |
2021-03-22 04:49:15 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 256 seconds) |
2021-03-22 04:50:10 +0100 | badfilms | (badfilms@gateway/vpn/mullvad/badfilms) (Quit: WeeChat 2.9) |
2021-03-22 04:52:42 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-03-22 04:56:51 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-03-22 05:00:06 +0100 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
2021-03-22 05:00:06 +0100 | finn_elija | Guest44695 |
2021-03-22 05:00:06 +0100 | FinnElija | finn_elija |
2021-03-22 05:01:44 +0100 | forgottenone | (~forgotten@176.42.24.127) |
2021-03-22 05:02:23 +0100 | hackage | simple-parser 0.2.0 - Simple parser combinators https://hackage.haskell.org/package/simple-parser-0.2.0 (ejconlon) |
2021-03-22 05:04:00 +0100 | Guest44695 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
2021-03-22 05:05:03 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:56d) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
2021-03-22 05:05:50 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:56d) |
2021-03-22 05:10:28 +0100 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Remote host closed the connection) |
2021-03-22 05:12:36 +0100 | frozenErebus | (~frozenEre@94.128.81.87) |
2021-03-22 05:12:53 +0100 | alx741 | (~alx741@181.196.69.79) (Quit: alx741) |
2021-03-22 05:13:31 +0100 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
2021-03-22 05:17:16 +0100 | ario | (~ario@178.62.234.211) (Remote host closed the connection) |
2021-03-22 05:18:21 +0100 | myShoggoth | (~myShoggot@75.164.81.55) |
2021-03-22 05:21:21 +0100 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-lvwisugjqkptqqrq) (Quit: Connection closed for inactivity) |
2021-03-22 05:22:35 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) |
2021-03-22 05:23:16 +0100 | forgottenone | (~forgotten@176.42.24.127) (Remote host closed the connection) |
2021-03-22 05:25:17 +0100 | cabpa | (~cabpa@180.190.165.139) |
2021-03-22 05:25:38 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-03-22 05:25:55 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
2021-03-22 05:26:59 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-03-22 05:30:31 +0100 | plutoniix | (~q@184.82.200.84) |
2021-03-22 05:31:50 +0100 | chenshen | (~chenshen@2620:10d:c090:400::5:56d) (Ping timeout: 264 seconds) |
2021-03-22 05:32:18 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
2021-03-22 05:39:58 +0100 | Shiranai | (beed0df5@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.13.245) (Quit: Connection closed) |
2021-03-22 05:44:07 +0100 | Vadrigar | (~Vadrigar@91.65.114.8) |
2021-03-22 05:48:38 +0100 | Vadrigar | (~Vadrigar@91.65.114.8) (Ping timeout: 260 seconds) |
2021-03-22 05:51:38 +0100 | cabpa | (~cabpa@180.190.165.139) (Ping timeout: 265 seconds) |
2021-03-22 05:52:15 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
2021-03-22 05:59:13 +0100 | Tario | (~Tario@201.192.165.173) (Ping timeout: 276 seconds) |
2021-03-22 06:01:17 +0100 | cabpa | (~cabpa@180.190.165.139) |
2021-03-22 06:05:32 +0100 | stree | (~stree@68.36.8.116) |
2021-03-22 06:08:16 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
2021-03-22 06:08:26 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:75fb:cea1:4d26:9157) (Ping timeout: 264 seconds) |
2021-03-22 06:09:26 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) |
2021-03-22 06:10:25 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-03-22 06:13:34 +0100 | average | (uid473595@gateway/web/irccloud.com/x-dptrohonzedrpdag) |
2021-03-22 06:13:36 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 246 seconds) |
2021-03-22 06:17:37 +0100 | cabpa | (~cabpa@180.190.165.139) (Remote host closed the connection) |
2021-03-22 06:17:52 +0100 | cabpa | (~cabpa@180.190.165.139) |
2021-03-22 06:20:03 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
2021-03-22 06:24:48 +0100 | jack1909 | (~qpls@23.105.170.163) (Ping timeout: 246 seconds) |
2021-03-22 06:26:39 +0100 | jack1909 | (~qpls@cpeb4750e67d202-cmf81d0fad5840.cpe.net.fido.ca) |
2021-03-22 06:27:53 +0100 | hackage | hmp3-ng 2.12.0 - A 2019 fork of an ncurses mp3 player written in Haskell https://hackage.haskell.org/package/hmp3-ng-2.12.0 (galen) |
2021-03-22 06:29:21 +0100 | codygman__ | (~user@47.186.207.161) (Ping timeout: 246 seconds) |
2021-03-22 06:29:28 +0100 | Garbanzo | (~Garbanzo@70.234.205.193) (Ping timeout: 260 seconds) |
2021-03-22 06:30:22 +0100 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
2021-03-22 06:30:34 +0100 | day_ | (~Unknown@unaffiliated/day) |
2021-03-22 06:31:30 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-03-22 06:33:16 +0100 | petersen | (~petersen@redhat/juhp) |
2021-03-22 06:33:34 +0100 | chrisdotcode | (~chrisdotc@unaffiliated/chrisdotcode) (Quit: Leaving) |
2021-03-22 06:33:53 +0100 | tefter | (~bmaxa@62.240.24.85) (Quit: WeeChat 3.1) |
2021-03-22 06:34:09 +0100 | myShoggoth | (~myShoggot@75.164.81.55) (Ping timeout: 264 seconds) |
2021-03-22 06:34:09 +0100 | day | (~Unknown@unaffiliated/day) (Ping timeout: 264 seconds) |
2021-03-22 06:34:09 +0100 | day_ | day |
2021-03-22 06:36:31 +0100 | azure1 | (~azure@103.144.169.46) |
2021-03-22 06:36:33 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
2021-03-22 06:37:10 +0100 | slack1256 | (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection) |
2021-03-22 06:48:06 +0100 | ep1ctetus_ | (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
2021-03-22 06:48:19 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-03-22 06:49:09 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 06:49:47 +0100 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
2021-03-22 06:50:56 +0100 | frozenErebus | (~frozenEre@94.128.81.87) (Ping timeout: 240 seconds) |
2021-03-22 06:51:33 +0100 | epicte7us | (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 264 seconds) |
2021-03-22 06:53:21 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
2021-03-22 06:55:17 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
2021-03-22 06:59:23 +0100 | hackage | simple-parser 0.2.1 - Simple parser combinators https://hackage.haskell.org/package/simple-parser-0.2.1 (ejconlon) |
2021-03-22 06:59:24 +0100 | azure1 | (~azure@103.144.169.46) (Read error: Connection reset by peer) |
2021-03-22 07:00:36 +0100 | azure1 | (~azure@103.144.169.46) |
2021-03-22 07:02:33 +0100 | bitmagie | (~Thunderbi@200116b806f87000145cd5773379d56b.dip.versatel-1u1.de) |
2021-03-22 07:04:41 +0100 | azure1 | (~azure@103.144.169.46) (Read error: Connection reset by peer) |
2021-03-22 07:09:21 +0100 | azure1 | (~azure@103.144.169.46) |
2021-03-22 07:10:39 +0100 | __minoru__shirae | (~shiraeesh@109.166.57.171) (Ping timeout: 246 seconds) |
2021-03-22 07:12:03 +0100 | cabpa | (~cabpa@180.190.165.139) (Ping timeout: 246 seconds) |
2021-03-22 07:12:03 +0100 | azure1 | (~azure@103.144.169.46) (Read error: Connection reset by peer) |
2021-03-22 07:12:41 +0100 | azure1 | (~azure@103.144.169.46) |
2021-03-22 07:13:26 +0100 | bitmagie | (~Thunderbi@200116b806f87000145cd5773379d56b.dip.versatel-1u1.de) (Quit: bitmagie) |
2021-03-22 07:13:28 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) |
2021-03-22 07:14:32 +0100 | toorevitimirp | (~tooreviti@117.182.183.55) |
2021-03-22 07:16:07 +0100 | frozenErebus | (~frozenEre@94.128.81.87) |
2021-03-22 07:17:31 +0100 | mbomba | (~mbomba@bras-base-toroon2719w-grc-38-142-114-122-216.dsl.bell.ca) |
2021-03-22 07:17:33 +0100 | azure1 | (~azure@103.144.169.46) (Read error: Connection reset by peer) |
2021-03-22 07:17:57 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 264 seconds) |
2021-03-22 07:19:43 +0100 | azure1 | (~azure@103.144.169.46) |
2021-03-22 07:21:15 +0100 | __minoru__shirae | (~shiraeesh@109.166.57.171) |
2021-03-22 07:21:16 +0100 | azure1 | (~azure@103.144.169.46) (Read error: Connection reset by peer) |
2021-03-22 07:22:07 +0100 | azure1 | (~azure@103.144.169.46) |
2021-03-22 07:23:26 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-03-22 07:23:53 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2021-03-22 07:23:55 +0100 | ryxai | (~textual@pool-71-183-41-241.nycmny.fios.verizon.net) |
2021-03-22 07:25:30 +0100 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-whvbvawinloirsot) |
2021-03-22 07:26:51 +0100 | coot | (~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) |
2021-03-22 07:27:02 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Client Quit) |
2021-03-22 07:27:54 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2021-03-22 07:27:56 +0100 | azure1 | (~azure@103.144.169.46) (Read error: Connection reset by peer) |
2021-03-22 07:28:13 +0100 | mbomba | (~mbomba@bras-base-toroon2719w-grc-38-142-114-122-216.dsl.bell.ca) (Quit: WeeChat 3.1) |
2021-03-22 07:28:24 +0100 | santiweight | (622165e4@c-98-33-101-228.hsd1.ca.comcast.net) |
2021-03-22 07:28:37 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-03-22 07:28:44 +0100 | azure1 | (~azure@180.253.162.54) |
2021-03-22 07:28:46 +0100 | azure1 | (~azure@180.253.162.54) (Read error: Connection reset by peer) |
2021-03-22 07:32:03 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2021-03-22 07:33:03 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
2021-03-22 07:35:08 +0100 | azure1 | (~azure@103.144.169.46) |
2021-03-22 07:40:59 +0100 | rond_ | (594021ff@89-64-33-255.dynamic.chello.pl) |
2021-03-22 07:41:22 +0100 | michalz | (~user@185.246.204.47) |
2021-03-22 07:43:15 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:c874:3671:2027:3155) (Remote host closed the connection) |
2021-03-22 07:43:57 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) (Remote host closed the connection) |
2021-03-22 07:44:28 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) |
2021-03-22 07:45:42 +0100 | azure1 | (~azure@103.144.169.46) (Ping timeout: 265 seconds) |
2021-03-22 07:46:18 +0100 | azure1 | (~azure@180.253.162.54) |
2021-03-22 07:46:21 +0100 | azure1 | (~azure@180.253.162.54) (Read error: Connection reset by peer) |
2021-03-22 07:46:50 +0100 | hexfive | (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
2021-03-22 07:47:16 +0100 | bitmapper | (uid464869@gateway/web/irccloud.com/x-nlxaujrugfazsleg) (Quit: Connection closed for inactivity) |
2021-03-22 07:49:33 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
2021-03-22 07:51:02 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) (Ping timeout: 264 seconds) |
2021-03-22 07:52:43 +0100 | azure1 | (~azure@103.154.230.130) |
2021-03-22 07:57:21 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8) |
2021-03-22 08:00:06 +0100 | xhlr1 | (~xhlr@87-92-158-145.rev.dnainternet.fi) |
2021-03-22 08:01:03 +0100 | frozenErebus | (~frozenEre@94.128.81.87) (Ping timeout: 246 seconds) |
2021-03-22 08:01:53 +0100 | xhlr1 | (~xhlr@87-92-158-145.rev.dnainternet.fi) () |
2021-03-22 08:03:51 +0100 | malumore | (~malumore@151.62.119.219) |
2021-03-22 08:08:36 +0100 | frozenErebus | (~frozenEre@94.128.81.87) |
2021-03-22 08:11:31 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) |
2021-03-22 08:13:01 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
2021-03-22 08:13:52 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 256 seconds) |
2021-03-22 08:14:20 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
2021-03-22 08:14:41 +0100 | Aleksejs_Home | Aleksejs |
2021-03-22 08:15:23 +0100 | hackage | hspec-core 2.7.9 - A Testing Framework for Haskell https://hackage.haskell.org/package/hspec-core-2.7.9 (SimonHengel) |
2021-03-22 08:15:24 +0100 | andrei | (~user@c-66-31-23-28.hsd1.ma.comcast.net) (Ping timeout: 246 seconds) |
2021-03-22 08:15:45 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 246 seconds) |
2021-03-22 08:16:09 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) |
2021-03-22 08:18:27 +0100 | wonko7 | (~wonko7@45.15.17.60) |
2021-03-22 08:20:22 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) |
2021-03-22 08:20:52 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) (Ping timeout: 260 seconds) |
2021-03-22 08:21:20 +0100 | cyphase | (~cyphase@unaffiliated/cyphase) (Ping timeout: 240 seconds) |
2021-03-22 08:22:53 +0100 | concept2 | (~concept2@unaffiliated/tubo) (Quit: Ping timeout (120 seconds)) |
2021-03-22 08:23:13 +0100 | xff0x_ | (~xff0x@2001:1a81:52ec:b00:b309:634c:e93:e310) (Quit: xff0x_) |
2021-03-22 08:23:15 +0100 | concept2 | (~concept2@unaffiliated/tubo) |
2021-03-22 08:23:21 +0100 | xff0x | (~xff0x@2001:1a81:52ec:b00:b309:634c:e93:e310) |
2021-03-22 08:24:22 +0100 | santiweight | (622165e4@c-98-33-101-228.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2021-03-22 08:26:09 +0100 | stree | (~stree@68.36.8.116) |
2021-03-22 08:28:52 +0100 | howdoi | (uid224@gateway/web/irccloud.com/x-ycjhikdeorfguwps) (Quit: Connection closed for inactivity) |
2021-03-22 08:29:39 +0100 | <petersen> | Is it just mean or did hackage revised .cabal files used to be DOS encoded? |
2021-03-22 08:29:52 +0100 | <petersen> | oops s/mean/me/ hehe |
2021-03-22 08:30:09 +0100 | <petersen> | (I can't "reproduce" it anymore) |
2021-03-22 08:30:54 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
2021-03-22 08:33:48 +0100 | frozenErebus | (~frozenEre@94.128.81.87) (Ping timeout: 245 seconds) |
2021-03-22 08:36:35 +0100 | cyphase | (~cyphase@unaffiliated/cyphase) |
2021-03-22 08:37:54 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
2021-03-22 08:38:08 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
2021-03-22 08:41:18 +0100 | cyphase | (~cyphase@unaffiliated/cyphase) (Ping timeout: 260 seconds) |
2021-03-22 08:42:27 +0100 | cyphase | (~cyphase@unaffiliated/cyphase) |
2021-03-22 08:46:49 +0100 | geowiesnot_bis | (~user@87-89-181-157.abo.bbox.fr) |
2021-03-22 08:49:07 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-03-22 08:49:14 +0100 | Varis | (~Tadas@unaffiliated/varis) |
2021-03-22 08:50:56 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 268 seconds) |
2021-03-22 08:53:04 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) |
2021-03-22 08:53:36 +0100 | Vadrigar | (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
2021-03-22 08:53:41 +0100 | LittleFox94 | (~littlefox@rondra.lf-net.org) (Remote host closed the connection) |
2021-03-22 08:54:12 +0100 | lisq | (~quassel@lis.moe) (Remote host closed the connection) |
2021-03-22 08:54:24 +0100 | LittleFox | (~littlefox@rondra.lf-net.org) |
2021-03-22 08:54:43 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 276 seconds) |
2021-03-22 08:55:09 +0100 | __minoru__shirae | (~shiraeesh@109.166.57.171) (Ping timeout: 264 seconds) |
2021-03-22 08:55:30 +0100 | Sornaens1 | Sornaensis |
2021-03-22 08:56:18 +0100 | holo2 | (~holo@nikky.moe) (Remote host closed the connection) |
2021-03-22 08:56:21 +0100 | lisq | (~quassel@lis.moe) |
2021-03-22 08:56:37 +0100 | holo2 | (~holo@nikky.moe) |
2021-03-22 08:58:12 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 265 seconds) |
2021-03-22 08:59:05 +0100 | aplainze1akind | aplainzetakind |
2021-03-22 09:01:38 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
2021-03-22 09:03:43 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
2021-03-22 09:04:49 +0100 | Yumasi | (~guillaume@2a01:e0a:5cb:4430:3238:e0db:634b:d61e) |
2021-03-22 09:04:53 +0100 | Sorna | (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) |
2021-03-22 09:05:59 +0100 | Lowl3v3l | (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Remote host closed the connection) |
2021-03-22 09:07:31 +0100 | rond_ | (594021ff@89-64-33-255.dynamic.chello.pl) (Quit: Connection closed) |
2021-03-22 09:08:08 +0100 | Sornaensis | (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 260 seconds) |
2021-03-22 09:10:32 +0100 | Rudd0 | (~Rudd0@185.189.115.108) (Ping timeout: 256 seconds) |
2021-03-22 09:13:43 +0100 | jespada | (~jespada@90.254.243.187) |
2021-03-22 09:14:16 +0100 | __minoru__shirae | (~shiraeesh@109.166.57.171) |
2021-03-22 09:14:32 +0100 | Lowl3v3l | (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) |
2021-03-22 09:15:01 +0100 | Vadrigar | (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
2021-03-22 09:15:22 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
2021-03-22 09:15:31 +0100 | geowiesnot_bis | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 276 seconds) |
2021-03-22 09:16:32 +0100 | drbean | (~drbean@TC210-63-209-25.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
2021-03-22 09:17:45 +0100 | Yumasi | (~guillaume@2a01:e0a:5cb:4430:3238:e0db:634b:d61e) (Quit: WeeChat 2.8) |
2021-03-22 09:19:00 +0100 | geowiesnot_bis | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-03-22 09:19:41 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 09:21:18 +0100 | dhouthoo | (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) |
2021-03-22 09:21:43 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 245 seconds) |
2021-03-22 09:23:29 +0100 | monochrom | (trebla@216.138.220.146) |
2021-03-22 09:23:56 +0100 | borne | (~fritjof@200116b864caf700a6d9c1e30b1bd3ca.dip.versatel-1u1.de) |
2021-03-22 09:23:56 +0100 | dyeplexer | (~lol@unaffiliated/terpin) |
2021-03-22 09:29:14 +0100 | geowiesnot_bis | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds) |
2021-03-22 09:31:29 +0100 | jonatanb | (~jonatanb@83.24.3.77.ipv4.supernova.orange.pl) |
2021-03-22 09:33:24 +0100 | kritzefitz | (~kritzefit@fw-front.credativ.com) |
2021-03-22 09:34:51 +0100 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-whvbvawinloirsot) (Quit: Connection closed for inactivity) |
2021-03-22 09:36:25 +0100 | Franciman | (~francesco@host-79-53-62-46.retail.telecomitalia.it) |
2021-03-22 09:40:09 +0100 | nfd | (~nfd9001@2601:602:77f:1820:144a:da71:587f:e0c7) |
2021-03-22 09:41:58 +0100 | datajerk | (~datajerk@sense.net) (Ping timeout: 260 seconds) |
2021-03-22 09:42:45 +0100 | chele | (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
2021-03-22 09:42:56 +0100 | nfd9001 | (~nfd9001@2601:602:77f:1820:399b:9959:f377:89d) (Ping timeout: 240 seconds) |
2021-03-22 09:46:17 +0100 | apeyroux | (~alex@78.20.138.88.rev.sfr.net) |
2021-03-22 09:48:09 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Remote host closed the connection) |
2021-03-22 09:48:48 +0100 | raichoo | (~raichoo@dslb-188-100-010-076.188.100.pools.vodafone-ip.de) |
2021-03-22 09:48:57 +0100 | danza | (~francesco@151.53.91.117) |
2021-03-22 09:51:25 +0100 | cfricke | (~cfricke@unaffiliated/cfricke) |
2021-03-22 09:51:47 +0100 | graf_blutwurst | (~user@2001:171b:226e:adc0:9c90:293f:5aba:9a46) |
2021-03-22 09:52:18 +0100 | idhugo_ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
2021-03-22 09:52:32 +0100 | datajerk | (~datajerk@sense.net) |
2021-03-22 09:54:51 +0100 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
2021-03-22 09:56:44 +0100 | danza | (~francesco@151.53.91.117) (Quit: Leaving) |
2021-03-22 09:57:36 +0100 | Vadrigar | (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
2021-03-22 10:00:03 +0100 | __minoru__shirae | (~shiraeesh@109.166.57.171) (Ping timeout: 260 seconds) |
2021-03-22 10:03:28 +0100 | Major_Biscuit | (~Major_Bis@82-169-100-198.biz.kpn.net) |
2021-03-22 10:04:44 +0100 | ph88 | (~ph88@2a02:8109:9e00:7e5c:f4a3:f661:850c:269d) |
2021-03-22 10:04:55 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-03-22 10:05:03 +0100 | is_null | (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 245 seconds) |
2021-03-22 10:05:06 +0100 | pjb | (~t@2a01cb04063ec50019789bb8481aa192.ipv6.abo.wanadoo.fr) (Ping timeout: 265 seconds) |
2021-03-22 10:05:24 +0100 | Cerato | (~Cerberus@185.207.164.90) (Quit: The Lounge - https://thelounge.chat) |
2021-03-22 10:05:38 +0100 | Cerato | (~Cerberus@185.207.164.90) |
2021-03-22 10:06:30 +0100 | idhugo__ | (~idhugo@80-62-117-136-mobile.dk.customer.tdc.net) |
2021-03-22 10:08:46 +0100 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:3517:3251:7569:53c5) |
2021-03-22 10:08:48 +0100 | idhugo_ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
2021-03-22 10:08:48 +0100 | idhugo | (~idhugo@130.225.16.16) |
2021-03-22 10:09:01 +0100 | v01d4lph4 | (~v01d4lph4@223.190.38.71) |
2021-03-22 10:10:13 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
2021-03-22 10:11:08 +0100 | idhugo__ | (~idhugo@80-62-117-136-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
2021-03-22 10:11:46 +0100 | v01d4lph4 | silent_freak |
2021-03-22 10:11:56 +0100 | silent_freak | v01d4lph4 |
2021-03-22 10:13:16 +0100 | v01d4lph4 | silent_freak |
2021-03-22 10:13:20 +0100 | silent_freak | v01d4lph4 |
2021-03-22 10:15:30 +0100 | v01d4lph4 | (~v01d4lph4@223.190.38.71) () |
2021-03-22 10:15:44 +0100 | malumore | (~malumore@151.62.119.219) (Ping timeout: 240 seconds) |
2021-03-22 10:15:46 +0100 | v01d4lph4 | (~v01d4lph4@223.190.38.71) |
2021-03-22 10:20:53 +0100 | azure1 | (~azure@103.154.230.130) (Ping timeout: 245 seconds) |
2021-03-22 10:21:31 +0100 | davidfetter1 | (~davidfett@217.146.82.202) (Remote host closed the connection) |
2021-03-22 10:22:14 +0100 | Major_Biscuit | (~Major_Bis@82-169-100-198.biz.kpn.net) (Quit: WeeChat 3.0.1) |
2021-03-22 10:24:05 +0100 | Pickchea | (~private@unaffiliated/pickchea) |
2021-03-22 10:27:36 +0100 | malumore | (~malumore@151.62.119.219) |
2021-03-22 10:28:34 +0100 | <tdammers> | could also be a matter of using network line endings |
2021-03-22 10:31:27 +0100 | __monty__ | (~toonn@unaffiliated/toonn) |
2021-03-22 10:34:08 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
2021-03-22 10:35:38 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-03-22 10:36:05 +0100 | azure1 | (~azure@103.154.230.130) |
2021-03-22 10:37:35 +0100 | Guest12366 | (~sdx23@139.28.218.148) |
2021-03-22 10:38:55 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-03-22 10:39:16 +0100 | pjb | (~t@2a01cb04063ec50048893e58a8f103cd.ipv6.abo.wanadoo.fr) |
2021-03-22 10:40:38 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
2021-03-22 10:41:44 +0100 | Major_Biscuit | (~Major_Bis@82-169-100-198.biz.kpn.net) |
2021-03-22 10:42:04 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:75fb:cea1:4d26:9157) |
2021-03-22 10:42:14 +0100 | LKoen | (~LKoen@194.250.88.92.rev.sfr.net) |
2021-03-22 10:43:38 +0100 | plutoniix | (~q@184.82.200.84) (Read error: Connection reset by peer) |
2021-03-22 10:43:47 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-03-22 10:46:01 +0100 | plutoniix | (~q@184.82.200.84) |
2021-03-22 10:47:13 +0100 | Aquazi | (uid312403@gateway/web/irccloud.com/x-zekuiaehstzprzsn) |
2021-03-22 10:47:24 +0100 | stree | (~stree@68.36.8.116) |
2021-03-22 10:48:08 +0100 | azure1 | (~azure@103.154.230.130) (Ping timeout: 240 seconds) |
2021-03-22 10:48:32 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 10:50:25 +0100 | frozenErebus | (~frozenEre@94.128.81.87) |
2021-03-22 10:51:07 +0100 | timCF | (~i.tkachuk@200-149-20-81.sta.estpak.ee) |
2021-03-22 10:51:24 +0100 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) |
2021-03-22 10:51:32 +0100 | azure1 | (~azure@103.154.230.130) |
2021-03-22 10:53:07 +0100 | thc202 | (~thc202@unaffiliated/thc202) |
2021-03-22 10:53:07 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 260 seconds) |
2021-03-22 10:54:34 +0100 | <timCF> | Hello! Recently I've played with lexing/parsing libraries in Haskell, and discovered that some people are using `Alex` + `Happy` and some other people are using `Parsec`. Are `Alex` + `Happy` and `Parsec` just different libraries made for the same purpose/usecase? Or they do specialize on different things? How to decide what to use? |
2021-03-22 10:57:13 +0100 | <Uniaika> | timCF: Alex+Happy are for "Parser generation", whilst Parsec/Megaparsec/Attoparsec are parser combinator libraries |
2021-03-22 10:57:32 +0100 | <merijn> | timCF: Alex and Happy are parser generators in the lex/yacc and flex/bison tradition |
2021-03-22 10:57:33 +0100 | idhugo | (~idhugo@130.225.16.16) (Read error: Connection reset by peer) |
2021-03-22 10:57:52 +0100 | <merijn> | Parsec and its ilk are parser combinators libraries and more like eDSLs for writing parsers |
2021-03-22 10:58:57 +0100 | idhugo | (~idhugo@80-62-117-136-mobile.dk.customer.tdc.net) |
2021-03-22 10:59:27 +0100 | <merijn> | timCF: Parser generators will, generally, produce more efficient parsers (or, more accurately, they can guarantee that efficiency) while parser combinator libraries are probably easier to get started with |
2021-03-22 10:59:51 +0100 | <merijn> | timCF: Fighting an LALR(1) parser generator is...not fun if you just wanna get something done :p |
2021-03-22 11:01:12 +0100 | <timCF> | I actually did tried Alex+Happy, as excercise with "Modern Compiler Implementation in ML" book. But didn't tried Parsec. |
2021-03-22 11:01:42 +0100 | <merijn> | timCF: Does the term "recursive descent parser" mean anything to you? |
2021-03-22 11:03:01 +0100 | <timCF> | I've just did parser for Tiger programming language, using Alex. Defined AST types, defined lexemes regex, transitions between states. |
2021-03-22 11:03:25 +0100 | <timCF> | But sounds like the same task can be done with Parsec, right? |
2021-03-22 11:03:42 +0100 | <merijn> | Sure |
2021-03-22 11:03:54 +0100 | <timCF> | And preference "what is easier/better" is very personal? |
2021-03-22 11:03:56 +0100 | <merijn> | timCF: I mean, you can do *any* parsing task with parsec |
2021-03-22 11:05:27 +0100 | <timCF> | merijn: thanks for reply! |
2021-03-22 11:05:28 +0100 | <__monty__> | timCF: Note that Parsec is old and superceded by Megaparsec (or Attoparsec if you insist) pretty much. Trifecta's also an interesting take on parsing. |
2021-03-22 11:05:32 +0100 | <merijn> | timCF: Recursive descent parser are an easy way to get started with parsing. They allow for unbounded lookahead, so that makes them easy for weird grammars, but unbounded look ahead also has performance implications. Meanwhile LALR(1) parser generators guarantee max 1 item of lookahead. But that can make adapting a grammar to LALR(1) a PITA |
2021-03-22 11:06:21 +0100 | <merijn> | timCF: There is no fundamental reason that a well-written recursive descent parser would be slower than, say, an LALR(1) generated parser. But writing *good* recursive descent parser may be harder then just using LALR(1) |
2021-03-22 11:06:27 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-03-22 11:06:48 +0100 | <merijn> | timCF: Realistically speaking, for "human-sized" source files (max a few thousand lines per file) the performance isn't gonna matter either way |
2021-03-22 11:06:57 +0100 | <merijn> | Disk IO will take longer than parsing :p |
2021-03-22 11:08:47 +0100 | mananamenos | (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) |
2021-03-22 11:09:08 +0100 | fendor | (~fendor@178.165.131.239.wireless.dyn.drei.com) |
2021-03-22 11:09:09 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-03-22 11:10:06 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 11:11:18 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
2021-03-22 11:11:58 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
2021-03-22 11:12:52 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
2021-03-22 11:12:58 +0100 | Rudd0 | (~Rudd0@185.189.115.108) |
2021-03-22 11:13:20 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds) |
2021-03-22 11:14:18 +0100 | acidjnk_new | (~acidjnk@p200300d0c72b9545dcff5306019ad0b1.dip0.t-ipconnect.de) |
2021-03-22 11:14:26 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 264 seconds) |
2021-03-22 11:14:56 +0100 | <mananamenos> | Hi, is it normal to have something like `newtype App a = App (ReaderT Env M a)` and an extra class with a method which would lift `M` to `App`, so that one could do `M` actions inside `App`? |
2021-03-22 11:15:38 +0100 | <Rembane> | mananamenos: Normal I don't know, but it's definitely a way to handle monad transformer stacks. |
2021-03-22 11:16:11 +0100 | <merijn> | The normal way to handle monad transformers is hide them away in a newtype like that and not expose their existence :p |
2021-03-22 11:18:02 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
2021-03-22 11:19:47 +0100 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
2021-03-22 11:20:46 +0100 | rkrishnan | (~rkrishnan@rkrishnan.org) ("ERC (IRC client for Emacs 27.1)") |
2021-03-22 11:22:56 +0100 | azure1 | (~azure@103.154.230.130) (Ping timeout: 240 seconds) |
2021-03-22 11:24:07 +0100 | <mananamenos> | Rembane, merijn, so regarding my example if I come to such a situacion (where I want do `M` stuff inside `App` monad) it show that I have designed my data type wrong? I shouldnt want/need to use underlying monad's (in this case `M`) actions inside my App? |
2021-03-22 11:25:06 +0100 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 246 seconds) |
2021-03-22 11:25:28 +0100 | <merijn> | mananamenos: The more experience I get with big code bases, the more I'm convinced that "exposing the fact that something is a transformer stack (or it's internals)" is a mistake |
2021-03-22 11:25:48 +0100 | azure1 | (~azure@103.154.230.130) |
2021-03-22 11:26:16 +0100 | zaquest | (~notzaques@5.128.210.178) |
2021-03-22 11:26:25 +0100 | <Rembane> | merijn: Why is it a mistake? |
2021-03-22 11:26:46 +0100 | <merijn> | mananamenos: Usually what I do now is identify common logic subsets (SQL queries, logging, commandline interaction, etc.) boil down each of those to the smallest subset of operations I can. Stuff those in a class and then built everything using that |
2021-03-22 11:27:01 +0100 | <merijn> | Rembane: Leaking implementation details all over your codebase makes refactoring a PITA |
2021-03-22 11:27:48 +0100 | <merijn> | Rembane: Like, I've got a MonadSql, MonadInput, MonadQuery (which is sorta of a higher level querying than SQL) in my codebase and all logic just uses those classes |
2021-03-22 11:28:08 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
2021-03-22 11:28:20 +0100 | <merijn> | Rembane: Tweaking (part) of the internal transformer stack now means "update the 3 class instances to match" rather than "touch every part of the codebase" |
2021-03-22 11:28:43 +0100 | DavidEichmann | (~david@47.27.93.209.dyn.plus.net) |
2021-03-22 11:29:21 +0100 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 264 seconds) |
2021-03-22 11:29:45 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-03-22 11:29:57 +0100 | <Rembane> | merijn: That's absolutely true. I have forgotten how horrible it is to change things all over the codebase just to make one simple change. |
2021-03-22 11:30:49 +0100 | <merijn> | Bonus it becomes easier to wrap things |
2021-03-22 11:32:00 +0100 | <merijn> | For example, parts of the code to commandline interaction, which runs in "Input m r" having all my sql/query logic based on a class I can just do "instance MonadSql m => MonadSql (Input m) where ..." and you don't have to lift anything |
2021-03-22 11:32:23 +0100 | <merijn> | The mtl style class approach is great, as long as you don't use the actual classes from mtl :p |
2021-03-22 11:33:39 +0100 | <merijn> | lunch time (well, pre-lunch-time-walk-time) |
2021-03-22 11:34:09 +0100 | azure1 | (~azure@103.154.230.130) (Ping timeout: 264 seconds) |
2021-03-22 11:35:29 +0100 | Major_Biscuit | (~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 265 seconds) |
2021-03-22 11:35:48 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-03-22 11:35:55 +0100 | timCF | (~i.tkachuk@200-149-20-81.sta.estpak.ee) (Quit: leaving) |
2021-03-22 11:36:00 +0100 | azure1 | (~azure@103.154.230.130) |
2021-03-22 11:36:29 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-03-22 11:36:38 +0100 | <mananamenos> | merijn, Im quite confused. So I have this base monad `M` in which a library does its stuff (requests, reads params, etc.). But now I have my own set of operations (my newtype App). So there are classes particular like MyDatabaseOps which App implements and so on. However, inside my App I need to do `M` stuff as it and so I caught myself needing to be able to lift `M` into `App`. How should I approach this better then? |
2021-03-22 11:36:58 +0100 | Major_Biscuit | (~Major_Bis@x065156.citg-m.tudelft.nl) |
2021-03-22 11:40:58 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
2021-03-22 11:43:41 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
2021-03-22 11:45:40 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-03-22 11:46:57 +0100 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
2021-03-22 11:47:13 +0100 | ubert | (~Thunderbi@p200300ecdf25d912e6b318fffe838f33.dip0.t-ipconnect.de) |
2021-03-22 11:48:54 +0100 | <frobnicator> | do I have to pass flags to ghc for it to first unlit literal haskell? |
2021-03-22 11:48:56 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:75fb:cea1:4d26:9157) (Ping timeout: 240 seconds) |
2021-03-22 11:49:34 +0100 | <frobnicator> | if I pass this file (https://termbin.com/s4nv) to lhs2TeX it works fine, but compiling it with ghc gives errors |
2021-03-22 11:51:26 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 11:52:04 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) (Quit: dandart) |
2021-03-22 11:52:55 +0100 | ixlun | (~matthew@109.249.184.133) |
2021-03-22 11:52:57 +0100 | <frobnicator> | in particular this error: https://termbin.com/5yid |
2021-03-22 11:53:28 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 268 seconds) |
2021-03-22 11:56:26 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 264 seconds) |
2021-03-22 11:56:42 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
2021-03-22 11:57:35 +0100 | <frobnicator> | ohhh, \begin{code} and \end{code} cannot be indented:( |
2021-03-22 12:00:52 +0100 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
2021-03-22 12:02:29 +0100 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
2021-03-22 12:07:23 +0100 | malumore | (~malumore@151.62.119.219) (Remote host closed the connection) |
2021-03-22 12:07:37 +0100 | ryxai | (~textual@pool-71-183-41-241.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-03-22 12:07:57 +0100 | malumore | (~malumore@151.62.119.219) |
2021-03-22 12:11:22 +0100 | ixlun | (~matthew@109.249.184.133) (Remote host closed the connection) |
2021-03-22 12:12:13 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 12:16:50 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 264 seconds) |
2021-03-22 12:18:53 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2021-03-22 12:19:44 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 12:20:07 +0100 | Rudd0 | (~Rudd0@185.189.115.108) (Ping timeout: 276 seconds) |
2021-03-22 12:20:15 +0100 | dhil | (~dhil@80.208.56.181) |
2021-03-22 12:25:05 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
2021-03-22 12:25:41 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 12:25:53 +0100 | mananamenos | (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
2021-03-22 12:26:53 +0100 | urodna | (~urodna@unaffiliated/urodna) |
2021-03-22 12:30:29 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:75fb:cea1:4d26:9157) |
2021-03-22 12:30:55 +0100 | ubert | (~Thunderbi@p200300ecdf25d912e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection) |
2021-03-22 12:31:08 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-03-22 12:31:36 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 12:32:55 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 12:33:22 +0100 | peanut_ | (~peanut@2a02:8388:a101:2600:ab17:250:cc90:c191) |
2021-03-22 12:33:46 +0100 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) |
2021-03-22 12:33:46 +0100 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
2021-03-22 12:33:46 +0100 | mouseghost | (~draco@wikipedia/desperek) |
2021-03-22 12:34:01 +0100 | Rudd0 | (~Rudd0@185.189.115.108) |
2021-03-22 12:34:20 +0100 | Guest65957 | (~textual@2603-7000-3040-0000-a433-b15d-87dc-0aaa.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-03-22 12:36:05 +0100 | son0p | (~son0p@181.58.39.182) |
2021-03-22 12:36:23 +0100 | remal | (~remal@d24-57-234-201.home.cgocable.net) (Ping timeout: 260 seconds) |
2021-03-22 12:37:32 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 260 seconds) |
2021-03-22 12:38:15 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) |
2021-03-22 12:40:17 +0100 | Pickchea | (~private@unaffiliated/pickchea) |
2021-03-22 12:41:57 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
2021-03-22 12:42:26 +0100 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
2021-03-22 12:42:32 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) (Ping timeout: 240 seconds) |
2021-03-22 12:43:00 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 12:43:42 +0100 | Guest12366 | (~sdx23@139.28.218.148) (Remote host closed the connection) |
2021-03-22 12:44:02 +0100 | idhugo_ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
2021-03-22 12:45:26 +0100 | mflux | (flux@coffee.modeemi.fi) (Ping timeout: 240 seconds) |
2021-03-22 12:45:45 +0100 | Chousuke | (oranenj@coffee.modeemi.fi) (Ping timeout: 244 seconds) |
2021-03-22 12:46:15 +0100 | mananamenos | (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) |
2021-03-22 12:46:16 +0100 | idhugo | (~idhugo@80-62-117-136-mobile.dk.customer.tdc.net) (Ping timeout: 244 seconds) |
2021-03-22 12:48:03 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
2021-03-22 12:48:39 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 12:48:59 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) |
2021-03-22 12:51:18 +0100 | vjacob | (~vjacob@217.71.0.65) (Ping timeout: 245 seconds) |
2021-03-22 12:52:09 +0100 | ajc | (~ajc@69.231.232.79) (Ping timeout: 264 seconds) |
2021-03-22 12:52:57 +0100 | Alleria | (~textual@mskresolve-a.mskcc.org) |
2021-03-22 12:53:21 +0100 | Alleria | Guest92446 |
2021-03-22 12:53:44 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-03-22 12:53:57 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 264 seconds) |
2021-03-22 12:54:13 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
2021-03-22 12:54:18 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 12:54:40 +0100 | plutoniix | (~q@184.82.200.84) (Quit: Leaving) |
2021-03-22 12:55:12 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8) |
2021-03-22 12:55:34 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 244 seconds) |
2021-03-22 13:00:01 +0100 | p4trix | (~p4trix@19.red-83-49-45.dynamicip.rima-tde.net) |
2021-03-22 13:01:28 +0100 | p4trick | (~p4trix@19.red-83-49-45.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
2021-03-22 13:04:45 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
2021-03-22 13:05:55 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 13:06:29 +0100 | vjacob | (~vjacob@217.71.0.65) |
2021-03-22 13:07:10 +0100 | stree | (~stree@68.36.8.116) |
2021-03-22 13:08:23 +0100 | geekosaur | (82650c7a@130.101.12.122) |
2021-03-22 13:08:26 +0100 | benkolera | (uid285671@gateway/web/irccloud.com/x-tltwxcjzjwjvtasj) (Quit: Connection closed for inactivity) |
2021-03-22 13:11:09 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
2021-03-22 13:11:13 +0100 | Vadrigar_ | (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
2021-03-22 13:11:33 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 13:15:51 +0100 | Vadrigar_ | (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
2021-03-22 13:16:13 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) |
2021-03-22 13:17:13 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2021-03-22 13:17:36 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 13:19:03 +0100 | codygman__ | (~user@47.186.207.161) |
2021-03-22 13:19:08 +0100 | Stanley00 | (~stanley00@unaffiliated/stanley00) () |
2021-03-22 13:20:45 +0100 | drbean | (~drbean@TC210-63-209-208.static.apol.com.tw) |
2021-03-22 13:22:42 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
2021-03-22 13:23:26 +0100 | Raito_Bezarius | (~Raito@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 264 seconds) |
2021-03-22 13:23:28 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 13:27:17 +0100 | is_null | (~jpic@pdpc/supporter/professional/is-null) |
2021-03-22 13:27:44 +0100 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds) |
2021-03-22 13:28:45 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
2021-03-22 13:28:45 +0100 | frozenErebus | (~frozenEre@94.128.81.87) (Ping timeout: 264 seconds) |
2021-03-22 13:29:07 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 13:29:32 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-03-22 13:29:53 +0100 | hoobop1 | (~hoobop@139.28.218.148) |
2021-03-22 13:32:25 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 13:34:45 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
2021-03-22 13:35:16 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 13:35:20 +0100 | bitmapper | (uid464869@gateway/web/irccloud.com/x-nolohoourjcznqbc) |
2021-03-22 13:37:02 +0100 | geekosaur | (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
2021-03-22 13:37:08 +0100 | mananamenos | (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) (Ping timeout: 245 seconds) |
2021-03-22 13:37:14 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 264 seconds) |
2021-03-22 13:37:38 +0100 | Major_Biscuit | (~Major_Bis@x065156.citg-m.tudelft.nl) (Ping timeout: 260 seconds) |
2021-03-22 13:39:19 +0100 | Major_Biscuit | (~Major_Bis@82-169-100-198.biz.kpn.net) |
2021-03-22 13:39:34 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
2021-03-22 13:40:17 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-03-22 13:41:31 +0100 | motherfsck | (~motherfsc@unaffiliated/motherfsck) |
2021-03-22 13:44:28 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 268 seconds) |
2021-03-22 13:44:32 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds) |
2021-03-22 13:45:30 +0100 | geekosaur | (82650c7a@130.101.12.122) |
2021-03-22 13:45:55 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
2021-03-22 13:46:59 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 13:47:10 +0100 | epicte7us | (~epictetus@185.245.87.111) |
2021-03-22 13:47:41 +0100 | Tario | (~Tario@201.192.165.173) |
2021-03-22 13:49:04 +0100 | hexagenic | (~mattias@81-224-107-147-no71.tbcn.telia.com) |
2021-03-22 13:50:21 +0100 | bergey | (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
2021-03-22 13:50:38 +0100 | codygman__ | (~user@47.186.207.161) (Remote host closed the connection) |
2021-03-22 13:50:56 +0100 | lupulo | (~lupulo@163.117.64.56) |
2021-03-22 13:51:17 +0100 | codygman__ | (~user@47.186.207.161) |
2021-03-22 13:51:29 +0100 | __minoru__shirae | (~shiraeesh@109.166.57.171) |
2021-03-22 13:51:36 +0100 | ep1ctetus_ | (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 256 seconds) |
2021-03-22 13:51:38 +0100 | mananamenos | (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) |
2021-03-22 13:52:33 +0100 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator") |
2021-03-22 13:53:25 +0100 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
2021-03-22 13:53:32 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 13:54:42 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) |
2021-03-22 13:57:37 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
2021-03-22 13:58:05 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 244 seconds) |
2021-03-22 13:58:09 +0100 | Pickchea | (~private@unaffiliated/pickchea) |
2021-03-22 13:58:42 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 13:59:07 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Ping timeout: 244 seconds) |
2021-03-22 13:59:27 +0100 | bergey` | (~user@107.181.19.30) |
2021-03-22 14:02:43 +0100 | bergey | (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2021-03-22 14:04:04 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-03-22 14:04:21 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 14:04:59 +0100 | son0p | (~son0p@181.58.39.182) (Quit: leaving) |
2021-03-22 14:05:41 +0100 | rkrishnan | (~rkrishnan@rkrishnan.org) |
2021-03-22 14:06:05 +0100 | zar | (~zar@fw1.ciirc.cvut.cz) |
2021-03-22 14:09:33 +0100 | viktorstrate[m] | (viktorstra@gateway/shell/matrix.org/x-mdxgfvtcddruvquk) |
2021-03-22 14:09:43 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2021-03-22 14:10:13 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 14:14:24 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 14:14:46 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-03-22 14:15:06 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-03-22 14:15:16 +0100 | Raito_Bezarius | (~Raito@unaffiliated/raito-bezarius/x-8764578) |
2021-03-22 14:15:58 +0100 | mananamenos | (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) (Ping timeout: 256 seconds) |
2021-03-22 14:16:00 +0100 | ddellaco_ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
2021-03-22 14:16:07 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:75fb:cea1:4d26:9157) (Ping timeout: 260 seconds) |
2021-03-22 14:17:41 +0100 | bergey` | (~user@107.181.19.30) (Read error: Connection reset by peer) |
2021-03-22 14:18:02 +0100 | carlomagno | (~cararell@148.87.23.5) |
2021-03-22 14:18:14 +0100 | __minoru__shirae | (~shiraeesh@109.166.57.171) (Ping timeout: 256 seconds) |
2021-03-22 14:19:14 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 264 seconds) |
2021-03-22 14:19:31 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer) |
2021-03-22 14:19:38 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 245 seconds) |
2021-03-22 14:20:15 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) |
2021-03-22 14:22:38 +0100 | mav1 | (~mav@ip-88-152-11-222.hsi03.unitymediagroup.de) |
2021-03-22 14:24:28 +0100 | conkker | (~conkker@unaffiliated/conkker) |
2021-03-22 14:26:21 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) |
2021-03-22 14:28:53 +0100 | frozenErebus | (~frozenEre@94.128.81.87) |
2021-03-22 14:30:38 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) (Ping timeout: 244 seconds) |
2021-03-22 14:33:44 +0100 | frozenErebus | (~frozenEre@94.128.81.87) (Ping timeout: 240 seconds) |
2021-03-22 14:34:01 +0100 | epicte7us | (~epictetus@185.245.87.111) (Ping timeout: 276 seconds) |
2021-03-22 14:34:47 +0100 | mav1 | (~mav@ip-88-152-11-222.hsi03.unitymediagroup.de) (Quit: WeeChat 3.1) |
2021-03-22 14:34:59 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 14:38:08 +0100 | _flow__ | (~none@salem.informatik.uni-erlangen.de) (Quit: WeeChat 2.9) |
2021-03-22 14:38:35 +0100 | unholy | (~unholy@212.112.100.83) |
2021-03-22 14:39:20 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 240 seconds) |
2021-03-22 14:39:35 +0100 | unholy | (~unholy@212.112.100.83) (Client Quit) |
2021-03-22 14:39:58 +0100 | LKoen_ | (~LKoen@194.250.88.92.rev.sfr.net) |
2021-03-22 14:40:16 +0100 | unholy_star | (d4706453@212.112.100.83) |
2021-03-22 14:40:46 +0100 | knupfer | (~Thunderbi@200116b82ce292006dfbe4bba9a6c2dc.dip.versatel-1u1.de) |
2021-03-22 14:41:28 +0100 | son0p | (~son0p@181.136.122.143) |
2021-03-22 14:41:30 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-03-22 14:41:54 +0100 | forgottenone | (~forgotten@176.42.30.186) |
2021-03-22 14:42:30 +0100 | <unholy_star> | Jesus, what a trash! Why are here no replies? |
2021-03-22 14:42:33 +0100 | LKoen | (~LKoen@194.250.88.92.rev.sfr.net) (Ping timeout: 256 seconds) |
2021-03-22 14:43:18 +0100 | <maerwald> | :) |
2021-03-22 14:43:25 +0100 | _flow_ | (~none@salem.informatik.uni-erlangen.de) |
2021-03-22 14:43:51 +0100 | ph88^ | (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) |
2021-03-22 14:44:01 +0100 | unholy_star | (d4706453@212.112.100.83) (Client Quit) |
2021-03-22 14:44:26 +0100 | drbean | (~drbean@TC210-63-209-208.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
2021-03-22 14:45:29 +0100 | frozenErebus | (~frozenEre@94.128.81.87) |
2021-03-22 14:45:33 +0100 | geekosaur | (82650c7a@130.101.12.122) (Quit: Connection closed) |
2021-03-22 14:47:51 +0100 | ph88 | (~ph88@2a02:8109:9e00:7e5c:f4a3:f661:850c:269d) (Ping timeout: 265 seconds) |
2021-03-22 14:48:38 +0100 | Wuzzy | (~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de) |
2021-03-22 14:49:05 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Quit: Leaving) |
2021-03-22 14:49:05 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer) |
2021-03-22 14:49:49 +0100 | cabpa | (~cabpa@180.190.165.139) |
2021-03-22 14:50:33 +0100 | frozenErebus | (~frozenEre@94.128.81.87) (Ping timeout: 265 seconds) |
2021-03-22 14:51:33 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) |
2021-03-22 14:54:29 +0100 | motherfsck | (~motherfsc@unaffiliated/motherfsck) (Quit: quit) |
2021-03-22 14:55:20 +0100 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 240 seconds) |
2021-03-22 14:57:10 +0100 | berberman | (~berberman@unaffiliated/berberman) |
2021-03-22 14:58:25 +0100 | Sathiana | (~kath@185-113-98-38.cust.bredband2.com) |
2021-03-22 14:58:46 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
2021-03-22 15:00:35 +0100 | lisq | (~quassel@lis.moe) (Quit: lisq) |
2021-03-22 15:00:45 +0100 | lisq | (~quassel@lis.moe) |
2021-03-22 15:01:24 +0100 | mananamenos | (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) |
2021-03-22 15:02:01 +0100 | Vadrigar_ | (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
2021-03-22 15:04:13 +0100 | xlei | (znc@unaffiliated/xlei) (Quit: ZNC - https://znc.in) |
2021-03-22 15:05:52 +0100 | <SoF> | lol |
2021-03-22 15:06:08 +0100 | Vadrigar_ | (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
2021-03-22 15:06:42 +0100 | xlei | (znc@unaffiliated/xlei) |
2021-03-22 15:08:52 +0100 | <pjb> | Sorry unholy_star, I was at the loo! |
2021-03-22 15:14:28 +0100 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
2021-03-22 15:15:37 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
2021-03-22 15:16:01 +0100 | Deide | (~Deide@217.155.19.23) |
2021-03-22 15:16:17 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 15:16:44 +0100 | son0p | (~son0p@181.136.122.143) (Remote host closed the connection) |
2021-03-22 15:16:49 +0100 | supercoven | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
2021-03-22 15:20:53 +0100 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) (Ping timeout: 260 seconds) |
2021-03-22 15:21:27 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 260 seconds) |
2021-03-22 15:23:31 +0100 | roconnor | (~roconnor@host-45-58-230-226.dyn.295.ca) |
2021-03-22 15:25:19 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
2021-03-22 15:27:04 +0100 | encod3 | (~encod3@45-154-157-94.ftth.glasoperator.nl) |
2021-03-22 15:27:12 +0100 | TheCommieDuck | (~mark@79-68-31-106.dynamic.dsl.as9105.com) |
2021-03-22 15:28:01 +0100 | jacks2 | (~bc8134e3@217.29.117.252) |
2021-03-22 15:28:03 +0100 | stree | (~stree@68.36.8.116) |
2021-03-22 15:28:31 +0100 | encod3 | (~encod3@45-154-157-94.ftth.glasoperator.nl) (Client Quit) |
2021-03-22 15:28:35 +0100 | <jacks2> | hi. how can I get ip of the connected client in scotty? |
2021-03-22 15:28:40 +0100 | <TheCommieDuck> | Hey. Can I mimic a type/class hierarchy somehow without fields? I could do it with a Map (i.e. DAG) + Strings, but it doesn't protect me from typos/invalid types, so I wasn't sure if empty types and some sort of type family version would be possible? |
2021-03-22 15:29:03 +0100 | LKoen_ | (~LKoen@194.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
2021-03-22 15:29:13 +0100 | roconnor | (~roconnor@host-45-58-230-226.dyn.295.ca) (Ping timeout: 265 seconds) |
2021-03-22 15:29:19 +0100 | <dminuoso> | TheCommieDuck: Can you rephrase the question? I don't follow. |
2021-03-22 15:29:51 +0100 | geowiesnot_bis | (~user@87-89-181-157.abo.bbox.fr) |
2021-03-22 15:30:00 +0100 | <TheCommieDuck> | usage being data SomeRecordType { someType :: String }; isType :: SomeRecordType -> String -> Bool |
2021-03-22 15:30:21 +0100 | <merijn> | TheCommieDuck: You mean like "how can I guarantee a key has an associated value in a map"? |
2021-03-22 15:31:33 +0100 | roconnor | (~roconnor@host-45-58-230-226.dyn.295.ca) |
2021-03-22 15:31:35 +0100 | <TheCommieDuck> | let the type universe be {Animal, Cat, Dog, CatDog} and the subtyping relation :>. Then Cat :> animal, Dog :> animal, Catdog :> cat, dog etc...if my 'types' are strings and my 'subtyping' is just lookups in a map, it's fine. |
2021-03-22 15:32:40 +0100 | <TheCommieDuck> | but then function calls like "cat" isType "anmial" (sic) are possible. I was wondering if a variant where I could have data Cat; data Dog; etc would be possible. No inheritance, polymorphism, etc. Some kind of promoted strings? |
2021-03-22 15:33:05 +0100 | <merijn> | TheCommieDuck: Oh, at the type level? |
2021-03-22 15:33:37 +0100 | <TheCommieDuck> | I...guess? Maybe? It's sort of "open sum type, but without any data attached to any of the constructors" |
2021-03-22 15:33:38 +0100 | <merijn> | That's sounds too masochistic for me :p |
2021-03-22 15:36:33 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
2021-03-22 15:37:45 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 15:39:58 +0100 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
2021-03-22 15:39:59 +0100 | <dminuoso> | TheCommieDuck: You could use empty typeclasses I guess? |
2021-03-22 15:41:23 +0100 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) |
2021-03-22 15:42:38 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 264 seconds) |
2021-03-22 15:43:45 +0100 | geowiesnot_bis | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds) |
2021-03-22 15:44:25 +0100 | <TheCommieDuck> | https://gist.github.com/PPKFS/45626a1a7642afaf1817853d3b55819a hopefully this is deciperable |
2021-03-22 15:46:00 +0100 | Pickchea | (~private@unaffiliated/pickchea) |
2021-03-22 15:46:11 +0100 | malumore | (~malumore@151.62.119.219) (Remote host closed the connection) |
2021-03-22 15:47:44 +0100 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) |
2021-03-22 15:47:55 +0100 | malumore | (~malumore@151.62.119.219) |
2021-03-22 15:49:37 +0100 | jonatanb | (~jonatanb@83.24.3.77.ipv4.supernova.orange.pl) (Quit: Leaving...) |
2021-03-22 15:50:38 +0100 | vsokolov | (~vsokolov@p200300e55f220ebf84b74e4b49cfaa6f.dip0.t-ipconnect.de) |
2021-03-22 15:50:50 +0100 | forgottenone | (~forgotten@176.42.30.186) (Remote host closed the connection) |
2021-03-22 15:51:22 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 276 seconds) |
2021-03-22 15:52:25 +0100 | vsokolov | (~vsokolov@p200300e55f220ebf84b74e4b49cfaa6f.dip0.t-ipconnect.de) (Client Quit) |
2021-03-22 15:52:50 +0100 | forgottenone | (~forgotten@176.42.30.186) |
2021-03-22 15:54:32 +0100 | <ski> | TheCommieDuck : what is it you want to prevent ? |
2021-03-22 15:54:43 +0100 | <TheCommieDuck> | ski: typos, basically. |
2021-03-22 15:55:01 +0100 | <ski> | would `data Class = Animal | CatDog | Cat | Dog' help ? |
2021-03-22 15:55:19 +0100 | <TheCommieDuck> | sadly, it's then closed |
2021-03-22 15:55:36 +0100 | <TheCommieDuck> | thus "open sum type, but without any data attached to any of the constructors" |
2021-03-22 15:56:00 +0100 | <ski> | maybe `Animal' &c. could be classes |
2021-03-22 15:56:01 +0100 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) (Read error: Connection reset by peer) |
2021-03-22 15:56:06 +0100 | <TheCommieDuck> | (the last bit being why I figured it /might/ have a solution somewhere since it avoids the expression problem) |
2021-03-22 15:56:22 +0100 | <ski> | (perhaps that's what the "empty typeclasses" suggestion had in mind) |
2021-03-22 15:56:51 +0100 | son0p | (~son0p@181.136.122.143) |
2021-03-22 15:57:02 +0100 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) |
2021-03-22 15:58:58 +0100 | addem[m] | (addemmatri@gateway/shell/matrix.org/x-dsozjjkkjhpfifoj) |
2021-03-22 16:00:47 +0100 | <TheCommieDuck> | but surely with empty typeclasses, I'd be needing some weird "isInstanceOfTypeclass" function which, AFAIK, I can't do |
2021-03-22 16:01:13 +0100 | <ski> | i'm not sure how it could work |
2021-03-22 16:02:16 +0100 | <TheCommieDuck> | I could just do the string method but replace string with Types |
2021-03-22 16:03:18 +0100 | <TheCommieDuck> | I just figured maybe what I wanted was some form of type family |
2021-03-22 16:03:51 +0100 | <ski> | (i'm still a bit unclear on what the problem statement is, what kind of things you want to avoid, or what kind of things you want to achieve or model, fwiw) |
2021-03-22 16:04:04 +0100 | Sathiana | (~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.1) |
2021-03-22 16:04:08 +0100 | <ski> | (dunno where type families would fit into it) |
2021-03-22 16:04:33 +0100 | Sathiana | (~kath@185-113-98-38.cust.bredband2.com) |
2021-03-22 16:05:21 +0100 | <TheCommieDuck> | the problem statement is "if I need an [open] |
2021-03-22 16:05:44 +0100 | <TheCommieDuck> | subset of strings, can I somehow use empty data types to avoid typos" |
2021-03-22 16:07:19 +0100 | <ski> | where would empty data types enter the picture ? |
2021-03-22 16:07:37 +0100 | <ski> | hm. i guess your `data Cat',&c. stuff |
2021-03-22 16:08:02 +0100 | <ski> | but that could just as well have been a kind `Type', with type inhabitants `Cat',&c. |
2021-03-22 16:08:12 +0100 | <ski> | (like with `DataKinds') |
2021-03-22 16:08:25 +0100 | <ski> | (or well, i suppose that would bring it back to closed again ..) |
2021-03-22 16:08:26 +0100 | <TheCommieDuck> | rather than SomeRecordType { recordType = "cat" ... } `isType` "animal" I'd have ... = Cat } `isType` Animal |
2021-03-22 16:08:56 +0100 | <ski> | well, `= Cat' there suggests `Cat' is a value |
2021-03-22 16:08:59 +0100 | <ski> | of which type ? |
2021-03-22 16:09:05 +0100 | <TheCommieDuck> | Type? |
2021-03-22 16:09:10 +0100 | benkolera | (uid285671@gateway/web/irccloud.com/x-sgsohxtqucnsegam) |
2021-03-22 16:09:14 +0100 | <TheCommieDuck> | recordType :: Type |
2021-03-22 16:09:19 +0100 | <ski> | so you're back to `data Type = Cat | ...' again ? |
2021-03-22 16:09:29 +0100 | <TheCommieDuck> | I meant GHC.Type |
2021-03-22 16:09:33 +0100 | <TheCommieDuck> | (or some equivalent) |
2021-03-22 16:09:57 +0100 | <ski> | i don't think you can pass around the inhabitants of `GHC.Type', as value at run-time |
2021-03-22 16:10:39 +0100 | <TheCommieDuck> | it doesn't seem to throw immediate errors except that it can't automagically derive Show. but |
2021-03-22 16:13:11 +0100 | <ski> | % let frob :: GHC.Type -> (); frob _ = () |
2021-03-22 16:13:11 +0100 | <yahb> | ski: |
2021-03-22 16:13:19 +0100 | <ski> | % frob Int |
2021-03-22 16:13:20 +0100 | <yahb> | ski: ; <interactive>:63:6: error:; * Data constructor not in scope: Int :: GHC.Core.TyCo.Rep.Type; * Perhaps you meant variable `int' (imported from Text.PrettyPrint.HughesPJ) |
2021-03-22 16:13:32 +0100 | <ski> | not sure how you could actually call `frob' |
2021-03-22 16:13:58 +0100 | <TheCommieDuck> | yeah, think you're right |
2021-03-22 16:14:16 +0100 | <TheCommieDuck> | strings it is, ty :P |
2021-03-22 16:20:06 +0100 | malumore_ | (~malumore@151.62.119.219) |
2021-03-22 16:20:35 +0100 | Major_Biscuit | (~Major_Bis@82-169-100-198.biz.kpn.net) (Quit: WeeChat 3.0.1) |
2021-03-22 16:21:41 +0100 | Major_Biscuit | (~Major_Bis@82-169-100-198.biz.kpn.net) |
2021-03-22 16:21:43 +0100 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) (Ping timeout: 268 seconds) |
2021-03-22 16:22:32 +0100 | malumore | (~malumore@151.62.119.219) (Ping timeout: 240 seconds) |
2021-03-22 16:23:06 +0100 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) |
2021-03-22 16:28:25 +0100 | linarcx | (~user@151.241.50.25) |
2021-03-22 16:28:55 +0100 | <SoF> | % :t (.) . (.) |
2021-03-22 16:28:55 +0100 | <yahb> | SoF: forall {b} {c} {a1} {a2}. (b -> c) -> (a1 -> a2 -> b) -> a1 -> a2 -> c |
2021-03-22 16:29:29 +0100 | alx741 | (~alx741@181.196.69.79) |
2021-03-22 16:30:16 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Ping timeout: 256 seconds) |
2021-03-22 16:30:17 +0100 | conal | (~conal@64.71.133.70) (Ping timeout: 256 seconds) |
2021-03-22 16:31:02 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
2021-03-22 16:31:35 +0100 | teardown | (~user@gateway/tor-sasl/mrush) (Ping timeout: 268 seconds) |
2021-03-22 16:31:40 +0100 | lupulo | (~lupulo@163.117.64.56) (Remote host closed the connection) |
2021-03-22 16:32:30 +0100 | lupulo | (~lupulo@163.117.64.56) |
2021-03-22 16:33:09 +0100 | conal | (~conal@66.115.176.171) |
2021-03-22 16:33:11 +0100 | <tomsmeding> | :t fmap fmap fmap |
2021-03-22 16:33:13 +0100 | <lambdabot> | (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b) |
2021-03-22 16:35:54 +0100 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 246 seconds) |
2021-03-22 16:36:29 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 16:40:16 +0100 | Sorny | (~Sornaensi@077213203030.dynamic.telenor.dk) |
2021-03-22 16:41:52 +0100 | LogicUpgrade | (57e3c46d@87.227.196.109) |
2021-03-22 16:42:58 +0100 | Sorna | (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 245 seconds) |
2021-03-22 16:43:45 +0100 | titusg | (~user@152.229.6.51.dyn.plus.net) |
2021-03-22 16:45:59 +0100 | <titusg> | I have a problem with coverage reports in cabal. I can generate tests using ghc and hpc, all fine, but cabal test --enable-coverage generates an empty report...? |
2021-03-22 16:47:29 +0100 | fendor_ | (~fendor@178.115.130.44.wireless.dyn.drei.com) |
2021-03-22 16:47:49 +0100 | <titusg> | s/generate tests/run tests/ |
2021-03-22 16:48:48 +0100 | <merijn> | titusg: Did you previously run "cabal build" in that directory? |
2021-03-22 16:49:19 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2021-03-22 16:49:52 +0100 | fendor | (~fendor@178.165.131.239.wireless.dyn.drei.com) (Ping timeout: 276 seconds) |
2021-03-22 16:50:42 +0100 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 268 seconds) |
2021-03-22 16:51:33 +0100 | hexfive | (~hexfive@50.35.83.177) |
2021-03-22 16:51:49 +0100 | <titusg> | merjin yes I did |
2021-03-22 16:53:00 +0100 | <merijn> | titusg: Can you try nuking dist-newstyle and running "cabal build --enable-coverage" before running test? |
2021-03-22 16:53:38 +0100 | myShoggoth | (~myShoggot@75.164.81.55) |
2021-03-22 16:54:23 +0100 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) |
2021-03-22 16:54:45 +0100 | <titusg> | merijn: Just tried that, html is generated but no content |
2021-03-22 16:54:54 +0100 | <merijn> | hmm |
2021-03-22 16:56:21 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Remote host closed the connection) |
2021-03-22 16:58:16 +0100 | peanut_ | (~peanut@2a02:8388:a101:2600:ab17:250:cc90:c191) (Quit: Leaving) |
2021-03-22 16:58:42 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) |
2021-03-22 17:00:02 +0100 | frozenErebus | (~frozenEre@94.128.81.87) |
2021-03-22 17:02:56 +0100 | azure1 | (~azure@103.154.230.130) (Ping timeout: 240 seconds) |
2021-03-22 17:03:05 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 256 seconds) |
2021-03-22 17:03:19 +0100 | linarcx | (~user@151.241.50.25) (Remote host closed the connection) |
2021-03-22 17:03:23 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 17:03:51 +0100 | linarcx | (~user@151.241.50.25) |
2021-03-22 17:04:12 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
2021-03-22 17:05:10 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-03-22 17:05:17 +0100 | fendor | (~fendor@178.165.131.158.wireless.dyn.drei.com) |
2021-03-22 17:07:03 +0100 | fendor_ | (~fendor@178.115.130.44.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
2021-03-22 17:09:00 +0100 | coot | (~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
2021-03-22 17:09:57 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
2021-03-22 17:10:20 +0100 | toorevitimirp | (~tooreviti@117.182.183.55) (Remote host closed the connection) |
2021-03-22 17:11:36 +0100 | apeyroux | (~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 246 seconds) |
2021-03-22 17:12:49 +0100 | geekosaur | (82650c7a@130.101.12.122) |
2021-03-22 17:12:58 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
2021-03-22 17:13:17 +0100 | cabpa | (~cabpa@180.190.165.139) (Ping timeout: 256 seconds) |
2021-03-22 17:15:13 +0100 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
2021-03-22 17:15:38 +0100 | Raito_Bezarius | (~Raito@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 264 seconds) |
2021-03-22 17:15:40 +0100 | toorevitimirp | (~tooreviti@117.182.183.55) |
2021-03-22 17:15:47 +0100 | elusive | (~Jeanne-Ka@static-198-54-134-109.cust.tzulo.com) |
2021-03-22 17:16:40 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Remote host closed the connection) |
2021-03-22 17:16:59 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) |
2021-03-22 17:18:17 +0100 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
2021-03-22 17:18:37 +0100 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
2021-03-22 17:18:37 +0100 | toorevitimirp | (~tooreviti@117.182.183.55) (Remote host closed the connection) |
2021-03-22 17:22:04 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-03-22 17:23:11 +0100 | malumore_ | malumore |
2021-03-22 17:24:18 +0100 | son0p | (~son0p@181.136.122.143) (Quit: Lost terminal) |
2021-03-22 17:24:26 +0100 | v01d4lph4 | (~v01d4lph4@223.190.38.71) (Read error: Connection reset by peer) |
2021-03-22 17:30:38 +0100 | azure1 | (~azure@103.154.230.130) |
2021-03-22 17:31:23 +0100 | Kaeipi | (~Kaiepi@47.54.252.148) |
2021-03-22 17:32:06 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
2021-03-22 17:32:31 +0100 | pavonia | (~user@unaffiliated/siracusa) |
2021-03-22 17:33:17 +0100 | <TheCommieDuck> | is there a standard or w/e to signify a function is partial? Kinda like how julia functions have bar for pure and bar! for mutable functions |
2021-03-22 17:34:04 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
2021-03-22 17:35:30 +0100 | kiweun | (~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) |
2021-03-22 17:36:00 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 256 seconds) |
2021-03-22 17:36:26 +0100 | pluze | (5372161c@lfbn-idf3-1-428-28.w83-114.abo.wanadoo.fr) |
2021-03-22 17:38:20 +0100 | <titusg> | TheCommieDuck: that's pure/impure not partial/total isn't it? |
2021-03-22 17:38:32 +0100 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
2021-03-22 17:38:43 +0100 | <TheCommieDuck> | yes, just the only example of a rule of thumb for denoting a function is a certain way |
2021-03-22 17:38:54 +0100 | <TheCommieDuck> | I suppose like how monad transformers are FooT, idk |
2021-03-22 17:39:34 +0100 | <TheCommieDuck> | basically if there's a goto denotation for regularFoo vs partialFoo |
2021-03-22 17:40:59 +0100 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) |
2021-03-22 17:41:51 +0100 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:3517:3251:7569:53c5) (Ping timeout: 265 seconds) |
2021-03-22 17:41:54 +0100 | <lyxia> | put a Maybe in its type |
2021-03-22 17:43:07 +0100 | <TheCommieDuck> | Yes, I'm specifically referring to having doFoo :: ... -> Maybe a and then partialFoo :: ... -> a for the cases where it's Just a or complete failure |
2021-03-22 17:43:30 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
2021-03-22 17:43:39 +0100 | <lyxia> | so there's your answer. |
2021-03-22 17:43:55 +0100 | <TheCommieDuck> | And my question was if there is a naming convention for partialFoo. |
2021-03-22 17:44:45 +0100 | <geekosaur> | no, sadly |
2021-03-22 17:45:54 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
2021-03-22 17:46:39 +0100 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-hdzjfjotgayyuqwv) |
2021-03-22 17:46:41 +0100 | apeyroux | (~alex@78.20.138.88.rev.sfr.net) |
2021-03-22 17:47:33 +0100 | matryoshka | (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Read error: Connection reset by peer) |
2021-03-22 17:48:07 +0100 | linarcx | (~user@151.241.50.25) ("Killed buffer") |
2021-03-22 17:48:24 +0100 | matryoshka | (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
2021-03-22 17:48:24 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
2021-03-22 17:48:31 +0100 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 244 seconds) |
2021-03-22 17:48:40 +0100 | stree | (~stree@68.36.8.116) |
2021-03-22 17:49:07 +0100 | <maralorn> | Huh, I just had a really bad idea: What do you think about type directed operator precedence. Whenever the operator precedence is ambiguous but only one interpretation typechecks that one is chosen. |
2021-03-22 17:49:51 +0100 | <lyxia> | I heard lean does that. |
2021-03-22 17:50:37 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
2021-03-22 17:50:48 +0100 | is_null | (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 246 seconds) |
2021-03-22 17:52:47 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
2021-03-22 17:53:10 +0100 | xff0x | (~xff0x@2001:1a81:52ec:b00:b309:634c:e93:e310) (Ping timeout: 244 seconds) |
2021-03-22 17:54:03 +0100 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:1f70:74b2:f5a9:8e18) |
2021-03-22 17:54:43 +0100 | Kaeipi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
2021-03-22 17:55:06 +0100 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) |
2021-03-22 17:55:19 +0100 | <monochrom> | yikes |
2021-03-22 17:56:29 +0100 | <monochrom> | Mathematicians have the best designs on write-only notation. |
2021-03-22 17:57:23 +0100 | __minoru__shirae | (~shiraeesh@109.166.57.171) |
2021-03-22 17:57:37 +0100 | <Taneb> | maralorn: then defining a new instance could cause a parse error :D |
2021-03-22 17:57:52 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) |
2021-03-22 17:59:11 +0100 | <maralorn> | Taneb: Nice |
2021-03-22 18:01:22 +0100 | <monochrom> | I am not bothered by that one. In standard Haskell, defining an instance a second time already causes a type error. |
2021-03-22 18:01:31 +0100 | cfricke | (cfricke@gateway/vpn/mullvad/cfricke) |
2021-03-22 18:01:36 +0100 | <monochrom> | or I guess declaration error |
2021-03-22 18:03:05 +0100 | v01d4lph4 | (~v01d4lph4@223.190.38.71) |
2021-03-22 18:03:07 +0100 | v01d4lph4 | (~v01d4lph4@223.190.38.71) (Read error: Connection reset by peer) |
2021-03-22 18:03:45 +0100 | v01d4lph4 | (~v01d4lph4@223.190.38.71) |
2021-03-22 18:04:10 +0100 | <shapr> | rkrishnan: hi! |
2021-03-22 18:04:32 +0100 | idhugo__ | (~idhugo@130.225.16.16) |
2021-03-22 18:04:32 +0100 | idhugo__ | (~idhugo@130.225.16.16) (Read error: Connection reset by peer) |
2021-03-22 18:04:44 +0100 | edwardk | pops in and waves to shapr. |
2021-03-22 18:04:46 +0100 | <shapr> | rkrishnan: hopefully our free time will overlap soon! |
2021-03-22 18:04:54 +0100 | <shapr> | o hi edwardk , how you doin? |
2021-03-22 18:04:59 +0100 | <edwardk> | not too shabby |
2021-03-22 18:05:22 +0100 | <edwardk> | been writing a lot of haskell lately, mostly on discord with folks |
2021-03-22 18:05:57 +0100 | idhugo__ | (~idhugo@80-62-117-136-mobile.dk.customer.tdc.net) |
2021-03-22 18:06:05 +0100 | <shapr> | o nice, is there a particular discord? |
2021-03-22 18:06:14 +0100 | howdoi | (uid224@gateway/web/irccloud.com/x-txtivmvabmjkksay) |
2021-03-22 18:06:22 +0100 | <edwardk> | https://discord.gg/dXd3DSt7 "haskell-twitch" is the one i was using when i was twitch-streaming |
2021-03-22 18:06:34 +0100 | <shapr> | I've been writing a lot of Haskell lately myself, but also dipping into category theory, array languages, my usual high voltage electronics |
2021-03-22 18:06:45 +0100 | <shapr> | I'm still hoping this project will set my hat on fire. |
2021-03-22 18:06:49 +0100 | myShoggoth | (~myShoggot@75.164.81.55) (Remote host closed the connection) |
2021-03-22 18:06:54 +0100 | apeyroux | (~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 246 seconds) |
2021-03-22 18:06:54 +0100 | idhugo_ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
2021-03-22 18:07:15 +0100 | myShoggoth | (~myShoggot@75.164.81.55) |
2021-03-22 18:07:34 +0100 | <edwardk> | my connectivity down here isn't as good and i don't have my greenscreen setup or my second recording machine or my mic, or the hdmi capture thing, so its a bit clunkier than when i was twitch-streaming, but it's what i have |
2021-03-22 18:07:49 +0100 | <edwardk> | nice |
2021-03-22 18:08:34 +0100 | raichoo | (~raichoo@dslb-188-100-010-076.188.100.pools.vodafone-ip.de) (Quit: Lost terminal) |
2021-03-22 18:08:50 +0100 | <edwardk> | i've been starting to figure out a nice way to wire up my tensor library from c++ to fast haskell by using horrible template-haskell tricks. that's my array language narrative. yet another iverson ghost |
2021-03-22 18:09:24 +0100 | Athas | (athas@sigkill.dk) (Quit: ZNC - http://znc.sourceforge.net) |
2021-03-22 18:09:27 +0100 | <edwardk> | i did a proof of concept of linking ispc directly into haskell via template haskell quasiquotation the other day |
2021-03-22 18:09:53 +0100 | <edwardk> | replace ispc with cuda and put the edsl for constructing it in one module so i can splice it in another and i think it'd be a decent user experience |
2021-03-22 18:10:38 +0100 | <shapr> | that does sound lovely |
2021-03-22 18:10:51 +0100 | Athas | (athas@sigkill.dk) |
2021-03-22 18:11:49 +0100 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 265 seconds) |
2021-03-22 18:13:19 +0100 | xff0x | (~xff0x@2001:1a81:52ec:b00:79bd:e981:802a:de8e) |
2021-03-22 18:13:47 +0100 | <edwardk> | it really completely resolves my 'how do i talk to cuda from haskell' issues, because i can just splice in c++ that'll build compute kernels for me without having to laboriously ffi out to something in an external file and stub back over to haskell, etc. |
2021-03-22 18:13:57 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 18:14:36 +0100 | elusive | (~Jeanne-Ka@static-198-54-134-109.cust.tzulo.com) (Quit: Leaving) |
2021-03-22 18:17:04 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 18:17:54 +0100 | justan0theruser | (~justanoth@unaffiliated/justanotheruser) |
2021-03-22 18:18:46 +0100 | benkolera | (uid285671@gateway/web/irccloud.com/x-sgsohxtqucnsegam) (Quit: Connection closed for inactivity) |
2021-03-22 18:18:56 +0100 | a3f | (~a3f@chimeria.ext.pengutronix.de) (Ping timeout: 240 seconds) |
2021-03-22 18:19:01 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-03-22 18:19:20 +0100 | a3f | (~a3f@chimeria.ext.pengutronix.de) |
2021-03-22 18:21:00 +0100 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 265 seconds) |
2021-03-22 18:21:20 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 240 seconds) |
2021-03-22 18:22:42 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 18:25:35 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-03-22 18:25:57 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
2021-03-22 18:29:35 +0100 | LKoen | (~LKoen@194.250.88.92.rev.sfr.net) |
2021-03-22 18:30:39 +0100 | graf_blutwurst | (~user@2001:171b:226e:adc0:9c90:293f:5aba:9a46) (Remote host closed the connection) |
2021-03-22 18:35:03 +0100 | malumore | (~malumore@151.62.119.219) (Ping timeout: 245 seconds) |
2021-03-22 18:36:47 +0100 | _flow_ | (~none@salem.informatik.uni-erlangen.de) (Quit: WeeChat 2.9) |
2021-03-22 18:38:08 +0100 | mananamenos | (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
2021-03-22 18:38:48 +0100 | TheCommieDuck | (~mark@79-68-31-106.dynamic.dsl.as9105.com) (Quit: WeeChat 3.1) |
2021-03-22 18:39:35 +0100 | <ski> | let `T' be a type. construct the least (restrictive) type `U' satisfying `T -> U' and `U = U + U + U' |
2021-03-22 18:40:07 +0100 | <ski> | let `T' be a type. construct the greatest (what's an appropriate term here ?) type `V' satisfying `V -> T' and `V = V * V * V' |
2021-03-22 18:40:30 +0100 | frozenErebus | (~frozenEre@94.128.81.87) (Ping timeout: 246 seconds) |
2021-03-22 18:41:05 +0100 | LogicUpgrade | (57e3c46d@87.227.196.109) (Quit: Connection closed) |
2021-03-22 18:41:51 +0100 | frozenErebus | (~frozenEre@94.128.81.87) |
2021-03-22 18:42:19 +0100 | <ski> | (very loosely and a bit superficially inspired by "in case this makes you wonder, there *are* abelian infinite groups A with A =~ A^2 (and hence to A^n for all positive), such as the additive group of Z[x], or R (the reals). Way more bizarrely than that, there's an abelian torsionfree A with A =~ A^3 but not =~ A^2. I still need to go back to that paper and unravel all the details, including in an earlier |
2021-03-22 18:42:25 +0100 | <ski> | one it references.") |
2021-03-22 18:46:16 +0100 | electricityZZZZ | (~electrici@135-180-3-82.static.sonic.net) |
2021-03-22 18:46:22 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Remote host closed the connection) |
2021-03-22 18:48:21 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
2021-03-22 18:49:02 +0100 | geekosaur | (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
2021-03-22 18:49:37 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 18:50:51 +0100 | Vadrigar_ | (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
2021-03-22 18:52:37 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
2021-03-22 18:54:56 +0100 | Major_Biscuit | (~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 240 seconds) |
2021-03-22 18:55:02 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-03-22 18:56:43 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
2021-03-22 18:57:39 +0100 | roconnor | (~roconnor@host-45-58-230-226.dyn.295.ca) (Ping timeout: 246 seconds) |
2021-03-22 18:57:43 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
2021-03-22 18:59:37 +0100 | acidjnk_new | (~acidjnk@p200300d0c72b9545dcff5306019ad0b1.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2021-03-22 19:00:01 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
2021-03-22 19:00:31 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 276 seconds) |
2021-03-22 19:01:54 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2021-03-22 19:03:23 +0100 | frozenErebus | (~frozenEre@94.128.81.87) (Ping timeout: 245 seconds) |
2021-03-22 19:05:41 +0100 | LogicUpgrade | (57e3c46d@87.227.196.109) |
2021-03-22 19:06:08 +0100 | bitmagie | (~Thunderbi@200116b806f8700038660a55983a739f.dip.versatel-1u1.de) |
2021-03-22 19:06:33 +0100 | Vadrigar_ | (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
2021-03-22 19:06:40 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Client Quit) |
2021-03-22 19:06:56 +0100 | Vadrigar_ | (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
2021-03-22 19:07:07 +0100 | frozenErebus | (~frozenEre@94.128.81.87) |
2021-03-22 19:07:15 +0100 | dyeplexer | (~lol@unaffiliated/terpin) (Remote host closed the connection) |
2021-03-22 19:08:27 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2021-03-22 19:10:42 +0100 | <tomsmeding> | ski: What's the isomorphism R^2 =~ R? |
2021-03-22 19:11:28 +0100 | geekosaur | (82650c7a@130.101.12.122) |
2021-03-22 19:11:43 +0100 | Vadrigar_ | (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
2021-03-22 19:11:43 +0100 | <ski> | i didn't ask (but i suppose the one they had in mind was non-continuous, incomputable) |
2021-03-22 19:12:32 +0100 | v01d4lph4 | (~v01d4lph4@223.190.38.71) (Remote host closed the connection) |
2021-03-22 19:12:42 +0100 | <wroathe> | ghcjs is kind of a funny project isn't it... A seemingly huge amount of effort has gone into building it, but documentation and distribution methods seem to be nonexistant |
2021-03-22 19:12:53 +0100 | <pjb> | tomsmeding: https://en.wikipedia.org/wiki/Space-filling_curve |
2021-03-22 19:12:58 +0100 | is_null | (~jpic@pdpc/supporter/professional/is-null) |
2021-03-22 19:13:10 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 19:13:59 +0100 | knupfer | (~Thunderbi@200116b82ce292006dfbe4bba9a6c2dc.dip.versatel-1u1.de) (Remote host closed the connection) |
2021-03-22 19:14:06 +0100 | knupfer | (~Thunderbi@200116b82ce29200ddd218e8c7a73226.dip.versatel-1u1.de) |
2021-03-22 19:14:48 +0100 | petersen_ | (~petersen@redhat/juhp) |
2021-03-22 19:15:28 +0100 | petersen | (~petersen@redhat/juhp) (Ping timeout: 245 seconds) |
2021-03-22 19:15:42 +0100 | cabpa | (~cabpa@180.190.165.139) |
2021-03-22 19:16:18 +0100 | petersen_ | petersen |
2021-03-22 19:17:22 +0100 | cabpa | (~cabpa@180.190.165.139) (Remote host closed the connection) |
2021-03-22 19:17:29 +0100 | cabpa_ | (~cabpa@180.190.165.139) |
2021-03-22 19:17:33 +0100 | idhugo_ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
2021-03-22 19:17:47 +0100 | <tomsmeding> | pjb: so let I(x) = atan(2pi x - pi), and let [0,1] be a group with x + y = I^-1(I(x) + I(y)), and then for a space-filling curve f : [0,1] -> [0,1]^2 let [0,1]^2 be a group with (a,b) + (x,y) = f(f^-1((a,b)) + f^-1((x,y))) ? |
2021-03-22 19:18:29 +0100 | codygman` | (~user@209.251.131.98) |
2021-03-22 19:18:42 +0100 | <tomsmeding> | and then let R^2 be a group with (a,b) + (x,y) = (let (u,v) = (I^-1(a),I^-1(b)) + (I^-1(x),I^-1(y)) in (I(u),I(v))) |
2021-03-22 19:18:54 +0100 | <tomsmeding> | that's the weirdest way ever to claim that R =~ R^2 :p |
2021-03-22 19:19:01 +0100 | <tomsmeding> | or I'm missing something simpler |
2021-03-22 19:19:02 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Remote host closed the connection) |
2021-03-22 19:19:24 +0100 | <pjb> | tomsmeding: yes, something like that. But if you limit yourself to a square, it's easier. You may not need a function as complex as a space filling function. |
2021-03-22 19:19:28 +0100 | <tomsmeding> | ('I' is just an arbitrary bijection between [0,1] and R) |
2021-03-22 19:19:34 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 19:20:15 +0100 | codygman__ | (~user@47.186.207.161) (Ping timeout: 265 seconds) |
2021-03-22 19:20:18 +0100 | <tomsmeding> | pjb: yeah if you forget about R and just talk about the unit {interval,square}, you can ditch that whole atan() nonsense |
2021-03-22 19:20:19 +0100 | Pickchea | (~private@unaffiliated/pickchea) |
2021-03-22 19:20:21 +0100 | idhugo__ | (~idhugo@80-62-117-136-mobile.dk.customer.tdc.net) (Ping timeout: 264 seconds) |
2021-03-22 19:20:29 +0100 | <tomsmeding> | but you still have the space-filling curve then, right? |
2021-03-22 19:20:31 +0100 | bitmagie | (~Thunderbi@200116b806f8700038660a55983a739f.dip.versatel-1u1.de) (Quit: bitmagie) |
2021-03-22 19:20:45 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
2021-03-22 19:20:59 +0100 | <tomsmeding> | if someone uses "R^2" as a group, I'm not usually assuming they mean via a space-filling curve :p |
2021-03-22 19:21:07 +0100 | rajivr | (uid269651@gateway/web/irccloud.com/x-qkauuhiezkyxqudg) (Quit: Connection closed for inactivity) |
2021-03-22 19:21:19 +0100 | <tomsmeding> | along that reasoning, R is group-isomorphic to any set of the same cardinalit |
2021-03-22 19:21:20 +0100 | <tomsmeding> | -y |
2021-03-22 19:21:36 +0100 | <tomsmeding> | anyway, tangent |
2021-03-22 19:22:44 +0100 | Vadrigar_ | (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
2021-03-22 19:23:38 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) |
2021-03-22 19:23:52 +0100 | <ski> | monochrom : "Mathematicians have the best designs on write-only notation." -- ooc, what was this apropos ? |
2021-03-22 19:24:00 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
2021-03-22 19:25:01 +0100 | <tomsmeding> | ski: https://ircbrowse.tomsmeding.com/selection/haskell?title=Conversation&events=396546,396547 |
2021-03-22 19:25:07 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
2021-03-22 19:25:38 +0100 | usr25 | (~usr25@unaffiliated/usr25) |
2021-03-22 19:25:42 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2021-03-22 19:25:53 +0100 | <tomsmeding> | ski: forgive me for spamming; what is a "least restrictive type"? |
2021-03-22 19:25:53 +0100 | coot | (~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) |
2021-03-22 19:27:51 +0100 | ski | noticed no spamming |
2021-03-22 19:28:14 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) (Ping timeout: 264 seconds) |
2021-03-22 19:28:40 +0100 | <pjb> | tomsmeding: well, intuitively, I would want to do something like with integers, using the quotient and the remainder, but it may not work with reals. So a space filling curve might still be needed on a finite interval. |
2021-03-22 19:28:40 +0100 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
2021-03-22 19:28:45 +0100 | <ski> | oh, i guess you mean that was the context. i didn't connect them, when reading them |
2021-03-22 19:29:11 +0100 | <tomsmeding> | ski: yes I meant that was the context :) |
2021-03-22 19:29:14 +0100 | gentauro | (~gentauro@unaffiliated/gentauro) |
2021-03-22 19:29:35 +0100 | <pjb> | Notably, there are as many reals between ]0,1[ as in the full ℝ set. So space-filling is most probably indicated. |
2021-03-22 19:29:58 +0100 | <tomsmeding> | blagh replace all uses of [0,1] with ]0,1[ in my messages just now |
2021-03-22 19:30:22 +0100 | forgottenone | (~forgotten@176.42.30.186) (Quit: Konversation terminated!) |
2021-03-22 19:30:30 +0100 | <pjb> | |ℝ| = |ℝ²| = 2^ℵ₀ |
2021-03-22 19:30:36 +0100 | conal | (~conal@66.115.176.171) (Quit: Computer has gone to sleep.) |
2021-03-22 19:30:45 +0100 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:1c78:a17b:5caa:bd0c) |
2021-03-22 19:31:43 +0100 | ystael | (~ystael@209.6.50.55) (Ping timeout: 260 seconds) |
2021-03-22 19:31:48 +0100 | <tomsmeding> | I guess my point is that the claim was "there are abelian infinite groups A with A =~ A^2 (and hence to A^n for all positive n)" |
2021-03-22 19:32:10 +0100 | Vadrigar_ | (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
2021-03-22 19:32:14 +0100 | <tomsmeding> | but the concept of the product of groups is well-defined, and uses (a,b) + (x,y) = (a+x, b+y), and not some kind of space-filling curve |
2021-03-22 19:32:20 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
2021-03-22 19:32:30 +0100 | <ski> | tomsmeding : the idea being (a) there's no "junk" (no extra things in the type/set, than what can be generated from the given operations and initial generators); and (b) no "confusion" (no extra identities/equalities/laws hold between elements, apart from those that are required/imposed) |
2021-03-22 19:32:33 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
2021-03-22 19:32:50 +0100 | <tomsmeding> | I see |
2021-03-22 19:33:32 +0100 | <tomsmeding> | and "satisfying 'T -> U'" means that that function T -> U must be injective, I guess? |
2021-03-22 19:33:36 +0100 | <ski> | tomsmeding : so, e.g. given a type `T', the type of (finite) lists on `T' is the least (restrictive) type which is a monoid, and which includes `T' (has a morphism/function from `T' to it) |
2021-03-22 19:33:49 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2021-03-22 19:33:53 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Client Quit) |
2021-03-22 19:33:53 +0100 | minoru_shiraeesh | (~shiraeesh@46.34.206.238) |
2021-03-22 19:33:59 +0100 | __minoru__shirae | (~shiraeesh@109.166.57.171) (Ping timeout: 265 seconds) |
2021-03-22 19:34:02 +0100 | <ski> | tomsmeding : not a priori, but that would most likely be a consequence, yes |
2021-03-22 19:34:29 +0100 | conal | (~conal@66.115.176.171) |
2021-03-22 19:35:14 +0100 | <tomjaguarpaw> | Why do I get "ghc: could not execute: gcc"? gcc is right there in my PATH. I can run it! |
2021-03-22 19:35:36 +0100 | <tomsmeding> | tomjaguarpaw: how are you running ghc? |
2021-03-22 19:35:53 +0100 | <tomjaguarpaw> | cabal v2-build (of the source tree of Cabal-3.4.0.0) |
2021-03-22 19:35:54 +0100 | <tomsmeding> | on what platform are you? (i.e. do you have strace?) |
2021-03-22 19:35:58 +0100 | <ski> | monoid laws require associativity (and neutral element laws), but not commutativity. hence the least monoid including `T' won't here be commutative, except in trivial cases, here `T' having at most one inhabitant |
2021-03-22 19:36:14 +0100 | <ski> | without associativity, you'd get a kind of binary trees |
2021-03-22 19:36:18 +0100 | idhugo_ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 245 seconds) |
2021-03-22 19:36:19 +0100 | <tomjaguarpaw> | I'm on Linux, and yes I have strace |
2021-03-22 19:36:23 +0100 | v01d4lph4 | (~v01d4lph4@223.190.38.71) |
2021-03-22 19:36:45 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2021-03-22 19:36:47 +0100 | <tomsmeding> | tomjaguarpaw: try 'strace -f -o log.txt your-cabal-invocation' and then search log.txt for 'gcc' |
2021-03-22 19:37:07 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Client Quit) |
2021-03-22 19:37:55 +0100 | <Gurkenglas> | IHaskell lets me use jupyter with Haskell. Google Colab lets me use jupyter without good local hardware. Can I use IHaskell on colab? |
2021-03-22 19:38:07 +0100 | <tomsmeding> | ski: I know that U + U + U =~ {0,1,2} × U, so I guess the smallest type where U + U + U =~ U is finite products of {0,1,2} |
2021-03-22 19:38:33 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2021-03-22 19:38:46 +0100 | <tomsmeding> | you can '×' that with T to get the injection t |-> (t, []), but that's not a decent answer I guess? |
2021-03-22 19:39:34 +0100 | <tomjaguarpaw> | OK, this is weird. It looks for /home/tom/.ghcup/bin/gcc (/home/tom/.ghcup/bin is on my PATH). Then it looks for /home/tom/.cabal/bin/gcc (/home/tom/.cabal/bin/ isn't on my PATH). Then it gives up. Am I doing something stupid? |
2021-03-22 19:39:53 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Remote host closed the connection) |
2021-03-22 19:40:15 +0100 | <tomjaguarpaw> | I can run gcc. It is on my PATH! How is cabal getting a PATH? |
2021-03-22 19:40:16 +0100 | <tomsmeding> | Gurkenglas: there was a bit of activity a few months ago in trying to get haskell running on cocalc; not sure what came of it |
2021-03-22 19:41:00 +0100 | <tomsmeding> | tomjaguarpaw: try 'cabal v2-exec gcc' and 'cabal v2-exec env | grep PATH' |
2021-03-22 19:41:26 +0100 | <tomsmeding> | you're not running in nix or something wild by any chance? :p |
2021-03-22 19:41:35 +0100 | <ski> | tomsmeding : "finite products of {0,1,2}" ? |
2021-03-22 19:41:35 +0100 | <tomjaguarpaw> | The former finds gcc |
2021-03-22 19:41:45 +0100 | <tomsmeding> | ski: finite lists, I guess |
2021-03-22 19:41:50 +0100 | mp___ | (mp@hell.cx) (Ping timeout: 272 seconds) |
2021-03-22 19:41:54 +0100 | <ski> | (and yes, i could have written `U = 3*U' or `V = V^3' instead) |
2021-03-22 19:42:14 +0100 | <tomjaguarpaw> | Can't see anything obviously wrong with the latter |
2021-03-22 19:42:22 +0100 | <tomjaguarpaw> | I am not in nix or anything remotely unusual |
2021-03-22 19:42:41 +0100 | <tomjaguarpaw> | I have no problems compiling anything except this pristine Cabal 3.4 checkout |
2021-03-22 19:42:48 +0100 | <tomsmeding> | ski: {{}} ∪ {1,2,3} ∪ {1,2,3}×{1,2,3} ∪ ... |
2021-03-22 19:43:36 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
2021-03-22 19:43:39 +0100 | <ski> | mhm |
2021-03-22 19:44:03 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-03-22 19:44:17 +0100 | <tomsmeding> | (s/1,2,3/0,1,2/g but it doesn't matter) |
2021-03-22 19:45:23 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2021-03-22 19:45:31 +0100 | <tomsmeding> | tomjaguarpaw: _is_ there a /home/tom/.cabal/bin/gcc, perhaps non-executable? |
2021-03-22 19:45:55 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) |
2021-03-22 19:45:56 +0100 | <tomjaguarpaw> | Nope |
2021-03-22 19:46:03 +0100 | <tomsmeding> | you see two ENOENTs? |
2021-03-22 19:46:20 +0100 | <tomjaguarpaw> | Yes |
2021-03-22 19:46:21 +0100 | kritzefitz | (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
2021-03-22 19:46:35 +0100 | jmager24 | (442be8d3@c-68-43-232-211.hsd1.mi.comcast.net) |
2021-03-22 19:46:37 +0100 | <tomjaguarpaw> | Then subsequently it writes out the error message |
2021-03-22 19:46:38 +0100 | conal | (~conal@66.115.176.171) (Quit: Computer has gone to sleep.) |
2021-03-22 19:47:13 +0100 | <tomsmeding> | tomjaguarpaw: what if you create /home/tom/.cabal/bin/gcc with the contents '#!/bin/sh' \n 'env; exit 1' and make it executable |
2021-03-22 19:47:21 +0100 | <tomsmeding> | we can hack this |
2021-03-22 19:47:25 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-03-22 19:47:39 +0100 | <tomjaguarpaw> | OK, cabal-3.4.0.0 does not have this problem |
2021-03-22 19:47:49 +0100 | tomsmeding | wut |
2021-03-22 19:47:52 +0100 | <tomjaguarpaw> | I was using cabal-3.2.0.0 |
2021-03-22 19:47:53 +0100 | <ski> | tomsmeding : i'm guessing what i had in mind was `data U = Leaf T | Branch UWithoutT; data UWithoutT = Left UWithoutT | Middle U | Right U' |
2021-03-22 19:47:54 +0100 | <tomjaguarpaw> | This is grim |
2021-03-22 19:48:02 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
2021-03-22 19:48:38 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
2021-03-22 19:49:04 +0100 | <tomjaguarpaw> | Oh great |
2021-03-22 19:49:09 +0100 | <tomsmeding> | ski: you're sure the arguments to Middle and Right should be U and not UWithoutT? |
2021-03-22 19:49:44 +0100 | geekosaur | has had several weird problems with cabal 3.2 that 3.4 fixed |
2021-03-22 19:49:49 +0100 | <tomjaguarpaw> | Oh great, now that it started working with 3.4.0.0 it started working with 3.2.0.0 |
2021-03-22 19:49:56 +0100 | <tomsmeding> | :D |
2021-03-22 19:50:06 +0100 | <tomsmeding> | I hope it stops working again if you remove dist-newstyle/ ? |
2021-03-22 19:50:27 +0100 | <tomjaguarpaw> | I don't even seem to have a dist-newstyle |
2021-03-22 19:50:37 +0100 | <tomjaguarpaw> | I cabal v2-cleaned |
2021-03-22 19:50:41 +0100 | <tomjaguarpaw> | but it didn't stop working agin |
2021-03-22 19:50:44 +0100 | <tomjaguarpaw> | *again |
2021-03-22 19:50:45 +0100 | <tomsmeding> | magic |
2021-03-22 19:50:51 +0100 | nnm | (~kvirc@109-252-72-161.nat.spd-mgts.ru) |
2021-03-22 19:51:00 +0100 | tomsmeding | . o O ( http://www.catb.org/jargon/html/magic-story.html ) |
2021-03-22 19:51:13 +0100 | <tomjaguarpaw> | Oh, dist-newstyle is a level up |
2021-03-22 19:52:07 +0100 | <tomjaguarpaw> | Well, that makes no difference |
2021-03-22 19:52:19 +0100 | <tomjaguarpaw> | I have set my switch to more magic and it won't go back |
2021-03-22 19:52:37 +0100 | <ski> | tomsmeding : `U = T + UWithoutT',`T + UWithoutT = U = U + U + U = (T + UWithoutT) + U + U', so `UWithoutT = UWithoutT + U + U' by cancellation |
2021-03-22 19:52:49 +0100 | v01d4lph_ | (~v01d4lph4@223.233.89.82) |
2021-03-22 19:53:22 +0100 | <ski> | the `T' in `U' being considered as being included in the first of the three `U's in `U' (an arbitrary choice) |
2021-03-22 19:53:49 +0100 | <tomsmeding> | interesting |
2021-03-22 19:54:40 +0100 | <ski> | @let infir 5 /\/; (/\/) :: [a] -> [a] -> [a]; [ ] /\/ ys = ys; (x:xs) /\/ ys = x : ys /\/ xs |
2021-03-22 19:54:41 +0100 | <lambdabot> | Parse failed: Parse error: ; |
2021-03-22 19:54:49 +0100 | <ski> | @let infixr 5 /\/; (/\/) :: [a] -> [a] -> [a]; [ ] /\/ ys = ys; (x:xs) /\/ ys = x : ys /\/ xs |
2021-03-22 19:54:52 +0100 | <lambdabot> | Defined. |
2021-03-22 19:55:09 +0100 | v01d4lph4 | (~v01d4lph4@223.190.38.71) (Ping timeout: 264 seconds) |
2021-03-22 19:55:27 +0100 | <ski> | > fix (\abacaba -> repeat 0 /\/ map succ abacaba) |
2021-03-22 19:55:30 +0100 | <lambdabot> | [0,1,0,2,0,1,0,3,0,1,0,2,0,1,0,4,0,1,0,2,0,1,0,3,0,1,0,2,0,1,0,5,0,1,0,2,0,1... |
2021-03-22 19:55:42 +0100 | <nnm> | https://www.kryptex.org/?ref=67f397d3 |
2021-03-22 19:55:42 +0100 | nnm | (~kvirc@109-252-72-161.nat.spd-mgts.ru) (Excess Flood) |
2021-03-22 19:56:13 +0100 | nnm | (~kvirc@109-252-72-161.nat.spd-mgts.ru) |
2021-03-22 19:56:18 +0100 | <ski> | > fix (\bitCount -> 0 : tail (bitCount /\/ map succ bitCount)) |
2021-03-22 19:56:20 +0100 | <lambdabot> | [0,1,1,2,1,2,2,3,1,2,2,3,2,3,3,4,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,1,2,2,3,2,3... |
2021-03-22 19:56:48 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
2021-03-22 19:57:05 +0100 | <ski> | note that `bitCount' is specified by `head bitCount = 0; bitCount = bitCount /\/ map succ bitCount'. this is vaguely similar to the `U' stuff above |
2021-03-22 19:57:06 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 256 seconds) |
2021-03-22 19:58:01 +0100 | <ski> | nnm : how's that Haskell related ? |
2021-03-22 19:58:09 +0100 | <monochrom> | ski: "write-only notation" = convenience for the writer but taxing on the reader |
2021-03-22 19:58:16 +0100 | <tomsmeding> | ski: they were kicked for 'Excess Flood' right after that message |
2021-03-22 19:58:24 +0100 | <ski> | (i know) |
2021-03-22 19:59:03 +0100 | idhugo_ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
2021-03-22 19:59:42 +0100 | <ski> | monochrom : ah. i was thinking of notations that were also unergonomic for the author (who presumably already knows something about what they're writing) |
2021-03-22 19:59:47 +0100 | <tomsmeding> | ski: UWithoutT is a number of Lefts followed by Middle/Right and a U, so UWithoutT = N × {0,1} × U, where N = {0,1,2,...}. U = T + UWithoutT, so UWithoutT = N × {0,1} × (T + UWithoutT), so UWithoutT = (N × {0,1})^(N \ {0}) × T |
2021-03-22 19:59:59 +0100 | <tomsmeding> | right? |
2021-03-22 20:00:08 +0100 | <tomsmeding> | s/=/=~/g |
2021-03-22 20:00:24 +0100 | John111 | (~kvirc@109.252.72.161) |
2021-03-22 20:00:58 +0100 | John111 | https://www.kryptex.org/?ref=67f397d3 |
2021-03-22 20:01:32 +0100 | ChanServ | +o monochrom |
2021-03-22 20:01:37 +0100 | monochrom | +b *!*@109.252.72.161 |
2021-03-22 20:01:37 +0100 | John111 | monochromJohn111 |
2021-03-22 20:01:49 +0100 | nnm | (~kvirc@109-252-72-161.nat.spd-mgts.ru) (K-Lined) |
2021-03-22 20:02:10 +0100 | remal | (~remal@d24-57-234-201.home.cgocable.net) |
2021-03-22 20:02:12 +0100 | monochrom | -o monochrom |
2021-03-22 20:02:52 +0100 | <ski> | tomsmeding : seems legit (apart from the ` \ {0}' part) |
2021-03-22 20:03:37 +0100 | berberman_ | (~berberman@unaffiliated/berberman) |
2021-03-22 20:03:47 +0100 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
2021-03-22 20:04:19 +0100 | xensky | (~xensky@xengarden.xen.prgmr.com) (Quit: i quit) |
2021-03-22 20:04:26 +0100 | xensky | (~xensky@xengarden.xen.prgmr.com) |
2021-03-22 20:04:28 +0100 | <tomsmeding> | ski: UWithoutT has at least one (possibly empty) sequence of Lefts and a Middle/Right before it can even get to the T right? |
2021-03-22 20:04:45 +0100 | xensky | (~xensky@xengarden.xen.prgmr.com) (Client Quit) |
2021-03-22 20:04:55 +0100 | <tomsmeding> | and then U = T + UWithoutT = (N × {0,1})^N × T |
2021-03-22 20:05:31 +0100 | a3f | (~a3f@chimeria.ext.pengutronix.de) (Ping timeout: 272 seconds) |
2021-03-22 20:05:51 +0100 | <ski> | oh, sorry. i'm confusing myself |
2021-03-22 20:07:27 +0100 | a3f | (~a3f@chimeria.ext.pengutronix.de) |
2021-03-22 20:07:53 +0100 | xensky | (~xensky@xengarden.xen.prgmr.com) |
2021-03-22 20:08:09 +0100 | tsaka__ | (~torstein@ppp-2-87-239-227.home.otenet.gr) (Read error: Connection reset by peer) |
2021-03-22 20:08:11 +0100 | mananamenos | (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) |
2021-03-22 20:09:04 +0100 | frobnicator | (~frobnicat@185-227-75-147.dsl.cambrium.nl) (Ping timeout: 265 seconds) |
2021-03-22 20:09:15 +0100 | stree | (~stree@68.36.8.116) |
2021-03-22 20:11:44 +0100 | v01d4lph_ | (~v01d4lph4@223.233.89.82) (Remote host closed the connection) |
2021-03-22 20:12:08 +0100 | dcoutts__ | (~duncan@94.186.125.91.dyn.plus.net) (Ping timeout: 245 seconds) |
2021-03-22 20:13:15 +0100 | is_null | (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 246 seconds) |
2021-03-22 20:19:00 +0100 | frobnicator | (~frobnicat@185-227-75-147.dsl.cambrium.nl) |
2021-03-22 20:20:55 +0100 | hexagenic_ | (~mattias@81-224-107-147-no71.tbcn.telia.com) |
2021-03-22 20:21:06 +0100 | is_null | (~jpic@pdpc/supporter/professional/is-null) |
2021-03-22 20:21:54 +0100 | Mugfugha | (57e3c46d@87.227.196.109) |
2021-03-22 20:22:43 +0100 | ystael | (~ystael@24.sub-174-196-202.myvzw.com) |
2021-03-22 20:23:01 +0100 | lampowner | (~xblow@broadband-90-154-73-166.ip.moscow.rt.ru) |
2021-03-22 20:23:23 +0100 | hexagenic | (~mattias@81-224-107-147-no71.tbcn.telia.com) (Ping timeout: 245 seconds) |
2021-03-22 20:23:48 +0100 | myShoggoth | (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
2021-03-22 20:23:48 +0100 | hoobop1 | (~hoobop@139.28.218.148) (Remote host closed the connection) |
2021-03-22 20:24:13 +0100 | myShoggoth | (~myShoggot@75.164.81.55) |
2021-03-22 20:25:50 +0100 | frobnicator | (~frobnicat@185-227-75-147.dsl.cambrium.nl) (Ping timeout: 264 seconds) |
2021-03-22 20:28:05 +0100 | <tomsmeding> | ski: huh, 3 * U = U works out also with U := (N * 2)^N * T, but I do need to use that N + 1 = N |
2021-03-22 20:28:35 +0100 | <tomsmeding> | ( https://paste.tomsmeding.com/vhCcdmMJ ) |
2021-03-22 20:28:47 +0100 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli) |
2021-03-22 20:29:40 +0100 | is_null_ | (~jpic@pdpc/supporter/professional/is-null) |
2021-03-22 20:30:02 +0100 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) |
2021-03-22 20:30:32 +0100 | <ski> | tomsmeding : fwiw, <https://mathoverflow.net/questions/16180/formalizing-no-junk-no-confusion> btw |
2021-03-22 20:30:33 +0100 | frobnicator | (~frobnicat@185-227-75-147.dsl.cambrium.nl) |
2021-03-22 20:33:23 +0100 | is_null | (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 245 seconds) |
2021-03-22 20:34:25 +0100 | Lord_of_Life_ | (~Lord@unaffiliated/lord-of-life/x-0885362) |
2021-03-22 20:34:25 +0100 | jacks2 | (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
2021-03-22 20:36:04 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 276 seconds) |
2021-03-22 20:37:22 +0100 | Lord_of_Life_ | Lord_of_Life |
2021-03-22 20:40:42 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 20:43:53 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
2021-03-22 20:44:56 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 240 seconds) |
2021-03-22 20:45:51 +0100 | hexagenic_ | (~mattias@81-224-107-147-no71.tbcn.telia.com) (Quit: WeeChat 1.9.1) |
2021-03-22 20:46:14 +0100 | coot | (~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
2021-03-22 20:47:22 +0100 | pluze | (5372161c@lfbn-idf3-1-428-28.w83-114.abo.wanadoo.fr) (Ping timeout: 240 seconds) |
2021-03-22 20:49:43 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 276 seconds) |
2021-03-22 20:53:38 +0100 | stree | (~stree@68.36.8.116) (Quit: Caught exception) |
2021-03-22 20:54:04 +0100 | stree | (~stree@68.36.8.116) |
2021-03-22 20:58:02 +0100 | jespada | (~jespada@90.254.243.187) (Ping timeout: 260 seconds) |
2021-03-22 20:58:07 +0100 | ystael | (~ystael@24.sub-174-196-202.myvzw.com) (Read error: Connection reset by peer) |
2021-03-22 21:00:11 +0100 | ajc | (~ajc@69.231.232.79) |
2021-03-22 21:00:46 +0100 | jespada | (~jespada@90.254.243.187) |
2021-03-22 21:05:03 +0100 | petersen | (~petersen@redhat/juhp) (Ping timeout: 246 seconds) |
2021-03-22 21:06:54 +0100 | idhugo_ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
2021-03-22 21:07:09 +0100 | frozenErebus | (~frozenEre@94.128.81.87) (Ping timeout: 246 seconds) |
2021-03-22 21:08:23 +0100 | petersen | (~petersen@redhat/juhp) |
2021-03-22 21:09:55 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-03-22 21:10:12 +0100 | mananamenos | (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) (Ping timeout: 256 seconds) |
2021-03-22 21:10:55 +0100 | ryxai | (~textual@pool-71-183-41-241.nycmny.fios.verizon.net) |
2021-03-22 21:11:49 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:75fb:cea1:4d26:9157) |
2021-03-22 21:12:10 +0100 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) (Ping timeout: 268 seconds) |
2021-03-22 21:12:32 +0100 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) |
2021-03-22 21:16:43 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2021-03-22 21:17:58 +0100 | ystael | (~ystael@24.sub-174-196-202.myvzw.com) |
2021-03-22 21:18:14 +0100 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
2021-03-22 21:19:20 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds) |
2021-03-22 21:22:17 +0100 | roconnor | (~roconnor@host-45-58-230-226.dyn.295.ca) |
2021-03-22 21:22:21 +0100 | Tario | (~Tario@201.192.165.173) |
2021-03-22 21:22:38 +0100 | benkolera | (uid285671@gateway/web/irccloud.com/x-dcatnolngaaurwon) |
2021-03-22 21:25:36 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-03-22 21:26:00 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
2021-03-22 21:26:34 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.1) |
2021-03-22 21:27:47 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-03-22 21:28:45 +0100 | Vadrigar_ | (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
2021-03-22 21:28:57 +0100 | todda7 | (~torstein@2a02:587:1b19:7e00:c6c7:4f08:2883:aa95) |
2021-03-22 21:30:33 +0100 | todda7 | (~torstein@2a02:587:1b19:7e00:c6c7:4f08:2883:aa95) (Remote host closed the connection) |
2021-03-22 21:31:20 +0100 | supercoven | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 240 seconds) |
2021-03-22 21:31:40 +0100 | RusAlex | (~Chel@unaffiliated/rusalex) (Quit: WeeChat 3.0) |
2021-03-22 21:32:05 +0100 | todda7 | (~torstein@2a02:587:1b19:7e00:c6c7:4f08:2883:aa95) |
2021-03-22 21:32:25 +0100 | LogicUpgrade | (57e3c46d@87.227.196.109) (Quit: Connection closed) |
2021-03-22 21:32:28 +0100 | Mugfugha | (57e3c46d@87.227.196.109) (Quit: Connection closed) |
2021-03-22 21:32:39 +0100 | conal | (~conal@64.71.133.70) |
2021-03-22 21:32:45 +0100 | conal | (~conal@64.71.133.70) (Client Quit) |
2021-03-22 21:33:03 +0100 | Vadrigar_ | (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2021-03-22 21:37:38 +0100 | frozenErebus | (~frozenEre@94.128.81.87) |
2021-03-22 21:38:27 +0100 | todda7 | (~torstein@2a02:587:1b19:7e00:c6c7:4f08:2883:aa95) (Remote host closed the connection) |
2021-03-22 21:38:36 +0100 | RusAlex | (~Chel@unaffiliated/rusalex) |
2021-03-22 21:38:50 +0100 | geekosaur | (82650c7a@130.101.12.122) (Quit: Connection closed) |
2021-03-22 21:39:29 +0100 | dleffler1 | (~dleffler@178.239.168.171) |
2021-03-22 21:41:23 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
2021-03-22 21:41:25 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 21:42:06 +0100 | RusAlex | (~Chel@unaffiliated/rusalex) (Read error: Connection reset by peer) |
2021-03-22 21:42:08 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
2021-03-22 21:42:19 +0100 | stree | (~stree@68.36.8.116) (Quit: Caught exception) |
2021-03-22 21:42:25 +0100 | RusAlex | (~Chel@unaffiliated/rusalex) |
2021-03-22 21:42:42 +0100 | stree | (~stree@68.36.8.116) |
2021-03-22 21:42:58 +0100 | frozenErebus | (~frozenEre@94.128.81.87) (Ping timeout: 260 seconds) |
2021-03-22 21:42:58 +0100 | cfricke | (cfricke@gateway/vpn/mullvad/cfricke) (Ping timeout: 260 seconds) |
2021-03-22 21:43:50 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-03-22 21:46:14 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 264 seconds) |
2021-03-22 21:47:08 +0100 | wonko7 | (~wonko7@45.15.17.60) (Ping timeout: 245 seconds) |
2021-03-22 21:47:12 +0100 | metaweta | (a6461f1c@166.70.31.28) |
2021-03-22 21:48:40 +0100 | <metaweta> | @djinn (a->z)->a |
2021-03-22 21:48:40 +0100 | <lambdabot> | -- f cannot be realized. |
2021-03-22 21:50:00 +0100 | conal | (~conal@64.71.133.70) |
2021-03-22 21:52:17 +0100 | <ski> | @djinn-add type Search z a = (a -> z) -> a |
2021-03-22 21:52:28 +0100 | <ski> | @djinn a -> Search z a |
2021-03-22 21:52:28 +0100 | <lambdabot> | f a _ = a |
2021-03-22 21:52:42 +0100 | <ski> | @djinn Search z a -> (a -> Search z b) -> Search z b |
2021-03-22 21:52:42 +0100 | <lambdabot> | f a b c = b (a (\ d -> c (b d c))) c |
2021-03-22 21:55:13 +0100 | nighmi | (~felix@port-83-236-34-206.dynamic.as20676.net) |
2021-03-22 21:56:15 +0100 | cfricke | (~cfricke@unaffiliated/cfricke) |
2021-03-22 21:59:04 +0100 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
2021-03-22 21:59:47 +0100 | ystael | (~ystael@24.sub-174-196-202.myvzw.com) (Read error: Connection reset by peer) |
2021-03-22 22:00:17 +0100 | conal | (~conal@64.71.133.70) |
2021-03-22 22:01:05 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
2021-03-22 22:01:15 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
2021-03-22 22:01:55 +0100 | <monochrom> | "is this a monad?" meme >:) |
2021-03-22 22:02:06 +0100 | <koz_> | Butterfly Man rofl. |
2021-03-22 22:02:22 +0100 | wonko7 | (~wonko7@62.115.229.50) |
2021-03-22 22:02:23 +0100 | <koz_> | Someone needs to make that, but with a burrito over the butterfly. |
2021-03-22 22:02:30 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
2021-03-22 22:02:34 +0100 | <monochrom> | hahaha yes |
2021-03-22 22:02:51 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) |
2021-03-22 22:04:12 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
2021-03-22 22:05:01 +0100 | cd540 | (4b87575b@075-135-087-091.res.spectrum.com) |
2021-03-22 22:07:51 +0100 | son0p | (~son0p@181.136.122.143) |
2021-03-22 22:10:06 +0100 | seveg | (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Ping timeout: 265 seconds) |
2021-03-22 22:10:58 +0100 | seveg | (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) |
2021-03-22 22:12:33 +0100 | day | (~Unknown@unaffiliated/day) (Ping timeout: 264 seconds) |
2021-03-22 22:13:38 +0100 | forp | (57e3c46d@87.227.196.109) |
2021-03-22 22:13:44 +0100 | <tomsmeding> | @pf \a b c -> b (a (\d -> c (b d c))) c |
2021-03-22 22:13:44 +0100 | <lambdabot> | Maybe you meant: pl bf |
2021-03-22 22:13:48 +0100 | <tomsmeding> | @pl \a b c -> b (a (\d -> c (b d c))) c |
2021-03-22 22:13:48 +0100 | <lambdabot> | flip flip id . (ap .) . ap (.) . (. (ap (.) . flip)) . (.) |
2021-03-22 22:14:38 +0100 | conal | (~conal@64.71.133.70) (Ping timeout: 245 seconds) |
2021-03-22 22:14:55 +0100 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer) |
2021-03-22 22:15:27 +0100 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
2021-03-22 22:15:48 +0100 | conal | (~conal@192.145.118.79) |
2021-03-22 22:17:03 +0100 | jneira | (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) |
2021-03-22 22:18:36 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
2021-03-22 22:18:50 +0100 | ddere | (uid110888@gateway/web/irccloud.com/x-osvdowtbmzcjquma) |
2021-03-22 22:19:33 +0100 | <tomsmeding> | @djinn (a -> b) -> Search z a -> Search z b |
2021-03-22 22:19:34 +0100 | <lambdabot> | f a b c = a (b (\ d -> c (a d))) |
2021-03-22 22:20:39 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 246 seconds) |
2021-03-22 22:21:19 +0100 | maerwald | (~maerwald@mail.hasufell.de) (Quit: gone) |
2021-03-22 22:21:25 +0100 | <ski> | @where impossible |
2021-03-22 22:21:26 +0100 | <lambdabot> | <http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/>,<http://math.andrej.com/2008/11/21/a-haskell-monad-for-infinite-search-in-finite-time/> |
2021-03-22 22:21:36 +0100 | maerwald | (~maerwald@mail.hasufell.de) |
2021-03-22 22:21:37 +0100 | <koz_> | Oh yeah, that's really cool. |
2021-03-22 22:22:21 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-03-22 22:23:17 +0100 | ryxai | (~textual@pool-71-183-41-241.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-03-22 22:23:30 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
2021-03-22 22:23:53 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) |
2021-03-22 22:25:35 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
2021-03-22 22:25:57 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
2021-03-22 22:26:03 +0100 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection) |
2021-03-22 22:26:31 +0100 | Foritus | (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
2021-03-22 22:26:53 +0100 | Guest92446 | (~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-03-22 22:27:18 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
2021-03-22 22:32:21 +0100 | fendor | (~fendor@178.165.131.158.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
2021-03-22 22:32:37 +0100 | Vadrigar | (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
2021-03-22 22:33:36 +0100 | ystael | (~ystael@209.6.50.55) |
2021-03-22 22:36:17 +0100 | Sathiana | (~kath@185-113-98-38.cust.bredband2.com) (Ping timeout: 256 seconds) |
2021-03-22 22:36:59 +0100 | michalz | (~user@185.246.204.47) (Remote host closed the connection) |
2021-03-22 22:37:51 +0100 | knupfer | (~Thunderbi@200116b82ce29200ddd218e8c7a73226.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
2021-03-22 22:39:04 +0100 | cd540 | (4b87575b@075-135-087-091.res.spectrum.com) (Quit: Connection closed) |
2021-03-22 22:40:15 +0100 | roconnor | (~roconnor@host-45-58-230-226.dyn.295.ca) (Ping timeout: 246 seconds) |
2021-03-22 22:41:38 +0100 | stevenxl | (~stevenlei@unaffiliated/stevenxl) |
2021-03-22 22:42:09 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 22:42:29 +0100 | borne | (~fritjof@200116b864caf700a6d9c1e30b1bd3ca.dip.versatel-1u1.de) (Ping timeout: 265 seconds) |
2021-03-22 22:42:54 +0100 | Alleria | (~textual@2603-7000-3040-0000-5567-17e6-5142-189b.res6.spectrum.com) |
2021-03-22 22:43:17 +0100 | Alleria | Guest85182 |
2021-03-22 22:43:21 +0100 | Guest85182 | (~textual@2603-7000-3040-0000-5567-17e6-5142-189b.res6.spectrum.com) (Client Quit) |
2021-03-22 22:45:02 +0100 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 264 seconds) |
2021-03-22 22:45:03 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2021-03-22 22:45:58 +0100 | acidjnk_new | (~acidjnk@p200300d0c72b9578819a903e74dd056f.dip0.t-ipconnect.de) |
2021-03-22 22:46:22 +0100 | dhouthoo | (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0) |
2021-03-22 22:46:38 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 244 seconds) |
2021-03-22 22:47:50 +0100 | borne | (~fritjof@200116b864caf700a6d9c1e30b1bd3ca.dip.versatel-1u1.de) |
2021-03-22 22:48:35 +0100 | roconnor | (~roconnor@host-45-58-230-226.dyn.295.ca) |
2021-03-22 22:49:22 +0100 | wonko7 | (~wonko7@62.115.229.50) (Ping timeout: 256 seconds) |
2021-03-22 22:49:42 +0100 | <bbhoss> | I've got a function with a where block with like 10 assignments. is this a smell or anti-pattern? everything is just using built in functions to transform data, and setting names for intermediate states that I process further. the function ends up just returning a combo of the assignments. |
2021-03-22 22:50:18 +0100 | <dmj`> | bbhoss: can you paste your code? |
2021-03-22 22:50:42 +0100 | <bbhoss> | here's a link: https://github.com/bbhoss/instant-runoff/blob/main/src/Lib.hs |
2021-03-22 22:51:07 +0100 | <bbhoss> | It's my first haskell program so I'm sure there's plenty to improve, but that is the oddest looking thing to me. it's pretty dense but everything has good names I think |
2021-03-22 22:52:24 +0100 | <bbhoss> | while you're there the "useless" case kinda bugs me. I really don't need to match on sortedResults. I guess I could do if then else maybe? or is there a better way to apply guards? what I'd like to do is have something like case but just for conditions |
2021-03-22 22:52:38 +0100 | LKoen | (~LKoen@194.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
2021-03-22 22:53:32 +0100 | dan64- | (~dan64@dannyadam.com) |
2021-03-22 22:53:49 +0100 | <bbhoss> | tbc I'm talking mainly about tallyRound |
2021-03-22 22:56:35 +0100 | dan64 | (~dan64@dannyadam.com) (Ping timeout: 240 seconds) |
2021-03-22 22:56:57 +0100 | Raito_Bezarius | (~Raito@unaffiliated/raito-bezarius/x-8764578) |
2021-03-22 22:57:15 +0100 | alx741 | (~alx741@181.196.69.79) (Ping timeout: 256 seconds) |
2021-03-22 22:58:57 +0100 | wonko7 | (~wonko7@62.115.229.50) |
2021-03-22 23:00:00 +0100 | <tomsmeding> | bbhoss: functions can also be defined using guards: https://paste.tomsmeding.com/ESI5suUP |
2021-03-22 23:00:24 +0100 | <tomsmeding> | @src otherwise |
2021-03-22 23:00:24 +0100 | <lambdabot> | otherwise = True |
2021-03-22 23:01:09 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 264 seconds) |
2021-03-22 23:01:42 +0100 | <shapr> | I was thinking, for the 20th anniversary of #haskell perhaps I should do another IOHCC |
2021-03-22 23:03:11 +0100 | <tomsmeding> | bbhoss: and I'd probably inline the decomposition of 'leader' and 'second' in 'tally' as follows: https://paste.tomsmeding.com/xJbIc1QE |
2021-03-22 23:03:42 +0100 | conkker | (~conkker@unaffiliated/conkker) (Quit: The Lounge - https://thelounge.chat) |
2021-03-22 23:03:49 +0100 | wonko7 | (~wonko7@62.115.229.50) (Ping timeout: 245 seconds) |
2021-03-22 23:04:14 +0100 | <tomsmeding> | shapr: please do |
2021-03-22 23:04:45 +0100 | theDon | (~td@94.134.91.6) (Ping timeout: 264 seconds) |
2021-03-22 23:04:45 +0100 | ft | (~ft@shell.chaostreff-dortmund.de) (Ping timeout: 246 seconds) |
2021-03-22 23:04:46 +0100 | conkker | (~conkker@unaffiliated/conkker) |
2021-03-22 23:05:25 +0100 | theDon | (~td@94.134.91.6) |
2021-03-22 23:05:33 +0100 | ft | (~ft@shell.chaostreff-dortmund.de) |
2021-03-22 23:09:47 +0100 | conkker | (~conkker@unaffiliated/conkker) (Quit: The Lounge - https://thelounge.chat) |
2021-03-22 23:09:48 +0100 | alx741 | (~alx741@186.178.108.164) |
2021-03-22 23:10:06 +0100 | conkker | (~conkker@unaffiliated/conkker) |
2021-03-22 23:12:12 +0100 | <shapr> | tomsmeding: got any ideas for 20th anniversary of #haskell ? |
2021-03-22 23:12:17 +0100 | <shapr> | it's coming up in a few weeks |
2021-03-22 23:12:25 +0100 | <shapr> | I'd need to recruit some judges |
2021-03-22 23:12:28 +0100 | <shapr> | hmm |
2021-03-22 23:16:32 +0100 | blissful | (~blissful@unaffiliated/azuline) |
2021-03-22 23:19:20 +0100 | _ashbreeze_ | (~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection) |
2021-03-22 23:20:05 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
2021-03-22 23:20:59 +0100 | <bbhoss> | tomsmeding: thanks, I'll give that a shot |
2021-03-22 23:21:23 +0100 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
2021-03-22 23:21:25 +0100 | <bbhoss> | I guess it feels weird to have so much going on with those 11 lines, but if it doesn't look weird to y'all I'll take it |
2021-03-22 23:21:26 +0100 | _ashbreeze_ | (~mark@64.85.214.234.reverse.socket.net) |
2021-03-22 23:22:12 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
2021-03-22 23:25:48 +0100 | <wz1000> | what is a IOHCC? |
2021-03-22 23:25:57 +0100 | <shapr> | international obfuscated Haskell code contest! |
2021-03-22 23:26:06 +0100 | <shapr> | I think I last ran one in 2005 or so |
2021-03-22 23:26:06 +0100 | <wz1000> | ah nice |
2021-03-22 23:26:54 +0100 | <wz1000> | would it be legal to exploit compiler bugs? |
2021-03-22 23:26:58 +0100 | <shapr> | of course! |
2021-03-22 23:27:20 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds) |
2021-03-22 23:27:29 +0100 | <shapr> | you'd get bonus points for that kind of thing |
2021-03-22 23:27:33 +0100 | <wz1000> | which versions of GHC are allowed? |
2021-03-22 23:27:49 +0100 | shapr | shrugs |
2021-03-22 23:27:49 +0100 | <wz1000> | I mean, would it be fixed? |
2021-03-22 23:28:24 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 265 seconds) |
2021-03-22 23:28:56 +0100 | <wz1000> | look forward to it |
2021-03-22 23:29:05 +0100 | Vadrigar_ | (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
2021-03-22 23:30:02 +0100 | <wz1000> | I shouldn't have opened that GHC issue, now people will know of my secret weapon |
2021-03-22 23:30:10 +0100 | <monochrom> | More bonus points if the bug is present in a huge range of recent versions. >:) |
2021-03-22 23:30:36 +0100 | <wz1000> | Yeah, I know a fun one that affects everything from atleast 8.4 to 9,0 |
2021-03-22 23:31:23 +0100 | carlomagno | (~cararell@148.87.23.5) (Quit: Leaving.) |
2021-03-22 23:31:50 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
2021-03-22 23:32:15 +0100 | hpc | . o O ( a haskell program that tells you what ghc version it was built with, using only compilation bugs ) |
2021-03-22 23:33:31 +0100 | Vadrigar_ | (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
2021-03-22 23:38:31 +0100 | jmager24 | (442be8d3@c-68-43-232-211.hsd1.mi.comcast.net) (Quit: Connection closed) |
2021-03-22 23:39:50 +0100 | molehillish | (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) |
2021-03-22 23:39:56 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) |
2021-03-22 23:41:24 +0100 | <monochrom> | hahahaha |
2021-03-22 23:42:01 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-03-22 23:44:17 +0100 | ezrakilty | (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 256 seconds) |
2021-03-22 23:44:32 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-03-22 23:44:54 +0100 | codygman` | (~user@209.251.131.98) (Ping timeout: 256 seconds) |
2021-03-22 23:45:18 +0100 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
2021-03-22 23:46:26 +0100 | Franciman | (~francesco@host-79-53-62-46.retail.telecomitalia.it) (Quit: Leaving) |
2021-03-22 23:46:29 +0100 | Alleria | (~textual@2603-7000-3040-0000-5567-17e6-5142-189b.res6.spectrum.com) |
2021-03-22 23:46:38 +0100 | stevenxl | (~stevenlei@unaffiliated/stevenxl) (Ping timeout: 260 seconds) |
2021-03-22 23:46:52 +0100 | Alleria | Guest93685 |
2021-03-22 23:48:32 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds) |
2021-03-22 23:48:58 +0100 | forp | (57e3c46d@87.227.196.109) (Quit: Connection closed) |
2021-03-22 23:49:38 +0100 | lampowner | (~xblow@broadband-90-154-73-166.ip.moscow.rt.ru) (Remote host closed the connection) |
2021-03-22 23:50:11 +0100 | <minoru_shiraeesh> | shapr: how about classifying the conversations from the archive by subjects and tags |
2021-03-22 23:50:35 +0100 | <minoru_shiraeesh> | to make them more reachable through search |
2021-03-22 23:50:57 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 264 seconds) |
2021-03-22 23:51:04 +0100 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:1c78:a17b:5caa:bd0c) (Quit: Leaving) |
2021-03-22 23:51:33 +0100 | <wz1000> | I would say CPP should be disallowed from the contest at least. |
2021-03-22 23:51:38 +0100 | xff0x | (~xff0x@2001:1a81:52ec:b00:79bd:e981:802a:de8e) (Ping timeout: 264 seconds) |
2021-03-22 23:51:51 +0100 | <wz1000> | makes it too easy and not that fun |
2021-03-22 23:52:10 +0100 | <wz1000> | its not Haskell anymore |
2021-03-22 23:52:31 +0100 | xff0x | (~xff0x@port-92-193-144-80.dynamic.as20676.net) |
2021-03-22 23:53:41 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
2021-03-22 23:53:54 +0100 | <dmj`> | wz1000: just peek into rts/ shouldn't be hard to find some bugs |
2021-03-22 23:53:57 +0100 | Benzi-Junior | (~BenziJuni@dsl-149-67-143.hive.is) (Ping timeout: 264 seconds) |
2021-03-22 23:54:21 +0100 | Chai-T-Rex | (~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 268 seconds) |
2021-03-22 23:55:44 +0100 | son0p | (~son0p@181.136.122.143) (Remote host closed the connection) |
2021-03-22 23:55:50 +0100 | Chai-T-Rex | (~ChaiTRex@gateway/tor-sasl/chaitrex) |
2021-03-22 23:58:11 +0100 | romesrf | (~romesrf@44.190.189.46.rev.vodafone.pt) |
2021-03-22 23:58:25 +0100 | stevenxl | (~stevenlei@c-73-45-168-220.hsd1.il.comcast.net) |
2021-03-22 23:58:35 +0100 | borne | (~fritjof@200116b864caf700a6d9c1e30b1bd3ca.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
2021-03-22 23:58:51 +0100 | <wz1000> | shapr: are entries from previous contests available somewhere? |
2021-03-22 23:59:22 +0100 | <Axman6> | hmm, ehich version of GHC stopped you being able to write unsafeCoerce using IORefs asnd unsafePerformIO |