jemc changed the topic of #ponylang to: Welcome! Please check out our Code of Conduct => https://github.com/ponylang/ponyc/blob/master/CODE_OF_CONDUCT.md | Public IRC logs are available => http://irclog.whitequark.org/ponylang | Please consider participating in our mailing lists => https://pony.groups.io/g/pony
SenasOzys has quit [Remote host closed the connection]
SenasOzys has joined #ponylang
SenasOzys has quit [Remote host closed the connection]
SenasOzys has joined #ponylang
brainproxy has quit [Ping timeout: 260 seconds]
dang has joined #ponylang
dang is now known as Guest42090
brainproxy has joined #ponylang
khan has quit [Quit: khan]
khan has joined #ponylang
khan has quit [Client Quit]
khan has joined #ponylang
brainproxy has quit [Ping timeout: 256 seconds]
brainproxy has joined #ponylang
brainproxy has quit [Ping timeout: 240 seconds]
brainproxy has joined #ponylang
Guest42090 has quit [Remote host closed the connection]
SenasOzys has quit [Ping timeout: 240 seconds]
brainproxy has quit [Ping timeout: 260 seconds]
brainproxy has joined #ponylang
dipin has quit [Quit: dipin]
_whitelogger has joined #ponylang
jemc has quit [Ping timeout: 264 seconds]
brainproxy has quit [Ping timeout: 260 seconds]
brainproxy has joined #ponylang
brainproxy has quit [Ping timeout: 240 seconds]
brainproxy has joined #ponylang
endformationage has quit [Quit: WeeChat 1.9.1]
brainproxy has quit [Ping timeout: 248 seconds]
brainproxy has joined #ponylang
sternmull has joined #ponylang
khan has quit [Quit: khan]
khan has joined #ponylang
user10032 has joined #ponylang
khan has quit [Client Quit]
khan has joined #ponylang
<sternmull> are value dependent types already implemented? I see there was work on in 2016 but i cant find if it ever got into the compiler.
<doublec> sternmull: not merged into master yet iirc
<doublec> sternmull: this rfc was recently accepted though https://github.com/ponylang/rfcs/blob/master/text/0053-compile-time-expression.md
<sternmull> doublec: Ah yes, saw that yesterday. Ok, so even this as a foundation for value dependent types is not yet implemented.
<doublec> sternmull: there's the original dependent type work in this repo - the version of pony will be old though https://github.com/lukecheeseman/ponyta
<sternmull> doublec: The last commit is from end 2016. Do you know if this approach was abandoned? Are there plans to get it into master?
<doublec> sternmull: there are plans to get it into master - the compile time expression's rfc was from the same author and is part of the merging work. As I understand it anyway.
brainproxy has quit [Ping timeout: 240 seconds]
brainproxy has joined #ponylang
khan has quit [Quit: khan]
brainproxy has quit [Ping timeout: 268 seconds]
brainproxy has joined #ponylang
brainproxy has quit [Ping timeout: 256 seconds]
brainproxy has joined #ponylang
ensrettet has joined #ponylang
ensrettet has quit [Client Quit]
SenasOzys has joined #ponylang
codec1 has joined #ponylang
SenasOzys has quit [Ping timeout: 265 seconds]
SenasOzys has joined #ponylang
rurban has joined #ponylang
rurban has quit [Read error: Connection reset by peer]
khan has joined #ponylang
SenasOzys has quit [Ping timeout: 260 seconds]
SenasOzys has joined #ponylang
khan has quit [Quit: khan]
khan has joined #ponylang
khan has quit [Quit: khan]
khan has joined #ponylang
<SeanTAllen> sternmull: its basically a matter of Luke having tie
<SeanTAllen> * time
<sternmull> SeanTAllen: Sure. I think this is a very valuable feature for people coming from C++, for example the Eigen library heavily uses integers as type parameters to describe fixed size matrices. And as there is already much work done for pony i hope it gets finished :)
dangoldin has joined #ponylang
<dangoldin> I'm pretty new to Pony but am enjoying it so far - one thing I'm trying to get working is backreference substitution using the regex pattern. I've found the replace function but a unable to get the second argument to reference a group from the match.
<SeanTAllen> do you have a minimal example dangoldin?
<SeanTAllen> if you could post a link to a pony playground example, that would help others understand better.
<dangoldin> Ah will do - thanks
<SeanTAllen> im leaving soon but someone can probably help. if you dont get an answer here, give the mailing list a try as well.
endformationage has joined #ponylang
<dangoldin> Here's a quick example
<SeanTAllen> you posted the same link twice dangoldin
<SeanTAllen> so im unclear, what is it that you are attempting to accomplish?
<dangoldin> I'm trying to do a regular expression substitution but the substitution string can reference a captured group from the regex
<SeanTAllen> Does Python use PCRE?
<dangoldin> Hmm - I believe so. Is Pony POSIX?
vaninwagen has joined #ponylang
<SeanTAllen> Pony regex is powered by PCRE2
<SeanTAllen> https://pcre.org/
<dangoldin> Hmm okay - I'll do some more digging around. Thanks for the help.
<vaninwagen> dangoldin: you can use $1 to reference a regex group
<vaninwagen> By index
<vaninwagen> I got your example working with that
<dangoldin> Ah excellent - that worked. I'm not too familiar with the differences in regex syntax. Thanks a ton
<SeanTAllen> yeah, the syntax you were using was unfamiliar to me, i was spending my time googling to see if it was valid
<SeanTAllen> i dont think that is something you can do in PCRE, but PCRE does have $1, $2 etc for capturing matches
<SeanTAllen> this is some good docs on perl style regexes: http://perldoc.perl.org/perlre.html
<dangoldin> I used Perl years ago and remember it having some very complex regex functionality but completely forgot the syntax. This is really helpful so thanks. As you can all guess I'm just trying to hack together a simple Markdown to HTML utility.
<SeanTAllen> The pcre docs are also good: https://pcre.org/current/doc/html/
vaninwagen has quit [Read error: Connection timed out]
vaninwagen has joined #ponylang
matthias_wahl has joined #ponylang
<vaninwagen> Maybe something to link to from stdlib docs
bimawa2 has quit [Ping timeout: 246 seconds]
<dangoldin> I'll take a look at that - looks really interesting.
<SeanTAllen> Sylvan also did a PEG parser library that is used in the pony changelog tool. Far far less documented: https://github.com/sylvanc/peg
<endformationage> Gordon's 'Custom Result Values' feature looks like it'd be very useful for translation of parsed bits into Pony objects. (https://github.com/kulibali/kiuatan#custom-result-values)
<endformationage> I've been looking at Sylvan's PEG too. I did not know about its use in the changelog tool. I'll chech it out! Thanks.
jemc has joined #ponylang
dangoldin has quit [Remote host closed the connection]
khan has quit [Quit: khan]
khan has joined #ponylang
khan has quit [Client Quit]
khan has joined #ponylang
jemc has quit [Ping timeout: 256 seconds]
<matthias_wahl> Does anyone has a Last Weeks Playground contestant for tomorrows Last Week in Pony issue?
matthias_wahl has quit [Quit: WeeChat 2.0.1]
pudebhelper has joined #ponylang
pudebhelper has quit [Client Quit]
dangoldin has joined #ponylang
dangoldin has quit [Remote host closed the connection]
aturley has joined #ponylang
khan has quit [Quit: khan]
khan has joined #ponylang
codec1 has quit [Read error: Connection reset by peer]
khan has quit [Client Quit]
khan has joined #ponylang
vaninwagen has quit [Quit: Connection closed for inactivity]
khan has quit [Quit: khan]
khan has joined #ponylang
khan has quit [Client Quit]
khan has joined #ponylang
jemc has joined #ponylang
dipin has joined #ponylang
sternmull has quit [Ping timeout: 264 seconds]
btbytes has joined #ponylang
btbytes has quit [Client Quit]
jemc has quit [Ping timeout: 260 seconds]
user10032 has quit [Quit: Leaving]