Re: Run-Time Concepts

167 views
Skip to first unread message

Bryce Glover

unread,
Mar 7, 2016, 5:25:17 PM3/7/16
to conc...@isocpp.org, sg...@isocpp.org, refle...@isocpp.org
Andy Prowl <andy....@gmail.com>: Feb 23 10:33PM +0100

The file is truncated because it is (or more precisely, it was) a work in progress. Pages beyond 71 only contain notes, pictures, placeholders, and pieces of text which I didn’t tidy up yet :)

Is your proposal available in the pre-Jacksonville mailing or slated to be part of a future mailing?  I would like to take a look at it, notes, examples, and all, even though I’m really only just a casual observer here on the forums.  

— Bryce Glover

Michael Wong

unread,
Mar 10, 2016, 1:42:52 PM3/10/16
to SG14 - Game Dev and Low Latency, conc...@isocpp.org, refle...@isocpp.org, andy....@gmail.com
Thanks, I just finished going through this thread. This looks very interesting. I wanted to ask if anyone is looking to continue investing time to develop the proposal. What is there, up to pg 71 seems quite elaborate and should be presented.

I don't think any of you are at SG14's GDC meeting next Monday. But I would encourage more work on this.

On Tuesday, March 8, 2016 at 7:19:43 AM UTC-5, Andy Prowl wrote:
My draft is not a proposal yet. Perhaps at some point it will become one (I'm trying to find some time to work on it), but definitely not targeting C++17. I have this idea of submitting a talk to CppCon about them, to raise interest and possibly gain support - especially help with implementation. Haven't made my mind up yet, and I would need some more material and thoughts.

If you're interested, there is a github repo where I keep the latest version of the draft together with the code examples that use the libraries from Section 2. 

https://github.com/andyprowl/virtual-concepts

Andy

Zach Laine

unread,
Mar 10, 2016, 1:59:18 PM3/10/16
to refle...@isocpp.org, SG14 - Game Dev and Low Latency, conc...@isocpp.org, Andy Prowl
On Thu, Mar 10, 2016 at 12:42 PM, Michael Wong <fragga...@gmail.com> wrote:
Thanks, I just finished going through this thread. This looks very interesting. I wanted to ask if anyone is looking to continue investing time to develop the proposal. What is there, up to pg 71 seems quite elaborate and should be presented.

I don't think any of you are at SG14's GDC meeting next Monday. But I would encourage more work on this.

I have something that's pretty far along too, but I haven't shown anyone but Andy and Andrew.  If there's interest, I can forward it along.

Zach

Bryce Glover

unread,
Mar 14, 2016, 5:29:32 PM3/14/16
to conc...@isocpp.org, refle...@isocpp.org, sg...@isocpp.org
Andy Prowl <andy....@gmail.com>: Mar 08 04:19AM -0800 


My draft is not a proposal yet. Perhaps at some point it will become one (I'm trying to find some time to work on it), but definitely not targeting C++17. I have this idea of submitting a talk to CppCon about them, to raise interest and possibly gain support - especially help with implementation.  Haven't made my mind up yet, and I would need some more material and 
thoughts.  

If you're interested, there is a github repo where I keep the latest version of the draft together with the code examples that use the libraries from Section 2. 
 
https://github.com/andyprowl/virtual-concepts
 
Andy

Thanks a lot, Andy!  I’ve actually taken a look at it already, and what I’ve seen looks pretty good so far aside from a handful of non-critical editorial issues and stylistic quibbles that I may try and find the time to fix for you even though I’m only a novice programmer and forum lurker.  
–––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––
Michael Wong <fragga...@gmail.com>: Mar 10 10:42AM -0800 


Thanks, I just finished going through this thread. This looks very interesting. I wanted to ask if anyone is looking to continue investing time to develop the proposal. What is there, up to pg 71 seems quite elaborate and should be presented.  


It’s good to hear that somebody with more experience in working with the committee shares an opinion with little old me!  

 
I don't think any of you are at SG14's GDC meeting next Monday. But I would 
encourage more work on this.  

Wonderful!  I look forward to seeing what progress you guys can make on this front.  
–––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––
Zach Laine <whatwasth...@gmail.com>: Mar 10 12:59PM -0600

I have something that’s pretty far along too, but I haven't shown anyone but Andy and Andrew. If there's interest, I can forward it along.

Zach

Patrice Roy <patr...@gmail.com>: Mar 10 02:29PM -0500 

Please do; I, for one, am curious. Cheers!

Seconded!  
–––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––
Andy Prowl <andy....@gmail.com>: Mar 11 11:40AM +0100 

Two things.
 
1) There is an old thread about this on std-proposals, which recently raised some new interest:
 
https://groups.google.com/a/isocpp.org/forum/#!topic/std-proposals/4gEt2OBbSQM


Thanks for the link!  

 
2) I'm trying to invest some more time on this. Here is a link to the latest version of the draft, including a few more pages:
 
https://github.com/andyprowl/virtual-concepts/raw/master/draft/Dynamic%20Generic%20Programming%20with%20Virtual%20Concepts.pdf

Just one quick question:  where in the document did you add those pages?  It’s not exactly obvious from skimming the table of contents, and they didn’t appear to be at the end at first glance, either.  
–––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––
Andy Prowl <andy....@gmail.com>: Mar 11 02:44AM -0800 

I am not sure what is the best way to present this work. It is unfinished, and not backed by any implementation, so for the moment I wouldn't go to the Committee with this. Perhaps a talk would be a good start.

Either that and/or you might consider a short series of blog posts detailing the feature and referencing the incomplete paper and a talk if you give one sounds like a good idea to me.  

Regards, 
     Bryce Glover

Zach Laine

unread,
Mar 14, 2016, 5:43:49 PM3/14/16
to refle...@isocpp.org, conc...@isocpp.org, SG14 - Game Dev and Low Latency
On Mon, Mar 14, 2016 at 4:29 PM, Bryce Glover <random...@gmail.com> wrote:
–––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––
Zach Laine <whatwasth...@gmail.com>: Mar 10 12:59PM -0600

I have something that’s pretty far along too, but I haven't shown anyone but Andy and Andrew. If there's interest, I can forward it along.

Zach

Patrice Roy <patr...@gmail.com>: Mar 10 02:29PM -0500 

Please do; I, for one, am curious. Cheers!

Seconded!  

I'm replying-all because of some weirdness in the bounce notifications from at least one of the lists above; I didn't even know until now that my post made it.  Sorry in advance for multiposting.  Please let me know which list I should be responding to.

I've attached the latest draft.  A partial GCC front-end implementation (no AST generation yet, since that's really hard in GCC) exists at:


this includes tests, and is largely proof of the grammatical portion of such a change.

Zach 
paper.pdf

Klaim - Joël Lamotte

unread,
Apr 8, 2016, 8:14:27 AM4/8/16
to sg...@isocpp.org, refle...@isocpp.org
Hi, I just wanted to add a bit of positive support on these future proposals, in particular about the wip-proposal from Andrew Prowl.

Both in my own projects (games and tools for digital comics) and at dayjob (humanoid robots) we have tons of cases
where constrainted type erasure is the best way to go. Unfortunately we have different cases implemented in different ways
and most of them are not very good implementations.
We cannot really use the solutions analyzed in the dynamic concepts document, so we have custom ones.
I recently tried to factorize code from concept-erased types as much as possible and realized that the best I can do
without using something like Boost.Concept would be to factorize only the implementation of the internal storage,
which is cool but still require each new type-erasing type to have a lot of specific code.

Anyway, I'm really interested in this work and would be happy to help in some ways, even if I'm limited in resource and knowledge.

Joël Lamotte


--
You received this message because you are subscribed to the Google Groups "SG14 - Game Dev and Low Latency" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sg14+uns...@isocpp.org.
To post to this group, send email to sg...@isocpp.org.
Visit this group at https://groups.google.com/a/isocpp.org/group/sg14/.
To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/sg14/CALOpkJCJx-hhW%3DX-T1X%2BUv%2Bpows8BpgNfE70cbkUFi33gw23vg%40mail.gmail.com.

Reply all
Reply to author
Forward
0 new messages