|
6macros: discussing the finer points of Perl 6 macros, Qtrees, and how to stay sane | irclog: irclog.perlgeek.de/6macros/today Set by moderator on 3 May 2015. |
|||
|
00:15
vendethiel joined
00:52
vendethiel joined
04:36
vendethiel joined
06:15
vendethiel joined
07:12
vendethiel joined
07:59
Ven joined
08:16
Ven_ joined
08:49
vendethiel joined
09:21
vendethiel joined
10:30
Ven_ joined
10:51
vendethiel joined
13:31
vendethiel joined
14:26
Ven joined
15:04
Ven_ joined
15:41
vendethiel joined
16:33
vendethiel joined
|
|||
| vendethiel | masak: will read thanks :D | 16:36 | |
| I did see Hy go through, but not the macros | |||
| I wonder if you there's an AST-to-CST-to-Source tool in python | 16:55 | ||
| (aka, write hy without your colleagues knowing :P) | 16:59 | ||
| I wonder if top-level "def"s are special | 17:00 | ||
| (which means dynamic scope in CL) | |||
| (that's what CL uses the * * circumfix for, at least) | |||
| I'm actually looking at Pony now. | 17:26 | ||
| tutorial.ponylang.org/ | |||
| masak | oh, hadn't heard about Pony. | 18:57 | |
| vendethiel | it's coming out of nowhere :P | 18:58 | |
| masak | yeah, Pony seems cute. | 19:08 | |
| very strong guarantees, it seems. I kina like that. | |||
| vendethiel | *g* | ||
| masak | no macros? :) | ||
| vendethiel | apparently not :P | ||
| masak | oh wow, `a = b = a` | 19:11 | |
| returning the old value seemed stupid until I saw that :) | |||
| vendethiel | yeaaaah. I saw it, but I'm not convinced still :) | 19:12 | |
| maybe that's just me not liking change | 19:13 | ||
| masak .oO( then you ought to love the *old* value ) :P | |||
| vendethiel | haha. | 19:14 | |
| vendethiel .oO( Haskell! I should be writing Haskell instead! ) | |||
| masak .oO( so simple, only a monad can do it ) | 19:18 | ||
| vendethiel | .oO( ... or was it a burrito? ) |
||
| masak | no, I've finally made peace with monads. | ||
| it all became trivial when I learned that a monad is induced by an adjunction. | |||
| I was like "oooooh. why didn'y you *say* so?" :P | 19:19 | ||
| vendethiel | there's more than one way to explain it... :-) | ||
| I never got why anyone tried to explain me monads with "wrapper" | |||
| that's a shit explanation. | |||
| masak | that seems to be an explanation that captures part of the essence. maybe a third or so. | 19:20 | |
| vendethiel | I really don't think it does | ||
| the "list monad" doesn't wrap around a list. | |||
| it just says list respects 3 laws. | |||
| masak | aye. | ||
| much as nothing except the linear algebra *really* explains quantum mechanics, and all the people who don't get to those laws have to contend with "it's just... unintuitive magic. yup, that's what seems to drive the universe. enjoy." | 19:21 | ||
| vendethiel | I don't know anything about quantum mechanics :) | 19:23 | |
| masak | tl;dr: instead of probabilities 0..1, the universe seems to run on complex numbers. it's all nifty and hidden so you can't observe the complex numbers directly. you only ever observe real-valued norms of them, which have to sum to 1.0 just like ordinary probabilities. | 19:25 | |
| vendethiel | oh, I know that much | ||
| I have a *clue*, but nothing more than that | 19:26 | ||
| masak | then we're basically on the same level :) | ||
| vendethiel | haha | ||
| masak | I never took a formal course or anything | ||
| vendethiel | I never took any course, sooo..:) | ||
| masak | just enjoy reading Scott Aaronson, who seems very clued in | ||
| vendethiel | I'm afraid my personal reading list is too full to add stuff on it | 19:29 | |
| to* it. ugh, my english. | |||
| masak | probably best. | ||
| there's a lot of interesting stuff to read :) | |||
| vendethiel | I'm absolutely sure it's a good read, but.. :-) | 19:30 | |
| masak | "it" :) | ||
| we're talking years of fascinating blogging | |||
| vendethiel | must. resist.! | ||
| masak | along with... external assets. | 19:31 | |
| like a whole online course "Quantum Computing since Democritus" | |||
| or a whitepaper about how if free will exists, it must have been mediated by special caual arrows since the Big Bang | |||
| vendethiel | ugh. | 19:32 | |
| :-) | |||
| to change topic on something I feel more confident about! | 19:33 | ||
| I realize I now look at macros like something a language can't really avoid having | 19:34 | ||
| (or at least, have tons of metaprogramming capabilities) | |||
| masak | *nod* | 19:37 | |
| vendethiel | *but* | 19:45 | |
| I also realize how hard that makes for tools to check for correctness | |||
| masak | it's a balance act, fershure. | 19:55 | |
| vendethiel | mmmh. | 19:58 | |