Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 342 343 344 345 346 347 348 349 350 351 352 .. 5022
— 502,152 events total
2020-10-01 06:54:35 × chreekat[m] quits (chreekatma@gateway/shell/matrix.org/x-umxlgtkybcwevjvb) (*.net *.split)
2020-10-01 06:54:35 × lambdaclan quits (lambdaclan@gateway/shell/matrix.org/x-rosqvrjyauthsfym) (*.net *.split)
2020-10-01 06:54:35 × io_r_us[m] quits (commandlin@gateway/shell/matrix.org/x-kjrwesnzoyenqgzx) (*.net *.split)
2020-10-01 06:54:36 × barrucadu quits (~barrucadu@fsf/member/barrucadu) (*.net *.split)
2020-10-01 06:54:36 × bcoppens_ quits (~bartcopp@vpn2.bartcoppens.be) (*.net *.split)
2020-10-01 06:54:36 × noteness quits (~noteness@unaffiliated/nessessary129) (*.net *.split)
2020-10-01 06:54:36 × opqdonut quits (opqdonut@pseudo.fixme.fi) (*.net *.split)
2020-10-01 06:54:36 × Velpoman quits (~Velpoman@159.65.76.124) (*.net *.split)
2020-10-01 06:54:36 × dixie quits (~dixie@real.wilbury.sk) (*.net *.split)
2020-10-01 06:54:36 × uwap quits (~uwap@genja.uwap.name) (*.net *.split)
2020-10-01 06:56:48 × Narinas quits (~Narinas@187.250.59.209.dsl.dyn.telnor.net) (Client Quit)
2020-10-01 06:57:13 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-10-01 06:57:13 × topos quits (~topos@138.197.1.46) (Ping timeout: 264 seconds)
2020-10-01 06:57:47 × jgt quits (~jgt@188.239.64.32) (Ping timeout: 240 seconds)
2020-10-01 06:58:18 → alp joins (~alp@2a01:e0a:58b:4920:905c:27a5:4384:bd6e)
2020-10-01 07:00:27 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-01 07:01:59 → topos joins (~topos@138.197.1.46)
2020-10-01 07:03:39 → mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com)
2020-10-01 07:04:08 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-01 07:04:14 → whiteline joins (~whiteline@unaffiliated/whiteline)
2020-10-01 07:07:31 → tbreslein joins (~tbreslein@2a02:8108:140:44f8::901)
2020-10-01 07:11:07 → kritzefitz joins (~kritzefit@fw-front.credativ.com)
2020-10-01 07:12:13 × aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 264 seconds)
2020-10-01 07:13:01 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-10-01 07:14:45 → polyrain joins (~polyrain@2001:8003:640b:b900:58f5:a1c1:c514:8c13)
2020-10-01 07:15:21 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-10-01 07:15:48 → mav1 joins (~mav@p5b02806a.dip0.t-ipconnect.de)
2020-10-01 07:16:21 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-10-01 07:19:01 → supercoven joins (~Supercove@84.251.84.166)
2020-10-01 07:19:05 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 240 seconds)
2020-10-01 07:19:34 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 246 seconds)
2020-10-01 07:19:46 × polyrain quits (~polyrain@2001:8003:640b:b900:58f5:a1c1:c514:8c13) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-01 07:20:45 → jedws joins (~jedws@121.209.139.222)
2020-10-01 07:22:56 → pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
2020-10-01 07:24:41 → borne joins (~fritjof@2001:638:708:30da:4225:aca1:4116:1d16)
2020-10-01 07:26:01 × s00pcan quits (~chris@107.181.165.217) (Ping timeout: 264 seconds)
2020-10-01 07:26:43 → s00pcan joins (~chris@075-133-056-178.res.spectrum.com)
2020-10-01 07:28:08 → toorevitimirp joins (~tooreviti@117.182.181.38)
2020-10-01 07:28:55 × borne quits (~fritjof@2001:638:708:30da:4225:aca1:4116:1d16) (Client Quit)
2020-10-01 07:29:11 → chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-10-01 07:29:17 × martin02 quits (silas@hund.fs.lmu.de) (Ping timeout: 272 seconds)
2020-10-01 07:31:00 → ubert joins (~Thunderbi@91.141.2.105.wireless.dyn.drei.com)
2020-10-01 07:31:04 → borne joins (~fritjof@2001:638:708:30da:4ed8:5a31:2712:89a5)
2020-10-01 07:32:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-01 07:34:38 × ubert quits (~Thunderbi@91.141.2.105.wireless.dyn.drei.com) (Client Quit)
2020-10-01 07:34:47 → kindaro joins (1f08d381@h31-8-211-129.dyn.bashtel.ru)
2020-10-01 07:34:53 → ubert joins (~Thunderbi@91.141.2.105.wireless.dyn.drei.com)
2020-10-01 07:35:18 <kindaro> Is there a simple way to know if a given instance of a complex type is in scope?
2020-10-01 07:35:21 → martin02 joins (silas@hund.fs.lmu.de)
2020-10-01 07:36:07 <kindaro> `reifyInstances ''Show` may give me `Show (Maybe a_132)` and `Show Int`, but I need to know that I have `Show (Maybe Int)`.
2020-10-01 07:36:33 <kindaro> Surely I can do some mixing and matching, but I wonder if there is a short cut.
2020-10-01 07:37:27 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-01 07:37:28 <kindaro> …To think of it, there is probably no simple way because it is essentially an infinite set.
2020-10-01 07:38:10 × borne quits (~fritjof@2001:638:708:30da:4ed8:5a31:2712:89a5) (Quit: WeeChat 2.9)
2020-10-01 07:38:17 → borne joins (~fritjof@2001:638:708:30da:4ed8:5a31:2712:89a5)
2020-10-01 07:38:54 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-01 07:39:36 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-10-01 07:40:34 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-10-01 07:44:47 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-01 07:46:52 × mav1 quits (~mav@p5b02806a.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2020-10-01 07:47:37 × jle` quits (~mstksg@unaffiliated/mstksg) (Ping timeout: 264 seconds)
2020-10-01 07:50:10 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 265 seconds)
2020-10-01 07:50:10 × danso quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-01 07:50:10 × voyons_calisse quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-01 07:50:39 → voyons_calisse joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-01 07:50:39 → cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-10-01 07:50:43 → danso joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-01 07:50:51 <Axman6> I wouldn't be surprised if you could use the ... constraints? package
2020-10-01 07:50:56 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-01 07:50:56 <Axman6> @hoogle Dict
2020-10-01 07:50:57 <lambdabot> Data.Constraint data Dict
2020-10-01 07:50:57 <lambdabot> Data.Constraint Dict :: a => Dict a
2020-10-01 07:50:57 <lambdabot> Data.Vinyl.Core data Dict c a
2020-10-01 07:51:22 → madjestic joins (~madjestic@86-88-72-244.fixed.kpn.net)
2020-10-01 07:52:13 <dminuoso> kindaro: `Show (Maybe a_132)` is that already.
2020-10-01 07:52:36 <dminuoso> kindaro: Thing is, from an instance selection point of view, the constraint of an instance is not considered.
2020-10-01 07:53:00 × danso quits (~dan@107-190-41-58.cpe.teksavvy.com) (Client Quit)
2020-10-01 07:53:01 <dminuoso> That is, if you have `instance Show a => Maybe a`, then that instance will be selected for *all* a.
2020-10-01 07:53:13 <dminuoso> Even if there's no Show instance for a.
2020-10-01 07:54:15 → jgt joins (~jgt@188.239.64.32)
2020-10-01 07:54:16 <kindaro> My problem is that I need to match type signatures given to my program as strings at run time. I should have given some context — this is a continuation of a conversation I started yesterday.
2020-10-01 07:54:20 × ubert quits (~Thunderbi@91.141.2.105.wireless.dyn.drei.com) (Remote host closed the connection)
2020-10-01 07:54:42 <kindaro> The problem is to create an executable that does `interact (show ∘ read)` for any suitable type, selected at run time.
2020-10-01 07:55:22 <kindaro> So far I managed to generate a huge many way if that covers all simple cases such as `Double`, `Bool` and so on.
2020-10-01 07:55:36 × bobbytables quits (~bobbytabl@ec2-44-224-191-138.us-west-2.compute.amazonaws.com) (Ping timeout: 256 seconds)
2020-10-01 07:55:59 <kindaro> Now I see that I have to put a restriction on depth and generate however many cases that will be in some sort of a list comprehension.
2020-10-01 07:56:01 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.)
2020-10-01 07:56:20 → bobbytables joins (~bobbytabl@ec2-44-224-191-138.us-west-2.compute.amazonaws.com)
2020-10-01 07:56:39 <kindaro> That is all in Template Haskell.
2020-10-01 07:56:53 → cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-10-01 07:58:09 → mmohammadi9812 joins (~mmohammad@2.178.221.242)
2020-10-01 07:58:27 × ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 240 seconds)
2020-10-01 07:58:48 → ryansmccoy joins (~ryansmcco@193.37.254.27)
2020-10-01 07:59:46 × is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 260 seconds)
2020-10-01 08:00:30 → __monty__ joins (~toonn@unaffiliated/toonn)
2020-10-01 08:00:57 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-01 08:01:58 × hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-unnsmhewxbfoaung) (Quit: Connection closed for inactivity)
2020-10-01 08:05:38 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-01 08:06:48 → mirrorbird joins (~psutcliff@2a00:801:3fb:53b9:b09b:cd4e:4e4a:44a9)
2020-10-01 08:07:25 → snakemasterflex joins (~snakemast@213.100.206.23)
←Prev  Next→
Page 1 .. 342 343 344 345 346 347 348 349 350 351 352 .. 5022

All times are in UTC.