OK -- I see the light now ... What we need to do is
1) make a surface syntax for Atomese that is effectively like Agda, but a good bit prettier 2) make an ultra-fast type checker that encompasses moderately complex dependent types 3) then instead of using slow Agda, and incurring the overhead of going Agda ==> Haskell ==> C++ ... we just go straight NewAtomese ==> C++, and everything is fast as well as elegant (well everything except the slow things actually happening inside OpenCog...) ... in line with the general principle that integrating others' ideas sometimes ends up working better than integrating their code... But ... well ... not this month I guess ;) ben -- Ben Goertzel, PhD http://goertzel.org Super-benevolent super-intelligence is the thought the Global Brain is currently struggling to form... -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/opencog. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/CACYTDBdDBfi%3DSSnvRpixtsL_AqRu75AxZbX%2BAN9UkdLZAZHX2A%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
