K-user mailing list

["Guth, Dwight" <dguth2 AT illinois.edu>]

Well, the lists you get from doing what you describe are of sort K rather than the actual lists of sort List which are associative. But you can do what I did for python :

syntax KeyDatum ::= Exp ":" Exp
syntax KeyData ::= List{KeyDatum, ","}

rule mapify(a : b,  c) => a |-> b mapify(c)

rule mapify(.KeyData) => .Map

Actually using "|->" might be tricky though : not sure, never tried it.

Robby Findler <robby AT eecs.northwestern.edu> wrote:

Is there a way to write down a map as part of an input program, in a way sort of like how one can write down lists? That is, I can write 

    syntax LoS ::= List{Sting,","}

 

somewhere in a program and then I can write

  "a","b","c"

in a program somewhere and get a list. I'd like to write something like:

    syntax MoS ::= Map{Sting,"|->",","}

and then I can write:

  "a" |-> 0, "b" |-> 1

and have that come out as a K map?

Robby