Re: memo package - persistent memoisation

Hi Samer.

On Fri, Apr 18, 2014 at 8:21 AM, Abdallah, Samer <[email protected]>wrote:

> Hello all,
> Inspired by Jan's persistency library, I've release a new package called
> 'memo'
> for doing memoisation.


Thanks for releasing this.  I expect to use it in a couple different
projects.  It's nice not to manually rewrite this kind of memoization code
for each predicate.


>         - should I factor out some of the component functionalities, which
> at the moment, are
>                 1. type checking
>

Yes please.  library(typedef) is a very common interface, it would be great
to have a shared open source library that we can all work on together.  I
have similar (unreleased) code for type definitions for my "mavis" and
"quickcheck" libraries.  I'd gladly recommend library(typedef) if it were
an independent pack.

Is there a Git repository for this pack?  I may submit a couple patches.


As an aside, the pack documentation has the line:

    ?- sqrt1(-4.0,X). % fails

Would that give X=nothing rather than failing?  That seems to be the case
based on the earlier examples in the documentation.

-- 
Michael
-------------- next part --------------
HTML attachment scrubbed and removed