k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Finding Free Variables in a Statement

From: Derek Sorensen <derek AT pyrofex.net>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Finding Free Variables in a Statement
Date: Wed, 23 May 2018 13:04:10 -0600
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=derek AT pyrofex.net; dkim=pass header.d=pyrofex-net.20150623.gappssmtp.com header.s=20150623; dmarc=none

Hi all,
Is there a way in K to detect and/or use free variables in a given statement?
I’m trying to write a general rewrite rule that checks for free variables in
a statement and am having a bit of trouble.
(Prof Rosu referred me to look at the Damas-Milner type inferencer in lesson
9.5, but I can't seem to find lesson 9.5 in the online tutorial. Is that
somewhere else?)
Best,
Derek

[[K-user] ] Finding Free Variables in a Statement, Derek Sorensen, 05/23/2018
- Re: [[K-user] ] Finding Free Variables in a Statement, Andrej Tokarčík, 05/24/2018