Perl 6 - the future is here, just unevenly distributed

IRC log for #6macros, 2015-12-17

| Channels | #6macros index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
02:25 FROGGS_ joined #6macros
07:54 FROGGS joined #6macros
09:01 FROGGS joined #6macros
09:40 Ven joined #6macros
09:40 Ven o/
09:41 Ven masak: I thought I had linked some here, but apparently not – whoops! It's a scheme / racket-style system, at least
14:57 masak what is? that felt like a reply to something, but I don't know what
16:17 Ven joined #6macros
16:21 Ven masak: yes, 'twas a reply to the rust macro link
16:24 masak aha; Rust's macro system is a scheme/racket-style one?
16:24 masak I think I rejected that interpretation because I found it unlikely, for some reason :)
16:27 Ven yes, "templates"
16:28 Ven at least macro_rules :)
16:29 Ven well, it's more racket-ish than scheme-ish, because it allows more IIRC
16:30 Ven > Rust's AST is untyped for two reasons, I think (though I'm not a Rust dev). First, type inference may depend on the expansion of macros, procedural or otherwise, and so the pre-expanded AST can't be fully typed properly. Second, the type system provides the fundamental soundness guarantees that Rust relies on, and typechecking must be run after all AST manipulations are finished. This is why the AST doesn't have access to Rust's seman
16:57 masak cut off at "Rust's semant"
16:59 Ven > access to Rust's semantic type information.
16:59 Ven mmh, didn't cut off in the web client
17:00 masak well, the quote makes sense
18:53 vendethiel- joined #6macros
19:19 FROGGS joined #6macros
19:34 vendethiel joined #6macros
21:08 * masak is on a roll tonight with the 007 commits
21:14 vendethiel haha. cute implementation of @ :)
21:15 masak it's coming along :)
21:15 masak the code is a tad repetitive so far, but I'm hoping to improve on that once I have more Q types covered
21:15 masak it feels like there should be some factoring that just puts everything in a hash, like we talked about
21:17 vendethiel yeah, that seems feasible
21:18 vendethiel "@" <.ws> <name=...> '{' <.ws> <::(%rules{$<name>} // die "No such Q type: $<name>"> <.ws> '}'
21:19 masak sump'n like that
23:03 masak wacky idea #27: convert the 007 source code into a form where it regularly sets state in a global hash. have the program dump the hash at the end. randomly produce/twiddle/evolve 007 programs with the goal of getting as much "coverage" in terms of new states set in the hash.
23:04 masak inspired by https://en.wikipedia.org/wiki/American_fuzzy_lop_(fuzzer)

| Channels | #6macros index | Today | | Search | Google Search | Plain-Text | summary