Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 .. 5022
— 502,152 events total
2020-11-04 21:00:02 × dscho quits (~dscho@217.146.82.202) ()
2020-11-04 21:00:54 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-11-04 21:01:25 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-11-04 21:01:43 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-04 21:02:31 hackage esqueleto 3.4.0.1 - Type-safe EDSL for SQL queries on persistent backends. https://hackage.haskell.org/package/esqueleto-3.4.0.1 (parsonsmatt)
2020-11-04 21:03:44 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-04 21:04:13 <ski> hekkaidekapus : it's like defining a set of complete, non-overlapping, pattern synonyms, using a single common definition that acts like a view pattern resulting in a corresponding data type with constructors being the alternatives
2020-11-04 21:04:42 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-11-04 21:05:29 <hekkaidekapus> ski: hmm… The set still mirrors the canonic constructors?
2020-11-04 21:05:52 <ski> no, could be any you like
2020-11-04 21:06:12 <hekkaidekapus> In that case, that’s like Idris’ views then.
2020-11-04 21:06:57 <hekkaidekapus> (With the non-dependent caveat, of course.)
2020-11-04 21:07:08 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-04 21:07:23 → waskell joins (~quassel@d173-181-98-227.bchsia.telus.net)
2020-11-04 21:07:34 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-11-04 21:09:43 <ski> there's two variants. one is defining an active pattern with just a single alternative, which can fail to match. the body will signal failure, by computing a `Maybe'. the other one is having a set of alternatives, and the single body will inspect the input value, do whatever branching (e.g. using conditionals) that it likes, and "return the alternative" that it elected should match
2020-11-04 21:09:52 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-11-04 21:10:40 × waskell_ quits (~quassel@d66-183-127-166.bchsia.telus.net) (Ping timeout: 272 seconds)
2020-11-04 21:11:03 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-04 21:11:04 <ski> (ah, acually, there was also a non-failing single-pattern version. see <https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/active-patterns>)
2020-11-04 21:13:47 <hekkaidekapus> Those alternatives are the closest sibling to views in Idris. Now, to avoid syntactic clutter, there is a with builtin to choose which alternative to use when inspecting the input.
2020-11-04 21:14:21 <hekkaidekapus> oh, oopsy. Meant to highlight with ;)
2020-11-04 21:14:47 <hekkaidekapus> (And thanks for the URL, will take a look.)
2020-11-04 21:17:38 × ubert quits (~Thunderbi@p200300ecdf1e5367e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-11-04 21:17:57 → ubert joins (~Thunderbi@p200300ecdf1e5367e6b318fffe838f33.dip0.t-ipconnect.de)
2020-11-04 21:19:14 × borne quits (~fritjof@200116b864d4e2005d0cb1433c5d4cbb.dip.versatel-1u1.de) (Ping timeout: 264 seconds)
2020-11-04 21:20:58 × Tops21 quits (~Tobias@dyndsl-095-033-016-001.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-11-04 21:22:26 → waskell_ joins (~quassel@d66-183-127-166.bchsia.telus.net)
2020-11-04 21:23:35 <koz_> Where is the Data.Unique.Tag that dependent-map's docs refer to located?
2020-11-04 21:23:36 → waskell__ joins (~quassel@d173-181-98-227.bchsia.telus.net)
2020-11-04 21:23:39 <koz_> The link misses on Hackage.
2020-11-04 21:26:17 <hekkaidekapus> koz_: <https://hackage.haskell.org/package/prim-uniq-0.2/docs/Data-Unique-Tag.html>
2020-11-04 21:26:29 × waskell quits (~quassel@d173-181-98-227.bchsia.telus.net) (Ping timeout: 244 seconds)
2020-11-04 21:26:29 <hekkaidekapus> (Found by following the source.)
2020-11-04 21:26:58 <koz_> Nice, thank you!
2020-11-04 21:26:59 × waskell__ quits (~quassel@d173-181-98-227.bchsia.telus.net) (Client Quit)
2020-11-04 21:27:04 <hekkaidekapus> yw
2020-11-04 21:27:13 × waskell_ quits (~quassel@d66-183-127-166.bchsia.telus.net) (Ping timeout: 260 seconds)
2020-11-04 21:28:45 <koz_> So if I were to use DMap with that Tag, I guess I need to have k ~ Tag s for some s?
2020-11-04 21:28:47 <dsal> geekosaur: thanks for the link. I should eventually do something useful here.
2020-11-04 21:28:49 <koz_> What would be suitable for s?
2020-11-04 21:29:38 × DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 265 seconds)
2020-11-04 21:29:44 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2020-11-04 21:29:55 <dsal> My yak was "I want to look at some of this data I've stored." Data is JSON from an upstream API, except I removed a few fields that are huge and temporary. Then the unmarshaling fails because they're required. So I change how I remove them. Then I want to make a lens through the marshaled data and realized I don't have a marshaler…
2020-11-04 21:30:05 <dsal> I'm not sure what I *started* doing, but I found a bunch of things I can make better.
2020-11-04 21:30:11 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-04 21:30:32 → waskell joins (~quassel@d66-183-127-166.bchsia.telus.net)
2020-11-04 21:30:41 → fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2020-11-04 21:31:03 → DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-11-04 21:31:04 <fresheyeball> how do I explicitly import a pattern?
2020-11-04 21:31:09 <fresheyeball> I can't figure it out
2020-11-04 21:31:18 <koz_> fresheyeball: import Foo.Bar (pattern Baz)
2020-11-04 21:31:26 <koz_> You have to have PatternSynonyms on.
2020-11-04 21:31:57 <fresheyeball> oh odd
2020-11-04 21:32:10 <fresheyeball> ok yeah, if I have the language pragma on in the importing file I can import explicitly
2020-11-04 21:32:17 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-11-04 21:32:21 <koz_> Yeah, that caught me out recently too.
2020-11-04 21:32:21 <fresheyeball> but if I have it off, I can only import impplicitly
2020-11-04 21:32:30 → borne joins (~fritjof@200116b864d4e2005d0cb1433c5d4cbb.dip.versatel-1u1.de)
2020-11-04 21:32:49 × KhoN_1 quits (~KhoN@cm-84.208.147.132.getinternet.no) (Read error: Connection reset by peer)
2020-11-04 21:33:07 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-11-04 21:34:00 gobbleguy is now known as glguy
2020-11-04 21:35:16 × vZS1 quits (~vZS1@host-92-20-231-81.as13285.net) (Remote host closed the connection)
2020-11-04 21:35:50 → mdunnio joins (~mdunnio@208.59.170.5)
2020-11-04 21:35:59 → alp joins (~alp@2a01:e0a:58b:4920:543f:1fa8:3f98:5d73)
2020-11-04 21:36:45 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 240 seconds)
2020-11-04 21:37:16 × comerijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-11-04 21:38:08 × geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-11-04 21:38:09 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-11-04 21:38:37 → catchme joins (uid355354@gateway/web/irccloud.com/x-jjbcbrnidixjkmxm)
2020-11-04 21:40:29 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-04 21:40:39 × mdunnio quits (~mdunnio@208.59.170.5) (Ping timeout: 256 seconds)
2020-11-04 21:41:30 <tomjaguarpaw> Hedgehog checkParallel runs the tests in parallel in ghci but not in a compiled program. Am I doing something obviously wrong?
2020-11-04 21:41:44 × invaser quits (~Thunderbi@31.148.23.125) (Remote host closed the connection)
2020-11-04 21:42:20 → sillyotter joins (~sillyotte@2605:a000:1004:819f:8b31:8f61:3553:9e1f)
2020-11-04 21:45:21 → magicman joins (~tchakkazu@static-47-180-28-65.lsan.ca.frontiernet.net)
2020-11-04 21:45:23 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-04 21:45:30 × sillyotter quits (~sillyotte@2605:a000:1004:819f:8b31:8f61:3553:9e1f) (Client Quit)
2020-11-04 21:47:21 <koz_> tomjaguarpaw: Did you build with -threaded and tell the RTS to use all your cores?
2020-11-04 21:48:54 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-04 21:48:56 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2020-11-04 21:49:01 → belphegor666 joins (~satan@HSI-KBW-046-005-253-003.hsi8.kabel-badenwuerttemberg.de)
2020-11-04 21:55:37 × tdhttt quits (~tdhttt@89.45.90.161) (Ping timeout: 260 seconds)
2020-11-04 21:56:02 <tomjaguarpaw> Ah, that does the trick, thanks
2020-11-04 21:56:21 <tomjaguarpaw> Strangely though the wall clock time is not reduced, despite it running the tests in parallel
2020-11-04 21:56:29 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-04 21:57:13 <Axman6> Welcome to the joys of parallelism
2020-11-04 21:57:39 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-04 21:57:42 <tomjaguarpaw> That's strange. What's the overheard then?
2020-11-04 21:57:44 × belphegor666 quits (~satan@HSI-KBW-046-005-253-003.hsi8.kabel-badenwuerttemberg.de) (Quit: WeeChat 2.9)
2020-11-04 21:57:53 → tdhttt joins (~tdhttt@2600:8802:2203:2500:799b:bc7:7aac:82a9)
2020-11-04 21:58:00 → belphegor666 joins (~satan@HSI-KBW-046-005-253-003.hsi8.kabel-badenwuerttemberg.de)
2020-11-04 21:58:16 <tomjaguarpaw> I wonder if it's the Hedgehog code that renders the output
2020-11-04 21:58:20 <tomjaguarpaw> It updates a *lot*
2020-11-04 21:58:22 × chaosmasttter quits (~chaosmast@p200300c4a7117c01215e340256877fbe.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-11-04 21:58:39 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer)
2020-11-04 21:58:48 <Axman6> it would depend on your program. it could be GC - try running it without parallel GC. Also try running with +RTS -s (I think, see +RTS --help for all the optiosn) to get a report from the RTS on things like productivity
2020-11-04 22:00:08 → conal joins (~conal@66.115.157.70)
2020-11-04 22:00:26 → Rudd0 joins (~Rudd0@185.189.115.108)
2020-11-04 22:00:49 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
←Prev  Next→
Page 1 .. 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 .. 5022

All times are in UTC.