2021-12-31 00:06:25 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
2021-12-31 00:08:02 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
2021-12-31 00:09:26 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 00:11:21 +0100 | python476 | (~user@88.160.31.174) |
2021-12-31 00:15:09 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 00:16:02 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-12-31 00:16:22 +0100 | doyougnu | (~doyougnu@c-73-25-202-122.hsd1.or.comcast.net) |
2021-12-31 00:17:52 +0100 | acidjnk_new | (~acidjnk@p200300d0c7271e9411aaafeb7bff4a7a.dip0.t-ipconnect.de) |
2021-12-31 00:18:17 +0100 | chomwitt | (~chomwitt@2a02:587:dc1e:c100:12c3:7bff:fe6d:d374) (Remote host closed the connection) |
2021-12-31 00:29:25 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-31 00:29:36 +0100 | <InternetCitizen> | dignissimus: seems very interesting, never even heard of this, I though there was no way to deal with the halting problem, could you show me some code snippets? |
2021-12-31 00:31:29 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 00:34:02 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Ping timeout: 240 seconds) |
2021-12-31 00:35:10 +0100 | otherwise | (~otherwise@2601:602:880:90f0:9dc:9663:8c4e:291b) () |
2021-12-31 00:35:42 +0100 | otherwise | (~otherwise@2601:602:880:90f0:9dc:9663:8c4e:291b) |
2021-12-31 00:36:47 +0100 | <dignissimus> | InternetCitizen: The language won't be turing complete, so I'll be able to make it so termination is decidable |
2021-12-31 00:37:16 +0100 | <pfurla-matrix> | yeah, Turing incomplete languages are a thing |
2021-12-31 00:37:22 +0100 | <dignissimus> | For example, you wouldn't be able to define the collatz function without a proof it terminates |
2021-12-31 00:37:30 +0100 | <EvanR> | really, you can decide yes terminates, or not does not? xD |
2021-12-31 00:37:43 +0100 | <EvanR> | haven't seen that one |
2021-12-31 00:38:33 +0100 | <EvanR> | usually it's yes terminates or not sure, reject it |
2021-12-31 00:39:20 +0100 | mastarija | (~mastarija@2a05:4f46:e0e:5000:d11e:1641:cfb6:79c3) (Quit: Leaving) |
2021-12-31 00:42:50 +0100 | <dignissimus> | InternetCitizen: Haven't written the parser yet and I still don't know what it'll look like exactly, but here are some doodles I made a while ago, it looks similar to haskell but I'm looking into adding imperative syntax too https://paste.tomsmeding.com/Eoh9qSzC |
2021-12-31 00:43:21 +0100 | <dignissimus> | EvanR: I'm too lazy to write termination checking, you must supply your own proof! :D |
2021-12-31 00:43:36 +0100 | <EvanR> | oof |
2021-12-31 00:44:01 +0100 | <EvanR> | well depending on the language that might not be so bad |
2021-12-31 00:44:42 +0100 | <EvanR> | e.g. imagine if the only thing you could do is map and fold finite structures using total primitives |
2021-12-31 00:44:48 +0100 | <geekosaur> | that's fairly common, actually |
2021-12-31 00:45:23 +0100 | <geekosaur> | the providing your own proof, that is |
2021-12-31 00:45:56 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 00:47:01 +0100 | Jing | (~hedgehog@2604:a840:3::1067) (Remote host closed the connection) |
2021-12-31 00:47:40 +0100 | Jing | (~hedgehog@2604:a840:3::1067) |
2021-12-31 00:48:13 +0100 | acidjnk_new | (~acidjnk@p200300d0c7271e9411aaafeb7bff4a7a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2021-12-31 00:48:27 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-12-31 00:48:37 +0100 | acidjnk | (~acidjnk@pd9e0bdc0.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2021-12-31 00:52:47 +0100 | <glguy> | int-e: you around, I want to share a cool thign about day 22 |
2021-12-31 00:54:57 +0100 | python476 | (~user@88.160.31.174) (Ping timeout: 240 seconds) |
2021-12-31 00:57:12 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:7457:6675:c5ec:bb4b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-12-31 00:57:40 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:7457:6675:c5ec:bb4b) |
2021-12-31 00:58:34 +0100 | <glguy> | int-e: OK, for when you get back, a day 22 solution using inclusion-exclusion principle that's nearly as fast as the subtraction solution (30ms vs 45ms); by keeping the seen regions in a map I cut down on a lot of duplication in the list of inclusions and exclusions: https://glguy.net/advent/sln_2021_22/src/Main.html#solveInEx |
2021-12-31 01:00:33 +0100 | dignissimus | (~dignissim@88-104-68-62.dynamic.dsl.as9105.com) (Quit: night) |
2021-12-31 01:04:01 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 01:16:24 +0100 | uam | (uid360535@id-360535.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2021-12-31 01:17:16 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
2021-12-31 01:17:59 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
2021-12-31 01:21:35 +0100 | _73 | (~user@pool-108-49-252-36.bstnma.fios.verizon.net) |
2021-12-31 01:23:37 +0100 | burnsidesLlama | (~burnsides@dhcp168-010.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-12-31 01:24:05 +0100 | burnsidesLlama | (~burnsides@dhcp168-010.wadham.ox.ac.uk) |
2021-12-31 01:24:56 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 01:27:57 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
2021-12-31 01:28:31 +0100 | burnsidesLlama | (~burnsides@dhcp168-010.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
2021-12-31 01:30:18 +0100 | _73 | (~user@pool-108-49-252-36.bstnma.fios.verizon.net) (Quit: ERC (IRC client for Emacs 27.2)) |
2021-12-31 01:31:21 +0100 | SummerSonw | (~The_viole@203.77.49.232) (Ping timeout: 256 seconds) |
2021-12-31 01:35:31 +0100 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) (Quit: Ping timeout (120 seconds)) |
2021-12-31 01:35:54 +0100 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) |
2021-12-31 01:38:17 +0100 | n3rdy1 | (~n3rdy1@2600:1700:4570:3480::41) (Ping timeout: 240 seconds) |
2021-12-31 01:40:56 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:7457:6675:c5ec:bb4b) (Quit: Textual IRC Client: www.textualapp.com) |
2021-12-31 01:42:29 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 01:42:34 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b165:3b1b:f1f6:f4de) (Ping timeout: 268 seconds) |
2021-12-31 01:56:11 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
2021-12-31 01:56:11 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 01:58:44 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-31 01:58:44 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-31 01:58:44 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-31 02:00:03 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
2021-12-31 02:00:32 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds) |
2021-12-31 02:05:13 +0100 | <iphy> | I have the following ADT with lists in the constructors: https://github.com/TokTok/hs-cimple/blob/master/src/Language/Cimple/Ast.hs#L52 |
2021-12-31 02:05:13 +0100 | <iphy> | is there a way to define a catamorphism that considers lists a recursive type, so I can define a list element's result in terms of the next element's result? |
2021-12-31 02:06:05 +0100 | <iphy> | I'm thinking about how to compute the live set for each statement, i.e. which variables are alive (= will be referenced in the future) at any point in the program |
2021-12-31 02:06:39 +0100 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 250 seconds) |
2021-12-31 02:08:05 +0100 | <iphy> | a catamorphism would work great if CompoundStmt [a] were instead CompoundStmt a (where a is StmtList {hd :: a, tl :: Maybe a}) |
2021-12-31 02:08:23 +0100 | zaquest | (~notzaques@5.130.79.72) |
2021-12-31 02:09:50 +0100 | <EvanR> | StmtList {hd :: a, tl :: Maybe (StmtList a)} ? |
2021-12-31 02:10:10 +0100 | <EvanR> | StmtList {hd :: a, tl :: Maybe (CompoundStmt a)} ? |
2021-12-31 02:10:30 +0100 | <iphy> | the former |
2021-12-31 02:10:51 +0100 | <EvanR> | give or take ctor names, it seems isomorphic to list |
2021-12-31 02:10:53 +0100 | <iphy> | (but of course StmtList :: NodeF lexeme a) |
2021-12-31 02:11:02 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
2021-12-31 02:11:31 +0100 | <iphy> | it is kind of isomorphic, but I can't constrain tl to be only one of the constructors |
2021-12-31 02:11:50 +0100 | <EvanR> | ah |
2021-12-31 02:11:55 +0100 | <iphy> | so the type system won't know that StmtList's tl is always a StmtList |
2021-12-31 02:11:58 +0100 | <iphy> | it's a NodeF |
2021-12-31 02:12:04 +0100 | <EvanR> | seems like a job for a new type |
2021-12-31 02:12:16 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-31 02:12:20 +0100 | <iphy> | ok but if it's a new type, then it's [a] again |
2021-12-31 02:12:24 +0100 | <iphy> | because [] is also a new type |
2021-12-31 02:12:29 +0100 | <EvanR> | like in BNF, a sequence of whatever is a new rule |
2021-12-31 02:12:31 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
2021-12-31 02:12:45 +0100 | hololeap | (~hololeap@user/hololeap) |
2021-12-31 02:13:24 +0100 | <iphy> | so let's consider it a new type then, how do you define the algebra for a catamorphism? |
2021-12-31 02:13:27 +0100 | <EvanR> | yeah I don't see why it can't be a list |
2021-12-31 02:13:46 +0100 | <iphy> | foldFix :: Functor f => (f a -> a) -> Fix f -> a |
2021-12-31 02:14:07 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 02:14:25 +0100 | <EvanR> | the visitor function there would need to fold the list |
2021-12-31 02:14:33 +0100 | <iphy> | int a = 0; int b = foo(a); return b; |
2021-12-31 02:15:09 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-12-31 02:15:09 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-12-31 02:15:09 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-31 02:15:54 +0100 | <iphy> | https://www.irccloud.com/pastebin/2E6gp3GT/ |
2021-12-31 02:16:41 +0100 | <EvanR> | a statement could be a type, you have a list of statements you wanna process |
2021-12-31 02:16:42 +0100 | <iphy> | given a node that represents the statement 'printf("hi %d\n", a);', I want to compute the live set for that statement |
2021-12-31 02:16:56 +0100 | <iphy> | for that, I need to know the live set of the next statement |
2021-12-31 02:17:22 +0100 | <EvanR> | yeah, so foldr |
2021-12-31 02:17:51 +0100 | <iphy> | hm, might work actually |
2021-12-31 02:24:12 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 02:32:02 +0100 | nhatanh02 | (~satori@123.24.172.30) |
2021-12-31 02:32:33 +0100 | Everything | (~Everythin@37.115.210.35) (Ping timeout: 256 seconds) |
2021-12-31 02:34:01 +0100 | <otherwise> | > Data.Map.empty |
2021-12-31 02:34:03 +0100 | <lambdabot> | fromList [] |
2021-12-31 02:34:03 +0100 | Everything | (~Everythin@178-133-112-180.mobile.vf-ua.net) |
2021-12-31 02:34:12 +0100 | <otherwise> | what does one do with that? |
2021-12-31 02:34:23 +0100 | <otherwise> | > Data.Map.empty : [] |
2021-12-31 02:34:24 +0100 | <lambdabot> | [fromList []] |
2021-12-31 02:34:33 +0100 | <otherwise> | thats as much as I could achieve |
2021-12-31 02:34:39 +0100 | <geekosaur> | it's the empty Map, nothing more |
2021-12-31 02:35:13 +0100 | <geekosaur> | you could for example build a Map by folding M.insert across something, with M.empty as the "zero" |
2021-12-31 02:35:43 +0100 | burnsidesLlama | (~burnsides@dhcp168-010.wadham.ox.ac.uk) |
2021-12-31 02:36:41 +0100 | <iphy> | fromList [...] is what the "Show" instance for Data.Map does |
2021-12-31 02:36:43 +0100 | <geekosaur> | > foldr M.insert M.empty [1..6] |
2021-12-31 02:36:45 +0100 | <lambdabot> | error: |
2021-12-31 02:36:45 +0100 | <lambdabot> | • Couldn't match expected type ‘M.Map k a -> M.Map k a’ |
2021-12-31 02:36:45 +0100 | <lambdabot> | with actual type ‘M.Map k0 a0’ |
2021-12-31 02:37:02 +0100 | wroathe_ | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2021-12-31 02:37:13 +0100 | <geekosaur> | hm, I'm forgetting how to do this |
2021-12-31 02:37:16 +0100 | <iphy> | flip? |
2021-12-31 02:37:18 +0100 | <iphy> | (I don't know) |
2021-12-31 02:37:25 +0100 | <EvanR> | > read "fromList []" :: Data.Map.Map Char |
2021-12-31 02:37:27 +0100 | <lambdabot> | error: |
2021-12-31 02:37:27 +0100 | <lambdabot> | • Expecting one more argument to ‘M.Map Char’ |
2021-12-31 02:37:27 +0100 | <lambdabot> | Expected a type, but ‘M.Map Char’ has kind ‘* -> *’ |
2021-12-31 02:37:28 +0100 | <iphy> | > foldr (flip M.insert) M.empty [1..6] |
2021-12-31 02:37:29 +0100 | <lambdabot> | error: |
2021-12-31 02:37:29 +0100 | <lambdabot> | • Couldn't match expected type ‘M.Map k a -> M.Map k a’ |
2021-12-31 02:37:29 +0100 | <lambdabot> | with actual type ‘M.Map k0 a0’ |
2021-12-31 02:37:33 +0100 | <otherwise> | I got it to work based on your initial comment geekosaur |
2021-12-31 02:37:34 +0100 | <iphy> | or not :P |
2021-12-31 02:37:35 +0100 | <EvanR> | > read "fromList []" :: Data.Map.Map Int Char |
2021-12-31 02:37:37 +0100 | <lambdabot> | fromList [] |
2021-12-31 02:37:37 +0100 | <otherwise> | thanks! |
2021-12-31 02:37:39 +0100 | <iphy> | oh wait, maps |
2021-12-31 02:37:51 +0100 | <iphy> | need key/values |
2021-12-31 02:37:59 +0100 | <EvanR> | how many haskellers does it take to fold a Map |
2021-12-31 02:38:04 +0100 | <iphy> | :D |
2021-12-31 02:38:08 +0100 | <geekosaur> | right, I'm trying to build a set not a map, duh |
2021-12-31 02:38:16 +0100 | <otherwise> | > Data.Map.insert 1 'a' Data.Map.empty |
2021-12-31 02:38:17 +0100 | <lambdabot> | fromList [(1,'a')] |
2021-12-31 02:38:44 +0100 | <EvanR> | with proper imports, M.insert 1 'a' M.empty |
2021-12-31 02:38:46 +0100 | <geekosaur> | > foldr (uncurry M.insert) M.empty (zip [1..6] "abcdef") -- ? |
2021-12-31 02:38:47 +0100 | <lambdabot> | fromList [(1,'a'),(2,'b'),(3,'c'),(4,'d'),(5,'e'),(6,'f')] |
2021-12-31 02:39:29 +0100 | <iphy> | success |
2021-12-31 02:39:45 +0100 | <otherwise> | EvanR you mean import Data.Map qualified as M ? |
2021-12-31 02:39:49 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-90.elisa-laajakaista.fi) (Quit: Leaving.) |
2021-12-31 02:39:55 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-12-31 02:41:17 +0100 | <EvanR> | sure |
2021-12-31 02:41:33 +0100 | <EvanR> | > foldMap (uncurry M.singleton) (zipWith (,) [0..4] "abcd") -- for extra confusion |
2021-12-31 02:41:35 +0100 | <lambdabot> | fromList [(0,'a'),(1,'b'),(2,'c'),(3,'d')] |
2021-12-31 02:41:46 +0100 | burnsidesLlama | (~burnsides@dhcp168-010.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
2021-12-31 02:42:23 +0100 | <EvanR> | > foldMap (zipWith M.singleton [0..3] "abcd") |
2021-12-31 02:42:25 +0100 | <lambdabot> | error: |
2021-12-31 02:42:25 +0100 | <lambdabot> | • Couldn't match expected type ‘a -> m’ |
2021-12-31 02:42:25 +0100 | <lambdabot> | with actual type ‘[M.Map k0 Char]’ |
2021-12-31 02:42:27 +0100 | <EvanR> | damn |
2021-12-31 02:42:33 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 02:42:45 +0100 | Everything | (~Everythin@178-133-112-180.mobile.vf-ua.net) (Quit: leaving) |
2021-12-31 02:43:14 +0100 | <c_wraith> | you are almost there - fold instead of foldMap |
2021-12-31 02:43:18 +0100 | <EvanR> | > fold (zipWith M.singleton [0..3] "abcd") |
2021-12-31 02:43:19 +0100 | <lambdabot> | fromList [(0,'a'),(1,'b'),(2,'c'),(3,'d')] |
2021-12-31 02:43:50 +0100 | <c_wraith> | too bad all of these folds are non-strict. that's not memory-friendly |
2021-12-31 02:45:40 +0100 | <c_wraith> | wow. and the docs say to use (foldMap' id) if you need a strict version |
2021-12-31 02:46:43 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-12-31 02:47:49 +0100 | gaff | (~gaff@49.207.226.49) |
2021-12-31 02:49:17 +0100 | <jackdk> | also note that Map's Monoid instance is probably not what you want (left-biased) and if you do this trick with HashMap you'll get O(n^2) performance |
2021-12-31 02:49:34 +0100 | <EvanR> | > M.lookup 3 (foldr (uncurry M.insert) M.empty (zip [0..999999] ['a'..])) |
2021-12-31 02:49:41 +0100 | <lambdabot> | mueval-core: Time limit exceeded |
2021-12-31 02:49:45 +0100 | <EvanR> | > M.lookup 3 (foldl' (flip $ uncurry M.insert) M.empty (zip [0..999999] ['a'..])) |
2021-12-31 02:49:48 +0100 | <lambdabot> | Just 'd' |
2021-12-31 02:50:14 +0100 | <EvanR> | that was quick but I primed the cache by testing in query window xD |
2021-12-31 02:50:15 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 02:57:44 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-31 03:01:57 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
2021-12-31 03:05:49 +0100 | jeetelongname | (~jeet@88-111-159-26.dynamic.dsl.as9105.com) (Ping timeout: 240 seconds) |
2021-12-31 03:07:39 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
2021-12-31 03:08:02 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 03:12:48 +0100 | Kaiepi | (~Kaiepi@216.208.243.103) |
2021-12-31 03:12:56 +0100 | burnsidesLlama | (~burnsides@dhcp168-010.wadham.ox.ac.uk) |
2021-12-31 03:14:17 +0100 | <xsperry> | > M.lookup 3 (M.fromList (zip [0..999999] ['a'..])) |
2021-12-31 03:14:20 +0100 | <lambdabot> | Just 'd' |
2021-12-31 03:17:19 +0100 | burnsidesLlama | (~burnsides@dhcp168-010.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
2021-12-31 03:19:17 +0100 | kotshie | (~kotshie@68.72.208.140) (Ping timeout: 240 seconds) |
2021-12-31 03:22:02 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-31 03:26:57 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-12-31 03:27:27 +0100 | yauhsien | (~yauhsien@118-167-42-25.dynamic-ip.hinet.net) |
2021-12-31 03:32:37 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 03:33:35 +0100 | wroathe_ | (~wroathe@206-55-188-8.fttp.usinternet.com) (Quit: leaving) |
2021-12-31 03:33:48 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2021-12-31 03:33:48 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2021-12-31 03:33:48 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-31 03:34:58 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 260 seconds) |
2021-12-31 03:38:17 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) (Ping timeout: 240 seconds) |
2021-12-31 03:40:27 +0100 | gaff | (~gaff@49.207.226.49) (Remote host closed the connection) |
2021-12-31 03:42:13 +0100 | gaff | (~gaff@49.207.226.49) |
2021-12-31 03:43:17 +0100 | xff0x | (~xff0x@2001:1a81:527e:7f00:128f:5c47:b7cd:f118) (Ping timeout: 240 seconds) |
2021-12-31 03:45:32 +0100 | xff0x | (~xff0x@2001:1a81:52ba:da00:d72e:55a5:cc3a:4ad6) |
2021-12-31 03:46:28 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
2021-12-31 03:46:57 +0100 | kaph | (~kaph@net-2-38-107-19.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
2021-12-31 03:47:09 +0100 | hololeap | (~hololeap@user/hololeap) (Quit: Bye) |
2021-12-31 03:48:27 +0100 | deadmarshal | (~deadmarsh@95.38.119.178) |
2021-12-31 03:48:47 +0100 | kaph_ | (~kaph@net-2-38-107-19.cust.vodafonedsl.it) |
2021-12-31 03:50:36 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 03:51:17 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 252 seconds) |
2021-12-31 03:53:01 +0100 | deadmarshal | (~deadmarsh@95.38.119.178) (Ping timeout: 256 seconds) |
2021-12-31 03:56:38 +0100 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2021-12-31 04:03:24 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
2021-12-31 04:08:43 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 268 seconds) |
2021-12-31 04:18:55 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 04:19:24 +0100 | burnsidesLlama | (~burnsides@dhcp168-010.wadham.ox.ac.uk) |
2021-12-31 04:21:27 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
2021-12-31 04:25:37 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds) |
2021-12-31 04:25:37 +0100 | burnsidesLlama | (~burnsides@dhcp168-010.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
2021-12-31 04:30:37 +0100 | yauhsien | (~yauhsien@118-167-42-25.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
2021-12-31 04:35:53 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 04:42:41 +0100 | burnsidesLlama | (~burnsides@dhcp168-010.wadham.ox.ac.uk) |
2021-12-31 04:46:02 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
2021-12-31 04:46:02 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 04:47:00 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2021-12-31 04:47:00 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2021-12-31 04:47:00 +0100 | finn_elija | FinnElija |
2021-12-31 04:48:12 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
2021-12-31 04:49:25 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
2021-12-31 04:54:17 +0100 | td_ | (~td@94.134.91.217) (Ping timeout: 240 seconds) |
2021-12-31 04:56:13 +0100 | td_ | (~td@muedsl-82-207-238-106.citykom.de) |
2021-12-31 05:00:47 +0100 | yauhsien | (~yauhsien@118-167-42-25.dynamic-ip.hinet.net) |
2021-12-31 05:04:19 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 05:05:02 +0100 | yauhsien | (~yauhsien@118-167-42-25.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
2021-12-31 05:08:17 +0100 | <xerox> | /track |
2021-12-31 05:09:02 +0100 | mbuf | (~Shakthi@122.178.216.85) |
2021-12-31 05:09:23 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
2021-12-31 05:10:00 +0100 | <xerox> | oops |
2021-12-31 05:11:02 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 05:13:34 +0100 | zmt00 | (~zmt00@user/zmt00) |
2021-12-31 05:13:57 +0100 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
2021-12-31 05:15:11 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-12-31 05:20:31 +0100 | nehsou^ | (~nehsou@207.5.54.6) |
2021-12-31 05:23:08 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-31 05:28:54 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 05:31:34 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2021-12-31 05:31:34 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2021-12-31 05:31:34 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-31 05:31:53 +0100 | deadmarshal | (~deadmarsh@95.38.119.178) |
2021-12-31 05:36:09 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-12-31 05:47:37 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Ping timeout: 240 seconds) |
2021-12-31 05:49:50 +0100 | gehmehgeh_ | (~user@user/gehmehgeh) |
2021-12-31 05:52:06 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 276 seconds) |
2021-12-31 05:53:12 +0100 | learner-monad | (~ehanneken@user/learner-monad) (Quit: WeeChat 3.4) |
2021-12-31 05:53:57 +0100 | machined1od | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
2021-12-31 05:57:15 +0100 | nhatanh02 | (~satori@123.24.172.30) (Ping timeout: 268 seconds) |
2021-12-31 05:57:41 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-12-31 06:01:17 +0100 | Feuermagier_ | (~Feuermagi@84.17.49.78) (Quit: Leaving) |
2021-12-31 06:01:28 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
2021-12-31 06:03:22 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 06:03:28 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
2021-12-31 06:08:16 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-31 06:12:17 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
2021-12-31 06:14:52 +0100 | machinedgod | (~machinedg@24.105.81.50) |
2021-12-31 06:19:56 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
2021-12-31 06:21:28 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 06:22:46 +0100 | burnsidesLlama | (~burnsides@dhcp168-010.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-12-31 06:23:18 +0100 | burnsidesLlama | (~burnsides@client-8-64.eduroam.oxuni.org.uk) |
2021-12-31 06:26:06 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 06:27:17 +0100 | burnsidesLlama | (~burnsides@client-8-64.eduroam.oxuni.org.uk) (Ping timeout: 240 seconds) |
2021-12-31 06:34:10 +0100 | deadmarshal | (~deadmarsh@95.38.119.178) (Ping timeout: 260 seconds) |
2021-12-31 06:35:48 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
2021-12-31 06:40:17 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds) |
2021-12-31 06:40:37 +0100 | theproffesor_ | theproffesor |
2021-12-31 06:41:06 +0100 | theproffesor | (~theproffe@2601:282:847f:8010::5fff) (Changing host) |
2021-12-31 06:41:06 +0100 | theproffesor | (~theproffe@user/theproffesor) |
2021-12-31 06:42:51 +0100 | nhatanh02 | (~satori@123.24.172.30) |
2021-12-31 06:44:00 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 06:46:07 +0100 | sirlensalot | (~sirlensal@ool-44c5f8c9.dyn.optonline.net) (Quit: sirlensalot) |
2021-12-31 06:52:44 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
2021-12-31 06:52:44 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 06:54:46 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-31 06:56:17 +0100 | ensyde | (~ensyde@2600:1702:2e30:1a40:d506:18a6:e0ef:8a3a) (Ping timeout: 240 seconds) |
2021-12-31 06:57:02 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds) |
2021-12-31 06:59:27 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
2021-12-31 07:00:00 +0100 | deadmarshal | (~deadmarsh@95.38.119.178) |
2021-12-31 07:00:12 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
2021-12-31 07:01:17 +0100 | nhatanh02 | (~satori@123.24.172.30) (Ping timeout: 240 seconds) |
2021-12-31 07:02:09 +0100 | deadmarshal_ | (~deadmarsh@95.38.113.195) |
2021-12-31 07:04:32 +0100 | deadmarshal | (~deadmarsh@95.38.119.178) (Ping timeout: 240 seconds) |
2021-12-31 07:05:26 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 252 seconds) |
2021-12-31 07:10:23 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 07:17:08 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
2021-12-31 07:20:30 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 268 seconds) |
2021-12-31 07:21:17 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds) |
2021-12-31 07:21:42 +0100 | sabhrd33 | (~shawna@76.14.56.206) |
2021-12-31 07:24:48 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
2021-12-31 07:25:31 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 07:28:40 +0100 | hexology | (~hexology@user/hexology) (Quit: hex on you ...) |
2021-12-31 07:30:03 +0100 | Jing | (~hedgehog@2604:a840:3::1067) (Remote host closed the connection) |
2021-12-31 07:30:41 +0100 | Jing | (~hedgehog@240e:390:7c53:a7e1:99f1:6d34:38bc:e28a) |
2021-12-31 07:38:41 +0100 | bb010g | (~bb010g@2001:470:69fc:105::9a5) (Quit: Client limit exceeded: 20000) |
2021-12-31 07:39:02 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 260 seconds) |
2021-12-31 07:39:04 +0100 | sabhrd33 | (~shawna@76.14.56.206) (Remote host closed the connection) |
2021-12-31 07:43:50 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 07:45:47 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
2021-12-31 07:45:55 +0100 | Everything | (~Everythin@178-133-112-180.mobile.vf-ua.net) |
2021-12-31 07:46:43 +0100 | python476 | (~user@88.160.31.174) |
2021-12-31 07:47:39 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 268 seconds) |
2021-12-31 07:48:13 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Quit: Leaving) |
2021-12-31 07:49:19 +0100 | deadmarshal_ | (~deadmarsh@95.38.113.195) (Ping timeout: 256 seconds) |
2021-12-31 07:50:03 +0100 | deadmarshal | (~deadmarsh@95.38.119.173) |
2021-12-31 07:53:33 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-31 07:56:11 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2021-12-31 07:56:32 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2021-12-31 07:58:38 +0100 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) |
2021-12-31 08:02:18 +0100 | deadmarshal_ | (~deadmarsh@95.38.228.254) |
2021-12-31 08:03:17 +0100 | deadmarshal | (~deadmarsh@95.38.119.173) (Ping timeout: 250 seconds) |
2021-12-31 08:03:32 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 08:05:10 +0100 | dignissimus | (~dignissim@88-104-68-62.dynamic.dsl.as9105.com) |
2021-12-31 08:08:29 +0100 | <dignissimus> | Does this look ok? I defined eq3 and eq4 for checking equality between 3 and 4 items https://paste.tomsmeding.com/TO57JATT |
2021-12-31 08:08:44 +0100 | bb010g | (~bb010g@2001:470:69fc:105::9a5) |
2021-12-31 08:08:55 +0100 | <dignissimus> | Coukdn't find anything in hoogle and didn't know if there was another way of doing it |
2021-12-31 08:10:12 +0100 | gaff | (~gaff@49.207.226.49) (Remote host closed the connection) |
2021-12-31 08:12:10 +0100 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Quit: WeeChat 3.4) |
2021-12-31 08:12:32 +0100 | Jing | (~hedgehog@240e:390:7c53:a7e1:99f1:6d34:38bc:e28a) (Read error: Connection reset by peer) |
2021-12-31 08:13:42 +0100 | Jing | (~hedgehog@2604:a840:3::1013) |
2021-12-31 08:16:44 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2021-12-31 08:16:44 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2021-12-31 08:16:44 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-31 08:16:57 +0100 | <otherwise> | for eq4 you could use if then else |
2021-12-31 08:19:28 +0100 | <otherwise> | > let eq4 a b c d = if a==b && b==c && c==d then True else False in eq4 1 1 1 2 |
2021-12-31 08:19:29 +0100 | <lambdabot> | False |
2021-12-31 08:21:23 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 08:21:58 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
2021-12-31 08:25:53 +0100 | CiaoSen | (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2021-12-31 08:27:33 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
2021-12-31 08:28:57 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2021-12-31 08:32:15 +0100 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) |
2021-12-31 08:35:04 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2021-12-31 08:35:18 +0100 | <EvanR> | > let eq4 a b c d = a==b && b==c && c==d in eq4 1 1 2 1 |
2021-12-31 08:35:19 +0100 | <lambdabot> | False |
2021-12-31 08:35:29 +0100 | <EvanR> | > let eq4 a b c d = a==b && b==c && c==d in eq4 1 2 1 undefined |
2021-12-31 08:35:30 +0100 | <lambdabot> | False |
2021-12-31 08:36:02 +0100 | <EvanR> | @check \b -> b == if b then True else False |
2021-12-31 08:36:04 +0100 | <lambdabot> | +++ OK, passed 100 tests. |
2021-12-31 08:36:43 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 08:37:50 +0100 | xff0x | (~xff0x@2001:1a81:52ba:da00:d72e:55a5:cc3a:4ad6) (Ping timeout: 252 seconds) |
2021-12-31 08:38:43 +0100 | xff0x | (~xff0x@port-92-195-29-230.dynamic.as20676.net) |
2021-12-31 08:41:33 +0100 | nattiestnate | (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Quit: WeeChat 3.4) |
2021-12-31 08:42:05 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2021-12-31 08:43:31 +0100 | coolnickname | (uid531864@user/coolnickname) |
2021-12-31 08:44:58 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2021-12-31 08:45:35 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2021-12-31 08:46:23 +0100 | shriekingnoise | (~shrieking@186.137.144.80) (Quit: Quit) |
2021-12-31 08:50:07 +0100 | gaff | (~gaff@49.207.226.49) |
2021-12-31 08:51:04 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2021-12-31 08:54:50 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 09:00:12 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2021-12-31 09:00:12 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 09:00:35 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-31 09:02:52 +0100 | yauhsien | (~yauhsien@118-167-42-25.dynamic-ip.hinet.net) |
2021-12-31 09:05:37 +0100 | python476 | (~user@88.160.31.174) (Ping timeout: 240 seconds) |
2021-12-31 09:07:31 +0100 | yauhsien | (~yauhsien@118-167-42-25.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
2021-12-31 09:15:28 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-31 09:17:08 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 09:20:21 +0100 | gaff | (~gaff@49.207.226.49) (Ping timeout: 245 seconds) |
2021-12-31 09:29:36 +0100 | hololeap | (~hololeap@user/hololeap) |
2021-12-31 09:29:36 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 09:31:21 +0100 | gehmehgeh_ | (~user@user/gehmehgeh) (Remote host closed the connection) |
2021-12-31 09:32:10 +0100 | gehmehgeh_ | (~user@user/gehmehgeh) |
2021-12-31 09:32:16 +0100 | <int-e> | glguy: neat |
2021-12-31 09:36:57 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
2021-12-31 09:44:49 +0100 | KvL | (~KvL@user/KvL) |
2021-12-31 09:46:37 +0100 | yaroot | (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) (Ping timeout: 240 seconds) |
2021-12-31 09:47:24 +0100 | Rum | (~bourbon@user/rum) |
2021-12-31 09:47:39 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 09:47:40 +0100 | yaroot | (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) |
2021-12-31 09:53:09 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
2021-12-31 09:54:08 +0100 | ksqsf | (~user@134.209.106.31) |
2021-12-31 09:54:30 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 09:55:13 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
2021-12-31 09:56:37 +0100 | nschoe | (~quassel@2a01:e0a:8e:a190:f672:9b79:e0d8:dc62) |
2021-12-31 10:01:52 +0100 | gaff | (~gaff@49.207.226.49) |
2021-12-31 10:04:16 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2021-12-31 10:10:50 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 10:12:37 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds) |
2021-12-31 10:13:31 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
2021-12-31 10:14:41 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Client Quit) |
2021-12-31 10:14:50 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
2021-12-31 10:16:38 +0100 | Rum | (~bourbon@user/rum) (Quit: WeeChat 3.4) |
2021-12-31 10:16:48 +0100 | noctuks | (RIj3X4Rlia@user/noctux) (Quit: WeeChat 3.3) |
2021-12-31 10:16:48 +0100 | yushyin | (C2iSDogdK9@karif.server-speed.net) (Quit: WeeChat 3.3) |
2021-12-31 10:17:32 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2021-12-31 10:17:32 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2021-12-31 10:17:32 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-31 10:17:42 +0100 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2021-12-31 10:17:42 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
2021-12-31 10:17:45 +0100 | allbery_b | geekosaur |
2021-12-31 10:19:06 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
2021-12-31 10:19:20 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
2021-12-31 10:19:21 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 10:20:54 +0100 | d0ku | (~d0ku@178.43.48.143.ipv4.supernova.orange.pl) |
2021-12-31 10:21:29 +0100 | aman | (~aman@user/aman) |
2021-12-31 10:22:23 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
2021-12-31 10:24:53 +0100 | Vajb | (~Vajb@2001:999:230:a44e:bc17:5155:7945:add1) (Ping timeout: 268 seconds) |
2021-12-31 10:26:10 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
2021-12-31 10:26:41 +0100 | drdo2 | (~drdo@144.172.69.89) |
2021-12-31 10:27:30 +0100 | KvL | (~KvL@user/KvL) (Quit: KvL) |
2021-12-31 10:27:36 +0100 | drdo | (~drdo@roach0.drdo.eu) (Read error: Connection reset by peer) |
2021-12-31 10:27:36 +0100 | drdo2 | drdo |
2021-12-31 10:29:01 +0100 | nhatanh02 | (~satori@123.24.172.30) |
2021-12-31 10:30:46 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 260 seconds) |
2021-12-31 10:31:08 +0100 | SummerSonw | (~The_viole@203.77.49.232) |
2021-12-31 10:31:09 +0100 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
2021-12-31 10:32:28 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
2021-12-31 10:34:25 +0100 | gaff | (~gaff@49.207.226.49) (Remote host closed the connection) |
2021-12-31 10:34:47 +0100 | Morrow | (~quassel@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 256 seconds) |
2021-12-31 10:36:06 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 10:36:12 +0100 | hololeap | (~hololeap@user/hololeap) (Quit: Bye) |
2021-12-31 10:40:55 +0100 | nschoe | (~quassel@2a01:e0a:8e:a190:f672:9b79:e0d8:dc62) (Ping timeout: 268 seconds) |
2021-12-31 10:40:58 +0100 | otherwise | (~otherwise@2601:602:880:90f0:9dc:9663:8c4e:291b) () |
2021-12-31 10:43:10 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
2021-12-31 10:43:54 +0100 | searemind | (~searemind@122.161.52.5) |
2021-12-31 10:44:15 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
2021-12-31 10:45:57 +0100 | searemind | (~searemind@122.161.52.5) (Remote host closed the connection) |
2021-12-31 10:46:39 +0100 | searemind | (~searemind@122.161.52.5) |
2021-12-31 10:47:25 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds) |
2021-12-31 10:48:02 +0100 | Guest6 | (~Guest6@host-82-57-134-164.retail.telecomitalia.it) |
2021-12-31 10:48:35 +0100 | searemind | (~searemind@122.161.52.5) (Client Quit) |
2021-12-31 10:48:48 +0100 | <Guest6> | > take 5 [1,5..] |
2021-12-31 10:48:49 +0100 | <lambdabot> | [1,5,9,13,17] |
2021-12-31 10:48:55 +0100 | <Guest6> | hiall |
2021-12-31 10:49:51 +0100 | acidjnk | (~acidjnk@p200300d0c7271e9411aaafeb7bff4a7a.dip0.t-ipconnect.de) |
2021-12-31 10:49:52 +0100 | acidjnk_new | (~acidjnk@p200300d0c7271e9411aaafeb7bff4a7a.dip0.t-ipconnect.de) |
2021-12-31 10:49:55 +0100 | <Guest6> | @pl \l -> zip (map length . group $ l) (compress l) |
2021-12-31 10:49:56 +0100 | <lambdabot> | ap (zip . map length . group) compress |
2021-12-31 10:50:20 +0100 | <Guest6> | @pl \xs -> myReverse xs == xs |
2021-12-31 10:50:20 +0100 | <lambdabot> | (==) =<< myReverse |
2021-12-31 10:50:56 +0100 | <Guest6> | @pl myReverse [] = [] |
2021-12-31 10:50:56 +0100 | <lambdabot> | (line 1, column 15): |
2021-12-31 10:50:56 +0100 | <lambdabot> | unexpected " " |
2021-12-31 10:50:56 +0100 | <lambdabot> | expecting operator |
2021-12-31 10:50:56 +0100 | <Guest6> | myReverse [x] = [x] |
2021-12-31 10:50:57 +0100 | <Guest6> | myReverse (x : xs) = myReverse xs ++ [x] |
2021-12-31 10:51:37 +0100 | <Guest6> | @pl myReverse (x : xs) = myReverse xs ++ [x] |
2021-12-31 10:51:37 +0100 | <lambdabot> | myReverse = fix ((`ap` tail) . (. head) . (. return) . flip . ((++) .)) |
2021-12-31 10:53:12 +0100 | <Guest6> | @unpl ((.).(.)) |
2021-12-31 10:53:12 +0100 | <lambdabot> | (\ x g x0 x1 -> x (g x0 x1)) |
2021-12-31 10:53:52 +0100 | Guest6 | (~Guest6@host-82-57-134-164.retail.telecomitalia.it) (Quit: Client closed) |
2021-12-31 10:54:03 +0100 | Guest6 | (~Guest6@host-82-57-134-164.retail.telecomitalia.it) |
2021-12-31 10:54:12 +0100 | Guest6 | (~Guest6@host-82-57-134-164.retail.telecomitalia.it) (Client Quit) |
2021-12-31 10:56:35 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-31 10:58:01 +0100 | ridcully | (~ridcully@pd951fb88.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
2021-12-31 10:59:40 +0100 | ridcully | (~ridcully@p57b52a9a.dip0.t-ipconnect.de) |
2021-12-31 11:00:25 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 11:01:16 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
2021-12-31 11:02:46 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
2021-12-31 11:04:50 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-12-31 11:07:27 +0100 | Guest6 | (~Guest6@host-82-57-134-164.retail.telecomitalia.it) |
2021-12-31 11:07:49 +0100 | <Guest6> | @pl show' x = if x > 9 then show x else "0" ++ show x |
2021-12-31 11:07:50 +0100 | <lambdabot> | show' = ap (liftM2 if' (> 9) show) (('0' :) . show) |
2021-12-31 11:08:17 +0100 | <Guest6> | @pl show' x = if x > 9 then show x else '0' : show x |
2021-12-31 11:08:17 +0100 | <lambdabot> | show' = ap (liftM2 if' (> 9) show) (('0' :) . show) |
2021-12-31 11:08:41 +0100 | nschoe | (~quassel@2a01:e0a:8e:a190:e62a:6035:118c:cf49) |
2021-12-31 11:09:39 +0100 | <Guest6> | @pl humanReadable x = intercalate ":" $ map (if x > 9 then show x else '0' : show x) [div x 3600,div (mod x 3600) 60,mod x 60] |
2021-12-31 11:09:40 +0100 | <lambdabot> | humanReadable = intercalate ":" . ap (map . ap (liftM2 if' (> 9) show) (('0' :) . show)) (ap ((:) . flip div 3600) (ap ((:) . flip div 60 . flip mod 3600) (return . flip mod 60))) |
2021-12-31 11:09:54 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
2021-12-31 11:10:46 +0100 | Guest6 | (~Guest6@host-82-57-134-164.retail.telecomitalia.it) (Client Quit) |
2021-12-31 11:18:39 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 11:21:18 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-90.elisa-laajakaista.fi) |
2021-12-31 11:27:08 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2021-12-31 11:28:03 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
2021-12-31 11:28:26 +0100 | Lord_of_Life_ | Lord_of_Life |
2021-12-31 11:30:26 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 11:32:06 +0100 | ksqsf | (~user@134.209.106.31) (Ping timeout: 268 seconds) |
2021-12-31 11:33:19 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2021-12-31 11:33:19 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2021-12-31 11:33:19 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-31 11:34:02 +0100 | zer0bitz | (~zer0bitz@196.244.192.54) |
2021-12-31 11:36:08 +0100 | Vajb | (~Vajb@85-76-162-179-nat.elisa-mobile.fi) |
2021-12-31 11:37:16 +0100 | max22- | (~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) |
2021-12-31 11:37:57 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
2021-12-31 11:45:03 +0100 | deadmarshal_ | (~deadmarsh@95.38.228.254) (Ping timeout: 256 seconds) |
2021-12-31 11:45:21 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
2021-12-31 11:46:38 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 11:46:57 +0100 | searemind | (~searemind@122.161.52.5) |
2021-12-31 11:48:29 +0100 | deadmarshal | (~deadmarsh@95.38.228.254) |
2021-12-31 11:48:54 +0100 | searemind | (~searemind@122.161.52.5) (Client Quit) |
2021-12-31 11:49:37 +0100 | Jing | (~hedgehog@2604:a840:3::1013) (Ping timeout: 240 seconds) |
2021-12-31 11:50:43 +0100 | shriekingnoise | (~shrieking@186.137.144.80) |
2021-12-31 11:51:19 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 11:52:27 +0100 | searemind | (~searemind@122.161.52.5) |
2021-12-31 11:52:42 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2021-12-31 11:53:32 +0100 | vglfr | (~vglfr@88.155.60.141) (Ping timeout: 240 seconds) |
2021-12-31 11:54:08 +0100 | Jing | (~hedgehog@2604:a840:3::1013) |
2021-12-31 11:57:48 +0100 | searemind | (~searemind@122.161.52.5) (Quit: searemind) |
2021-12-31 11:58:39 +0100 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) |
2021-12-31 12:01:46 +0100 | bollu | (~bollu@159.65.151.13) |
2021-12-31 12:02:30 +0100 | searemind | (~searemind@122.161.52.5) |
2021-12-31 12:02:33 +0100 | yushyin | (ank7aaOFiT@2a01:4f8:c17:b4dd::2) |
2021-12-31 12:02:35 +0100 | noctuks | (7vrDyCK6LH@user/noctux) |
2021-12-31 12:02:43 +0100 | __monty__ | (~toonn@user/toonn) |
2021-12-31 12:02:51 +0100 | <searemind> | hi |
2021-12-31 12:03:07 +0100 | <geekosaur> | hi |
2021-12-31 12:03:28 +0100 | <searemind> | yayy this works |
2021-12-31 12:03:39 +0100 | <searemind> | have a great day everyone! |
2021-12-31 12:04:05 +0100 | searemind | (~searemind@122.161.52.5) (Client Quit) |
2021-12-31 12:04:05 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2021-12-31 12:04:05 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2021-12-31 12:04:05 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-31 12:04:56 +0100 | fef | (~thedawn@user/thedawn) |
2021-12-31 12:08:36 +0100 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
2021-12-31 12:08:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2021-12-31 12:08:51 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-12-31 12:09:04 +0100 | fef | (~thedawn@user/thedawn) |
2021-12-31 12:09:10 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 12:09:27 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2021-12-31 12:15:41 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-31 12:18:37 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 240 seconds) |
2021-12-31 12:19:37 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
2021-12-31 12:25:41 +0100 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 250 seconds) |
2021-12-31 12:25:50 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 12:26:27 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
2021-12-31 12:28:51 +0100 | vglfr | (~vglfr@88.155.60.141) |
2021-12-31 12:32:34 +0100 | nhatanh02 | (~satori@123.24.172.30) (Ping timeout: 260 seconds) |
2021-12-31 12:33:45 +0100 | searemind | (~searemind@122.161.52.5) |
2021-12-31 12:34:52 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2021-12-31 12:34:52 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2021-12-31 12:34:52 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-31 12:39:27 +0100 | searemind | (~searemind@122.161.52.5) (Remote host closed the connection) |
2021-12-31 12:40:01 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-12-31 12:41:00 +0100 | mastarija | (~mastarija@2a05:4f46:e0e:5000:3068:c838:9b70:4bc4) |
2021-12-31 12:43:45 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 12:46:14 +0100 | jtomas | (~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) |
2021-12-31 12:47:37 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:4942:7271:af20:a403) |
2021-12-31 12:48:51 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 12:49:37 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-12-31 12:51:11 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::917a) (Ping timeout: 245 seconds) |
2021-12-31 12:53:48 +0100 | <dignissimus> | I think I've been able to write this type theory proof out in haskell https://paste.tomsmeding.com/OnkdykS9 https://i.imgur.com/YU6cJJF.png |
2021-12-31 12:55:01 +0100 | <dignissimus> | When I ran the code I was expecting everything to blow up but haskell's type system is too good to allow me to make terrible mistakes |
2021-12-31 12:55:25 +0100 | <jtomas> | Hi, looking at the beggining of the page: https://www.haskell.org/ghc/, why does 25th december release has a lower version (9.0.2) than the 29th october release (9.2.1)? |
2021-12-31 12:55:49 +0100 | <geekosaur> | because M1 Macs made a mess of things |
2021-12-31 12:56:09 +0100 | <int-e> | it's a maintenance release for the ghc 9.0 major version |
2021-12-31 12:56:14 +0100 | <geekosaur> | we also had an even earlier slew of releases (8.10.5 through 8.10.7) after 9.0.1 |
2021-12-31 12:57:07 +0100 | <geekosaur> | basically: 9.0.1 included linear types. 8.10.5-8.10.7 were M1 Mac support via LLVM. 9.2.1 was native asm support for M1 Macs, but that turned out to be broken and a fix is expected mid-January |
2021-12-31 12:57:25 +0100 | <int-e> | because people generally don't switch to the latest ghc immediately; the major releases tend to break libraries and it takes a while for them to catch up. |
2021-12-31 12:57:36 +0100 | <geekosaur> | this has caused lots of messes including with ghc development and maintenance, and I think they're going to try really hard to not repeat this in the future |
2021-12-31 12:57:52 +0100 | <int-e> | even 8.10 isn't dead yet (and I wouldn't be surprised if it was still more popular than 9.0, but don't know) |
2021-12-31 12:58:14 +0100 | <geekosaur> | it is, if only because stack lts releases are still 8.10.7 |
2021-12-31 12:59:09 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 276 seconds) |
2021-12-31 12:59:20 +0100 | <geekosaur> | 9.0.1 has enough bugs that pretty much the only people using it are the ones who need linear types |
2021-12-31 12:59:37 +0100 | <geekosaur> | also much of the ecosystem hasn't caught up to either 9.x release yet |
2021-12-31 13:00:27 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2021-12-31 13:04:40 +0100 | <c_wraith> | yeah, 9.0.1 had a *lot* of bugs that were fixed in 9.2. I doubt a lot of those fixes were backported. |
2021-12-31 13:05:04 +0100 | <c_wraith> | so neither 9.x branch is especially attractive for real-world use right now |
2021-12-31 13:06:44 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-12-31 13:07:13 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 13:10:57 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds) |
2021-12-31 13:16:06 +0100 | <jtomas> | thanks guys. |
2021-12-31 13:16:19 +0100 | <jtomas> | also 9.2.1 does already have record dot syntax, right? |
2021-12-31 13:16:19 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 13:18:29 +0100 | jakalx | (~jakalx@base.jakalx.net) |
2021-12-31 13:19:03 +0100 | <geekosaur> | yes |
2021-12-31 13:20:02 +0100 | <geekosaur> | looks like that was not backported to 9.0.2 |
2021-12-31 13:21:55 +0100 | <jtomas> | hmm, i'm trying it in ghci, but the compiler gives an error |
2021-12-31 13:22:12 +0100 | <jtomas> | oh, i need the pragma stuff |
2021-12-31 13:22:35 +0100 | <jtomas> | OverloadedRecordDot |
2021-12-31 13:23:56 +0100 | <int-e> | what a name |
2021-12-31 13:24:05 +0100 | mastarija | (~mastarija@2a05:4f46:e0e:5000:3068:c838:9b70:4bc4) (Quit: Leaving) |
2021-12-31 13:24:44 +0100 | <geekosaur> | right, it causes a number of backward compatibility issues so it's off by default |
2021-12-31 13:25:02 +0100 | <geekosaur> | dots already cause enough weird problems even without OverloadedRecordDot |
2021-12-31 13:25:16 +0100 | <geekosaur> | > [LT..GT] |
2021-12-31 13:25:17 +0100 | <lambdabot> | error: |
2021-12-31 13:25:18 +0100 | <lambdabot> | Not in scope: ‘LT..’ |
2021-12-31 13:25:18 +0100 | <lambdabot> | No module named ‘LT’ is imported.error: |
2021-12-31 13:25:33 +0100 | <geekosaur> | need at least one space for that to do the right thing |
2021-12-31 13:26:10 +0100 | <int-e> | > [0.. -1] :: [Word8 |
2021-12-31 13:26:11 +0100 | <lambdabot> | <hint>:1:19: error: lexical error at character '\GS' |
2021-12-31 13:26:14 +0100 | <int-e> | > [0.. -1] :: [Word8] |
2021-12-31 13:26:16 +0100 | <lambdabot> | [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,2... |
2021-12-31 13:27:04 +0100 | <int-e> | (do we count the required space before the - here as a problem with dots?) |
2021-12-31 13:29:09 +0100 | <int-e> | Oh pattern synonyms add a fun corner case: import Bar (x); data Foo = Foo { foo: Int }; pattern Bar = Foo{ foo = 42 } ... what does Bar.x mean? |
2021-12-31 13:29:27 +0100 | <int-e> | uh, x and foo were suposed to be the same identifier |
2021-12-31 13:30:25 +0100 | <geekosaur> | I thought that was still considered an open issue with OverloadedRecordDot. I know there are several corner cases they punted to see how the ecosystem was affected |
2021-12-31 13:31:02 +0100 | <int-e> | I missed the development, so the above is me playing catch-up :) |
2021-12-31 13:33:22 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 13:33:48 +0100 | Rum | (~bourbon@user/rum) |
2021-12-31 13:36:03 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2021-12-31 13:36:03 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2021-12-31 13:36:03 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-31 13:38:41 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 13:39:00 +0100 | <jtomas> | The example in the motivation section (https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0282-record-dot-syntax.rst#1-…) throws an error: "multiple declarations on name". Is this solvable with some other pragma or does the actual implemention in 9.2.1 simply does not support this? |
2021-12-31 13:40:37 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
2021-12-31 13:41:04 +0100 | <geekosaur> | I believe OverloadedRecordDot is only part of the solution, solving the problem that it's impossible to have more than one b in scope for `b a` to work. The rest is https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/hasfield.html so you can actually have more than one defined |
2021-12-31 13:41:27 +0100 | xkuru | (~xkuru@user/xkuru) |
2021-12-31 13:42:01 +0100 | <geekosaur> | which is itself not enough to solve `b a` because `b` is a function and you can only have one such function in scope |
2021-12-31 13:42:43 +0100 | <geekosaur> | and defining `Has` constraints still leaves declaring a suitable `b` somewhere, usually via Template Haskell |
2021-12-31 13:44:53 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-31 13:49:20 +0100 | <geekosaur> | might also require NoFieldSelectors |
2021-12-31 13:49:25 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) |
2021-12-31 13:49:48 +0100 | geekosaur | thinks all this stuff is a mess and sometimes wonders how much we'll pay for it |
2021-12-31 13:52:49 +0100 | <int-e> | eh what's the worst that could happen besides breaking all tools in existence (hlint anyone?) |
2021-12-31 13:55:02 +0100 | nhatanh02 | (~satori@123.24.172.30) |
2021-12-31 13:56:44 +0100 | <int-e> | (usually when mathematicians say they found a proof they mean they discovered it themselves) |
2021-12-31 13:56:49 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 13:57:05 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2021-12-31 13:57:41 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2021-12-31 13:58:13 +0100 | max22- | (~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) (Ping timeout: 240 seconds) |
2021-12-31 14:02:28 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 14:05:54 +0100 | thevishy | (~Nishant@2405:201:f005:c007:bc65:cf77:420d:9a2d) |
2021-12-31 14:06:54 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-31 14:08:35 +0100 | gaff | (~gaff@49.207.226.100) |
2021-12-31 14:16:13 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
2021-12-31 14:16:13 +0100 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2021-12-31 14:16:18 +0100 | allbery_b | geekosaur |
2021-12-31 14:17:00 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2021-12-31 14:17:26 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2021-12-31 14:20:14 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 14:20:20 +0100 | burnsidesLlama | (~burnsides@dhcp168-010.wadham.ox.ac.uk) |
2021-12-31 14:20:44 +0100 | <merijn> | Entirely unrelated to Haskell, but still: Looks like I'm starting 2022 of right as my thesis has been approved by the entire committee \o/ |
2021-12-31 14:22:08 +0100 | acidjnk | (~acidjnk@p200300d0c7271e9411aaafeb7bff4a7a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2021-12-31 14:22:41 +0100 | acidjnk_new | (~acidjnk@p200300d0c7271e9411aaafeb7bff4a7a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2021-12-31 14:23:01 +0100 | <geekosaur> | \o/ |
2021-12-31 14:23:15 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:4942:7271:af20:a403) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-12-31 14:23:34 +0100 | <merijn> | Now I just have to keep my fingers crossed we can have an actual in person defense, else I'll be so mad it'll get me an aneurysm >.< |
2021-12-31 14:24:24 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:4942:7271:af20:a403) |
2021-12-31 14:24:25 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:4942:7271:af20:a403) (Client Quit) |
2021-12-31 14:24:28 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 14:28:20 +0100 | MasseR | (~MasseR@51.15.143.128) |
2021-12-31 14:31:16 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-31 14:32:09 +0100 | _73 | (~user@pool-108-49-252-36.bstnma.fios.verizon.net) |
2021-12-31 14:38:06 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
2021-12-31 14:41:08 +0100 | shriekingnoise | (~shrieking@186.137.144.80) (Quit: Quit) |
2021-12-31 14:42:47 +0100 | alx741 | (~alx741@181.199.42.79) |
2021-12-31 14:44:08 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
2021-12-31 14:48:19 +0100 | alx741 | (~alx741@181.199.42.79) (Read error: Connection reset by peer) |
2021-12-31 14:50:31 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2021-12-31 14:52:23 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 252 seconds) |
2021-12-31 14:53:56 +0100 | freeside | (~mengwong@158.140.136.247) |
2021-12-31 14:56:31 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
2021-12-31 14:58:33 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2021-12-31 14:58:43 +0100 | nehsou^ | (~nehsou@207.5.54.6) (Remote host closed the connection) |
2021-12-31 15:03:00 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
2021-12-31 15:04:03 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) |
2021-12-31 15:04:25 +0100 | rembo10 | (~rembo10@remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-12-31 15:05:05 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 15:05:35 +0100 | rembo10 | (~rembo10@remulis.com) |
2021-12-31 15:08:23 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 250 seconds) |
2021-12-31 15:09:23 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 15:10:17 +0100 | deadmarshal | (~deadmarsh@95.38.228.254) (Ping timeout: 240 seconds) |
2021-12-31 15:12:38 +0100 | vesuzma | (~manuel@114.81.191.92.dynamic.jazztel.es) |
2021-12-31 15:12:55 +0100 | n3rdy1 | (~n3rdy1@2600:1700:4570:3480::41) |
2021-12-31 15:13:11 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
2021-12-31 15:13:23 +0100 | DigitalKiwi | (~kiwi@192.241.157.119) (Quit: quite.) |
2021-12-31 15:14:06 +0100 | DigitalKiwi | (~kiwi@2604:a880:400:d0::12fc:5001) |
2021-12-31 15:20:06 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) |
2021-12-31 15:24:35 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 268 seconds) |
2021-12-31 15:25:58 +0100 | jumper149 | (~jumper149@static.6.71.203.116.clients.your-server.de) |
2021-12-31 15:26:15 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 15:28:40 +0100 | Rum | (~bourbon@user/rum) (Quit: WeeChat 3.4) |
2021-12-31 15:31:52 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) |
2021-12-31 15:34:16 +0100 | deadmarshal | (~deadmarsh@95.38.228.254) |
2021-12-31 15:34:18 +0100 | phma_ | (phma@2001:5b0:215a:ce38:5375:14ef:75:984) |
2021-12-31 15:35:00 +0100 | nunggu | (~q@gateway/tor-sasl/nunggu) (Quit: nunggu) |
2021-12-31 15:35:03 +0100 | phma | (phma@2001:5b0:211f:42c8:a947:49ab:30cf:8035) (Read error: Connection reset by peer) |
2021-12-31 15:37:49 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-31 15:38:25 +0100 | nunggu | (~q@gateway/tor-sasl/nunggu) |
2021-12-31 15:38:33 +0100 | machinedgod | (~machinedg@24.105.81.50) |
2021-12-31 15:40:09 +0100 | burnsidesLlama | (~burnsides@dhcp168-010.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-12-31 15:40:41 +0100 | burnsidesLlama | (~burnsides@dhcp168-010.wadham.ox.ac.uk) |
2021-12-31 15:42:30 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2021-12-31 15:42:40 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 15:44:37 +0100 | burnsidesLlama | (~burnsides@dhcp168-010.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
2021-12-31 15:49:09 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
2021-12-31 15:50:16 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
2021-12-31 15:53:22 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-9cdb-69bc-753b-1e50.res6.spectrum.com) (Remote host closed the connection) |
2021-12-31 15:53:57 +0100 | max22- | (~maxime@2a01cb0883359800b6fd2f8b2e65f4a2.ipv6.abo.wanadoo.fr) |
2021-12-31 15:54:57 +0100 | kaction | (~kaction@pool-71-191-91-40.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
2021-12-31 15:55:37 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) |
2021-12-31 15:56:04 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
2021-12-31 15:59:02 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2021-12-31 15:59:02 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2021-12-31 15:59:02 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-31 15:59:46 +0100 | vesuzma | (~manuel@114.81.191.92.dynamic.jazztel.es) (Remote host closed the connection) |
2021-12-31 16:00:32 +0100 | n3rdy1 | (~n3rdy1@2600:1700:4570:3480::41) (Ping timeout: 240 seconds) |
2021-12-31 16:00:35 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 252 seconds) |
2021-12-31 16:00:50 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 16:01:41 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 252 seconds) |
2021-12-31 16:02:29 +0100 | coolnickname | (uid531864@user/coolnickname) (Quit: Connection closed for inactivity) |
2021-12-31 16:03:09 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) |
2021-12-31 16:03:39 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
2021-12-31 16:05:59 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 16:09:06 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-12-31 16:11:37 +0100 | dignissimus | (~dignissim@88-104-68-62.dynamic.dsl.as9105.com) (Quit: quit) |
2021-12-31 16:12:00 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-31 16:12:08 +0100 | doyougnu | (~doyougnu@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
2021-12-31 16:12:20 +0100 | doyougnu | (~doyougnu@c-73-25-202-122.hsd1.or.comcast.net) |
2021-12-31 16:12:51 +0100 | coolnickname | (uid531864@user/coolnickname) |
2021-12-31 16:13:02 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
2021-12-31 16:13:55 +0100 | n3rdy1 | (~n3rdy1@2600:1700:4570:3480:1b88:50f:dae0:9293) |
2021-12-31 16:14:03 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) |
2021-12-31 16:14:31 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection) |
2021-12-31 16:16:41 +0100 | _73 | (~user@pool-108-49-252-36.bstnma.fios.verizon.net) (Remote host closed the connection) |
2021-12-31 16:16:45 +0100 | fef | (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
2021-12-31 16:18:10 +0100 | Kaiepi | (~Kaiepi@216.208.243.103) (Read error: Connection reset by peer) |
2021-12-31 16:18:52 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 268 seconds) |
2021-12-31 16:19:30 +0100 | Kaiepi | (~Kaiepi@142.167.238.131) |
2021-12-31 16:20:37 +0100 | nschoe | (~quassel@2a01:e0a:8e:a190:e62a:6035:118c:cf49) (Ping timeout: 240 seconds) |
2021-12-31 16:20:38 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) |
2021-12-31 16:23:09 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 16:24:13 +0100 | Kaiepi | (~Kaiepi@142.167.238.131) (Ping timeout: 240 seconds) |
2021-12-31 16:27:46 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 16:30:34 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Ping timeout: 260 seconds) |
2021-12-31 16:30:50 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
2021-12-31 16:31:22 +0100 | fef | (~thedawn@user/thedawn) |
2021-12-31 16:32:35 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
2021-12-31 16:33:41 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-12-31 16:34:51 +0100 | <bollu> | merijn sweet :D what's your thesis 'bout |
2021-12-31 16:36:58 +0100 | img | (~img@user/img) |
2021-12-31 16:41:22 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:c17f:9983:e5a5:ab71) |
2021-12-31 16:42:51 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2021-12-31 16:42:51 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2021-12-31 16:42:51 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-31 16:44:15 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-12-31 16:44:18 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 16:47:05 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-12-31 16:53:42 +0100 | Kaiepi | (~Kaiepi@142.167.238.131) |
2021-12-31 16:54:52 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 16:55:08 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-12-31 16:56:09 +0100 | img | (~img@user/img) |
2021-12-31 16:57:51 +0100 | AkechiShiro | (~licht@user/akechishiro) (Ping timeout: 245 seconds) |
2021-12-31 16:58:20 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 268 seconds) |
2021-12-31 16:58:23 +0100 | img | (~img@user/img) (Client Quit) |
2021-12-31 16:58:56 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2021-12-31 16:59:02 +0100 | AkechiShiro | (~licht@user/akechishiro) |
2021-12-31 16:59:04 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
2021-12-31 16:59:35 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-31 16:59:45 +0100 | img | (~img@user/img) |
2021-12-31 17:00:46 +0100 | spaceseller | (~spacesell@31.147.205.13) |
2021-12-31 17:01:50 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
2021-12-31 17:02:37 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
2021-12-31 17:05:06 +0100 | sirlensalot | (~sirlensal@ool-44c5f8c9.dyn.optonline.net) |
2021-12-31 17:05:07 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:4942:7271:af20:a403) |
2021-12-31 17:05:13 +0100 | freeside | (~mengwong@158.140.136.247) (Remote host closed the connection) |
2021-12-31 17:05:14 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
2021-12-31 17:06:06 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
2021-12-31 17:07:04 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2021-12-31 17:07:04 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2021-12-31 17:07:04 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-31 17:08:18 +0100 | Jing | (~hedgehog@2604:a840:3::1013) (Remote host closed the connection) |
2021-12-31 17:09:11 +0100 | d0ku | (~d0ku@178.43.48.143.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds) |
2021-12-31 17:12:00 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |
2021-12-31 17:12:36 +0100 | Jing | (~hedgehog@2604:a840:3::1013) |
2021-12-31 17:12:45 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 17:16:01 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-31 17:16:03 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2021-12-31 17:17:13 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
2021-12-31 17:19:51 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-31 17:20:33 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
2021-12-31 17:25:38 +0100 | deadmarshal | (~deadmarsh@95.38.228.254) (Ping timeout: 260 seconds) |
2021-12-31 17:25:58 +0100 | phma_ | phma |
2021-12-31 17:29:00 +0100 | cyphase | (~cyphase@user/cyphase) |
2021-12-31 17:32:42 +0100 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
2021-12-31 17:33:54 +0100 | alx741 | (~alx741@157.100.93.160) |
2021-12-31 17:35:02 +0100 | alx741 | (~alx741@157.100.93.160) (Client Quit) |
2021-12-31 17:39:50 +0100 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Remote host closed the connection) |
2021-12-31 17:40:19 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:c17f:9983:e5a5:ab71) (Remote host closed the connection) |
2021-12-31 17:40:34 +0100 | Kaiepi | (~Kaiepi@142.167.238.131) (Ping timeout: 260 seconds) |
2021-12-31 17:45:42 +0100 | otherwise | (~otherwise@2601:602:880:90f0:e049:de3:e0a5:b9a2) |
2021-12-31 17:47:29 +0100 | mbuf | (~Shakthi@122.178.216.85) (Quit: Leaving) |
2021-12-31 17:48:33 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-31 17:48:41 +0100 | econo | (uid147250@user/econo) |
2021-12-31 17:50:29 +0100 | Kaiepi | (~Kaiepi@156.34.47.253) |
2021-12-31 17:52:00 +0100 | deadmarshal | (~deadmarsh@95.38.228.254) |
2021-12-31 17:52:57 +0100 | nhatanh02 | (~satori@123.24.172.30) (Ping timeout: 240 seconds) |
2021-12-31 17:57:38 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2021-12-31 18:02:01 +0100 | Rum | (~bourbon@user/rum) |
2021-12-31 18:04:26 +0100 | rk04 | (~rk04@user/rajk) |
2021-12-31 18:05:16 +0100 | jumper149 | (~jumper149@static.6.71.203.116.clients.your-server.de) (Quit: WeeChat 3.3) |
2021-12-31 18:10:17 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 240 seconds) |
2021-12-31 18:10:34 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:4942:7271:af20:a403) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-12-31 18:12:35 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
2021-12-31 18:15:51 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) |
2021-12-31 18:21:09 +0100 | joo-_ | (~joo-_@fsf/member/joo--) (Ping timeout: 256 seconds) |
2021-12-31 18:22:37 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-12-31 18:27:34 +0100 | otherwise | (~otherwise@2601:602:880:90f0:e049:de3:e0a5:b9a2) (Remote host closed the connection) |
2021-12-31 18:30:30 +0100 | vglfr | (~vglfr@88.155.60.141) (Ping timeout: 260 seconds) |
2021-12-31 18:31:26 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
2021-12-31 18:31:37 +0100 | rk04 | (~rk04@user/rajk) (Ping timeout: 240 seconds) |
2021-12-31 18:32:36 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds) |
2021-12-31 18:32:59 +0100 | Rum | (~bourbon@user/rum) (Quit: WeeChat 3.4) |
2021-12-31 18:33:14 +0100 | ncopa3 | (~ncopa@gbr2-dev1.alpinelinux.org) (Quit: Alpine Linux, the security-oriented, lightweight Linux distribution) |
2021-12-31 18:35:12 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2021-12-31 18:35:45 +0100 | ncopa3 | (~ncopa@gbr2-dev1.alpinelinux.org) |
2021-12-31 18:37:41 +0100 | rk04 | (~rk04@user/rajk) |
2021-12-31 18:38:36 +0100 | Sgeo | (~Sgeo@user/sgeo) |
2021-12-31 18:38:51 +0100 | spaceseller | (~spacesell@31.147.205.13) (Quit: Leaving) |
2021-12-31 18:39:15 +0100 | spaceseller | (~spacesell@31.147.205.13) |
2021-12-31 18:39:56 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2021-12-31 18:39:56 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2021-12-31 18:39:56 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-31 18:40:57 +0100 | spaceseller | (~spacesell@31.147.205.13) (Client Quit) |
2021-12-31 18:41:57 +0100 | deadmarshal | (~deadmarsh@95.38.228.254) (Ping timeout: 240 seconds) |
2021-12-31 18:42:58 +0100 | deadmarshal | (~deadmarsh@95.38.231.93) |
2021-12-31 18:45:39 +0100 | deadmarshal | (~deadmarsh@95.38.231.93) (Client Quit) |
2021-12-31 18:46:56 +0100 | kotshie | (~kotshie@68.72.208.140) |
2021-12-31 18:47:00 +0100 | deadmarshal | (~deadmarsh@95.38.231.93) |
2021-12-31 18:47:01 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 250 seconds) |
2021-12-31 18:50:05 +0100 | shriekingnoise | (~shrieking@186.137.144.80) |
2021-12-31 18:56:30 +0100 | vglfr | (~vglfr@88.155.60.141) |
2021-12-31 18:57:11 +0100 | hueso | (~root@user/hueso) (Ping timeout: 250 seconds) |
2021-12-31 18:58:30 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-31 18:58:56 +0100 | python476 | (~user@88.160.31.174) |
2021-12-31 19:00:07 +0100 | CiaoSen | (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2021-12-31 19:00:15 +0100 | Akiva | (~Akiva@user/Akiva) |
2021-12-31 19:00:50 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:203e:45d6:8d1a:1058) (Ping timeout: 260 seconds) |
2021-12-31 19:01:54 +0100 | burnsidesLlama | (~burnsides@dhcp168-010.wadham.ox.ac.uk) |
2021-12-31 19:01:59 +0100 | hueso | (~root@user/hueso) |
2021-12-31 19:02:10 +0100 | nhatanh02 | (~satori@123.24.172.30) |
2021-12-31 19:02:40 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:d365:2d3d:255:f608) |
2021-12-31 19:05:34 +0100 | otherwise | (~otherwise@2601:602:880:90f0:3dd5:180e:6592:f2a) |
2021-12-31 19:09:37 +0100 | otherwise | (~otherwise@2601:602:880:90f0:3dd5:180e:6592:f2a) (Ping timeout: 240 seconds) |
2021-12-31 19:09:53 +0100 | SummerSonw | (~The_viole@203.77.49.232) (Ping timeout: 256 seconds) |
2021-12-31 19:10:40 +0100 | rk04 | (~rk04@user/rajk) (Quit: rk04) |
2021-12-31 19:11:12 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-12-31 19:11:22 +0100 | tfeb | (~tfb@88.98.95.237) |
2021-12-31 19:12:29 +0100 | coolnickname | (uid531864@user/coolnickname) (Quit: Connection closed for inactivity) |
2021-12-31 19:15:34 +0100 | otherwise | (~otherwise@2601:602:880:90f0:714a:54cb:ba:a18a) |
2021-12-31 19:15:50 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
2021-12-31 19:16:17 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
2021-12-31 19:20:05 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-9cdb-69bc-753b-1e50.res6.spectrum.com) |
2021-12-31 19:21:47 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-12-31 19:22:08 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-12-31 19:23:02 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 240 seconds) |
2021-12-31 19:24:52 +0100 | tfeb | (~tfb@88.98.95.237) (Quit: died) |
2021-12-31 19:26:51 +0100 | otherwise | (~otherwise@2601:602:880:90f0:714a:54cb:ba:a18a) (Remote host closed the connection) |
2021-12-31 19:27:03 +0100 | otherwise | (~otherwise@2601:602:880:90f0:714a:54cb:ba:a18a) |
2021-12-31 19:28:30 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2021-12-31 19:28:30 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2021-12-31 19:28:30 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-31 19:31:52 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-31 19:33:04 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
2021-12-31 19:33:26 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
2021-12-31 19:34:16 +0100 | thevishy | (~Nishant@2405:201:f005:c007:bc65:cf77:420d:9a2d) (Quit: Leaving) |
2021-12-31 19:35:22 +0100 | mrmr | (~mrmr@user/mrmr) |
2021-12-31 19:39:00 +0100 | fef | (~thedawn@user/thedawn) (Quit: Leaving) |
2021-12-31 19:49:35 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-31 19:52:24 +0100 | <johnw> | merijn: congrats, merijn!! |
2021-12-31 19:54:05 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-12-31 19:58:58 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: This computer has gone to sleep) |
2021-12-31 20:01:28 +0100 | Jing | (~hedgehog@2604:a840:3::1013) (Ping timeout: 268 seconds) |
2021-12-31 20:01:35 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-12-31 20:02:35 +0100 | Jing | (~hedgehog@2604:a840:3::1013) |
2021-12-31 20:02:46 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) |
2021-12-31 20:03:43 +0100 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (Ping timeout: 256 seconds) |
2021-12-31 20:05:23 +0100 | Jonno_FTW | (~come@api.carswap.me) |
2021-12-31 20:07:32 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2021-12-31 20:07:32 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2021-12-31 20:07:32 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-31 20:16:23 +0100 | mastarija | (~mastarija@2a05:4f46:e0e:5000:bc70:8f18:1f10:57e1) |
2021-12-31 20:19:09 +0100 | gehmehgeh_ | gehmehgeh |
2021-12-31 20:21:49 +0100 | n3rdy1 | (~n3rdy1@2600:1700:4570:3480:1b88:50f:dae0:9293) (Ping timeout: 268 seconds) |
2021-12-31 20:32:46 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
2021-12-31 20:34:16 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2021-12-31 20:34:16 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2021-12-31 20:34:16 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-31 20:37:19 +0100 | gaff | (~gaff@49.207.226.100) (Remote host closed the connection) |
2021-12-31 20:44:39 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
2021-12-31 20:46:53 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-31 20:53:33 +0100 | nhatanh02 | (~satori@123.24.172.30) (Ping timeout: 250 seconds) |
2021-12-31 20:56:14 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-31 20:58:24 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2021-12-31 20:58:24 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2021-12-31 20:58:24 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-31 20:59:15 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 256 seconds) |
2021-12-31 21:02:12 +0100 | max22- | (~maxime@2a01cb0883359800b6fd2f8b2e65f4a2.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
2021-12-31 21:02:29 +0100 | max22- | (~maxime@2a01cb08833598009f552a1a4c024a76.ipv6.abo.wanadoo.fr) |
2021-12-31 21:04:23 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
2021-12-31 21:05:29 +0100 | juhp | (~juhp@128.106.188.82) (Ping timeout: 256 seconds) |
2021-12-31 21:06:09 +0100 | max22- | (~maxime@2a01cb08833598009f552a1a4c024a76.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
2021-12-31 21:06:22 +0100 | max22- | (~maxime@2a01cb0883359800172ac8059268b28d.ipv6.abo.wanadoo.fr) |
2021-12-31 21:06:46 +0100 | juhp | (~juhp@128.106.188.82) |
2021-12-31 21:10:35 +0100 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2021-12-31 21:12:23 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
2021-12-31 21:21:21 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-12-31 21:22:42 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
2021-12-31 21:23:40 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2021-12-31 21:23:40 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2021-12-31 21:23:40 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-31 21:27:23 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2021-12-31 21:28:57 +0100 | aman | (~aman@user/aman) (Quit: aman) |
2021-12-31 21:30:23 +0100 | max22- | (~maxime@2a01cb0883359800172ac8059268b28d.ipv6.abo.wanadoo.fr) (Ping timeout: 250 seconds) |
2021-12-31 21:30:29 +0100 | jtomas | (~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) (Remote host closed the connection) |
2021-12-31 21:30:47 +0100 | jtomas | (~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) |
2021-12-31 21:32:07 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-12-31 21:41:57 +0100 | retro_ | (~retro@05412d78.skybroadband.com) |
2021-12-31 21:43:48 +0100 | Erutuon | (~Erutuon@user/erutuon) |
2021-12-31 21:45:41 +0100 | retroid_ | (~retro@05412d78.skybroadband.com) (Ping timeout: 268 seconds) |
2021-12-31 21:47:46 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
2021-12-31 21:50:29 +0100 | antanananananas | (~textual@78-63-84-180.static.zebra.lt) |
2021-12-31 21:57:22 +0100 | <otherwise> | Why when I load Main.hs in GHCi, and I type :browse I do not see the functions that I've defined in the module that Main.hs is importing? |
2021-12-31 21:57:49 +0100 | <otherwise> | However when I load the module directly in GHCi, :browse shows the functions |
2021-12-31 21:58:27 +0100 | <geekosaur> | :browse shows only the current module, which for Main.hs will be module Main |
2021-12-31 21:58:40 +0100 | <geekosaur> | if you import it in ghci then you can use :browse on it |
2021-12-31 21:59:07 +0100 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/html/users_guide/ghci.html#ghci-cmd-:browse |
2021-12-31 22:00:42 +0100 | <geekosaur> | :browse limits itslef to a single module just to make things more manageable |
2021-12-31 22:04:17 +0100 | <otherwise> | I see. I was able to :browse folder/fileName while having Main loaded, and this worked. Thanks! |
2021-12-31 22:06:24 +0100 | acidjnk_new | (~acidjnk@p200300d0c7271e281077e1a745617169.dip0.t-ipconnect.de) |
2021-12-31 22:06:25 +0100 | acidjnk | (~acidjnk@p200300d0c7271e281077e1a745617169.dip0.t-ipconnect.de) |
2021-12-31 22:07:45 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
2021-12-31 22:08:51 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
2021-12-31 22:16:28 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC (IRC client for Emacs 27.1)) |
2021-12-31 22:17:57 +0100 | jespada | (~jespada@87.74.33.157) (Ping timeout: 240 seconds) |
2021-12-31 22:19:45 +0100 | jespada | (~jespada@87.74.33.157) |
2021-12-31 22:26:37 +0100 | Techcable | (~Techcable@168.235.93.147) (Ping timeout: 240 seconds) |
2021-12-31 22:30:46 +0100 | zincy_ | (~zincy@host86-151-99-97.range86-151.btcentralplus.com) |
2021-12-31 22:38:21 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2021-12-31 22:41:34 +0100 | ________________ | (~textual@node-1w7jr9qkwjp05lc932j6d6xa7.ipv6.telus.net) |
2021-12-31 22:47:21 +0100 | <________________> | is it possible to combine data type as follows, |
2021-12-31 22:47:54 +0100 | <________________> | ``` |
2021-12-31 22:47:55 +0100 | <________________> | data F = A | B |
2021-12-31 22:47:55 +0100 | <________________> | data G = C | D |
2021-12-31 22:47:55 +0100 | <________________> | data H = F | H |
2021-12-31 22:47:55 +0100 | <________________> | ``` |
2021-12-31 22:47:57 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:d365:2d3d:255:f608) (Ping timeout: 250 seconds) |
2021-12-31 22:48:34 +0100 | <geekosaur> | that doesn't mean what you think/hope |
2021-12-31 22:48:36 +0100 | <________________> | i meant `data H = F | G` |
2021-12-31 22:49:06 +0100 | <geekosaur> | on the left of the = is a type constructor; on the right are data constructors, which live in a different namespace |
2021-12-31 22:49:38 +0100 | <geekosaur> | meaning the F and G in `data H` there are not the same as the earlier `data F`/`data G` |
2021-12-31 22:50:01 +0100 | <EvanR> | type F = Either A B -- is possible |
2021-12-31 22:50:06 +0100 | <EvanR> | type G = Either C D |
2021-12-31 22:50:15 +0100 | <________________> | so i'd have to wrap them in another data constructor? |
2021-12-31 22:50:18 +0100 | <________________> | i see |
2021-12-31 22:50:24 +0100 | <________________> | that makes sense, ty! |
2021-12-31 22:50:35 +0100 | <EvanR> | that makes type synonyms and not new types |
2021-12-31 22:50:47 +0100 | <geekosaur> | data H = SomeF F | SomeG G |
2021-12-31 22:51:19 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2021-12-31 22:51:19 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2021-12-31 22:51:19 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-12-31 22:51:20 +0100 | <EvanR> | we don't have anonymous sums |
2021-12-31 22:51:22 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-31 22:51:51 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::917a) |
2021-12-31 22:51:57 +0100 | <EvanR> | though I now realize you didn't ask for any |
2021-12-31 22:52:02 +0100 | <geekosaur> | I think 9.2 does? |
2021-12-31 22:52:18 +0100 | <EvanR> | orly |
2021-12-31 22:54:15 +0100 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/primitives.html?highlight=anon… |
2021-12-31 22:54:29 +0100 | <geekosaur> | unboxed and anonymous |
2021-12-31 22:54:44 +0100 | <geekosaur> | *lifted* anonymous sums still aren't a thing |
2021-12-31 22:56:53 +0100 | johnw | (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Quit: ZNC - http://znc.in) |
2021-12-31 22:57:54 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-31 23:00:36 +0100 | Techcable | (~Techcable@168.235.93.147) |
2021-12-31 23:01:51 +0100 | Techcable | (~Techcable@168.235.93.147) (Remote host closed the connection) |
2021-12-31 23:02:28 +0100 | zincy_ | (~zincy@host86-151-99-97.range86-151.btcentralplus.com) (Remote host closed the connection) |
2021-12-31 23:02:57 +0100 | Techcable | (~Techcable@168.235.93.147) |
2021-12-31 23:03:21 +0100 | kaph_ | (~kaph@net-2-38-107-19.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
2021-12-31 23:04:46 +0100 | <EvanR> | is it still possible to define (<*>) in terms of (>>=) using ap |
2021-12-31 23:04:51 +0100 | Techcable | (~Techcable@168.235.93.147) (Client Quit) |
2021-12-31 23:05:46 +0100 | <EvanR> | Ok I did it but now there's a Monad constraint on my Applicative instance |
2021-12-31 23:05:57 +0100 | Techcable | (~Techcable@168.235.93.147) |
2021-12-31 23:07:45 +0100 | <EvanR> | oof nvm |
2021-12-31 23:07:56 +0100 | <geekosaur> | yes, that's generally used to backform an Applicative instance from a pre-AMP Monad |
2021-12-31 23:08:18 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-31 23:08:50 +0100 | Techcable | (~Techcable@168.235.93.147) (Client Quit) |
2021-12-31 23:09:05 +0100 | Techcable | (~Techcable@168.235.93.147) |
2021-12-31 23:10:52 +0100 | <hpc> | EvanR: didn't feel like writing it yourself? :D |
2021-12-31 23:10:57 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
2021-12-31 23:11:27 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |
2021-12-31 23:11:35 +0100 | <EvanR> | I spent like 2 hours writing FreeT myself |
2021-12-31 23:11:41 +0100 | <EvanR> | and ragequit |
2021-12-31 23:11:58 +0100 | <EvanR> | my consolation prize was having to write Applicative instances xD |
2021-12-31 23:13:21 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2021-12-31 23:17:29 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-12-31 23:19:53 +0100 | Jing | (~hedgehog@2604:a840:3::1013) (Remote host closed the connection) |
2021-12-31 23:22:24 +0100 | Everything | (~Everythin@178-133-112-180.mobile.vf-ua.net) () |
2021-12-31 23:23:41 +0100 | Jing | (~hedgehog@2604:a840:3::1013) |
2021-12-31 23:24:36 +0100 | euouae | (~euouae@user/euouae) |
2021-12-31 23:24:53 +0100 | <euouae> | Hello I am reading the monad laws on https://en.wikibooks.org/wiki/Haskell/Category_theory#The_monad_laws_and_their_importance and comparing them to their categorical definiton https://en.wikipedia.org/wiki/Monad_(category_theory)#Formal_definition |
2021-12-31 23:26:01 +0100 | zer0bitz | (~zer0bitz@196.244.192.54) (Ping timeout: 256 seconds) |
2021-12-31 23:26:11 +0100 | <euouae> | In the wikibook link, there are 4 axioms to be obeyed, a total of 6 equations but in the categorical definition there's only 4 equations I can see (which would be the 1. and 2. from the wikibook) |
2021-12-31 23:26:27 +0100 | max22- | (~maxime@2a01cb0883359800912ec9454e10c944.ipv6.abo.wanadoo.fr) |
2021-12-31 23:26:37 +0100 | <euouae> | so where does unit o f = M(f) o unit come from, for example? |
2021-12-31 23:27:34 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
2021-12-31 23:30:22 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:d903:d876:1354:7b4c) |
2021-12-31 23:31:07 +0100 | <geekosaur> | a CT monad is more general than a Haskell Monad, which is more correctly the CT monad as specialized to the notional category Hask of Haskell types |
2021-12-31 23:31:37 +0100 | <geekosaur> | so some of the additional laws come from the definition of Hask |
2021-12-31 23:31:45 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
2021-12-31 23:31:57 +0100 | <EvanR> | those 4 laws are screaming to be rendered as commutative diagrams instead |
2021-12-31 23:32:03 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2021-12-31 23:32:48 +0100 | notzmv | (~zmv@user/notzmv) |
2021-12-31 23:33:02 +0100 | deadmarshal | (~deadmarsh@95.38.231.93) (Ping timeout: 240 seconds) |
2021-12-31 23:34:40 +0100 | <euouae> | geekosaur thank you, that makes sense; the `functor` definition also has haskell laws that in CT are not stated as commutative diagrams, so that makes sense. |
2021-12-31 23:34:54 +0100 | <EvanR> | see note 2 at the bottom |
2021-12-31 23:35:02 +0100 | <euouae> | the laws in the wikibook are also a bit tricky because they use polymorphism |
2021-12-31 23:35:10 +0100 | <euouae> | (It's tricky to compare them to the CT definition) |
2021-12-31 23:35:31 +0100 | <EvanR> | CT has even more polymorphism, it's just implicit |
2021-12-31 23:35:34 +0100 | <euouae> | EvanR ah yeah, thank you |
2021-12-31 23:36:00 +0100 | <geekosaur> | partof that is you can go across categories with both, iirc. but Functor and Monad in Haskell are restricted to Hask, and some of the extra laws express that restriction |
2021-12-31 23:36:20 +0100 | <geekosaur> | there are more general ones in Control.Category |
2021-12-31 23:36:53 +0100 | <geekosaur> | (but I am no CT expert so I may be wrong about some or all of that) |
2021-12-31 23:37:24 +0100 | <geekosaur> | I just know actual CT is much more flexible than what Haskell normally does with them |
2021-12-31 23:39:03 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
2021-12-31 23:40:13 +0100 | <EvanR> | is haskell still broken on Arch Linux or what do I tell people who want to try haskell and are on arch |
2021-12-31 23:40:34 +0100 | <EvanR> | does ghcup just work regardless |
2021-12-31 23:40:54 +0100 | <glguy> | Is GHC 9.0.2 missing from ghcup because it's not ready or just because it takes a little time to get things updated? |
2021-12-31 23:41:18 +0100 | otherwise | (~otherwise@2601:602:880:90f0:714a:54cb:ba:a18a) (Remote host closed the connection) |
2021-12-31 23:41:27 +0100 | <geekosaur> | I haven't seen maerwald around since it was released… which, recall, was on Christmas |
2021-12-31 23:41:48 +0100 | <geekosaur> | expect it'll show up after the holidays |
2021-12-31 23:41:49 +0100 | <glguy> | I saw him chatting yesterday |
2021-12-31 23:41:54 +0100 | <glguy> | OK, cool |
2021-12-31 23:42:12 +0100 | kaph | (~kaph@net-2-38-107-19.cust.vodafonedsl.it) |
2021-12-31 23:42:19 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2021-12-31 23:43:37 +0100 | jtomas | (~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
2021-12-31 23:45:51 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
2021-12-31 23:49:20 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2021-12-31 23:52:06 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
2021-12-31 23:56:25 +0100 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2021-12-31 23:56:25 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
2021-12-31 23:56:30 +0100 | allbery_b | geekosaur |
2021-12-31 23:57:34 +0100 | Codaraxis__ | (~Codaraxis@user/codaraxis) (Quit: Leaving) |
2021-12-31 23:58:01 +0100 | euouae | (~euouae@user/euouae) (Quit: time to upgrade) |