k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] Runtime state and types

From: Russell Wallace <russell.wallace AT gmail.com>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] Runtime state and types
Date: Mon, 4 Sep 2017 01:27:05 +0100
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=russell.wallace AT gmail.com

I'm still trying to get my head around exactly how the runtime model of K works, so trying to boil it down to a concrete question:

Per the tutorials, a K runtime contains, or at least may contain, a 'state' cell which is a map of names to values. What exactly is the type of this map?

The keys are strings, right?

What about the values? Are they dynamic as in Lisp or Python? In which case, would it be accurate to say K uses a dynamic type system similar to those languages?

[[K-user] ] Runtime state and types, Russell Wallace, 09/03/2017
- Re: [[K-user] ] Runtime state and types, Everett Hildenbrandt, 09/05/2017
  - Re: [[K-user] ] Runtime state and types, Yilong Li, 09/06/2017