Functional - Re: shootout: implementing an interpreter for a simple procedural language Minim

You are viewing an archived Text-only version of the thread. To view this thread in it's original format and/or if you want to reply to this thread please [click here]

Author

Re: shootout: implementing an interpreter for a simple procedural language Minim

Paul Rubin

2007-07-30, 7:08 pm

Rainer Joswig <joswig@lisp.de> writes:
> Say I have a library routine in some crypto package.
> This routine needs primes as input. How can I statically
> check the application that the routine is not
> used with non-primes?

Do you know what the Curry-Howard isomorphism is? That would help
with this discussion.

Anyway, what you're asking can be done with sufficiently fancy type
systems (like the one in Qi). However, even being able to statically
constrain that routine to integer inputs (to prevent it from receiving
nil or a string) helps discover a lot of possible program errors.
That is all that's being sought in languages like ML.

Sponsored Links