Logs: freenode/#haskell

←Prev Next→

Page 1 .. 902 903 904 905 906 907 908 909 910 911 912 .. 5022

— 502,152 events total

2020-10-27 22:42:01	<Uniaika>	the author shows a way to have multiple interpreters for an eDSL. One that would evaluate the functions, one that pretty-prints them, one that serialises them into a Tree, etc
2020-10-27 22:42:16	<Uniaika>	you may get some good stuff out of it
2020-10-27 22:42:28	<Squarism>	Maybe a start would be to just have deserialize and find other means to create the serialized "addresses".
2020-10-27 22:42:32	→	tmciver joins (~tmciver@cpe-172-101-40-226.maine.res.rr.com)
2020-10-27 22:42:32	×	GyroW_ quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-27 22:42:52	<Squarism>	Uniaika, ah cool. Ill look into that
2020-10-27 22:43:19	<Uniaika>	👍
2020-10-27 22:43:25	×	bennofs1 quits (~benno@dslb-178-000-069-093.178.000.pools.vodafone-ip.de) (Quit: WeeChat 2.7.1)
2020-10-27 22:43:29	→	justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-27 22:43:43	<Uniaika>	tell me if it helped you acquire some new techniques for your goal
2020-10-27 22:43:52	<Uniaika>	(or if it didn't)
2020-10-27 22:43:54	<Squarism>	I will
2020-10-27 22:44:28	<Rembane>	Squarism: Here's a related blog post that might be easier to digest than the paper: https://serokell.io/blog/tagless-final
2020-10-27 22:44:44	<koz_>	Tagless final doesn't help you here.
2020-10-27 22:44:48	<Squarism>	sounds like a good start. Thanks
2020-10-27 22:44:52	<koz_>	This isn't eDSL territory.
2020-10-27 22:45:01	<koz_>	Uniaika: We had a conversation on this topic already, I believe. :P
2020-10-27 22:45:29	<Rembane>	Uniaika: Have you perhaps found a new hammer? :)
2020-10-27 22:45:39	<koz_>	Rembane: Can confirm.
2020-10-27 22:46:11	<Rembane>	koz_: ^^
2020-10-27 22:46:18	<Rembane>	It is a very good hammer though.
2020-10-27 22:46:58	<koz_>	Yeah, but all hammers are, after all, hammers, not hammer-chisel-screwdriver-breadmaker-firearm-sketchpads.
2020-10-27 22:47:02	<Rembane>	Isn't there another representation of lenses called optics that's more like an initial encoding than a final encoding?
2020-10-27 22:47:17	<Rembane>	koz_: Are you talking about recursion schemes? :D
2020-10-27 22:47:35	<koz_>	Rembane: No, because you did you see any Ancient Greek there? :P
2020-10-27 22:47:45	<koz_>	Also yes, optics exist, but I don't think it helps here.
2020-10-27 22:48:04	<Rembane>	koz_: I see Ancient Greek everywhere! :D
2020-10-27 22:48:20	<Rembane>	koz_: It's like "I see dead people" but s/dead people/Ancient Greek/g
2020-10-27 22:48:40	<Rembane>	Squarism: What do you need the serialization for btw?
2020-10-27 22:48:42	<koz_>	Yep, both be dead, yo.
2020-10-27 22:48:58	<Rembane>	They have much in common.
2020-10-27 22:49:02	<Rembane>	Deadomorphisms
2020-10-27 22:49:16	<koz_>	Mortimorphisms?
2020-10-27 22:49:24	<koz_>	Thanamorphisms?
2020-10-27 22:49:45	<koz_>	Should be thanamorphisms, I think, since 'mort' is a Latin root.
2020-10-27 22:49:51	→	nuncanada joins (~dude@179.235.160.168)
2020-10-27 22:50:09	<Rembane>	Yeah, mixing greek and latin always makes for good fun
2020-10-27 22:50:40	<koz_>	Rembane: It's how privately-educated English people amuse themselves, I've heard.
2020-10-27 22:50:59	<mort>	"mort" has no relation to "morph" afaik though?
2020-10-27 22:51:30	<koz_>	mort: No it does not, but that's beside the point here. The joke is that all recursion schemes are [some Greek root] + morphism.
2020-10-27 22:51:44	→	elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-27 22:51:47	<koz_>	Such as 'anamorphism', 'catamorphism', 'hylomorphism', 'chronomorphism', etc.
2020-10-27 22:51:56	<Rembane>	Adnd you can combine them for even more fun
2020-10-27 22:51:58	→	heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-27 22:52:07	<Rembane>	And to make sweet rhymes
2020-10-27 22:52:11	<koz_>	So if we wanna talk about 'dead-related recursion schemes', 'thanamorphism' appears to be the convention-following construction.
2020-10-27 22:52:28	<Squarism>	Rembane, i have a webapp that does addition and changes to some user defined type. So i was hoping to be able to produce "all addresses for addition of values" (Nothing, List-ends) "all modifiable addresses" (any leaf of some data type)
2020-10-27 22:53:16	<mort>	I see. Is thana- or thano- a root for dead in Greek then
2020-10-27 22:53:28	<mort>	this explains the name thanos at least
2020-10-27 22:53:33	<Rembane>	Squarism: I might be out on a limb here, but can you make another representation that can both be shown/serialized and turned into traversals?
2020-10-27 22:53:47	<koz_>	mort: Indeed.
2020-10-27 22:53:49	<Rembane>	mort: Who's Thanos?
2020-10-27 22:54:02	→	ransom joins (~c4264035@2601:285:201:6720:a129:4845:9b41:4504)
2020-10-27 22:54:08	<koz_>	It's the root of words like 'thanatosis', although English doesn't lean on Greek much for words of that meaning.
2020-10-27 22:54:09	<mort>	the Marvel supervillain
2020-10-27 22:54:15	<Squarism>	Rembane, so the address needs to be sent over the wire. Also, the interface on the "server" is untyped as it only operates on a serialized version of the above mentioned user defined type.
2020-10-27 22:54:25	<koz_>	The 'cata' in 'catamorphism' means 'to collapse', like in 'catastrophe'.
2020-10-27 22:54:57	<Squarism>	Rembane, not a bad idea.
2020-10-27 22:55:03	<koz_>	But yes, the Thanos connection is indeed this.
2020-10-27 22:55:17	<Squarism>	Ill ponder that
2020-10-27 22:55:44	<koz_>	Usually we tend to use 'mort' or 'necro' in English for fancy death-related terms.
2020-10-27 22:55:49	<Rembane>	Crunchomorphism!
2020-10-27 22:56:02	<koz_>	(consider 'necrosis', 'necromancy', 'mortify', 'mortal', etc)
2020-10-27 22:56:42	<Rembane>	Squarism: Got it, untyped interface sounds exciting. :)
2020-10-27 22:56:57	<Rembane>	Necrofy, necrtal... hm...
2020-10-27 22:57:08	×	invaser quits (~Thunderbi@31.148.23.125) (Quit: invaser)
2020-10-27 22:57:17	<mort>	hydromorphism
2020-10-27 22:57:42	×	justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-10-27 22:57:43	<mort>	oh, quadromorphism, the true Fourier transform which makes numbers four-ier
2020-10-27 22:57:48	<koz_>	mort: ROFL.
2020-10-27 22:58:01	<Squarism>	Rembane, i guess it doesnt. But web only knows text and json so yeah.
2020-10-27 22:58:04	<Axman6>	gold
2020-10-27 22:58:15	<Rembane>	mort: :D
2020-10-27 22:58:21	<koz_>	Axman6: Chrysomorphism?
2020-10-27 22:58:32	<Rembane>	Squarism: That doesn't stop you from type checking it when you deserialize it. :)
2020-10-27 22:58:36	<koz_>	(inb4 I finally get where the whole 'Christ' thing came from)
2020-10-27 22:58:43	<Axman6>	@quote+ mort quadromorphism, the true Fourier transform which makes numbers four-ier
2020-10-27 22:58:43	<lambdabot>	No quotes for this person. Your mind just hasn't been the same since the electro-shock, has it?
2020-10-27 22:59:15	<Axman6>	@remember mort quadromorphism, the true Fourier transform which makes numbers four-ier
2020-10-27 22:59:15	<lambdabot>	Done.
2020-10-27 22:59:26	<Axman6>	@quote four
2020-10-27 22:59:26	<lambdabot>	copumpkin says: I love: Warning: Due to a known bug, the default Linux document viewer evince prints N*N copies of a PDF file when N copies requested. As a workaround, use Adobe Reader acroread for
2020-10-27 22:59:26	<lambdabot>	printing multiple copies of PDF documents, or use the fact that every natural number is a sum of at most four squares.
2020-10-27 22:59:57	<mort>	@quote fourier
2020-10-27 22:59:57	<lambdabot>	mort says: quadromorphism, the true Fourier transform which makes numbers four-ier
2020-10-27 23:00:24	<koz_>	Although in retrospect, I think I've hit a false cognate (krysos versus kristos).
2020-10-27 23:01:16	<mort>	re: the evince thing; just ask for sqrt(n) copies to get n copies
2020-10-27 23:01:29	<koz_>	mort: I want 3 copies, wat do.
2020-10-27 23:01:47	<Axman6>	ask for one and one and one
2020-10-27 23:01:58	<Rembane>	Ask for sqrt 3 copies. nods
2020-10-27 23:02:00	<koz_>	Axman6: Unary counting, always good.
2020-10-27 23:02:09	<mort>	just print 1.7320508075688772 copies, yeah
2020-10-27 23:02:23	<Rembane>	"Noch einmal, bitte."
2020-10-27 23:02:34	<Axman6>	assume you'll fuck one up and ask for 2 copies
2020-10-27 23:03:51	<Rembane>	I have this book on folding paper planes, so I always become happy when the printer prints too many pages. You should get a book on paper planes too.
2020-10-27 23:06:21	<MarcelineVQ>	why would you fold a paper plane
2020-10-27 23:06:28	→	jathan joins (~jathan@69.61.93.38)
2020-10-27 23:06:36	<MarcelineVQ>	it won't fly at all!
2020-10-27 23:06:50	<koz_>	MarcelineVQ: inb4 samsung joke
2020-10-27 23:07:01	<hpc>	if you fold paper, is it still a plane?

←Prev Next→

Page 1 .. 902 903 904 905 906 907 908 909 910 911 912 .. 5022

All times are in UTC.