Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 760 761 762 763 764 765 766 767 768 769 770 .. 5022
— 502,152 events total
2020-10-20 20:28:42 <dminuoso> I admit, this is rather handwaving
2020-10-20 20:28:57 <dminuoso> But this must clearly be something stateful
2020-10-20 20:29:07 <dminuoso> Or..
2020-10-20 20:29:10 <dminuoso> Hold on. When you say alternatin
2020-10-20 20:29:19 <dminuoso> Is that within the same program execution?
2020-10-20 20:29:20 <tomsmeding> if you mean swapping as in memory full so swap to disk, no, because memory is far from full
2020-10-20 20:30:08 → zebrag joins (~inkbottle@aaubervilliers-654-1-98-110.w86-212.abo.wanadoo.fr)
2020-10-20 20:30:31 <tomsmeding> yes one process that runs the same function a number of times, and the even cases (say) are 0.62 +- 0.3 seconds, and the odd cases (say) are 0.53 += 0.3 seconds
2020-10-20 20:30:57 → conal joins (~conal@64.71.133.70)
2020-10-20 20:32:07 × ericsagnes quits (~ericsagne@2405:6580:0:5100:5513:d68a:c93e:4e27) (Ping timeout: 260 seconds)
2020-10-20 20:34:54 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-20 20:39:42 × shafox quits (~shafox@106.51.234.111) (Remote host closed the connection)
2020-10-20 20:40:34 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-20 20:41:53 × coot quits (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-20 20:42:10 ← Will36 parts (56be05c9@host86-190-5-201.range86-190.btcentralplus.com) ()
2020-10-20 20:43:57 → ericsagnes joins (~ericsagne@2405:6580:0:5100:1c6c:f39a:cdd0:9852)
2020-10-20 20:44:58 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds)
2020-10-20 20:46:13 <hololeap> i don't understand constraints that don't take any type variables, like HasCallStack. what are these kinds of constraints acting on?
2020-10-20 20:48:34 → borne joins (~fritjof@200116b8645a73005f17201290692466.dip.versatel-1u1.de)
2020-10-20 20:48:36 <tomsmeding> you can see constraints as kind of "inferred implicit parameters"
2020-10-20 20:48:44 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-20 20:48:44 → totallynotnate joins (~nate@110.138.18.157)
2020-10-20 20:48:59 <tomsmeding> where the value being passed as that parameter is a record of the functions defined in the relevant class instance
2020-10-20 20:50:03 <tomsmeding> e.g. for a function like nub :: Eq a => [a] -> [a], under the hood it really takes two arguments: a dictionary Eq { (==) :: a -> a -> Bool }, and a list [a]
2020-10-20 20:50:09 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-20 20:51:09 <tomsmeding> hololeap: and the inference algorithm for those inferred parameters is the instance resolution algorithm :)
2020-10-20 20:51:44 <tomsmeding> from that perspective, it makes sense to also allow classes that take zero parameters; their dictionary types just happen to have no type parameters
2020-10-20 20:52:21 × fendor quits (~fendor@91.141.2.147.wireless.dyn.drei.com) (Quit: Leaving)
2020-10-20 20:52:37 <tomsmeding> now HasCallStack is a magical thing that uses the weird dynamic scoping functionality that GHC offers, so it's really a separate case :p
2020-10-20 20:53:52 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-20 20:56:23 → thir joins (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de)
2020-10-20 20:57:49 × knupfer quits (~Thunderbi@i59F7FF6F.versanet.de) (Ping timeout: 260 seconds)
2020-10-20 20:58:21 → britva joins (~britva@2a02:aa13:7240:2980:95f4:54f7:5f3d:8d9b)
2020-10-20 20:58:21 <tomsmeding> hololeap: this "dictionary" idea is actually also how type classes are implemented in GHC; see e.g. the original paper (http://ropas.snu.ac.kr/lib/dock/HaHaJoWa1996.pdf (which I haven't actually read, sorry :D)) or other resources online
2020-10-20 21:00:02 × thrig1 quits (~thrig@178.162.209.171) ()
2020-10-20 21:00:51 → ensyde joins (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd)
2020-10-20 21:02:58 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2020-10-20 21:03:37 → wallacer3 joins (~quassel@ns3134113.ip-37-187-4.eu)
2020-10-20 21:04:55 × thir quits (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-20 21:05:21 × ensyde quits (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 246 seconds)
2020-10-20 21:05:40 → avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz)
2020-10-20 21:05:45 × dwt quits (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 240 seconds)
2020-10-20 21:09:23 → dwt joins (~dwt@c-98-200-58-177.hsd1.tx.comcast.net)
2020-10-20 21:09:42 → hekkaidekapus{ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-20 21:11:43 × hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-20 21:12:24 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 260 seconds)
2020-10-20 21:14:38 × dwt quits (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 272 seconds)
2020-10-20 21:15:37 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-10-20 21:15:52 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-10-20 21:18:05 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
2020-10-20 21:18:42 × falafel quits (~falafel@71-34-132-121.clsp.qwest.net) (Quit: Leaving)
2020-10-20 21:18:51 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2020-10-20 21:19:10 → falafel joins (~falafel@71-34-132-121.clsp.qwest.net)
2020-10-20 21:19:18 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-20 21:19:52 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-20 21:20:28 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-20 21:21:44 × codygman quits (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Ping timeout: 260 seconds)
2020-10-20 21:21:46 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-20 21:22:05 → cassier joins (~cassier@195.206.169.184)
2020-10-20 21:22:34 → codygman joins (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459)
2020-10-20 21:24:10 × codygman quits (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459) (Read error: Connection reset by peer)
2020-10-20 21:24:19 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2020-10-20 21:24:32 → codygman joins (~codygman@47.190.47.120)
2020-10-20 21:25:33 × chele quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-10-20 21:26:15 → conal joins (~conal@64.71.133.70)
2020-10-20 21:28:55 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-20 21:28:58 × codygman quits (~codygman@47.190.47.120) (Ping timeout: 258 seconds)
2020-10-20 21:29:10 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-20 21:30:08 → codygman joins (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459)
2020-10-20 21:31:43 nshepperd . o 0 (hmm, what if defining all functions in a module in a zero parameter typeclass to resolve circular dependencies instead of using hs-boot)
2020-10-20 21:32:26 × caubert quits (~mrbentari@207.246.80.112) (Quit: WeeChat 2.8)
2020-10-20 21:32:47 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-10-20 21:32:47 × evade quits (~evade@2001:b07:a15:ec0c:91a9:d55f:dffd:96e) (Ping timeout: 260 seconds)
2020-10-20 21:33:10 → mrbentarikau joins (~mrbentari@207.246.80.112)
2020-10-20 21:33:24 mrbentarikau is now known as caubert
2020-10-20 21:33:25 × mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 240 seconds)
2020-10-20 21:33:31 → arguapacha joins (~arguapach@bras-base-mtrlpq02hsy-grc-04-174-93-252-133.dsl.bell.ca)
2020-10-20 21:33:52 → conal_ joins (~conal@ip-66-115-176-174.creativelink.net)
2020-10-20 21:34:31 × totallynotnate quits (~nate@110.138.18.157) (Quit: WeeChat 2.9)
2020-10-20 21:34:54 → totallynotnate joins (~nate@110.138.18.157)
2020-10-20 21:36:10 × conal quits (~conal@64.71.133.70) (Ping timeout: 272 seconds)
2020-10-20 21:36:31 × britva quits (~britva@2a02:aa13:7240:2980:95f4:54f7:5f3d:8d9b) (Quit: This computer has gone to sleep)
2020-10-20 21:42:39 × codygman quits (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459) (Read error: Connection reset by peer)
2020-10-20 21:42:56 → hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-10-20 21:43:01 → codygman joins (~codygman@47-184-107-46.dlls.tx.frontiernet.net)
2020-10-20 21:45:56 × chaosmasttter quits (~chaosmast@p200300c4a70942019022135e51598bcd.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-20 21:46:13 → christo joins (~chris@81.96.113.213)
2020-10-20 21:48:15 × conal_ quits (~conal@ip-66-115-176-174.creativelink.net) (Quit: Computer has gone to sleep.)
2020-10-20 21:48:23 → cantstanya joins (~chatting@gateway/tor-sasl/cantstanya)
2020-10-20 21:49:42 → invaser joins (~Thunderbi@31.148.23.125)
2020-10-20 21:49:46 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 265 seconds)
2020-10-20 21:51:03 → conal joins (~conal@ip-66-115-176-174.creativelink.net)
2020-10-20 21:53:38 × totallynotnate quits (~nate@110.138.18.157) (Quit: WeeChat 2.9)
2020-10-20 21:54:04 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 246 seconds)
2020-10-20 21:54:31 → totallynotnate joins (~nate@110.138.18.157)
2020-10-20 21:54:40 × EyalSK quits (~EyalSK@bzq-84-109-128-227.cablep.bezeqint.net) (Quit: Leaving)
2020-10-20 21:55:10 × totallynotnate quits (~nate@110.138.18.157) (Client Quit)
2020-10-20 21:55:38 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-10-20 21:56:25 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-20 21:57:04 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 272 seconds)
←Prev  Next→
Page 1 .. 760 761 762 763 764 765 766 767 768 769 770 .. 5022

All times are in UTC.