Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 813 814 815 816 817 818 819 820 821 822 823 .. 5022
— 502,152 events total
2020-10-23 09:18:19 → stefan-__ joins (~cri@42dots.de)
2020-10-23 09:18:46 <maerwald> > delete 1 [1..]
2020-10-23 09:18:48 <lambdabot> [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,28,29...
2020-10-23 09:20:07 → scratchy_beard joins (~doug@cpc110383-king13-2-0-cust408.19-1.cable.virginm.net)
2020-10-23 09:20:37 × erolm_a quits (~erolm_a@62.18.212.252) (Ping timeout: 264 seconds)
2020-10-23 09:20:39 → evade joins (~evade@2001:b07:a15:ec0c:91a9:d55f:dffd:96e)
2020-10-23 09:20:40 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-23 09:20:54 → erolm_a joins (~erolm_a@62.18.212.252)
2020-10-23 09:20:56 <int-e> > delete 1 [1,1,1]
2020-10-23 09:20:58 <lambdabot> [1,1]
2020-10-23 09:21:09 <maerwald> hmm
2020-10-23 09:21:20 <maerwald> so it's actually `deleteFirst`
2020-10-23 09:21:24 <hc> > length (delete 1 [1..])
2020-10-23 09:21:30 <lambdabot> mueval-core: Time limit exceeded
2020-10-23 09:21:33 <int-e> maerwald: yeah, which may be surprising.
2020-10-23 09:21:47 <maerwald> Such typesafety :p
2020-10-23 09:21:54 <ski> > [0,0,0] \\ [0,0]
2020-10-23 09:21:56 <lambdabot> [0]
2020-10-23 09:22:03 <dminuoso> uhh
2020-10-23 09:22:05 <maerwald> that's gross
2020-10-23 09:22:10 <dminuoso> ouch
2020-10-23 09:22:18 <int-e> multisets
2020-10-23 09:22:31 <dminuoso> Principle of maximum surprise
2020-10-23 09:22:54 <dminuoso> Can't we offload all these things to Data.Surprise.Surprise and out of Prelude?
2020-10-23 09:22:59 <int-e> it is what it is
2020-10-23 09:23:01 <int-e> no!
2020-10-23 09:23:04 → AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl)
2020-10-23 09:23:08 × evade quits (~evade@2001:b07:a15:ec0c:91a9:d55f:dffd:96e) (Client Quit)
2020-10-23 09:23:12 <int-e> without warts, what would we complain about?
2020-10-23 09:23:21 <dminuoso> Dunno. Other languages?
2020-10-23 09:23:22 <int-e> what little curiosities would we discuss?
2020-10-23 09:23:26 <int-e> it would be BORING
2020-10-23 09:23:28 → magma joins (~magma@2001:b07:a15:ec0c:91a9:d55f:dffd:96e)
2020-10-23 09:24:03 <int-e> next you'll be taking away NaNs and signed zeros from IEEE floating point numbers
2020-10-23 09:24:40 <dminuoso> These are not a problem, but I do want IEEE conform traps
2020-10-23 09:24:41 <ski> or `n+k'
2020-10-23 09:24:41 <int-e> (was that too much?)
2020-10-23 09:24:46 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2020-10-23 09:25:10 <int-e> ski: I don't miss n+k patterns, somehow.
2020-10-23 09:25:24 → babygnu joins (~robert@gateway/tor-sasl/babygnu)
2020-10-23 09:25:29 <merijn> int-e: Abolish value NaN, join us in trapping NaN paradise!
2020-10-23 09:25:47 <int-e> > error "it's a trap!"
2020-10-23 09:25:49 <lambdabot> *Exception: it's a trap!
2020-10-23 09:25:49 × stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-23 09:25:59 <merijn> int-e: Basically, yes :p
2020-10-23 09:26:10 → stefan-__ joins (~cri@42dots.de)
2020-10-23 09:26:12 <merijn> int-e: It's even IEEE-754 compliant!
2020-10-23 09:26:20 <int-e> merijn: I just wonder how much code that would/will break.
2020-10-23 09:26:27 <dminuoso> int-e: Dunno, I have luxury problems rather
2020-10-23 09:26:29 <dminuoso> % type f <> g = Either f g
2020-10-23 09:26:29 <yahb> dminuoso:
2020-10-23 09:26:31 <dminuoso> I dont want that to work.
2020-10-23 09:26:45 <merijn> I'm torn on type operators
2020-10-23 09:26:52 <merijn> On the one hand "ugh"
2020-10-23 09:26:57 <dminuoso> Type operators are fine, but they should demand a colon!
2020-10-23 09:27:03 <merijn> On the other hands, prefixing everything with : is also "ugh"
2020-10-23 09:27:06 <dminuoso> I think it used to be that way in 6.x or 7.x
2020-10-23 09:27:19 <merijn> Up until mid 7.x, I think
2020-10-23 09:27:35 <dminuoso> Right. There's so many places where quantifying over an operator makes so much more sense
2020-10-23 09:27:41 <merijn> Personally I'm offended much more by TypeInType and refuse to acknowledge it's existence
2020-10-23 09:27:41 <dminuoso> All the profunctor stuff for example
2020-10-23 09:28:08 × magma quits (~magma@2001:b07:a15:ec0c:91a9:d55f:dffd:96e) (Client Quit)
2020-10-23 09:28:31 → opticnerve joins (~opticnerv@2001:b07:a15:ec0c:91a9:d55f:dffd:96e)
2020-10-23 09:28:39 <int-e> (~>) is the perfect type variable for categories and arrows...
2020-10-23 09:29:05 → karanlikmadde joins (~karanlikm@2a01:c23:6063:4800:143d:31e:a773:8400)
2020-10-23 09:29:25 <dminuoso> I mean if you look at Servant, it's not even annoying to have colon prefixes for type operators.
2020-10-23 09:29:37 <int-e> It
2020-10-23 09:29:52 × opticnerve quits (~opticnerv@2001:b07:a15:ec0c:91a9:d55f:dffd:96e) (Read error: Connection reset by peer)
2020-10-23 09:29:59 <int-e> It's ugly for commutative things... But then again we can have :*: and :+:...
2020-10-23 09:30:07 → magma joins (~magma@2001:b07:a15:ec0c:91a9:d55f:dffd:96e)
2020-10-23 09:30:14 → DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-10-23 09:30:22 × scratchy_beard quits (~doug@cpc110383-king13-2-0-cust408.19-1.cable.virginm.net) (Ping timeout: 246 seconds)
2020-10-23 09:30:30 <int-e> (modulo isomorphisms)
2020-10-23 09:30:41 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-23 09:31:03 <dminuoso> Overally, I think we'd pull more value from type operator variables than that
2020-10-23 09:31:29 <dminuoso> It's a little bit of visual noise vs effectively moving things that make more sense as infix into prefix position
2020-10-23 09:32:59 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-23 09:33:48 × magma quits (~magma@2001:b07:a15:ec0c:91a9:d55f:dffd:96e) (Client Quit)
2020-10-23 09:35:10 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-23 09:38:04 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2020-10-23 09:39:55 → kish joins (~oracle@unaffiliated/oracle)
2020-10-23 09:40:54 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-23 09:43:58 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-23 09:45:46 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-10-23 09:47:25 → Chi1thangoo joins (~Chi1thang@87.112.60.168)
2020-10-23 09:49:50 → ClaudiusMaximus joins (~claude@198.123.199.146.dyn.plus.net)
2020-10-23 09:50:08 × ClaudiusMaximus quits (~claude@198.123.199.146.dyn.plus.net) (Changing host)
2020-10-23 09:50:08 → ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus)
2020-10-23 09:52:58 hackage dropbox 0.0.0 - Dropbox API client https://hackage.haskell.org/package/dropbox-0.0.0 (Jappie)
2020-10-23 09:54:45 → matp joins (~matp@178.162.204.214)
2020-10-23 09:56:20 × danvet quits (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) (Quit: Leaving)
2020-10-23 09:56:57 hackage dropbox 0.0.1 - Dropbox API client https://hackage.haskell.org/package/dropbox-0.0.1 (Jappie)
2020-10-23 09:58:43 × karanlikmadde quits (~karanlikm@2a01:c23:6063:4800:143d:31e:a773:8400) (Ping timeout: 272 seconds)
2020-10-23 09:58:50 → Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se)
2020-10-23 09:59:33 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-23 10:01:17 → Rudd0 joins (~Rudd0@185.189.115.108)
2020-10-23 10:02:13 × lemmih quits (~lemmih@2406:3003:2072:44:b4a2:1d9:b4d8:a595) (Remote host closed the connection)
2020-10-23 10:02:38 × TMA quits (tma@twin.jikos.cz) (Ping timeout: 272 seconds)
2020-10-23 10:03:45 → ensyde joins (~ensyde@2600:1702:2e30:1a40:70a0:9a2d:498e:2019)
2020-10-23 10:04:56 → tito_04 joins (~taurux@net-93-144-10-197.cust.vodafonedsl.it)
←Prev  Next→
Page 1 .. 813 814 815 816 817 818 819 820 821 822 823 .. 5022

All times are in UTC.