On a similar note, I'd like to add the question (which might be a solution)
Is there any sort of profiler available for Oz code? Possibly something built in (for debugging?) into the VM. Thanks ~Alex On Sat, Jul 25, 2009 at 8:27 PM, Rusreg<[email protected]> wrote: > I create simple logic library for parsing text (part of this library in > archive by link below). But execution time of parsing text using it is very > painful. > > Library contain LChar module that translate some function of original Char > module to nondetermistik variant, LList module - similary to List and String > module that incapsulate some string-specific operations - all in > nondeterministik way. > main.oz file contain simple use case of library - parsing the text such > "attr_name attribute values" to record property("attr_name", "attribute > values"). And such simple example work 35 second on my machine! After I > replace the realisation of Char module by content in char1.oz file, the time > grow short to 25 second. I think that problem in All procedure in LList > module: > > proc {All List Predicate Result} > choice > List = nil Result = false > [] X in List = X|nil {Predicate X true} Result=true > [] X in List = X|nil {Predicate X false} Result=false > [] X T in > X|T=List > {Predicate X true} > {All T Predicate true} > Result=true > [] X T in > X|T=List > {Predicate X false} > Result = false > end > end > > This predicate bind Result to true if all members of list obey to Predicate > and false if exist one or more members that not. > > Archive with example: > http://www.4shared.com/file/120658649/438bf6be/logic.html > > _________________________________________________________________________________ > mozart-users mailing list > [email protected] > http://www.mozart-oz.org/mailman/listinfo/mozart-users > _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
