On Fri, Apr 26, 2013 at 5:05 PM, Vincent Aravantinos <
vincent.aravanti...@gmail.com> wrote:
> Where would these environments live in the implementation of the logic?
> Are they attached to terms?
> Then something like:
>
> let x = mk_var("P",bool) in
> let P = mk_var("P",`:bool->bool`) in
> mk_comb(P,x)
>
> would have to either fail or automatically rename a variable.
> This could be annoying in writing automation when the variables come
> from elsewhere (not just calls to mk_var).
>
>
> No idea. Intuitively, I would rather pair terms with an environment
> instead of considering a general environment.
>
Yes, I was also suggesting to pair terms with environments, but that leads
to the problem I was trying to hint at of merging the environments and
dealing with conflicts whenever you combine two terms (which happens a
lot!)
------------------------------------------------------------------------------
Try New Relic Now & We'll Send You this Cool Shirt
New Relic is the only SaaS-based application performance monitoring service
that delivers powerful full stack analytics. Optimize and monitor your
browser, app, & servers with just a few lines of code. Try New Relic
and get this awesome Nerd Life shirt! http://p.sf.net/sfu/newrelic_d2d_apr
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
