Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 688 689 690 691 692 693 694 695 696 697 698 .. 5022
— 502,152 events total
2020-10-17 02:56:10 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 260 seconds)
2020-10-17 02:56:56 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer)
2020-10-17 02:56:58 × ericsagnes quits (~ericsagne@2405:6580:0:5100:2c71:50df:a168:e256) (Ping timeout: 244 seconds)
2020-10-17 02:57:00 → Stanley|00 joins (~stanley00@unaffiliated/stanley00)
2020-10-17 02:57:17 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 02:57:47 → crestfallen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-17 02:59:55 × thir quits (~thir@p200300f27f02580074cf2a3fa9ab5ee7.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-17 03:00:18 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds)
2020-10-17 03:00:33 <crestfallen> hi re: lines 27-28, are c and d equivalent because of referential transparency? (If they are equivalent, they must return the same (b -> a) , correct?
2020-10-17 03:00:37 <crestfallen> https://github.com/varreli/haskell/blob/master/handEval/unify_f_g_h.txt
2020-10-17 03:00:56 <fragamus> howdy
2020-10-17 03:01:15 → nineonin_ joins (~nineonine@216-19-190-182.dyn.novuscom.net)
2020-10-17 03:02:06 <iqubic> If c and d truely are the same, then you've got a function of the type c -> c, which can only be id.
2020-10-17 03:02:15 → chris joins (~chris@81.96.113.213)
2020-10-17 03:02:39 chris is now known as Guest93478
2020-10-17 03:02:39 × carlomagno quits (~cararell@inet-hqmc02-o.oracle.com) (Remote host closed the connection)
2020-10-17 03:03:32 × Guest93478 quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-17 03:03:34 × darjeeli1 quits (~darjeelin@122.245.216.36) (Ping timeout: 265 seconds)
2020-10-17 03:03:36 <iqubic> So, yeah, if can prove that c and d are the same type, then you've also proven that g is id.
2020-10-17 03:04:04 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 272 seconds)
2020-10-17 03:04:06 → carlomagno joins (~cararell@inet-hqmc02-o.oracle.com)
2020-10-17 03:04:06 × carlomagno quits (~cararell@inet-hqmc02-o.oracle.com) (Remote host closed the connection)
2020-10-17 03:04:48 × nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 258 seconds)
2020-10-17 03:05:55 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 03:06:32 × Gurkenglas_ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds)
2020-10-17 03:06:37 × acidjnk_new2 quits (~acidjnk@p200300d0c7237854351719f4ac22c63a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-17 03:07:23 <crestfallen> iqubic so you would back track, by saying both g's were (c -> c) By backtracking I mean naming them both c .. and then substituting (b -> c) for the id on line 28?
2020-10-17 03:07:25 → carlomagno joins (~cararell@inet-hqmc02-o.oracle.com)
2020-10-17 03:09:20 → ericsagnes joins (~ericsagne@2405:6580:0:5100:1942:718:5977:178d)
2020-10-17 03:11:07 <crestfallen> iqubic: I mean, if you have c -> (b -> a) and c ~ d, then by the idea of referential transparency, both g's must return (b -> a)
2020-10-17 03:11:34 × pera quits (~pera@unaffiliated/pera) (Ping timeout: 256 seconds)
2020-10-17 03:11:57 → wrunt[m] joins (wruntmatri@gateway/shell/matrix.org/x-lgxhuyewbpjmhgno)
2020-10-17 03:13:43 × mrchampion quits (~mrchampio@216-211-57-41.dynamic.tbaytel.net) (Ping timeout: 265 seconds)
2020-10-17 03:14:23 → fragamus_ joins (~michaelgo@73.93.154.229)
2020-10-17 03:14:28 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2020-10-17 03:14:49 <koz_> fragamus: Yo.
2020-10-17 03:15:50 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-17 03:15:55 × fragamus quits (~michaelgo@73.93.154.229) (Ping timeout: 258 seconds)
2020-10-17 03:16:24 → darjeeli1 joins (~darjeelin@122.245.211.155)
2020-10-17 03:16:25 × carlomagno quits (~cararell@inet-hqmc02-o.oracle.com) (Remote host closed the connection)
2020-10-17 03:17:48 → carlomagno joins (~cararell@inet-hqmc02-o.oracle.com)
2020-10-17 03:18:20 <crestfallen> iqubic: thanks only now saw your post at 20:03:58
2020-10-17 03:20:31 × irc_user quits (uid423822@gateway/web/irccloud.com/x-juqawwjwttxnnpia) (Quit: Connection closed for inactivity)
2020-10-17 03:20:58 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-17 03:22:01 → proofofme joins (~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-17 03:22:53 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-10-17 03:26:07 → acidjnk_new2 joins (~acidjnk@p200300d0c7237854351719f4ac22c63a.dip0.t-ipconnect.de)
2020-10-17 03:29:05 × falafel quits (~falafel@ip70-173-59-40.lv.lv.cox.net) (Ping timeout: 240 seconds)
2020-10-17 03:29:45 × slack1256 quits (~slack1256@191.125.41.183) (Ping timeout: 240 seconds)
2020-10-17 03:30:49 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 246 seconds)
2020-10-17 03:32:10 × renzhi quits (~renzhi@modemcable070.17-177-173.mc.videotron.ca) (Quit: WeeChat 2.3)
2020-10-17 03:33:34 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 03:45:32 × crestfallen quits (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Quit: Lost terminal)
2020-10-17 03:48:55 × xff0x quits (~fox@2001:1a81:53c5:c200:9543:bc08:f6aa:e535) (Ping timeout: 272 seconds)
2020-10-17 03:49:40 → xff0x joins (~fox@2001:1a81:53c5:c200:b9db:1021:8997:304)
2020-10-17 03:52:01 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-17 03:52:39 → chris joins (~chris@81.96.113.213)
2020-10-17 03:53:03 chris is now known as Guest72057
2020-10-17 03:53:25 × ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 240 seconds)
2020-10-17 03:53:59 × polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 272 seconds)
2020-10-17 03:54:35 × pjb quits (~t@2a01cb04063ec50091a4fa1f69281349.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2020-10-17 03:55:01 → pera joins (~pera@unaffiliated/pera)
2020-10-17 03:55:34 × nbloomf quits (~nbloomf@104-183-67-6.lightspeed.fyvlar.sbcglobal.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-17 03:56:16 → Guest47631 joins (~ccallahan@84.39.117.57)
2020-10-17 03:57:10 → anik joins (~anik@103.23.207.148)
2020-10-17 03:57:55 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds)
2020-10-17 03:58:28 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 258 seconds)
2020-10-17 03:59:39 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:a405:7897:267b:514b)
2020-10-17 04:06:41 × pera quits (~pera@unaffiliated/pera) (Quit: leaving)
2020-10-17 04:07:24 × shafox quits (~shafox@106.51.234.111) (Remote host closed the connection)
2020-10-17 04:10:25 × fragamus_ quits (~michaelgo@73.93.154.229) (Ping timeout: 264 seconds)
2020-10-17 04:12:01 → fragamus joins (~michaelgo@73.93.155.61)
2020-10-17 04:15:03 → mrchampion joins (~mrchampio@216-211-57-41.dynamic.tbaytel.net)
2020-10-17 04:15:10 × acidjnk_new2 quits (~acidjnk@p200300d0c7237854351719f4ac22c63a.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-17 04:16:02 × skami quits (~user@24.225.186.176) (Remote host closed the connection)
2020-10-17 04:16:57 × fragamus quits (~michaelgo@73.93.155.61) (Ping timeout: 256 seconds)
2020-10-17 04:18:38 → fragamus joins (~michaelgo@c-24-7-31-19.hsd1.ca.comcast.net)
2020-10-17 04:19:28 × Guest72057 quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-17 04:20:52 × howdoi quits (uid224@gateway/web/irccloud.com/x-vzqpthvuyxsqigap) (Quit: Connection closed for inactivity)
2020-10-17 04:21:29 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 256 seconds)
2020-10-17 04:23:57 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 04:26:04 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-10-17 04:26:37 → Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-10-17 04:28:04 <gnumonik> Hello. I am trying to write an interpreted DSL that "compiles" to Haskell (i.e. parses to haskell expressions). I would like to implement composable record accessors/setters in the DSL, so I've been trying to marshal strings into Setters/Getters from Control.Lens. I've been at it a month and there seems to be no way to get it to work (without impredicative polymorphism...) Has anyone ever tried to successfully do something like
2020-10-17 04:28:05 <gnumonik> this?
2020-10-17 04:28:25 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 240 seconds)
2020-10-17 04:29:47 <larou> where do you encounter impredictive polymorphism?
2020-10-17 04:30:38 → ephemera_ joins (~E@122.34.1.187)
2020-10-17 04:31:14 → slack1256 joins (~slack1256@191.125.41.183)
2020-10-17 04:38:48 × fragamus quits (~michaelgo@c-24-7-31-19.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-10-17 04:38:52 <koz_> larou: When you try to combine . with runST, for example.
2020-10-17 04:39:15 <koz_> With lenses, there's a nested forall in the representation.
2020-10-17 04:39:37 <larou> can you write that down?
2020-10-17 04:39:39 <koz_> That's why (I think) we have Lens and ALens.
2020-10-17 04:40:09 <koz_> larou: type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t
2020-10-17 04:40:09 <larou> how does that fit in with the question about the DSL?
2020-10-17 04:40:16 <koz_> Now try passing that as an argument.
2020-10-17 04:40:26 <koz_> You hit impredicativity issues _very_ fast.
2020-10-17 04:40:32 <larou> ah, ok
2020-10-17 04:40:59 <larou> isnt there the option of using a different representation of lenses?
←Prev  Next→
Page 1 .. 688 689 690 691 692 693 694 695 696 697 698 .. 5022

All times are in UTC.