|
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 16 April 2015. |
|||
| masak | it does have infix ops. | 06:11 | |
|
07:01
Ven joined
09:53
Ven joined
|
|||
| Ven | 007 parses infixes with `<expr> + % <infixish>` ? | 12:52 | |
| but that's the definition of an expr, isn't it? | |||
| masak | this method parses infixes: github.com/masak/007/blob/03dd6f8b...er.pm#L191 | 13:39 | |
| I feel like maybe one of us is confused. :) | |||
| Ven | I am :D | 14:27 | |
| I want to parse, say "a + b", but if I write `token expr { <expr> <op> <expr> }`, this'll not work well :) | 14:28 | ||
| sorry for the late answer, I'm doing some objective-c, and it's a terrible language | 14:29 | ||
| masak | yes, that indeed won't work. | 15:03 | |
| it's called something like "left-recursive". it loops forever, just like `sub foo { foo(); ... }` would. | 15:04 | ||
| Ven | yeah | 15:36 | |
| that much I know :) | |||
| masak | I'm sorry, I don't know if there's a topic left after that. :) | 15:46 | |
|
17:07
vendethiel joined
|
|||
| vendethiel | right, right. | 17:27 | |
| but I don't want to, say, look "up to an operator" and parse everything between my current position and that | |||
| mh | 17:29 | ||
| I was asking to do a technical review for a book (on coffeescript) | 17:30 | ||
| but I'm afraid I won't find that for that between school and al | |||
| masak | you were asked? | 18:51 | |
| yeah, any kind of task like that takes time. usually more than expected. | 18:52 | ||
| vendethiel | I received an email, offering me to review one | ||
| masak | I downloaded and used Coq for the first time yesterday. impressed. | ||
| I also read through an entire tutorial on it. | |||
| vendethiel | never tried Coq! | 18:53 | |
| I should | |||
| masak | I especially like how they nicely braid three sublanguages: one for high-level definitions, one for types, and one for proof tactics. | 18:54 | |
| in that same vein, I liked reading bentnib.org/posts/2015-04-17-propos...-make.html | 18:56 | ||
| somehow that really clicked for me. maybe I'm in an intuitionistic type theory mood right now. | 18:57 | ||
| vendethiel | that's a ... very specific mood | ||
| masak | :D | 18:59 | |
| vendethiel | I'm a pretty bad mood myself, but I can impute that to objective-c/ios programming and sleep deprivation :) | 19:00 | |
| that was an interesting read | 19:01 | ||
| I'm not much in the type theory field these days | |||
| I've been spending some time reading the c++ standard | |||
| masak | what's your general impression of C++ ? | 19:02 | |
| vendethiel | it's actually very perl6-like, in *some* sense. | ||
| "they wondered if that was possible, and never asked themselves if they should do it instead" | 19:03 | ||
| I totally butchered that quote (jurassic park quote?) but that's the sentiment | |||
| masak | yeah, that's my impression, too | ||
| it's the same premise but quite a different result, though | |||
| vendethiel | right. | ||
| as I talked earlier, the fact they implemented lambda in the language before it was added | |||
| the fact they have a compile-time-generation of parser (boost.spirit) | 19:04 | ||
| or the fact they created something akin our Whatever (Boost.phoenix) | |||
| the fact they have a compile-time regex-compiling engine | |||
| the fact they have .... | |||
| I guess I'm really interested in learning "deep dark magic" stuff | 19:05 | ||
| and that's why I'm learning this stuff | 19:06 | ||
| I'll never say c++ is a good language | |||
| masak | *nod* | 19:10 | |
| vendethiel | but it's interesting | ||
| as a grew-up-with-backwards-compat | 19:11 | ||
| much in the same way as perl, imho | |||
| masak | yeah. | 19:23 | |
| and AngularJS | |||
| (been teaching that today) | |||
| the directive API... is quite powerful but leaves much to be desired in terms of beauty. | 19:24 | ||
| vendethiel | right | 19:25 | |
| it has this java feeling :P | 19:26 | ||
| masak | no, it has this inconsistent ball of mud feeling :) | 19:42 | |
|
22:58
vendethiel joined
23:22
vendethiel joined
|
|||