Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 .. 5022
— 502,152 events total
2020-11-21 21:44:28 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-11-21 21:44:33 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds)
2020-11-21 21:45:39 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-11-21 21:46:53 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-11-21 21:49:40 → p-core1 joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-11-21 21:49:56 × p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Client Quit)
2020-11-21 21:49:56 p-core1 is now known as p-core
2020-11-21 21:53:34 × Franciman quits (~francesco@host-79-27-199-238.retail.telecomitalia.it) (Quit: Leaving)
2020-11-21 21:54:15 <c_wraith> I think this is why codeworld doesn't expose the Prelude at all. It provides a set of base functionality that uncurries everything so that people don't have to not use commas
2020-11-21 21:57:10 <ski> :(
2020-11-21 22:00:18 × tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 272 seconds)
2020-11-21 22:01:34 <monochrom> Haha this is great. My wild guess theory is right on.
2020-11-21 22:02:17 <monochrom> Perhaps I really understand human nature! Long live cynicism!
2020-11-21 22:05:02 → Fractalis joins (~Fractalis@2601:987:280:8d40:eda9:f9e1:2072:cea7)
2020-11-21 22:07:49 → tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2020-11-21 22:08:13 × dfaiv quits (44f9e9e4@68-249-233-228.lightspeed.okcbok.sbcglobal.net) (Remote host closed the connection)
2020-11-21 22:09:30 hackage timerep 2.0.1.0 - Parse and display time according to some RFCs (RFC3339, RFC2822, RFC822) https://hackage.haskell.org/package/timerep-2.0.1.0 (koral)
2020-11-21 22:10:32 × knupfer quits (~Thunderbi@200116b82ce1e10028bb8f758d5216f6.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-11-21 22:10:38 <maerwald> I wonder how long the haskell survey results take
2020-11-21 22:10:48 <maerwald> it's been a week since it's closed I think
2020-11-21 22:12:55 → Tops2 joins (~Tobias@dyndsl-095-033-092-149.ewe-ip-backbone.de)
2020-11-21 22:16:32 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-11-21 22:16:46 × cheater quits (~user@unaffiliated/cheater) (Ping timeout: 272 seconds)
2020-11-21 22:17:33 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-21 22:18:04 × jonatanb quits (jonatanb@gateway/vpn/protonvpn/jonatanb) (Remote host closed the connection)
2020-11-21 22:19:14 → inkbottle joins (~inkbottle@aaubervilliers-654-1-104-55.w86-212.abo.wanadoo.fr)
2020-11-21 22:19:48 → GuerrillaMonkey joins (~Jeanne-Ka@66.115.189.194)
2020-11-21 22:20:40 × jneira quits (02896ac0@gateway/web/cgi-irc/kiwiirc.com/ip.2.137.106.192) (Ping timeout: 256 seconds)
2020-11-21 22:21:40 × Jeanne-Kamikaze quits (~Jeanne-Ka@66.115.189.174) (Ping timeout: 246 seconds)
2020-11-21 22:22:11 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-11-21 22:26:32 × GuerrillaMonkey quits (~Jeanne-Ka@66.115.189.194) (Ping timeout: 265 seconds)
2020-11-21 22:28:16 × inkbottle quits (~inkbottle@aaubervilliers-654-1-104-55.w86-212.abo.wanadoo.fr) (Ping timeout: 240 seconds)
2020-11-21 22:28:57 × mrchampion quits (~mrchampio@216-26-218-246.dynamic.tbaytel.net) (Ping timeout: 265 seconds)
2020-11-21 22:29:24 × chaosmasttter quits (~chaosmast@p200300c4a72cf8017c557ee44a5933bf.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-11-21 22:31:40 × xerox_ quits (~xerox@unaffiliated/xerox) (Quit: leaving)
2020-11-21 22:34:27 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-21 22:34:59 → mrchampion joins (~mrchampio@216-26-218-246.dynamic.tbaytel.net)
2020-11-21 22:36:02 → cheater joins (~user@unaffiliated/cheater)
2020-11-21 22:36:17 × alp quits (~alp@2a01:e0a:58b:4920:c8af:eb98:65bc:27e4) (Ping timeout: 272 seconds)
2020-11-21 22:37:22 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-21 22:38:56 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-11-21 22:40:28 → cosimone joins (~cosimone@93-47-228-249.ip115.fastwebnet.it)
2020-11-21 22:41:00 → Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk)
2020-11-21 22:44:44 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-11-21 22:45:37 <texasmynsted> sounds like somebody needs to write a haskell program to tabulate the results
2020-11-21 22:48:27 × sondr3_ quits (~sondr3@cm-84.211.56.132.getinternet.no) (Quit: Leaving)
2020-11-21 22:49:00 → conal joins (~conal@64.71.133.70)
2020-11-21 22:50:22 × Fractalis quits (~Fractalis@2601:987:280:8d40:eda9:f9e1:2072:cea7) (Quit: Leaving)
2020-11-21 22:50:23 → avoandmayo joins (~textual@122-58-109-105-adsl.sparkbb.co.nz)
2020-11-21 22:50:41 → redmp joins (~redmp@mobile-166-137-178-147.mycingular.net)
2020-11-21 22:51:08 <redmp> is there a way to define a relation on types, such that i can query either side and get the other?
2020-11-21 22:51:16 → Fractalis joins (~Fractalis@2601:987:280:8d40:eda9:f9e1:2072:cea7)
2020-11-21 22:51:40 <redmp> i'm contemplating storing a list of pairs of types and then defining lookup for the left item and lookup for the right item..
2020-11-21 22:53:05 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-21 22:53:40 <texasmynsted> redmp: How would you use this? I am curious
2020-11-21 22:54:02 × p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Ping timeout: 260 seconds)
2020-11-21 22:55:29 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 260 seconds)
2020-11-21 22:55:30 <texasmynsted> You could make a list of two-item ring buffers.
2020-11-21 22:56:21 <texasmynsted> hmm. maybe that is not helpful. I really do not know what you want to do
2020-11-21 22:56:30 hackage rowdy-yesod 0.0.1.1 - An EDSL for web application routes. https://hackage.haskell.org/package/rowdy-yesod-0.0.1.1 (parsonsmatt)
2020-11-21 22:56:49 <ski> redmp : how about a multi-parameter type class (possibly with functional dependencies) ?
2020-11-21 22:56:53 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-11-21 22:57:32 × Alleria_ quits (~AllahuAkb@2604:2000:1484:26:b060:c081:3394:137) (Ping timeout: 260 seconds)
2020-11-21 22:58:06 <redmp> ah, sorry, i was unclear.. the querying is a type level thing. I'm going to be querying at compile time
2020-11-21 22:58:20 → Alleria_ joins (~AllahuAkb@2604:2000:1484:26:b060:c081:3394:137)
2020-11-21 22:59:06 <ski> so do you think MPTCs, perhaps with FDs, could be helpful ?
2020-11-21 22:59:37 <redmp> it might be? i'm not usually very successful when i try to use MPTCs
2020-11-21 22:59:59 <redmp> i was thinking of a type level list and a type level lookup function because i think of that as being simpler
2020-11-21 23:00:05 <redmp> MPTC would be nice because it's open
2020-11-21 23:00:42 × cosimone quits (~cosimone@93-47-228-249.ip115.fastwebnet.it) (Quit: cosimone)
2020-11-21 23:00:59 × zebrag quits (~inkbottle@aaubervilliers-654-1-104-55.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2020-11-21 23:02:38 × tremon quits (~aschuring@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2020-11-21 23:03:50 <ski> i guess it depnds on how you're intending to use it, as texasmynsted said
2020-11-21 23:04:20 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-21 23:05:12 → zebrag joins (~inkbottle@aaubervilliers-654-1-104-55.w86-212.abo.wanadoo.fr)
2020-11-21 23:06:07 × sand_dull quits (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) (Ping timeout: 246 seconds)
2020-11-21 23:06:48 × elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2020-11-21 23:06:56 → Varis joins (~Tadas@unaffiliated/varis)
2020-11-21 23:07:06 <redmp> err, i'm trying to represent a relation between types as a type family so that i can type some functions in terms of each domain from the other.. ie. FooOf BarType would give me the FooType from the Foo domain which corresponds to BarType... and then i could also say BarOf FooType to get back
2020-11-21 23:08:04 × vancz quits (~vancz@unaffiliated/vancz) (Ping timeout: 272 seconds)
2020-11-21 23:08:04 × pie_ quits (~pie_bnc]@unaffiliated/pie-/x-0787662) (Ping timeout: 272 seconds)
2020-11-21 23:08:16 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds)
2020-11-21 23:09:15 → pie_ joins (~pie_bnc]@unaffiliated/pie-/x-0787662)
2020-11-21 23:09:15 → vancz joins (~vancz@unaffiliated/vancz)
2020-11-21 23:09:48 → dftxbs3e joins (~dftxbs3e@unaffiliated/dftxbs3e)
2020-11-21 23:12:04 × unlink_ quits (~unlink2@p57b85d53.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-11-21 23:12:19 → unlink_ joins (~unlink2@p200300ebcf179a00278fd81c0246cc89.dip0.t-ipconnect.de)
2020-11-21 23:12:35 <redmp> and then i can say things like `toFoo :: a -> FooOf a` and `fromFoo :: FooOf a -> a` or something
2020-11-21 23:12:55 <redmp> those would have to be typeclass methods, i think
2020-11-21 23:16:00 × dftxbs3e quits (~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection)
2020-11-21 23:17:13 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-21 23:17:16 → sand_dull joins (~theuser@c-73-149-95-105.hsd1.ct.comcast.net)
2020-11-21 23:18:17 × Tops2 quits (~Tobias@dyndsl-095-033-092-149.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-11-21 23:18:23 × son0p quits (~son0p@181.136.122.143) (Quit: leaving)
2020-11-21 23:19:29 → dftxbs3e joins (~dftxbs3e@unaffiliated/dftxbs3e)
2020-11-21 23:19:44 <ski> redmp : hm, you could have injectivity to ensure it's invertible. however, i wonder if there's a nice way to ensure that `FooOf' is the inverse of `BarOf'
2020-11-21 23:20:16 <ski> yea. you're probably looking at associated type families, then
2020-11-21 23:20:48 × Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 256 seconds)
2020-11-21 23:21:02 × mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Read error: Connection reset by peer)
2020-11-21 23:21:53 → conal joins (~conal@64.71.133.70)
←Prev  Next→
Page 1 .. 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 .. 5022

All times are in UTC.