Logs on 2021-12-31 (liberachat/#haskell)
| 00:00:33 | × | dignissimus quits (~dignissim@88-104-68-62.dynamic.dsl.as9105.com) (Quit: night) |
| 00:04:01 | → | alx741 joins (~alx741@157.100.93.160) |
| 00:16:24 | × | uam quits (uid360535@id-360535.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 00:17:16 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 00:17:59 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 00:21:35 | → | _73 joins (~user@pool-108-49-252-36.bstnma.fios.verizon.net) |
| 00:23:37 | × | burnsidesLlama quits (~burnsides@dhcp168-010.wadham.ox.ac.uk) (Remote host closed the connection) |
| 00:24:05 | → | burnsidesLlama joins (~burnsides@dhcp168-010.wadham.ox.ac.uk) |
| 00:24:56 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 00:27:57 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 00:28:31 | × | burnsidesLlama quits (~burnsides@dhcp168-010.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 00:30:18 | × | _73 quits (~user@pool-108-49-252-36.bstnma.fios.verizon.net) (Quit: ERC (IRC client for Emacs 27.2)) |
| 00:31:21 | × | SummerSonw quits (~The_viole@203.77.49.232) (Ping timeout: 256 seconds) |
| 00:35:31 | × | Flonk quits (~Flonk@vps-zap441517-1.zap-srv.com) (Quit: Ping timeout (120 seconds)) |
| 00:35:54 | → | Flonk joins (~Flonk@vps-zap441517-1.zap-srv.com) |
| 00:38:17 | × | n3rdy1 quits (~n3rdy1@2600:1700:4570:3480::41) (Ping timeout: 240 seconds) |
| 00:40:56 | × | DNH quits (~DNH@2a02:8108:1100:16d8:7457:6675:c5ec:bb4b) (Quit: Textual IRC Client: www.textualapp.com) |
| 00:42:29 | → | alx741 joins (~alx741@157.100.93.160) |
| 00:42:34 | × | sprout quits (~quassel@2a02:a467:ccd6:1:b165:3b1b:f1f6:f4de) (Ping timeout: 268 seconds) |
| 00:56:11 | → | sprout joins (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
| 00:56:11 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 00:58:44 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 00:58:44 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 00:58:44 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:00:03 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 01:00:32 | × | sprout quits (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds) |
| 01:05:13 | <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 |
| 01:05:13 | <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? |
| 01:06:05 | <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 |
| 01:06:39 | × | jgeerds quits (~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 250 seconds) |
| 01:08:05 | <iphy> | a catamorphism would work great if CompoundStmt [a] were instead CompoundStmt a (where a is StmtList {hd :: a, tl :: Maybe a}) |
| 01:08:23 | → | zaquest joins (~notzaques@5.130.79.72) |
| 01:09:50 | <EvanR> | StmtList {hd :: a, tl :: Maybe (StmtList a)} ? |
| 01:10:10 | <EvanR> | StmtList {hd :: a, tl :: Maybe (CompoundStmt a)} ? |
| 01:10:30 | <iphy> | the former |
| 01:10:51 | <EvanR> | give or take ctor names, it seems isomorphic to list |
| 01:10:53 | <iphy> | (but of course StmtList :: NodeF lexeme a) |
| 01:11:02 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 01:11:31 | <iphy> | it is kind of isomorphic, but I can't constrain tl to be only one of the constructors |
| 01:11:50 | <EvanR> | ah |
| 01:11:55 | <iphy> | so the type system won't know that StmtList's tl is always a StmtList |
| 01:11:58 | <iphy> | it's a NodeF |
| 01:12:04 | <EvanR> | seems like a job for a new type |
| 01:12:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:12:20 | <iphy> | ok but if it's a new type, then it's [a] again |
| 01:12:24 | <iphy> | because [] is also a new type |
| 01:12:29 | <EvanR> | like in BNF, a sequence of whatever is a new rule |
| 01:12:31 | → | sprout joins (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
| 01:12:45 | → | hololeap joins (~hololeap@user/hololeap) |
| 01:13:24 | <iphy> | so let's consider it a new type then, how do you define the algebra for a catamorphism? |
| 01:13:27 | <EvanR> | yeah I don't see why it can't be a list |
| 01:13:46 | <iphy> | foldFix :: Functor f => (f a -> a) -> Fix f -> a |
| 01:14:07 | → | alx741 joins (~alx741@157.100.93.160) |
| 01:14:25 | <EvanR> | the visitor function there would need to fold the list |
| 01:14:33 | <iphy> | int a = 0; int b = foo(a); return b; |
| 01:15:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 01:15:09 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 01:15:09 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:15:54 | <iphy> | https://www.irccloud.com/pastebin/2E6gp3GT/ |
| 01:16:41 | <EvanR> | a statement could be a type, you have a list of statements you wanna process |
| 01:16:42 | <iphy> | given a node that represents the statement 'printf("hi %d\n", a);', I want to compute the live set for that statement |
| 01:16:56 | <iphy> | for that, I need to know the live set of the next statement |
| 01:17:22 | <EvanR> | yeah, so foldr |
| 01:17:51 | <iphy> | hm, might work actually |
| 01:24:12 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 01:32:02 | → | nhatanh02 joins (~satori@123.24.172.30) |
| 01:32:33 | × | Everything quits (~Everythin@37.115.210.35) (Ping timeout: 256 seconds) |
| 01:34:01 | <otherwise> | > Data.Map.empty |
| 01:34:03 | <lambdabot> | fromList [] |
| 01:34:03 | → | Everything joins (~Everythin@178-133-112-180.mobile.vf-ua.net) |
| 01:34:12 | <otherwise> | what does one do with that? |
| 01:34:23 | <otherwise> | > Data.Map.empty : [] |
| 01:34:24 | <lambdabot> | [fromList []] |
| 01:34:33 | <otherwise> | thats as much as I could achieve |
| 01:34:39 | <geekosaur> | it's the empty Map, nothing more |
| 01:35:13 | <geekosaur> | you could for example build a Map by folding M.insert across something, with M.empty as the "zero" |
| 01:35:43 | → | burnsidesLlama joins (~burnsides@dhcp168-010.wadham.ox.ac.uk) |
| 01:36:41 | <iphy> | fromList [...] is what the "Show" instance for Data.Map does |
| 01:36:43 | <geekosaur> | > foldr M.insert M.empty [1..6] |
| 01:36:45 | <lambdabot> | error: |
| 01:36:45 | <lambdabot> | • Couldn't match expected type ‘M.Map k a -> M.Map k a’ |
| 01:36:45 | <lambdabot> | with actual type ‘M.Map k0 a0’ |
| 01:37:02 | → | wroathe_ joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 01:37:13 | <geekosaur> | hm, I'm forgetting how to do this |
| 01:37:16 | <iphy> | flip? |
| 01:37:18 | <iphy> | (I don't know) |
| 01:37:25 | <EvanR> | > read "fromList []" :: Data.Map.Map Char |
| 01:37:27 | <lambdabot> | error: |
| 01:37:27 | <lambdabot> | • Expecting one more argument to ‘M.Map Char’ |
| 01:37:27 | <lambdabot> | Expected a type, but ‘M.Map Char’ has kind ‘* -> *’ |
| 01:37:28 | <iphy> | > foldr (flip M.insert) M.empty [1..6] |
| 01:37:29 | <lambdabot> | error: |
| 01:37:29 | <lambdabot> | • Couldn't match expected type ‘M.Map k a -> M.Map k a’ |
| 01:37:29 | <lambdabot> | with actual type ‘M.Map k0 a0’ |
| 01:37:33 | <otherwise> | I got it to work based on your initial comment geekosaur |
| 01:37:34 | <iphy> | or not :P |
| 01:37:35 | <EvanR> | > read "fromList []" :: Data.Map.Map Int Char |
| 01:37:37 | <lambdabot> | fromList [] |
| 01:37:37 | <otherwise> | thanks! |
| 01:37:39 | <iphy> | oh wait, maps |
| 01:37:51 | <iphy> | need key/values |
| 01:37:59 | <EvanR> | how many haskellers does it take to fold a Map |
| 01:38:04 | <iphy> | :D |
| 01:38:08 | <geekosaur> | right, I'm trying to build a set not a map, duh |
| 01:38:16 | <otherwise> | > Data.Map.insert 1 'a' Data.Map.empty |
| 01:38:17 | <lambdabot> | fromList [(1,'a')] |
| 01:38:44 | <EvanR> | with proper imports, M.insert 1 'a' M.empty |
| 01:38:46 | <geekosaur> | > foldr (uncurry M.insert) M.empty (zip [1..6] "abcdef") -- ? |
| 01:38:47 | <lambdabot> | fromList [(1,'a'),(2,'b'),(3,'c'),(4,'d'),(5,'e'),(6,'f')] |
| 01:39:29 | <iphy> | success |
| 01:39:45 | <otherwise> | EvanR you mean import Data.Map qualified as M ? |
| 01:39:49 | × | Tuplanolla quits (~Tuplanoll@91-159-69-90.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:39:55 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 01:41:17 | <EvanR> | sure |
| 01:41:33 | <EvanR> | > foldMap (uncurry M.singleton) (zipWith (,) [0..4] "abcd") -- for extra confusion |
| 01:41:35 | <lambdabot> | fromList [(0,'a'),(1,'b'),(2,'c'),(3,'d')] |
| 01:41:46 | × | burnsidesLlama quits (~burnsides@dhcp168-010.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 01:42:23 | <EvanR> | > foldMap (zipWith M.singleton [0..3] "abcd") |
| 01:42:25 | <lambdabot> | error: |
| 01:42:25 | <lambdabot> | • Couldn't match expected type ‘a -> m’ |
| 01:42:25 | <lambdabot> | with actual type ‘[M.Map k0 Char]’ |
| 01:42:27 | <EvanR> | damn |
| 01:42:33 | → | alx741 joins (~alx741@157.100.93.160) |
| 01:42:45 | × | Everything quits (~Everythin@178-133-112-180.mobile.vf-ua.net) (Quit: leaving) |
| 01:43:14 | <c_wraith> | you are almost there - fold instead of foldMap |
| 01:43:18 | <EvanR> | > fold (zipWith M.singleton [0..3] "abcd") |
| 01:43:19 | <lambdabot> | fromList [(0,'a'),(1,'b'),(2,'c'),(3,'d')] |
| 01:43:50 | <c_wraith> | too bad all of these folds are non-strict. that's not memory-friendly |
| 01:45:40 | <c_wraith> | wow. and the docs say to use (foldMap' id) if you need a strict version |
| 01:46:43 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 01:47:49 | → | gaff joins (~gaff@49.207.226.49) |
| 01:49:17 | <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 |
| 01:49:34 | <EvanR> | > M.lookup 3 (foldr (uncurry M.insert) M.empty (zip [0..999999] ['a'..])) |
| 01:49:41 | <lambdabot> | mueval-core: Time limit exceeded |
| 01:49:45 | <EvanR> | > M.lookup 3 (foldl' (flip $ uncurry M.insert) M.empty (zip [0..999999] ['a'..])) |
| 01:49:48 | <lambdabot> | Just 'd' |
| 01:50:14 | <EvanR> | that was quick but I primed the cache by testing in query window xD |
| 01:50:15 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 01:57:44 | → | lavaman joins (~lavaman@98.38.249.169) |
| 02:01:57 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 02:05:49 | × | jeetelongname quits (~jeet@88-111-159-26.dynamic.dsl.as9105.com) (Ping timeout: 240 seconds) |
| 02:07:39 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 02:08:02 | → | alx741 joins (~alx741@157.100.93.160) |
| 02:12:48 | → | Kaiepi joins (~Kaiepi@216.208.243.103) |
| 02:12:56 | → | burnsidesLlama joins (~burnsides@dhcp168-010.wadham.ox.ac.uk) |
| 02:14:17 | <xsperry> | > M.lookup 3 (M.fromList (zip [0..999999] ['a'..])) |
| 02:14:20 | <lambdabot> | Just 'd' |
| 02:17:19 | × | burnsidesLlama quits (~burnsides@dhcp168-010.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 02:19:17 | × | kotshie quits (~kotshie@68.72.208.140) (Ping timeout: 240 seconds) |
| 02:22:02 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:26:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 02:27:27 | → | yauhsien joins (~yauhsien@118-167-42-25.dynamic-ip.hinet.net) |
| 02:32:37 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 02:33:35 | × | wroathe_ quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Quit: leaving) |
| 02:33:48 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 02:33:48 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 02:33:48 | → | wroathe joins (~wroathe@user/wroathe) |
| 02:34:58 | × | sprout quits (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 260 seconds) |
| 02:38:17 | × | neurocyte0132889 quits (~neurocyte@user/neurocyte) (Ping timeout: 240 seconds) |
| 02:40:27 | × | gaff quits (~gaff@49.207.226.49) (Remote host closed the connection) |
| 02:42:13 | → | gaff joins (~gaff@49.207.226.49) |
| 02:43:17 | × | xff0x quits (~xff0x@2001:1a81:527e:7f00:128f:5c47:b7cd:f118) (Ping timeout: 240 seconds) |
| 02:45:32 | → | xff0x joins (~xff0x@2001:1a81:52ba:da00:d72e:55a5:cc3a:4ad6) |
| 02:46:28 | → | sprout joins (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
| 02:46:57 | × | kaph quits (~kaph@net-2-38-107-19.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 02:47:09 | × | hololeap quits (~hololeap@user/hololeap) (Quit: Bye) |
| 02:48:27 | → | deadmarshal joins (~deadmarsh@95.38.119.178) |
| 02:48:47 | → | kaph_ joins (~kaph@net-2-38-107-19.cust.vodafonedsl.it) |
| 02:50:36 | → | alx741 joins (~alx741@157.100.93.160) |
| 02:51:17 | × | sprout quits (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 252 seconds) |
| 02:53:01 | × | deadmarshal quits (~deadmarsh@95.38.119.178) (Ping timeout: 256 seconds) |
| 02:56:38 | × | epolanski quits (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 03:03:24 | → | sprout joins (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
| 03:08:43 | × | sprout quits (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 268 seconds) |
| 03:18:55 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 03:19:24 | → | burnsidesLlama joins (~burnsides@dhcp168-010.wadham.ox.ac.uk) |
| 03:21:27 | → | sprout joins (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
| 03:25:37 | × | sprout quits (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds) |
| 03:25:37 | × | burnsidesLlama quits (~burnsides@dhcp168-010.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 03:30:37 | × | yauhsien quits (~yauhsien@118-167-42-25.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 03:35:53 | → | alx741 joins (~alx741@157.100.93.160) |
| 03:42:41 | → | burnsidesLlama joins (~burnsides@dhcp168-010.wadham.ox.ac.uk) |
| 03:46:02 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 03:46:02 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 03:47:00 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:47:00 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:47:00 | finn_elija | is now known as FinnElija |
| 03:48:12 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 03:49:25 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 03:54:17 | × | td_ quits (~td@94.134.91.217) (Ping timeout: 240 seconds) |
| 03:56:13 | → | td_ joins (~td@muedsl-82-207-238-106.citykom.de) |
| 04:00:47 | → | yauhsien joins (~yauhsien@118-167-42-25.dynamic-ip.hinet.net) |
| 04:04:19 | → | alx741 joins (~alx741@157.100.93.160) |
| 04:05:02 | × | yauhsien quits (~yauhsien@118-167-42-25.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 04:08:17 | <xerox> | /track |
| 04:09:02 | → | mbuf joins (~Shakthi@122.178.216.85) |
| 04:09:23 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds) |
| 04:10:00 | <xerox> | oops |
| 04:11:02 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 04:13:34 | → | zmt00 joins (~zmt00@user/zmt00) |
| 04:13:57 | × | zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 04:15:11 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 04:20:31 | → | nehsou^ joins (~nehsou@207.5.54.6) |
| 04:23:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:28:54 | → | alx741 joins (~alx741@157.100.93.160) |
| 04:31:34 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 04:31:34 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 04:31:34 | → | wroathe joins (~wroathe@user/wroathe) |
| 04:31:53 | → | deadmarshal joins (~deadmarsh@95.38.119.178) |
| 04:36:09 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 04:47:37 | × | curiousgay quits (~curiousga@77-120-141-90.kha.volia.net) (Ping timeout: 240 seconds) |
| 04:49:50 | → | gehmehgeh_ joins (~user@user/gehmehgeh) |
| 04:52:06 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 276 seconds) |
| 04:53:12 | × | learner-monad quits (~ehanneken@user/learner-monad) (Quit: WeeChat 3.4) |
| 04:53:57 | × | machined1od quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 04:57:15 | × | nhatanh02 quits (~satori@123.24.172.30) (Ping timeout: 268 seconds) |
| 04:57:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 05:01:17 | × | Feuermagier_ quits (~Feuermagi@84.17.49.78) (Quit: Leaving) |
| 05:01:28 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 05:03:22 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 05:03:28 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 05:08:16 | → | lavaman joins (~lavaman@98.38.249.169) |
| 05:12:17 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 05:14:52 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 05:19:56 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 05:21:28 | → | alx741 joins (~alx741@157.100.93.160) |
| 05:22:46 | × | burnsidesLlama quits (~burnsides@dhcp168-010.wadham.ox.ac.uk) (Remote host closed the connection) |
| 05:23:18 | → | burnsidesLlama joins (~burnsides@client-8-64.eduroam.oxuni.org.uk) |
| 05:26:06 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 05:27:17 | × | burnsidesLlama quits (~burnsides@client-8-64.eduroam.oxuni.org.uk) (Ping timeout: 240 seconds) |
| 05:34:10 | × | deadmarshal quits (~deadmarsh@95.38.119.178) (Ping timeout: 260 seconds) |
| 05:35:48 | → | sprout joins (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
| 05:40:17 | × | sprout quits (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds) |
| 05:40:37 | theproffesor_ | is now known as theproffesor |
| 05:41:06 | × | theproffesor quits (~theproffe@2601:282:847f:8010::5fff) (Changing host) |
| 05:41:06 | → | theproffesor joins (~theproffe@user/theproffesor) |
| 05:42:51 | → | nhatanh02 joins (~satori@123.24.172.30) |
| 05:44:00 | → | alx741 joins (~alx741@157.100.93.160) |
| 05:46:07 | × | sirlensalot quits (~sirlensal@ool-44c5f8c9.dyn.optonline.net) (Quit: sirlensalot) |
| 05:52:44 | → | sprout joins (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
| 05:52:44 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 05:54:46 | → | lavaman joins (~lavaman@98.38.249.169) |
| 05:56:17 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:d506:18a6:e0ef:8a3a) (Ping timeout: 240 seconds) |
| 05:57:02 | × | sprout quits (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds) |
| 05:59:27 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 06:00:00 | → | deadmarshal joins (~deadmarsh@95.38.119.178) |
| 06:00:12 | → | sprout joins (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
| 06:01:17 | × | nhatanh02 quits (~satori@123.24.172.30) (Ping timeout: 240 seconds) |
| 06:02:09 | → | deadmarshal_ joins (~deadmarsh@95.38.113.195) |
| 06:04:32 | × | deadmarshal quits (~deadmarsh@95.38.119.178) (Ping timeout: 240 seconds) |
| 06:05:26 | × | sprout quits (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 252 seconds) |
| 06:10:23 | → | alx741 joins (~alx741@157.100.93.160) |
| 06:17:08 | → | sprout joins (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
| 06:20:30 | × | waleee quits (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 268 seconds) |
| 06:21:17 | × | sprout quits (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds) |
| 06:21:42 | → | sabhrd33 joins (~shawna@76.14.56.206) |
| 06:24:48 | → | sprout joins (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
| 06:25:31 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 06:28:40 | × | hexology quits (~hexology@user/hexology) (Quit: hex on you ...) |
| 06:30:03 | × | Jing quits (~hedgehog@2604:a840:3::1067) (Remote host closed the connection) |
| 06:30:41 | → | Jing joins (~hedgehog@240e:390:7c53:a7e1:99f1:6d34:38bc:e28a) |
| 06:38:41 | × | bb010g quits (~bb010g@2001:470:69fc:105::9a5) (Quit: Client limit exceeded: 20000) |
| 06:39:02 | × | sprout quits (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 260 seconds) |
| 06:39:04 | × | sabhrd33 quits (~shawna@76.14.56.206) (Remote host closed the connection) |
| 06:43:50 | → | alx741 joins (~alx741@157.100.93.160) |
| 06:45:47 | → | sprout joins (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
| 06:45:55 | → | Everything joins (~Everythin@178-133-112-180.mobile.vf-ua.net) |
| 06:46:43 | → | python476 joins (~user@88.160.31.174) |
| 06:47:39 | × | InternetCitizen quits (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 268 seconds) |
| 06:48:13 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Quit: Leaving) |
| 06:49:19 | × | deadmarshal_ quits (~deadmarsh@95.38.113.195) (Ping timeout: 256 seconds) |
| 06:50:03 | → | deadmarshal joins (~deadmarsh@95.38.119.173) |
| 06:53:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:56:11 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 06:56:32 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 06:58:38 | → | nattiestnate joins (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) |
| 07:02:18 | → | deadmarshal_ joins (~deadmarsh@95.38.228.254) |
| 07:03:17 | × | deadmarshal quits (~deadmarsh@95.38.119.173) (Ping timeout: 250 seconds) |
| 07:03:32 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 07:05:10 | → | dignissimus joins (~dignissim@88-104-68-62.dynamic.dsl.as9105.com) |
| 07:08:29 | <dignissimus> | Does this look ok? I defined eq3 and eq4 for checking equality between 3 and 4 items https://paste.tomsmeding.com/TO57JATT |
| 07:08:44 | → | bb010g joins (~bb010g@2001:470:69fc:105::9a5) |
| 07:08:55 | <dignissimus> | Coukdn't find anything in hoogle and didn't know if there was another way of doing it |
| 07:10:12 | × | gaff quits (~gaff@49.207.226.49) (Remote host closed the connection) |
| 07:12:10 | × | nattiestnate quits (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Quit: WeeChat 3.4) |
| 07:12:32 | × | Jing quits (~hedgehog@240e:390:7c53:a7e1:99f1:6d34:38bc:e28a) (Read error: Connection reset by peer) |
| 07:13:42 | → | Jing joins (~hedgehog@2604:a840:3::1013) |
| 07:16:44 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 07:16:44 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 07:16:44 | → | wroathe joins (~wroathe@user/wroathe) |
| 07:16:57 | <otherwise> | for eq4 you could use if then else |
| 07:19:28 | <otherwise> | > let eq4 a b c d = if a==b && b==c && c==d then True else False in eq4 1 1 1 2 |
| 07:19:29 | <lambdabot> | False |
| 07:21:23 | → | alx741 joins (~alx741@157.100.93.160) |
| 07:21:58 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 07:25:53 | × | CiaoSen quits (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 07:27:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 07:28:57 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 07:32:15 | → | nattiestnate joins (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) |
| 07:35:04 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 07:35:18 | <EvanR> | > let eq4 a b c d = a==b && b==c && c==d in eq4 1 1 2 1 |
| 07:35:19 | <lambdabot> | False |
| 07:35:29 | <EvanR> | > let eq4 a b c d = a==b && b==c && c==d in eq4 1 2 1 undefined |
| 07:35:30 | <lambdabot> | False |
| 07:36:02 | <EvanR> | @check \b -> b == if b then True else False |
| 07:36:04 | <lambdabot> | +++ OK, passed 100 tests. |
| 07:36:43 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 07:37:50 | × | xff0x quits (~xff0x@2001:1a81:52ba:da00:d72e:55a5:cc3a:4ad6) (Ping timeout: 252 seconds) |
| 07:38:43 | → | xff0x joins (~xff0x@port-92-195-29-230.dynamic.as20676.net) |
| 07:41:33 | × | nattiestnate quits (~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Quit: WeeChat 3.4) |
| 07:42:05 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 07:43:31 | → | coolnickname joins (uid531864@user/coolnickname) |
| 07:44:58 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 07:45:35 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:46:23 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit) |
| 07:50:07 | → | gaff joins (~gaff@49.207.226.49) |
| 07:51:04 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 07:54:50 | → | alx741 joins (~alx741@157.100.93.160) |
| 08:00:12 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 08:00:12 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 08:00:35 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 08:02:52 | → | yauhsien joins (~yauhsien@118-167-42-25.dynamic-ip.hinet.net) |
| 08:05:37 | × | python476 quits (~user@88.160.31.174) (Ping timeout: 240 seconds) |
| 08:07:31 | × | yauhsien quits (~yauhsien@118-167-42-25.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 08:15:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:17:08 | → | alx741 joins (~alx741@157.100.93.160) |
| 08:20:21 | × | gaff quits (~gaff@49.207.226.49) (Ping timeout: 245 seconds) |
| 08:29:36 | → | hololeap joins (~hololeap@user/hololeap) |
| 08:29:36 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 08:31:21 | × | gehmehgeh_ quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 08:32:10 | → | gehmehgeh_ joins (~user@user/gehmehgeh) |
| 08:32:16 | <int-e> | glguy: neat |
| 08:36:57 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 08:44:49 | → | KvL joins (~KvL@user/KvL) |
| 08:46:37 | × | yaroot quits (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) (Ping timeout: 240 seconds) |
| 08:47:24 | → | Rum joins (~bourbon@user/rum) |
| 08:47:39 | → | alx741 joins (~alx741@157.100.93.160) |
| 08:47:40 | → | yaroot joins (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) |
| 08:53:09 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 08:54:08 | → | ksqsf joins (~user@134.209.106.31) |
| 08:54:30 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 08:55:13 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 08:56:37 | → | nschoe joins (~quassel@2a01:e0a:8e:a190:f672:9b79:e0d8:dc62) |
| 09:01:52 | → | gaff joins (~gaff@49.207.226.49) |
| 09:04:16 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 09:10:50 | → | alx741 joins (~alx741@157.100.93.160) |
| 09:12:37 | × | sprout quits (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds) |
| 09:13:31 | → | coot joins (~coot@89-64-85-93.dynamic.chello.pl) |
| 09:14:41 | × | coot quits (~coot@89-64-85-93.dynamic.chello.pl) (Client Quit) |
| 09:14:50 | → | coot joins (~coot@89-64-85-93.dynamic.chello.pl) |
| 09:16:38 | × | Rum quits (~bourbon@user/rum) (Quit: WeeChat 3.4) |
| 09:16:48 | × | noctuks quits (RIj3X4Rlia@user/noctux) (Quit: WeeChat 3.3) |
| 09:16:48 | × | yushyin quits (C2iSDogdK9@karif.server-speed.net) (Quit: WeeChat 3.3) |
| 09:17:32 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 09:17:32 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 09:17:32 | → | wroathe joins (~wroathe@user/wroathe) |
| 09:17:42 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 09:17:42 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 09:17:45 | allbery_b | is now known as geekosaur |
| 09:19:06 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 09:19:20 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 09:19:21 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 09:20:54 | → | d0ku joins (~d0ku@178.43.48.143.ipv4.supernova.orange.pl) |
| 09:21:29 | → | aman joins (~aman@user/aman) |
| 09:22:23 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 09:24:53 | × | Vajb quits (~Vajb@2001:999:230:a44e:bc17:5155:7945:add1) (Ping timeout: 268 seconds) |
| 09:26:10 | → | sprout joins (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
| 09:26:41 | → | drdo2 joins (~drdo@144.172.69.89) |
| 09:27:30 | × | KvL quits (~KvL@user/KvL) (Quit: KvL) |
| 09:27:36 | × | drdo quits (~drdo@roach0.drdo.eu) (Read error: Connection reset by peer) |
| 09:27:36 | drdo2 | is now known as drdo |
| 09:29:01 | → | nhatanh02 joins (~satori@123.24.172.30) |
| 09:30:46 | × | sprout quits (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 260 seconds) |
| 09:31:08 | → | SummerSonw joins (~The_viole@203.77.49.232) |
| 09:31:09 | → | epolanski joins (uid312403@id-312403.helmsley.irccloud.com) |
| 09:32:28 | × | coot quits (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 09:34:25 | × | gaff quits (~gaff@49.207.226.49) (Remote host closed the connection) |
| 09:34:47 | × | Morrow quits (~quassel@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 256 seconds) |
| 09:36:06 | → | alx741 joins (~alx741@157.100.93.160) |
| 09:36:12 | × | hololeap quits (~hololeap@user/hololeap) (Quit: Bye) |
| 09:40:55 | × | nschoe quits (~quassel@2a01:e0a:8e:a190:f672:9b79:e0d8:dc62) (Ping timeout: 268 seconds) |
| 09:40:58 | × | otherwise quits (~otherwise@2601:602:880:90f0:9dc:9663:8c4e:291b) () |
| 09:43:10 | → | sprout joins (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) |
| 09:43:54 | → | searemind joins (~searemind@122.161.52.5) |
| 09:44:15 | → | cosimone joins (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 09:45:57 | × | searemind quits (~searemind@122.161.52.5) (Remote host closed the connection) |
| 09:46:39 | → | searemind joins (~searemind@122.161.52.5) |
| 09:47:25 | × | sprout quits (~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds) |
| 09:48:02 | → | Guest6 joins (~Guest6@host-82-57-134-164.retail.telecomitalia.it) |
| 09:48:35 | × | searemind quits (~searemind@122.161.52.5) (Client Quit) |
| 09:48:48 | <Guest6> | > take 5 [1,5..] |
| 09:48:49 | <lambdabot> | [1,5,9,13,17] |
| 09:48:55 | <Guest6> | hiall |
| 09:49:51 | → | acidjnk joins (~acidjnk@p200300d0c7271e9411aaafeb7bff4a7a.dip0.t-ipconnect.de) |
| 09:49:52 | → | acidjnk_new joins (~acidjnk@p200300d0c7271e9411aaafeb7bff4a7a.dip0.t-ipconnect.de) |
| 09:49:55 | <Guest6> | @pl \l -> zip (map length . group $ l) (compress l) |
| 09:49:56 | <lambdabot> | ap (zip . map length . group) compress |
| 09:50:20 | <Guest6> | @pl \xs -> myReverse xs == xs |
| 09:50:20 | <lambdabot> | (==) =<< myReverse |
| 09:50:56 | <Guest6> | @pl myReverse [] = [] |
| 09:50:56 | <lambdabot> | (line 1, column 15): |
| 09:50:56 | <lambdabot> | unexpected " " |
| 09:50:56 | <lambdabot> | expecting operator |
| 09:50:56 | <Guest6> | myReverse [x] = [x] |
| 09:50:57 | <Guest6> | myReverse (x : xs) = myReverse xs ++ [x] |
| 09:51:37 | <Guest6> | @pl myReverse (x : xs) = myReverse xs ++ [x] |
| 09:51:37 | <lambdabot> | myReverse = fix ((`ap` tail) . (. head) . (. return) . flip . ((++) .)) |
| 09:53:12 | <Guest6> | @unpl ((.).(.)) |
| 09:53:12 | <lambdabot> | (\ x g x0 x1 -> x (g x0 x1)) |
| 09:53:52 | × | Guest6 quits (~Guest6@host-82-57-134-164.retail.telecomitalia.it) (Quit: Client closed) |
| 09:54:03 | → | Guest6 joins (~Guest6@host-82-57-134-164.retail.telecomitalia.it) |
| 09:54:12 | × | Guest6 quits (~Guest6@host-82-57-134-164.retail.telecomitalia.it) (Client Quit) |
| 09:56:35 | → | lavaman joins (~lavaman@98.38.249.169) |
| 09:58:01 | × | ridcully quits (~ridcully@pd951fb88.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 09:59:40 | → | ridcully joins (~ridcully@p57b52a9a.dip0.t-ipconnect.de) |
| 10:00:25 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 10:01:16 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 10:02:46 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 10:04:50 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 10:07:27 | → | Guest6 joins (~Guest6@host-82-57-134-164.retail.telecomitalia.it) |
| 10:07:49 | <Guest6> | @pl show' x = if x > 9 then show x else "0" ++ show x |
| 10:07:50 | <lambdabot> | show' = ap (liftM2 if' (> 9) show) (('0' :) . show) |
| 10:08:17 | <Guest6> | @pl show' x = if x > 9 then show x else '0' : show x |
| 10:08:17 | <lambdabot> | show' = ap (liftM2 if' (> 9) show) (('0' :) . show) |
| 10:08:41 | → | nschoe joins (~quassel@2a01:e0a:8e:a190:e62a:6035:118c:cf49) |
| 10:09:39 | <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] |
| 10:09:40 | <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))) |
| 10:09:54 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 10:10:46 | × | Guest6 quits (~Guest6@host-82-57-134-164.retail.telecomitalia.it) (Client Quit) |
| 10:18:39 | → | alx741 joins (~alx741@157.100.93.160) |
| 10:21:18 | → | Tuplanolla joins (~Tuplanoll@91-159-69-90.elisa-laajakaista.fi) |
| 10:27:08 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 10:28:03 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 10:28:26 | Lord_of_Life_ | is now known as Lord_of_Life |
| 10:30:26 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 10:32:06 | × | ksqsf quits (~user@134.209.106.31) (Ping timeout: 268 seconds) |
| 10:33:19 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 10:33:19 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 10:33:19 | → | wroathe joins (~wroathe@user/wroathe) |
| 10:34:02 | → | zer0bitz joins (~zer0bitz@196.244.192.54) |
| 10:36:08 | → | Vajb joins (~Vajb@85-76-162-179-nat.elisa-mobile.fi) |
| 10:37:16 | → | max22- joins (~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) |
| 10:37:57 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 10:45:03 | × | deadmarshal_ quits (~deadmarsh@95.38.228.254) (Ping timeout: 256 seconds) |
| 10:45:21 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 10:46:38 | → | alx741 joins (~alx741@157.100.93.160) |
| 10:46:57 | → | searemind joins (~searemind@122.161.52.5) |
| 10:48:29 | → | deadmarshal joins (~deadmarsh@95.38.228.254) |
| 10:48:54 | × | searemind quits (~searemind@122.161.52.5) (Client Quit) |
| 10:49:37 | × | Jing quits (~hedgehog@2604:a840:3::1013) (Ping timeout: 240 seconds) |
| 10:50:43 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 10:51:19 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 10:52:27 | → | searemind joins (~searemind@122.161.52.5) |
| 10:52:42 | × | meinside quits (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 10:53:32 | × | vglfr quits (~vglfr@88.155.60.141) (Ping timeout: 240 seconds) |
| 10:54:08 | → | Jing joins (~hedgehog@2604:a840:3::1013) |
| 10:57:48 | × | searemind quits (~searemind@122.161.52.5) (Quit: searemind) |
| 10:58:39 | → | jgeerds joins (~jgeerds@55d4ac73.access.ecotel.net) |
| 11:01:46 | → | bollu joins (~bollu@159.65.151.13) |
| 11:02:30 | → | searemind joins (~searemind@122.161.52.5) |
| 11:02:33 | → | yushyin joins (ank7aaOFiT@2a01:4f8:c17:b4dd::2) |
| 11:02:35 | → | noctuks joins (7vrDyCK6LH@user/noctux) |
| 11:02:43 | → | __monty__ joins (~toonn@user/toonn) |
| 11:02:51 | <searemind> | hi |
| 11:03:07 | <geekosaur> | hi |
| 11:03:28 | <searemind> | yayy this works |
| 11:03:39 | <searemind> | have a great day everyone! |
| 11:04:05 | × | searemind quits (~searemind@122.161.52.5) (Client Quit) |
| 11:04:05 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 11:04:05 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 11:04:05 | → | wroathe joins (~wroathe@user/wroathe) |
| 11:04:56 | → | fef joins (~thedawn@user/thedawn) |
| 11:08:36 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 11:08:36 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 11:08:51 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 11:09:04 | → | fef joins (~thedawn@user/thedawn) |
| 11:09:10 | → | alx741 joins (~alx741@157.100.93.160) |
| 11:09:27 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 11:15:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:18:37 | × | Akiva quits (~Akiva@user/Akiva) (Ping timeout: 240 seconds) |
| 11:19:37 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 11:25:41 | × | jgeerds quits (~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 250 seconds) |
| 11:25:50 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 11:26:27 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 11:28:51 | → | vglfr joins (~vglfr@88.155.60.141) |
| 11:32:34 | × | nhatanh02 quits (~satori@123.24.172.30) (Ping timeout: 260 seconds) |
| 11:33:45 | → | searemind joins (~searemind@122.161.52.5) |
| 11:34:52 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 11:34:52 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 11:34:52 | → | wroathe joins (~wroathe@user/wroathe) |
| 11:39:27 | × | searemind quits (~searemind@122.161.52.5) (Remote host closed the connection) |
| 11:40:01 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 11:41:00 | → | mastarija joins (~mastarija@2a05:4f46:e0e:5000:3068:c838:9b70:4bc4) |
| 11:43:45 | → | alx741 joins (~alx741@157.100.93.160) |
| 11:46:14 | → | jtomas joins (~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) |
| 11:47:37 | → | DNH joins (~DNH@2a02:8108:1100:16d8:4942:7271:af20:a403) |
| 11:48:51 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 11:49:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 11:51:11 | × | mvk quits (~mvk@2607:fea8:5cdd:f000::917a) (Ping timeout: 245 seconds) |
| 11:53:48 | <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 |
| 11:55:01 | <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 |
| 11:55:25 | <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)? |
| 11:55:49 | <geekosaur> | because M1 Macs made a mess of things |
| 11:56:09 | <int-e> | it's a maintenance release for the ghc 9.0 major version |
| 11:56:14 | <geekosaur> | we also had an even earlier slew of releases (8.10.5 through 8.10.7) after 9.0.1 |
| 11:57:07 | <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 |
| 11:57:25 | <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. |
| 11:57:36 | <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 |
| 11:57:52 | <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) |
| 11:58:14 | <geekosaur> | it is, if only because stack lts releases are still 8.10.7 |
| 11:59:09 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 276 seconds) |
| 11:59:20 | <geekosaur> | 9.0.1 has enough bugs that pretty much the only people using it are the ones who need linear types |
| 11:59:37 | <geekosaur> | also much of the ecosystem hasn't caught up to either 9.x release yet |
| 12:00:27 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 12:04:40 | <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. |
| 12:05:04 | <c_wraith> | so neither 9.x branch is especially attractive for real-world use right now |
| 12:06:44 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 12:07:13 | → | alx741 joins (~alx741@157.100.93.160) |
| 12:10:57 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 12:16:06 | <jtomas> | thanks guys. |
| 12:16:19 | <jtomas> | also 9.2.1 does already have record dot syntax, right? |
| 12:16:19 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 12:18:29 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 12:19:03 | <geekosaur> | yes |
| 12:20:02 | <geekosaur> | looks like that was not backported to 9.0.2 |
| 12:21:55 | <jtomas> | hmm, i'm trying it in ghci, but the compiler gives an error |
| 12:22:12 | <jtomas> | oh, i need the pragma stuff |
| 12:22:35 | <jtomas> | OverloadedRecordDot |
| 12:23:56 | <int-e> | what a name |
| 12:24:05 | × | mastarija quits (~mastarija@2a05:4f46:e0e:5000:3068:c838:9b70:4bc4) (Quit: Leaving) |
| 12:24:44 | <geekosaur> | right, it causes a number of backward compatibility issues so it's off by default |
| 12:25:02 | <geekosaur> | dots already cause enough weird problems even without OverloadedRecordDot |
| 12:25:16 | <geekosaur> | > [LT..GT] |
| 12:25:17 | <lambdabot> | error: |
| 12:25:18 | <lambdabot> | Not in scope: ‘LT..’ |
| 12:25:18 | <lambdabot> | No module named ‘LT’ is imported.error: |
| 12:25:33 | <geekosaur> | need at least one space for that to do the right thing |
| 12:26:10 | <int-e> | > [0.. -1] :: [Word8 |
| 12:26:11 | <lambdabot> | <hint>:1:19: error: lexical error at character '\GS' |
| 12:26:14 | <int-e> | > [0.. -1] :: [Word8] |
| 12:26:16 | <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... |
| 12:27:04 | <int-e> | (do we count the required space before the - here as a problem with dots?) |
| 12:29:09 | <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? |
| 12:29:27 | <int-e> | uh, x and foo were suposed to be the same identifier |
| 12:30:25 | <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 |
| 12:31:02 | <int-e> | I missed the development, so the above is me playing catch-up :) |
| 12:33:22 | → | alx741 joins (~alx741@157.100.93.160) |
| 12:33:48 | → | Rum joins (~bourbon@user/rum) |
| 12:36:03 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 12:36:03 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 12:36:03 | → | wroathe joins (~wroathe@user/wroathe) |
| 12:38:41 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 12:39:00 | <jtomas> | The example in the motivation section (https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0282-record-dot-syntax.rst#1-motivation) 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? |
| 12:40:37 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 12:41:04 | <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 |
| 12:41:27 | → | xkuru joins (~xkuru@user/xkuru) |
| 12:42:01 | <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 |
| 12:42:43 | <geekosaur> | and defining `Has` constraints still leaves declaring a suitable `b` somewhere, usually via Template Haskell |
| 12:44:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 12:49:20 | <geekosaur> | might also require NoFieldSelectors |
| 12:49:25 | → | sprout joins (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) |
| 12:49:48 | geekosaur | thinks all this stuff is a mess and sometimes wonders how much we'll pay for it |
| 12:52:49 | <int-e> | eh what's the worst that could happen besides breaking all tools in existence (hlint anyone?) |
| 12:55:02 | → | nhatanh02 joins (~satori@123.24.172.30) |
| 12:56:44 | <int-e> | (usually when mathematicians say they found a proof they mean they discovered it themselves) |
| 12:56:49 | → | alx741 joins (~alx741@157.100.93.160) |
| 12:57:05 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 12:57:41 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 12:58:13 | × | max22- quits (~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) (Ping timeout: 240 seconds) |
| 13:02:28 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 13:05:54 | → | thevishy joins (~Nishant@2405:201:f005:c007:bc65:cf77:420d:9a2d) |
| 13:06:54 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:08:35 | → | gaff joins (~gaff@49.207.226.100) |
| 13:16:13 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 13:16:13 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 13:16:18 | allbery_b | is now known as geekosaur |
| 13:17:00 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 13:17:26 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 13:20:14 | → | alx741 joins (~alx741@157.100.93.160) |
| 13:20:20 | → | burnsidesLlama joins (~burnsides@dhcp168-010.wadham.ox.ac.uk) |
| 13:20:44 | <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/ |
| 13:22:08 | × | acidjnk quits (~acidjnk@p200300d0c7271e9411aaafeb7bff4a7a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 13:22:41 | × | acidjnk_new quits (~acidjnk@p200300d0c7271e9411aaafeb7bff4a7a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 13:23:01 | <geekosaur> | \o/ |
| 13:23:15 | × | DNH quits (~DNH@2a02:8108:1100:16d8:4942:7271:af20:a403) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:23:34 | <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 >.< |
| 13:24:24 | → | DNH joins (~DNH@2a02:8108:1100:16d8:4942:7271:af20:a403) |
| 13:24:25 | × | DNH quits (~DNH@2a02:8108:1100:16d8:4942:7271:af20:a403) (Client Quit) |
| 13:24:28 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 13:28:20 | → | MasseR joins (~MasseR@51.15.143.128) |
| 13:31:16 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 13:32:09 | → | _73 joins (~user@pool-108-49-252-36.bstnma.fios.verizon.net) |
| 13:38:06 | → | curiousgay joins (~curiousga@77-120-141-90.kha.volia.net) |
| 13:41:08 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit) |
| 13:42:47 | → | alx741 joins (~alx741@181.199.42.79) |
| 13:44:08 | → | coot joins (~coot@89-64-85-93.dynamic.chello.pl) |
| 13:48:19 | × | alx741 quits (~alx741@181.199.42.79) (Read error: Connection reset by peer) |
| 13:50:31 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 13:52:23 | × | sprout quits (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 252 seconds) |
| 13:53:56 | → | freeside joins (~mengwong@158.140.136.247) |
| 13:56:31 | → | InternetCitizen joins (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 13:58:33 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 13:58:43 | × | nehsou^ quits (~nehsou@207.5.54.6) (Remote host closed the connection) |
| 14:03:00 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 14:04:03 | → | sprout joins (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) |
| 14:04:25 | × | rembo10 quits (~rembo10@remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 14:05:05 | → | alx741 joins (~alx741@157.100.93.160) |
| 14:05:35 | → | rembo10 joins (~rembo10@remulis.com) |
| 14:08:23 | × | sprout quits (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 250 seconds) |
| 14:09:23 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 14:10:17 | × | deadmarshal quits (~deadmarsh@95.38.228.254) (Ping timeout: 240 seconds) |
| 14:12:38 | → | vesuzma joins (~manuel@114.81.191.92.dynamic.jazztel.es) |
| 14:12:55 | → | n3rdy1 joins (~n3rdy1@2600:1700:4570:3480::41) |
| 14:13:11 | → | waleee joins (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 14:13:23 | × | DigitalKiwi quits (~kiwi@192.241.157.119) (Quit: quite.) |
| 14:14:06 | → | DigitalKiwi joins (~kiwi@2604:a880:400:d0::12fc:5001) |
| 14:20:06 | → | sprout joins (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) |
| 14:24:35 | × | sprout quits (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 268 seconds) |
| 14:25:58 | → | jumper149 joins (~jumper149@static.6.71.203.116.clients.your-server.de) |
| 14:26:15 | → | alx741 joins (~alx741@157.100.93.160) |
| 14:28:40 | × | Rum quits (~bourbon@user/rum) (Quit: WeeChat 3.4) |
| 14:31:52 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) |
| 14:34:16 | → | deadmarshal joins (~deadmarsh@95.38.228.254) |
| 14:34:18 | → | phma_ joins (phma@2001:5b0:215a:ce38:5375:14ef:75:984) |
| 14:35:00 | × | nunggu quits (~q@gateway/tor-sasl/nunggu) (Quit: nunggu) |
| 14:35:03 | × | phma quits (phma@2001:5b0:211f:42c8:a947:49ab:30cf:8035) (Read error: Connection reset by peer) |
| 14:37:49 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 14:38:25 | → | nunggu joins (~q@gateway/tor-sasl/nunggu) |
| 14:38:33 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 14:40:09 | × | burnsidesLlama quits (~burnsides@dhcp168-010.wadham.ox.ac.uk) (Remote host closed the connection) |
| 14:40:41 | → | burnsidesLlama joins (~burnsides@dhcp168-010.wadham.ox.ac.uk) |
| 14:42:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 14:42:40 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 14:44:37 | × | burnsidesLlama quits (~burnsides@dhcp168-010.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 14:49:09 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 14:50:16 | × | coot quits (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 14:53:22 | × | TonyStone quits (~TonyStone@2603-7080-8607-c36a-9cdb-69bc-753b-1e50.res6.spectrum.com) (Remote host closed the connection) |
| 14:53:57 | → | max22- joins (~maxime@2a01cb0883359800b6fd2f8b2e65f4a2.ipv6.abo.wanadoo.fr) |
| 14:54:57 | × | kaction quits (~kaction@pool-71-191-91-40.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 14:55:37 | → | sprout joins (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) |
| 14:56:04 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 14:59:02 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 14:59:02 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 14:59:02 | → | wroathe joins (~wroathe@user/wroathe) |
| 14:59:46 | × | vesuzma quits (~manuel@114.81.191.92.dynamic.jazztel.es) (Remote host closed the connection) |
| 15:00:32 | × | n3rdy1 quits (~n3rdy1@2600:1700:4570:3480::41) (Ping timeout: 240 seconds) |
| 15:00:35 | × | sprout quits (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 252 seconds) |
| 15:00:50 | → | alx741 joins (~alx741@157.100.93.160) |
| 15:01:41 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Ping timeout: 252 seconds) |
| 15:02:29 | × | coolnickname quits (uid531864@user/coolnickname) (Quit: Connection closed for inactivity) |
| 15:03:09 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 15:03:39 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 15:05:59 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 15:09:06 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:11:37 | × | dignissimus quits (~dignissim@88-104-68-62.dynamic.dsl.as9105.com) (Quit: quit) |
| 15:12:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 15:12:08 | × | doyougnu quits (~doyougnu@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
| 15:12:20 | → | doyougnu joins (~doyougnu@c-73-25-202-122.hsd1.or.comcast.net) |
| 15:12:51 | → | coolnickname joins (uid531864@user/coolnickname) |
| 15:13:02 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 15:13:55 | → | n3rdy1 joins (~n3rdy1@2600:1700:4570:3480:1b88:50f:dae0:9293) |
| 15:14:03 | → | sprout joins (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) |
| 15:14:31 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection) |
| 15:16:41 | × | _73 quits (~user@pool-108-49-252-36.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 15:16:45 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
| 15:18:10 | × | Kaiepi quits (~Kaiepi@216.208.243.103) (Read error: Connection reset by peer) |
| 15:18:52 | × | sprout quits (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 268 seconds) |
| 15:19:30 | → | Kaiepi joins (~Kaiepi@142.167.238.131) |
| 15:20:37 | × | nschoe quits (~quassel@2a01:e0a:8e:a190:e62a:6035:118c:cf49) (Ping timeout: 240 seconds) |
| 15:20:38 | → | sprout joins (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) |
| 15:23:09 | → | alx741 joins (~alx741@157.100.93.160) |
| 15:24:13 | × | Kaiepi quits (~Kaiepi@142.167.238.131) (Ping timeout: 240 seconds) |
| 15:27:46 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 15:30:34 | × | curiousgay quits (~curiousga@77-120-141-90.kha.volia.net) (Ping timeout: 260 seconds) |
| 15:30:50 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 15:31:22 | → | fef joins (~thedawn@user/thedawn) |
| 15:32:35 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 15:33:41 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 15:34:51 | <bollu> | merijn sweet :D what's your thesis 'bout |
| 15:36:58 | → | img joins (~img@user/img) |
| 15:41:22 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:c17f:9983:e5a5:ab71) |
| 15:42:51 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 15:42:51 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 15:42:51 | → | wroathe joins (~wroathe@user/wroathe) |
| 15:44:15 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 15:44:18 | → | alx741 joins (~alx741@157.100.93.160) |
| 15:47:05 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 15:53:42 | → | Kaiepi joins (~Kaiepi@142.167.238.131) |
| 15:54:52 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 15:55:08 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:56:09 | → | img joins (~img@user/img) |
| 15:57:51 | × | AkechiShiro quits (~licht@user/akechishiro) (Ping timeout: 245 seconds) |
| 15:58:20 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 268 seconds) |
| 15:58:23 | × | img quits (~img@user/img) (Client Quit) |
| 15:58:56 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 15:59:02 | → | AkechiShiro joins (~licht@user/akechishiro) |
| 15:59:04 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 15:59:35 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:59:45 | → | img joins (~img@user/img) |
| 16:00:46 | → | spaceseller joins (~spacesell@31.147.205.13) |
| 16:01:50 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 16:02:37 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 16:05:06 | → | sirlensalot joins (~sirlensal@ool-44c5f8c9.dyn.optonline.net) |
| 16:05:07 | → | DNH joins (~DNH@2a02:8108:1100:16d8:4942:7271:af20:a403) |
| 16:05:13 | × | freeside quits (~mengwong@158.140.136.247) (Remote host closed the connection) |
| 16:05:14 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 16:06:06 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 16:07:04 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 16:07:04 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 16:07:04 | → | wroathe joins (~wroathe@user/wroathe) |
| 16:08:18 | × | Jing quits (~hedgehog@2604:a840:3::1013) (Remote host closed the connection) |
| 16:09:11 | × | d0ku quits (~d0ku@178.43.48.143.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds) |
| 16:12:00 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |
| 16:12:36 | → | Jing joins (~hedgehog@2604:a840:3::1013) |
| 16:12:45 | → | alx741 joins (~alx741@157.100.93.160) |
| 16:16:01 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 16:16:03 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 16:17:13 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 16:19:51 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 16:20:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 16:25:38 | × | deadmarshal quits (~deadmarsh@95.38.228.254) (Ping timeout: 260 seconds) |
| 16:25:58 | phma_ | is now known as phma |
| 16:29:00 | → | cyphase joins (~cyphase@user/cyphase) |
| 16:32:42 | → | ProfSimm joins (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 16:33:54 | → | alx741 joins (~alx741@157.100.93.160) |
| 16:35:02 | × | alx741 quits (~alx741@157.100.93.160) (Client Quit) |
| 16:39:50 | × | ProfSimm quits (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Remote host closed the connection) |
| 16:40:19 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:c17f:9983:e5a5:ab71) (Remote host closed the connection) |
| 16:40:34 | × | Kaiepi quits (~Kaiepi@142.167.238.131) (Ping timeout: 260 seconds) |
| 16:45:42 | → | otherwise joins (~otherwise@2601:602:880:90f0:e049:de3:e0a5:b9a2) |
| 16:47:29 | × | mbuf quits (~Shakthi@122.178.216.85) (Quit: Leaving) |
| 16:48:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 16:48:41 | → | econo joins (uid147250@user/econo) |
| 16:50:29 | → | Kaiepi joins (~Kaiepi@156.34.47.253) |
| 16:52:00 | → | deadmarshal joins (~deadmarsh@95.38.228.254) |
| 16:52:57 | × | nhatanh02 quits (~satori@123.24.172.30) (Ping timeout: 240 seconds) |
| 16:57:38 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 17:02:01 | → | Rum joins (~bourbon@user/rum) |
| 17:04:26 | → | rk04 joins (~rk04@user/rajk) |
| 17:05:16 | × | jumper149 quits (~jumper149@static.6.71.203.116.clients.your-server.de) (Quit: WeeChat 3.3) |
| 17:10:17 | × | sprout quits (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 240 seconds) |
| 17:10:34 | × | DNH quits (~DNH@2a02:8108:1100:16d8:4942:7271:af20:a403) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:12:35 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 17:15:51 | → | sprout joins (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) |
| 17:21:09 | × | joo-_ quits (~joo-_@fsf/member/joo--) (Ping timeout: 256 seconds) |
| 17:22:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 17:27:34 | × | otherwise quits (~otherwise@2601:602:880:90f0:e049:de3:e0a5:b9a2) (Remote host closed the connection) |
| 17:30:30 | × | vglfr quits (~vglfr@88.155.60.141) (Ping timeout: 260 seconds) |
| 17:31:26 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 17:31:37 | × | rk04 quits (~rk04@user/rajk) (Ping timeout: 240 seconds) |
| 17:32:36 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds) |
| 17:32:59 | × | Rum quits (~bourbon@user/rum) (Quit: WeeChat 3.4) |
| 17:33:14 | × | ncopa3 quits (~ncopa@gbr2-dev1.alpinelinux.org) (Quit: Alpine Linux, the security-oriented, lightweight Linux distribution) |
| 17:35:12 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 17:35:45 | → | ncopa3 joins (~ncopa@gbr2-dev1.alpinelinux.org) |
| 17:37:41 | → | rk04 joins (~rk04@user/rajk) |
| 17:38:36 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 17:38:51 | × | spaceseller quits (~spacesell@31.147.205.13) (Quit: Leaving) |
| 17:39:15 | → | spaceseller joins (~spacesell@31.147.205.13) |
| 17:39:56 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 17:39:56 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 17:39:56 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:40:57 | × | spaceseller quits (~spacesell@31.147.205.13) (Client Quit) |
| 17:41:57 | × | deadmarshal quits (~deadmarsh@95.38.228.254) (Ping timeout: 240 seconds) |
| 17:42:58 | → | deadmarshal joins (~deadmarsh@95.38.231.93) |
| 17:45:39 | × | deadmarshal quits (~deadmarsh@95.38.231.93) (Client Quit) |
| 17:46:56 | → | kotshie joins (~kotshie@68.72.208.140) |
| 17:47:00 | → | deadmarshal joins (~deadmarsh@95.38.231.93) |
| 17:47:01 | × | sprout quits (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 250 seconds) |
| 17:50:05 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 17:56:30 | → | vglfr joins (~vglfr@88.155.60.141) |
| 17:57:11 | × | hueso quits (~root@user/hueso) (Ping timeout: 250 seconds) |
| 17:58:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:58:56 | → | python476 joins (~user@88.160.31.174) |
| 18:00:07 | → | CiaoSen joins (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 18:00:15 | → | Akiva joins (~Akiva@user/Akiva) |
| 18:00:50 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:203e:45d6:8d1a:1058) (Ping timeout: 260 seconds) |
| 18:01:54 | → | burnsidesLlama joins (~burnsides@dhcp168-010.wadham.ox.ac.uk) |
| 18:01:59 | → | hueso joins (~root@user/hueso) |
| 18:02:10 | → | nhatanh02 joins (~satori@123.24.172.30) |
| 18:02:40 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:d365:2d3d:255:f608) |
| 18:05:34 | → | otherwise joins (~otherwise@2601:602:880:90f0:3dd5:180e:6592:f2a) |
| 18:09:37 | × | otherwise quits (~otherwise@2601:602:880:90f0:3dd5:180e:6592:f2a) (Ping timeout: 240 seconds) |
| 18:09:53 | × | SummerSonw quits (~The_viole@203.77.49.232) (Ping timeout: 256 seconds) |
| 18:10:40 | × | rk04 quits (~rk04@user/rajk) (Quit: rk04) |
| 18:11:12 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 18:11:22 | → | tfeb joins (~tfb@88.98.95.237) |
| 18:12:29 | × | coolnickname quits (uid531864@user/coolnickname) (Quit: Connection closed for inactivity) |
| 18:15:34 | → | otherwise joins (~otherwise@2601:602:880:90f0:714a:54cb:ba:a18a) |
| 18:15:50 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 18:16:17 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 18:20:05 | → | TonyStone joins (~TonyStone@2603-7080-8607-c36a-9cdb-69bc-753b-1e50.res6.spectrum.com) |
| 18:21:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 18:22:08 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 18:23:02 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Ping timeout: 240 seconds) |
| 18:24:52 | × | tfeb quits (~tfb@88.98.95.237) (Quit: died) |
| 18:26:51 | × | otherwise quits (~otherwise@2601:602:880:90f0:714a:54cb:ba:a18a) (Remote host closed the connection) |
| 18:27:03 | → | otherwise joins (~otherwise@2601:602:880:90f0:714a:54cb:ba:a18a) |
| 18:28:30 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 18:28:30 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 18:28:30 | → | wroathe joins (~wroathe@user/wroathe) |
| 18:31:52 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:33:04 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 18:33:26 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 18:34:16 | × | thevishy quits (~Nishant@2405:201:f005:c007:bc65:cf77:420d:9a2d) (Quit: Leaving) |
| 18:35:22 | → | mrmr joins (~mrmr@user/mrmr) |
| 18:39:00 | × | fef quits (~thedawn@user/thedawn) (Quit: Leaving) |
| 18:49:35 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:52:24 | <johnw> | merijn: congrats, merijn!! |
| 18:54:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 18:58:58 | × | Midjak quits (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: This computer has gone to sleep) |
| 19:01:28 | × | Jing quits (~hedgehog@2604:a840:3::1013) (Ping timeout: 268 seconds) |
| 19:01:35 | → | lavaman joins (~lavaman@98.38.249.169) |
| 19:02:35 | → | Jing joins (~hedgehog@2604:a840:3::1013) |
| 19:02:46 | → | sprout joins (~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) |
| 19:03:43 | × | Jonno_FTW quits (~come@user/jonno-ftw/x-0835346) (Ping timeout: 256 seconds) |
| 19:05:23 | → | Jonno_FTW joins (~come@api.carswap.me) |
| 19:07:32 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 19:07:32 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 19:07:32 | → | wroathe joins (~wroathe@user/wroathe) |
| 19:16:23 | → | mastarija joins (~mastarija@2a05:4f46:e0e:5000:bc70:8f18:1f10:57e1) |
| 19:19:09 | gehmehgeh_ | is now known as gehmehgeh |
| 19:21:49 | × | n3rdy1 quits (~n3rdy1@2600:1700:4570:3480:1b88:50f:dae0:9293) (Ping timeout: 268 seconds) |
| 19:32:46 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 19:34:16 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 19:34:16 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 19:34:16 | → | wroathe joins (~wroathe@user/wroathe) |
| 19:37:19 | × | gaff quits (~gaff@49.207.226.100) (Remote host closed the connection) |
| 19:44:39 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 19:46:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 19:53:33 | × | nhatanh02 quits (~satori@123.24.172.30) (Ping timeout: 250 seconds) |
| 19:56:14 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 19:58:24 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 19:58:24 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 19:58:24 | → | wroathe joins (~wroathe@user/wroathe) |
| 19:59:15 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 256 seconds) |
| 20:02:12 | × | max22- quits (~maxime@2a01cb0883359800b6fd2f8b2e65f4a2.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:02:29 | → | max22- joins (~maxime@2a01cb08833598009f552a1a4c024a76.ipv6.abo.wanadoo.fr) |
| 20:04:23 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 20:05:29 | × | juhp quits (~juhp@128.106.188.82) (Ping timeout: 256 seconds) |
| 20:06:09 | × | max22- quits (~maxime@2a01cb08833598009f552a1a4c024a76.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 20:06:22 | → | max22- joins (~maxime@2a01cb0883359800172ac8059268b28d.ipv6.abo.wanadoo.fr) |
| 20:06:46 | → | juhp joins (~juhp@128.106.188.82) |
| 20:10:35 | × | epolanski quits (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 20:12:23 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 20:21:21 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 20:22:42 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 20:23:40 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 20:23:40 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 20:23:40 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:27:23 | × | whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 20:28:57 | × | aman quits (~aman@user/aman) (Quit: aman) |
| 20:30:23 | × | max22- quits (~maxime@2a01cb0883359800172ac8059268b28d.ipv6.abo.wanadoo.fr) (Ping timeout: 250 seconds) |
| 20:30:29 | × | jtomas quits (~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 20:30:47 | → | jtomas joins (~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) |
| 20:32:07 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 20:41:57 | → | retro_ joins (~retro@05412d78.skybroadband.com) |
| 20:43:48 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 20:45:41 | × | retroid_ quits (~retro@05412d78.skybroadband.com) (Ping timeout: 268 seconds) |
| 20:47:46 | → | coot joins (~coot@89-64-85-93.dynamic.chello.pl) |
| 20:50:29 | → | antanananananas joins (~textual@78-63-84-180.static.zebra.lt) |
| 20:57:22 | <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? |
| 20:57:49 | <otherwise> | However when I load the module directly in GHCi, :browse shows the functions |
| 20:58:27 | <geekosaur> | :browse shows only the current module, which for Main.hs will be module Main |
| 20:58:40 | <geekosaur> | if you import it in ghci then you can use :browse on it |
| 20:59:07 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/html/users_guide/ghci.html#ghci-cmd-:browse |
| 21:00:42 | <geekosaur> | :browse limits itslef to a single module just to make things more manageable |
| 21:04:17 | <otherwise> | I see. I was able to :browse folder/fileName while having Main loaded, and this worked. Thanks! |
| 21:06:24 | → | acidjnk_new joins (~acidjnk@p200300d0c7271e281077e1a745617169.dip0.t-ipconnect.de) |
| 21:06:25 | → | acidjnk joins (~acidjnk@p200300d0c7271e281077e1a745617169.dip0.t-ipconnect.de) |
| 21:07:45 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 21:08:51 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 21:16:28 | × | cosimone quits (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC (IRC client for Emacs 27.1)) |
| 21:17:57 | × | jespada quits (~jespada@87.74.33.157) (Ping timeout: 240 seconds) |
| 21:19:45 | → | jespada joins (~jespada@87.74.33.157) |
| 21:26:37 | × | Techcable quits (~Techcable@168.235.93.147) (Ping timeout: 240 seconds) |
| 21:30:46 | → | zincy_ joins (~zincy@host86-151-99-97.range86-151.btcentralplus.com) |
| 21:38:21 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 21:41:34 | → | ________________ joins (~textual@node-1w7jr9qkwjp05lc932j6d6xa7.ipv6.telus.net) |
| 21:47:21 | <________________> | is it possible to combine data type as follows, |
| 21:47:54 | <________________> | ``` |
| 21:47:55 | <________________> | data F = A | B |
| 21:47:55 | <________________> | data G = C | D |
| 21:47:55 | <________________> | data H = F | H |
| 21:47:55 | <________________> | ``` |
| 21:47:57 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:d365:2d3d:255:f608) (Ping timeout: 250 seconds) |
| 21:48:34 | <geekosaur> | that doesn't mean what you think/hope |
| 21:48:36 | <________________> | i meant `data H = F | G` |
| 21:49:06 | <geekosaur> | on the left of the = is a type constructor; on the right are data constructors, which live in a different namespace |
| 21:49:38 | <geekosaur> | meaning the F and G in `data H` there are not the same as the earlier `data F`/`data G` |
| 21:50:01 | <EvanR> | type F = Either A B -- is possible |
| 21:50:06 | <EvanR> | type G = Either C D |
| 21:50:15 | <________________> | so i'd have to wrap them in another data constructor? |
| 21:50:18 | <________________> | i see |
| 21:50:24 | <________________> | that makes sense, ty! |
| 21:50:35 | <EvanR> | that makes type synonyms and not new types |
| 21:50:47 | <geekosaur> | data H = SomeF F | SomeG G |
| 21:51:19 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 21:51:19 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 21:51:19 | → | wroathe joins (~wroathe@user/wroathe) |
| 21:51:20 | <EvanR> | we don't have anonymous sums |
| 21:51:22 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:51:51 | → | mvk joins (~mvk@2607:fea8:5cdd:f000::917a) |
| 21:51:57 | <EvanR> | though I now realize you didn't ask for any |
| 21:52:02 | <geekosaur> | I think 9.2 does? |
| 21:52:18 | <EvanR> | orly |
| 21:54:15 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/primitives.html?highlight=anonymous%20sum#unboxed-sums |
| 21:54:29 | <geekosaur> | unboxed and anonymous |
| 21:54:44 | <geekosaur> | *lifted* anonymous sums still aren't a thing |
| 21:56:53 | × | johnw quits (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Quit: ZNC - http://znc.in) |
| 21:57:54 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 22:00:36 | → | Techcable joins (~Techcable@168.235.93.147) |
| 22:01:51 | × | Techcable quits (~Techcable@168.235.93.147) (Remote host closed the connection) |
| 22:02:28 | × | zincy_ quits (~zincy@host86-151-99-97.range86-151.btcentralplus.com) (Remote host closed the connection) |
| 22:02:57 | → | Techcable joins (~Techcable@168.235.93.147) |
| 22:03:21 | × | kaph_ quits (~kaph@net-2-38-107-19.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 22:04:46 | <EvanR> | is it still possible to define (<*>) in terms of (>>=) using ap |
| 22:04:51 | × | Techcable quits (~Techcable@168.235.93.147) (Client Quit) |
| 22:05:46 | <EvanR> | Ok I did it but now there's a Monad constraint on my Applicative instance |
| 22:05:57 | → | Techcable joins (~Techcable@168.235.93.147) |
| 22:07:45 | <EvanR> | oof nvm |
| 22:07:56 | <geekosaur> | yes, that's generally used to backform an Applicative instance from a pre-AMP Monad |
| 22:08:18 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:08:50 | × | Techcable quits (~Techcable@168.235.93.147) (Client Quit) |
| 22:09:05 | → | Techcable joins (~Techcable@168.235.93.147) |
| 22:10:52 | <hpc> | EvanR: didn't feel like writing it yourself? :D |
| 22:10:57 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 22:11:27 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |
| 22:11:35 | <EvanR> | I spent like 2 hours writing FreeT myself |
| 22:11:41 | <EvanR> | and ragequit |
| 22:11:58 | <EvanR> | my consolation prize was having to write Applicative instances xD |
| 22:13:21 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 22:17:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:19:53 | × | Jing quits (~hedgehog@2604:a840:3::1013) (Remote host closed the connection) |
| 22:22:24 | ← | Everything parts (~Everythin@178-133-112-180.mobile.vf-ua.net) () |
| 22:23:41 | → | Jing joins (~hedgehog@2604:a840:3::1013) |
| 22:24:36 | → | euouae joins (~euouae@user/euouae) |
| 22:24:53 | <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 |
| 22:26:01 | × | zer0bitz quits (~zer0bitz@196.244.192.54) (Ping timeout: 256 seconds) |
| 22:26:11 | <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) |
| 22:26:27 | → | max22- joins (~maxime@2a01cb0883359800912ec9454e10c944.ipv6.abo.wanadoo.fr) |
| 22:26:37 | <euouae> | so where does unit o f = M(f) o unit come from, for example? |
| 22:27:34 | → | kupi joins (uid212005@id-212005.hampstead.irccloud.com) |
| 22:30:22 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:d903:d876:1354:7b4c) |
| 22:31:07 | <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 |
| 22:31:37 | <geekosaur> | so some of the additional laws come from the definition of Hask |
| 22:31:45 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 22:31:57 | <EvanR> | those 4 laws are screaming to be rendered as commutative diagrams instead |
| 22:32:03 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:32:48 | → | notzmv joins (~zmv@user/notzmv) |
| 22:33:02 | × | deadmarshal quits (~deadmarsh@95.38.231.93) (Ping timeout: 240 seconds) |
| 22:34:40 | <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. |
| 22:34:54 | <EvanR> | see note 2 at the bottom |
| 22:35:02 | <euouae> | the laws in the wikibook are also a bit tricky because they use polymorphism |
| 22:35:10 | <euouae> | (It's tricky to compare them to the CT definition) |
| 22:35:31 | <EvanR> | CT has even more polymorphism, it's just implicit |
| 22:35:34 | <euouae> | EvanR ah yeah, thank you |
| 22:36:00 | <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 |
| 22:36:20 | <geekosaur> | there are more general ones in Control.Category |
| 22:36:53 | <geekosaur> | (but I am no CT expert so I may be wrong about some or all of that) |
| 22:37:24 | <geekosaur> | I just know actual CT is much more flexible than what Haskell normally does with them |
| 22:39:03 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 22:40:13 | <EvanR> | is haskell still broken on Arch Linux or what do I tell people who want to try haskell and are on arch |
| 22:40:34 | <EvanR> | does ghcup just work regardless |
| 22:40:54 | <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? |
| 22:41:18 | × | otherwise quits (~otherwise@2601:602:880:90f0:714a:54cb:ba:a18a) (Remote host closed the connection) |
| 22:41:27 | <geekosaur> | I haven't seen maerwald around since it was released… which, recall, was on Christmas |
| 22:41:48 | <geekosaur> | expect it'll show up after the holidays |
| 22:41:49 | <glguy> | I saw him chatting yesterday |
| 22:41:54 | <glguy> | OK, cool |
| 22:42:12 | → | kaph joins (~kaph@net-2-38-107-19.cust.vodafonedsl.it) |
| 22:42:19 | × | bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 22:43:37 | × | jtomas quits (~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 22:45:51 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:49:20 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:52:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 22:56:25 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 22:56:25 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 22:56:30 | allbery_b | is now known as geekosaur |
| 22:57:34 | × | Codaraxis__ quits (~Codaraxis@user/codaraxis) (Quit: Leaving) |
| 22:58:01 | × | euouae quits (~euouae@user/euouae) (Quit: time to upgrade) |
| 23:04:02 | × | juri_ quits (~juri@178.63.35.222) (Ping timeout: 240 seconds) |
| 23:07:37 | × | coot quits (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 23:08:26 | → | kotshie_ joins (~kotshie@68.72.208.140) |
| 23:08:37 | → | res0nat0r0 joins (~Fletch@dia.whatbox.ca) |
| 23:08:50 | → | iteratee_ joins (~kyle@162.218.222.107) |
| 23:08:51 | → | wroathe_ joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 23:08:55 | → | drdo8 joins (~drdo@144.172.69.89) |
| 23:08:56 | → | mcglk_ joins (~mcglk@131.191.49.120) |
| 23:09:56 | → | jrm2 joins (~jrm@156.34.249.199) |
| 23:10:11 | → | zero joins (~z@user/zero) |
| 23:10:15 | → | Digitteknohippie joins (~user@user/digit) |
| 23:10:25 | → | hexeme joins (~hexeme@user/hexeme) |
| 23:10:40 | → | hgolden_ joins (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) |
| 23:11:12 | → | psudosphere joins (~quassel@31.220.5.250) |
| 23:11:17 | → | turlando_ joins (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 23:11:48 | → | ianon joins (~igloo@c-68-83-22-43.hsd1.nj.comcast.net) |
| 23:11:50 | × | ianon quits (~igloo@c-68-83-22-43.hsd1.nj.comcast.net) (Client Quit) |
| 23:12:01 | → | eco_ joins (~ubuntu@ec2-54-201-230-197.us-west-2.compute.amazonaws.com) |
| 23:12:05 | → | werneta_ joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 23:12:10 | → | opqdonut_ joins (opqdonut@pseudo.fixme.fi) |
| 23:12:11 | → | qwedfg joins (~qwedfg@user/qwedfg) |
| 23:12:12 | → | bliminse_ joins (~bliminse@host86-186-17-7.range86-186.btcentralplus.com) |
| 23:12:31 | → | Maxdaman1us joins (~Maxdamant@user/maxdamantus) |
| 23:12:42 | → | exarkun_ joins (~exarkun@user/exarkun) |
| 23:12:42 | → | ezzieygu1wuf joins (~Unknown@user/ezzieyguywuf) |
| 23:12:43 | → | xdej_ joins (~xdej@quatramaran.salle-s.org) |
| 23:12:48 | → | Hawker_ joins (~pi@user/hawker) |
| 23:12:53 | → | WzC joins (~Frank@77-162-168-71.fixed.kpn.net) |
| 23:12:55 | → | xff0x_ joins (~xff0x@2001:1a81:52ba:da00:768d:77e:35d:d86a) |
| 23:13:00 | → | w1gz_ joins (~do@159.89.11.133) |
| 23:13:25 | → | mstksg joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 23:14:16 | → | lechner_ joins (~lechner@debian/lechner) |
| 23:14:47 | → | fjmorazan_ joins (~quassel@user/fjmorazan) |
| 23:15:33 | → | infinity0_ joins (~infinity0@occupy.ecodis.net) |
| 23:15:37 | × | infinity0 quits (~infinity0@occupy.ecodis.net) (Killed (calcium.libera.chat (Nickname regained by services))) |
| 23:15:37 | infinity0_ | is now known as infinity0 |
| 23:16:01 | → | otherwise joins (~otherwise@2601:602:880:90f0:45d:4609:aef0:450a) |
| 23:16:04 | → | dka_ joins (~code-is-a@ns3059207.ip-193-70-33.eu) |
| 23:16:10 | → | cyphase_eviltwin joins (~cyphase@user/cyphase) |
| 23:17:28 | × | wroathe quits (~wroathe@user/wroathe) (*.net *.split) |
| 23:17:28 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (*.net *.split) |
| 23:17:28 | × | juhp quits (~juhp@128.106.188.82) (*.net *.split) |
| 23:17:28 | × | antanananananas quits (~textual@78-63-84-180.static.zebra.lt) (*.net *.split) |
| 23:17:28 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (*.net *.split) |
| 23:17:28 | × | Akiva quits (~Akiva@user/Akiva) (*.net *.split) |
| 23:17:28 | × | python476 quits (~user@88.160.31.174) (*.net *.split) |
| 23:17:28 | × | vglfr quits (~vglfr@88.155.60.141) (*.net *.split) |
| 23:17:28 | × | kotshie quits (~kotshie@68.72.208.140) (*.net *.split) |
| 23:17:28 | × | cyphase quits (~cyphase@user/cyphase) (*.net *.split) |
| 23:17:28 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (*.net *.split) |
| 23:17:28 | × | Tuplanolla quits (~Tuplanoll@91-159-69-90.elisa-laajakaista.fi) (*.net *.split) |
| 23:17:28 | × | drdo quits (~drdo@144.172.69.89) (*.net *.split) |
| 23:17:28 | × | xff0x quits (~xff0x@port-92-195-29-230.dynamic.as20676.net) (*.net *.split) |
| 23:17:28 | × | zmt00 quits (~zmt00@user/zmt00) (*.net *.split) |
| 23:17:28 | × | cheater quits (~Username@user/cheater) (*.net *.split) |
| 23:17:28 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (*.net *.split) |
| 23:17:28 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (*.net *.split) |
| 23:17:28 | × | tomku quits (~tomku@user/tomku) (*.net *.split) |
| 23:17:28 | × | kmein quits (~weechat@user/kmein) (*.net *.split) |
| 23:17:28 | × | foul_owl quits (~kerry@94.140.8.106) (*.net *.split) |
| 23:17:28 | × | hyiltiz quits (~quassel@31.220.5.250) (*.net *.split) |
| 23:17:28 | × | x88x88x quits (~x88x88x@149.28.53.172) (*.net *.split) |
| 23:17:28 | × | fjmorazan quits (~quassel@user/fjmorazan) (*.net *.split) |
| 23:17:28 | × | AlexZenon quits (~alzenon@94.233.241.181) (*.net *.split) |
| 23:17:28 | × | qwedfg_ quits (~qwedfg@user/qwedfg) (*.net *.split) |
| 23:17:28 | × | jle` quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (*.net *.split) |
| 23:17:28 | × | bliminse quits (~bliminse@host86-186-17-7.range86-186.btcentralplus.com) (*.net *.split) |
| 23:17:28 | × | obfusk quits (~quassel@a82-161-150-56.adsl.xs4all.nl) (*.net *.split) |
| 23:17:28 | × | turlando quits (~turlando@user/turlando) (*.net *.split) |
| 23:17:28 | × | xlei quits (~akans@pool-68-129-84-118.nycmny.fios.verizon.net) (*.net *.split) |
| 23:17:28 | × | sim590 quits (~simon@modemcable090.207-203-24.mc.videotron.ca) (*.net *.split) |
| 23:17:28 | × | Digit quits (~user@user/digit) (*.net *.split) |
| 23:17:28 | × | Inoperable quits (~PLAYER_1@fancydata.science) (*.net *.split) |
| 23:17:28 | × | lechner quits (~lechner@debian/lechner) (*.net *.split) |
| 23:17:28 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (*.net *.split) |
| 23:17:28 | × | dka quits (~code-is-a@ns3059207.ip-193-70-33.eu) (*.net *.split) |
| 23:17:28 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 23:17:28 | × | dextaa quits (~DV@user/dextaa) (*.net *.split) |
| 23:17:28 | × | mcglk quits (~mcglk@131.191.49.120) (*.net *.split) |
| 23:17:28 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (*.net *.split) |
| 23:17:28 | × | lambdap quits (~lambdap@static.167.190.119.168.clients.your-server.de) (*.net *.split) |
| 23:17:28 | × | finsternis quits (~X@23.226.237.192) (*.net *.split) |
| 23:17:28 | × | iteratee quits (~kyle@162.218.222.107) (*.net *.split) |
| 23:17:28 | × | Noinia quits (~Frank@77-162-168-71.fixed.kpn.net) (*.net *.split) |
| 23:17:28 | × | adamCS quits (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split) |
| 23:17:28 | × | dtman34 quits (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (*.net *.split) |
| 23:17:28 | × | hgolden quits (~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (*.net *.split) |
| 23:17:28 | × | zzz quits (~z@user/zero) (*.net *.split) |
| 23:17:28 | × | acowley quits (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (*.net *.split) |
| 23:17:28 | × | rookie101 quits (~rookie@165.232.121.13) (*.net *.split) |
| 23:17:28 | × | w1gz quits (~do@159.89.11.133) (*.net *.split) |
| 23:17:28 | × | Hawker quits (~pi@user/hawker) (*.net *.split) |
| 23:17:28 | × | int-e quits (~noone@int-e.eu) (*.net *.split) |
| 23:17:28 | × | Taneb quits (~Taneb@runciman.hacksoc.org) (*.net *.split) |
| 23:17:28 | × | exarkun quits (~exarkun@user/exarkun) (*.net *.split) |
| 23:17:28 | × | jrm quits (~jrm@156.34.249.199) (*.net *.split) |
| 23:17:28 | × | maerwald quits (~maerwald@mail.hasufell.de) (*.net *.split) |
| 23:17:28 | × | wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split) |
| 23:17:29 | × | opqdonut quits (~opqdonut@91.105.251.154) (*.net *.split) |
| 23:17:29 | × | Typedfern quits (~Typedfern@75.red-88-22-25.staticip.rima-tde.net) (*.net *.split) |
| 23:17:29 | × | res0nat0r quits (~Fletch@dia.whatbox.ca) (*.net *.split) |
| 23:17:29 | × | xdej quits (~xdej@quatramaran.salle-s.org) (*.net *.split) |
| 23:17:29 | × | eco quits (~ubuntu@ec2-54-201-230-197.us-west-2.compute.amazonaws.com) (*.net *.split) |
| 23:17:29 | × | ldlework quits (~hexeme@user/hexeme) (*.net *.split) |
| 23:17:29 | × | joeyh quits (~joeyh@kitenet.net) (*.net *.split) |
| 23:17:29 | × | Clint quits (~Clint@user/clint) (*.net *.split) |
| 23:17:29 | × | canta quits (~canta@user/canta) (*.net *.split) |
| 23:17:29 | × | drewolson quits (~drewolson@user/drewolson) (*.net *.split) |
| 23:17:29 | × | PigDude quits (~PigDude@159.203.16.199) (*.net *.split) |
| 23:17:29 | × | hrdl quits (~hrdl@mail.hrdl.eu) (*.net *.split) |
| 23:17:29 | × | niko quits (~niko@libera/staff/niko) (*.net *.split) |
| 23:17:29 | × | nisstyre quits (~wes@user/nisstyre) (*.net *.split) |
| 23:17:29 | jrm2 | is now known as jrm |
| 23:17:34 | drdo8 | is now known as drdo |
| 23:17:39 | → | adamCS joins (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 23:18:41 | → | In0perable joins (~PLAYER_1@fancydata.science) |
| 23:20:17 | × | otherwise quits (~otherwise@2601:602:880:90f0:45d:4609:aef0:450a) (Ping timeout: 240 seconds) |
| 23:20:25 | → | AlexZenon joins (~alzenon@94.233.241.181) |
| 23:20:25 | → | finsternis joins (~X@23.226.237.192) |
| 23:20:25 | → | tomku joins (~tomku@user/tomku) |
| 23:20:25 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 23:20:25 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 23:20:25 | → | python476 joins (~user@88.160.31.174) |
| 23:20:25 | → | vglfr joins (~vglfr@88.155.60.141) |
| 23:20:25 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 23:20:25 | → | zmt00 joins (~zmt00@user/zmt00) |
| 23:20:25 | → | cheater joins (~Username@user/cheater) |
| 23:20:25 | → | kmein joins (~weechat@user/kmein) |
| 23:20:25 | → | foul_owl joins (~kerry@94.140.8.106) |
| 23:20:25 | → | x88x88x joins (~x88x88x@149.28.53.172) |
| 23:20:25 | → | obfusk joins (~quassel@a82-161-150-56.adsl.xs4all.nl) |
| 23:20:25 | → | xlei joins (~akans@pool-68-129-84-118.nycmny.fios.verizon.net) |
| 23:20:25 | → | sim590 joins (~simon@modemcable090.207-203-24.mc.videotron.ca) |
| 23:20:25 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 23:20:25 | → | dextaa joins (~DV@user/dextaa) |
| 23:20:25 | → | lambdap joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 23:20:25 | → | dtman34 joins (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) |
| 23:20:25 | → | acowley joins (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 23:20:25 | → | int-e joins (~noone@int-e.eu) |
| 23:20:25 | → | Taneb joins (~Taneb@runciman.hacksoc.org) |
| 23:20:25 | → | maerwald joins (~maerwald@mail.hasufell.de) |
| 23:20:25 | → | wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de) |
| 23:20:25 | → | Typedfern joins (~Typedfern@75.red-88-22-25.staticip.rima-tde.net) |
| 23:20:25 | → | joeyh joins (~joeyh@kitenet.net) |
| 23:20:25 | → | Clint joins (~Clint@user/clint) |
| 23:20:25 | → | canta joins (~canta@user/canta) |
| 23:20:25 | → | drewolson joins (~drewolson@user/drewolson) |
| 23:20:25 | → | PigDude joins (~PigDude@159.203.16.199) |
| 23:20:25 | → | hrdl joins (~hrdl@mail.hrdl.eu) |
| 23:20:25 | → | niko joins (~niko@libera/staff/niko) |
| 23:20:25 | → | nisstyre joins (~wes@user/nisstyre) |
| 23:20:27 | × | finsternis quits (~X@23.226.237.192) (Max SendQ exceeded) |
| 23:20:44 | → | finsternis joins (~X@23.226.237.192) |
| 23:21:50 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 23:24:09 | → | rookie101 joins (~rookie@165.232.121.13) |
| 23:24:52 | → | Tuplanolla joins (~Tuplanoll@91-159-69-90.elisa-laajakaista.fi) |
| 23:24:58 | → | Akiva joins (~Akiva@user/Akiva) |
| 23:25:02 | → | bollu_ joins (uid233390@id-233390.helmsley.irccloud.com) |
| 23:25:59 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 23:26:06 | → | lavaman joins (~lavaman@98.38.249.169) |
| 23:26:12 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds) |
| 23:31:35 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 23:31:36 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 23:35:16 | <ProfSimm> | What would be the functional expression of a relational database I wonder |
| 23:35:31 | <ProfSimm> | Also happy new year, and yes this is what I most care about right now |
| 23:40:18 | <EvanR> | http://blog.ezyang.com/2010/06/databases-are-categories/ |
| 23:41:12 | → | zincy_ joins (~zincy@host86-151-99-97.range86-151.btcentralplus.com) |
| 23:41:44 | <hpc> | no https :( |
| 23:42:31 | <hpc> | oh, relational algebra might also be good to read up on |
| 23:42:49 | → | otherwise joins (~otherwise@c-71-231-39-206.hsd1.wa.comcast.net) |
| 23:43:20 | <hpc> | then a query is a function (table -> table) |
| 23:43:24 | <hpc> | plus or minus joins |
| 23:43:33 | × | zincy_ quits (~zincy@host86-151-99-97.range86-151.btcentralplus.com) (Remote host closed the connection) |
| 23:43:33 | <EvanR> | very relational https://free.cofree.io/2019/07/31/beautiful-bridges/ |
| 23:43:48 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 23:43:51 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:b868:7e50:825e:321f) |
| 23:44:12 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:44:36 | → | neurocyte0132889 joins (~neurocyte@IP-045136168007.dynamic.medianet-world.de) |
| 23:44:36 | × | neurocyte0132889 quits (~neurocyte@IP-045136168007.dynamic.medianet-world.de) (Changing host) |
| 23:44:36 | → | neurocyte0132889 joins (~neurocyte@user/neurocyte) |
| 23:44:44 | × | acidjnk quits (~acidjnk@p200300d0c7271e281077e1a745617169.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 23:44:44 | × | acidjnk_new quits (~acidjnk@p200300d0c7271e281077e1a745617169.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 23:47:01 | × | Jing quits (~hedgehog@2604:a840:3::1013) (Remote host closed the connection) |
| 23:47:55 | → | Jing joins (~hedgehog@2604:a840:3::1013) |
| 23:48:23 | × | otherwise quits (~otherwise@c-71-231-39-206.hsd1.wa.comcast.net) () |
| 23:48:48 | <EvanR> | >In fact, a database upgrade (schema and data), or in fact an arbitrary transition from one format to another, is merely a natural transformation! |
| 23:57:24 | <ProfSimm> | I dislike the separation of type and value. Can't we somehow combine both in one expression. So we could pass type parameters same as we pass normal parameters |
| 23:57:41 | <geekosaur> | that's coming soon |
| 23:57:52 | <ProfSimm> | Is it? |
| 23:58:05 | <geekosaur> | foo :: forall t -> Bar -> ... |
| 23:58:24 | <ProfSimm> | I mean, why even need the :: operator |
| 23:58:26 | <geekosaur> | there will be some limits because Haskell is still not a dependently typed language |
| 23:58:31 | <ProfSimm> | I wanna somehow remove the barrier |
| 23:58:39 | <geekosaur> | if that's what you are looking for, try Idris |
| 23:59:42 | <geekosaur> | you cannot "simply" remove the barrier, dependent Haskell is still somewhere in the far-ish future |
| 23:59:52 | <geekosaur> | Idris is as close as you can get currently |
All times are in UTC on 2021-12-31.