Perl 6 - the future is here, just unevenly distributed

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

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

All times shown according to UTC.

Time Nick Message
00:47 * masak waves from 6h into the future
00:52 masak Ven: "colon is over used" -- noted. I want you to know that I'm aware of this :) we'll see where it leads.
00:52 masak overused*
00:53 masak basically, the flight allowed me to mull over exactly how much quasis need to late-bind things we've traditionally associated with *parsing*.
00:53 masak not just macro expansion -- which is blazingly obvious once you start thinking about it
00:54 masak but things like the exact shape of the AST in an expression involving unquoted operators -- due to them having unknown prec/assoc at parse time
00:54 * masak wants to blog about this
00:58 masak Ven: elixir is very readable: https://github.com/msaraiva/exsa​mples/blob/master/lib/samples.ex -- thanks for sending along that link
00:58 masak there's something attractive and honest about the quote/unquote keywords :)
00:59 masak but I suspect TimToady wouldn't like it that `unquote` looked like a sub call
00:59 masak thought... hm
01:00 masak if we managed to express unquote as a *macro*... :>
01:00 * masak rubs hands evilly
01:30 masak Ven: quick/rough suggestion to reduce the density of colons: `my count is Int = 0;` `sub add(lhs is Int, rhs is Int) { ... }` `-> s is Str { ... }` `sub add(lhs, rhs) returns Int { ... }`
01:32 masak and, strangely-consistently, `{{{id is Q::Identifier}}}`
01:45 * masak wishes he had a shorter keyword than `returns` for that function
01:48 masak I guess `of` kind of works... or `give`... or `to`...
06:38 Ven joined #6macros
06:49 * Ven uses mostly --> nowadays :)
06:52 masak I like the colons, so if you're lukewarm to the suggestion, I'll keep them :)
07:06 Ven oh, go ahead.
07:07 Ven it's just a "I think I've seen colons somewhere"
07:12 masak :)
07:17 masak the overloading of colons in both object literals and type annotations bother me a tiny bit
07:18 masak mostly because one is <general>: <specific> and the other <specific>: <general>, kind of
07:28 Ven joined #6macros
07:36 Ven right.
07:38 masak which is partly why I suggested `is` instead.
07:38 masak but I'm not necessarily more fond of the `is` proposal than the `:` proposal.
07:50 Ven joined #6macros
07:52 Ven I'm not either
09:13 Ven joined #6macros
11:34 Ven joined #6macros
12:51 Ven_ joined #6macros
13:19 Ven joined #6macros
13:54 Ven joined #6macros
14:13 FROGGS_ joined #6macros
14:57 Ven joined #6macros
15:03 Ven joined #6macros
16:16 Ven masak: I found the paper http://bracha.org/pluggableTypesPosition.pdf
17:56 vendethiel joined #6macros
18:00 vendethiel masak: so, just to make something "clear"
18:01 vendethiel after reading your blog post
18:01 vendethiel I don't think languages have experimented with what you're doing
18:02 vendethiel lisps can "just" use "read" to "splice in" unquotes
18:03 vendethiel languages like scala have predefined precedence
19:00 FROGGS_ joined #6macros
19:10 vendethiel joined #6macros
19:19 vendethiel joined #6macros
19:50 vendethiel joined #6macros
21:30 vendethiel joined #6macros
21:33 vendethiel I need to finish up my PR, heh
23:09 Ven_ joined #6macros

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