Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 786 787 788 789 790 791 792 793 794 795 796 .. 5022
— 502,152 events total
2020-10-21 21:33:32 <lambdabot> prevents the constraint ‘(Show a0)’ from being solved.
2020-10-21 21:33:39 <ski> > printf "%x" 9223372036854775808 :: String
2020-10-21 21:33:41 <lambdabot> "8000000000000000"
2020-10-21 21:33:46 <ski> ooh
2020-10-21 21:33:47 <tomsmeding> OverloadedStrings?
2020-10-21 21:33:53 × nexya quits (2eef64c3@marwin.brg.sgsnet.se) (Remote host closed the connection)
2020-10-21 21:33:56 <tomsmeding> but yeah INT64_MIN
2020-10-21 21:34:14 <ski> @type "abc"
2020-10-21 21:34:15 <lambdabot> [Char]
2020-10-21 21:34:16 <ski> @type printf
2020-10-21 21:34:17 <lambdabot> PrintfType r => String -> r
2020-10-21 21:34:25 tomsmeding is confused
2020-10-21 21:34:42 → nineonine joins (~textual@216.81.48.202)
2020-10-21 21:34:51 <tomsmeding> oh PrintfType is the thing as always with printf
2020-10-21 21:35:05 <ski> it's the vararg trick thing, yea
2020-10-21 21:35:23 <tomsmeding> the only reason I used printf is that I failed to remember showIntAtBase
2020-10-21 21:35:34 <tomsmeding> I floundered between showBase, showAtBase, showIntBase
2020-10-21 21:36:25 <tomsmeding> but I'm not sure what criterion is up to
2020-10-21 21:37:23 × conal quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-21 21:38:07 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-21 21:38:33 → conal joins (~conal@ip-66-115-176-174.creativelink.net)
2020-10-21 21:38:45 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-21 21:39:06 <monochrom> 9223372036854775808 looks like an invalid file descriptor we ran into a week or two ago.
2020-10-21 21:39:20 <monochrom> Now it is negated and presented as an illegal variance? :)
2020-10-21 21:43:45 niko is now known as nuka
2020-10-21 21:43:58 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-10-21 21:44:18 <tomsmeding> well an invalid file descriptor it certainly is, though I'm curious how you got a file descriptor in a 64-bit int
2020-10-21 21:46:16 × Ariakenom quits (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Quit: Leaving)
2020-10-21 21:46:35 × AceNovo quits (~chris@67-42-33-191.phnx.qwest.net) (Remote host closed the connection)
2020-10-21 21:46:43 <dolio> > minBound :: Int
2020-10-21 21:46:44 <lambdabot> -9223372036854775808
2020-10-21 21:47:45 × acidjnk_new2 quits (~acidjnk@p200300d0c7237831d40d0866fc0488e0.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-21 21:49:21 → thir joins (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-21 21:50:11 × danvet_ quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-10-21 21:51:59 <tomsmeding> ah apparently criterion gets confused when you pass it a benchmark that takes <1ms until you repeat it 14 times, then it takes 3 seconds
2020-10-21 21:52:16 <monochrom> Oddly enough, -9223372036854775808 is an even number, not an odd number. >:)
2020-10-21 21:52:21 <tomsmeding> how my function gets that behaviour is yet unknown, but at least that's an interesting factoid
2020-10-21 21:52:34 <tomsmeding> monochrom: is that odd?
2020-10-21 21:54:56 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds)
2020-10-21 21:56:32 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-10-21 21:56:33 → crestfallen joins (~john@128.32.176.159)
2020-10-21 21:57:52 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-21 21:58:07 × thir quits (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-21 21:58:16 × notnatebtw quits (~nate@110.138.18.157) (Quit: WeeChat 2.9)
2020-10-21 21:58:27 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-21 21:59:00 × arw quits (~arw@impulse.informatik.uni-erlangen.de) (Remote host closed the connection)
2020-10-21 22:00:07 → AceNovo joins (~chris@67-42-33-191.phnx.qwest.net)
2020-10-21 22:01:00 → jedws joins (~jedws@101.184.148.229)
2020-10-21 22:01:13 × stefan-__ quits (~cri@42dots.de) (Read error: Connection reset by peer)
2020-10-21 22:01:40 → stefan-__ joins (~cri@42dots.de)
2020-10-21 22:02:43 <AWizzArd> Are there implementations of `sequence` that are not `sequence = sequenceA`?
2020-10-21 22:02:43 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 246 seconds)
2020-10-21 22:03:26 × aidecoe quits (~aidecoe@unaffiliated/aidecoe) (Remote host closed the connection)
2020-10-21 22:04:18 <ghoulguy> There are two trivial cases of that in http://hackage.haskell.org/package/base-4.14.0.0/docs/src/Data.Traversable.html#sequence
2020-10-21 22:04:28 <ghoulguy> I don't know of any interesting cases off the top of my head though
2020-10-21 22:05:33 × britva quits (~britva@2a02:aa13:7240:2980:b1bf:9c31:7687:bea1) (Quit: This computer has gone to sleep)
2020-10-21 22:06:19 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-10-21 22:07:28 <crestfallen> hi does each line of a do block (after the first line) end up initially with essentially m(m a) .. thus requiring join ? i.e. is (>>= id) applied on each line?
2020-10-21 22:10:25 → kori joins (~kori@2804:14c:85a3:9105::1000)
2020-10-21 22:10:25 × kori quits (~kori@2804:14c:85a3:9105::1000) (Changing host)
2020-10-21 22:10:25 → kori joins (~kori@arrowheads/kori)
2020-10-21 22:10:25 × dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9)
2020-10-21 22:10:40 ← phadej parts (phadej@tiku.daug.net) ()
2020-10-21 22:11:57 hackage b9 3.2.0 - A tool and library for building virtual machine images. https://hackage.haskell.org/package/b9-3.2.0 (SvenHeyll)
2020-10-21 22:12:21 × redeemed quits (~rd@2a02:2f0b:b20a:d200:75cb:8151:518a:825f) (Ping timeout: 272 seconds)
2020-10-21 22:12:24 × falafel quits (~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection)
2020-10-21 22:12:30 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-21 22:12:34 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Read error: Connection reset by peer)
2020-10-21 22:12:48 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-21 22:12:50 → falafel joins (~falafel@71-34-132-121.clsp.qwest.net)
2020-10-21 22:14:03 <crestfallen> because in kleisli composition we have this: https://termbin.com/xnxfu where the result is m(m c) , requiring join to make it behave like bind
2020-10-21 22:14:36 <crestfallen> if I understand correctly
2020-10-21 22:17:22 <dolio> AWizzArd: There is an implementation that is operationally different in ways that usually wouldn't matter much.
2020-10-21 22:18:10 × texasmyn_ quits (~texasmyns@104.140.52.83) ()
2020-10-21 22:18:16 <dolio> Although it used to matter more when GHC treated stack as a more limited resource than heap.
2020-10-21 22:18:25 → texasmynsted joins (~texasmyns@104.140.52.83)
2020-10-21 22:18:35 <texasmynsted> hello
2020-10-21 22:20:13 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-21 22:21:01 → notnatebtw joins (~nate@110.138.18.157)
2020-10-21 22:21:13 <crestfallen> I ask because I saw this notation do; ma <- mma so that must indicate join is applied. is that correct?
2020-10-21 22:22:21 <koz_> texasmynsted: Sup?
2020-10-21 22:23:21 <crestfallen> koz_, hi are my ramblings above correct?
2020-10-21 22:23:30 <koz_> crestfallen: Your ramblings above are unclear.
2020-10-21 22:23:40 <crestfallen> hmm
2020-10-21 22:23:44 <koz_> At this point, I would say 'just write the do-notation desugaring by hand'.
2020-10-21 22:23:49 <koz_> And also 'stop getting hung up on syntax'.
2020-10-21 22:23:54 <koz_> There is nothing special about that naming.
2020-10-21 22:24:06 <koz_> I could have written the above snippet as do; foo <- bar.
2020-10-21 22:24:16 <koz_> How you name variables doesn't change semantics.
2020-10-21 22:25:16 <crestfallen> yeah, I was thinking about join and (>>= id) if that operates for every action in a do block.
2020-10-21 22:25:27 → arw joins (~arw@impulse.informatik.uni-erlangen.de)
2020-10-21 22:25:45 <koz_> If you are unclear how any given do-block operates, seriously, break out a whiteboard (or pen and paper, or whatever), and do the desugaring by hand.
2020-10-21 22:25:59 → thir joins (~thir@p200300f27f19de00eca173dc7e5d6773.dip0.t-ipconnect.de)
2020-10-21 22:25:59 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-10-21 22:26:08 <crestfallen> for purposes of flattening the left side of bar <- foo
2020-10-21 22:26:12 <koz_> Do this a few times, and you'll see it without having to do that step.
2020-10-21 22:26:57 hackage ukrainian-phonetics-basic 0.1.1.0 - A library to work with the basic Ukrainian phonetics and syllable segmentation. https://hackage.haskell.org/package/ukrainian-phonetics-basic-0.1.1.0 (OleksandrZhabenko)
2020-10-21 22:27:46 <texasmynsted> not much
2020-10-21 22:29:09 × AceNovo quits (~chris@67-42-33-191.phnx.qwest.net) (Quit: Konversation terminated!)
2020-10-21 22:29:12 <crestfallen> koz_, thank you - the thing is I believe I understand bind best from understand the type unification of (<<= id). so I'm thinking in those terms (yes, at the type level :/ )
←Prev  Next→
Page 1 .. 786 787 788 789 790 791 792 793 794 795 796 .. 5022

All times are in UTC.