K-user mailing list

[Stefan Ciobaca <stefan.ciobaca AT gmail.com>]

Awesome!

Is there some correlation between this and KIL? Should we (try to)
keep the two synchronized?

Cheers,
Stefan

2012/2/17 Traian Florin Șerbănuță 
<tserban2 AT illinois.edu>:
>
> Hello everybody,
>
> In case somebody might be interested, I added a K(-like) module defining the
> syntax of K in the /docs directory
> http://code.google.com/p/k-framework/source/browse/trunk/docs/k-syntax/k.k
>
> It not (yet) compilable, but might be helpful at least for reference
> purposes.
> Please feel free to comment on and/or revise it.
>
> best wishes,
> - traian
>
>
> 2012/2/17 Serbanuta, Traian Florin 
> <tserban2 AT illinois.edu>
>>
>> Hi Hossein,
>>
>> I might not understand what you want precisely, but I though this is what
>> I gave you, a list of keywords reserved by K.
>> All these keywords are reserved in the sense that users should be aware of
>> them and try not to redefine them.
>>
>> I only categorized it to allow you to decide what you want to emphasize
>> and how.  If you would like to start with a smaller subset, the
>> classification I made should help you decide what to ignore.
>>
>> best wishes,
>> - traian
>>
>>
>>
>> 2012/2/17 Seyed H. HAERI (Hossein) 
>> <hossein.haeri AT gmail.com>
>>>
>>> Traian,
>>>
>>> This seems to be more than what I asked for. A list of K reserved
>>> words would do for the start. I'll come back to the syntax later
>>> perhaps.
>>>
>>> Cheers,
>>> --Hossein
>>>
>>> 2012/2/17 Traian Florin Șerbănuță 
>>> <tserban2 AT illinois.edu>:
>>> >
>>> > Sure,
>>> >
>>> > This should be useful for future reference as well.  Maybe we should
>>> > put
>>> > this on the wiki or somewhere.
>>> > Hope I'm not missing anything, I'm now quoting from the vim syntax
>>> > file,
>>> > ignoring things specific to Maude:
>>> >
>>> > file stuff:
>>> >   require
>>> >
>>> > module stuff:
>>> >   module ... end module
>>> >   imports
>>> >
>>> > Keywords:
>>> >
>>> >   syntax  --- with  '::='  and '|'
>>> >   macro
>>> >   context  with 'HOLE'
>>> >   configuration with xml cells with attributes
>>> >       <br> might be used here for typeset purposes to break lines
>>> >   rule   with '=>' for rewriting, 'when' for side conditions and
>>> > 'where' for
>>> > macro substitution
>>> >   tags  --- I'm not sure this is still used
>>> >
>>> > to be added soon:
>>> >   declare
>>> >   define
>>> >
>>> > Comments:
>>> >   //  for line comments
>>> >   //@ for LaTeX line comments
>>> >   /* for block comments */
>>> >   /*@ for LaTeX block comments */
>>> >
>>> > K Sorts:
>>> >   K with  '~>' and .K
>>> >   KLabel these usually are formatted as "quotes ids" which start with a
>>> > '
>>> > and grab everything until the next space, comma or bracket which is not
>>> > backquoted.
>>> >   List{K} with ',,' and .List{K}
>>> >   List with ListItem and .List
>>> >   Set with SetItem and .Set
>>> >   Bag with BagItem and .Bag
>>> >   Map with MapItem .Map
>>> >   CellLabel
>>> >   KResult
>>> >
>>> > Special symbols:
>>> >   '_' for anonymous variables
>>> >
>>> > Attributes:
>>> >   Strategies
>>> >      strict seqstrict hybrid structural transition superheat supercool
>>> >   Typesetting:
>>> >     large latex
>>> >     color --- this is a cell attribute
>>> >   Other:
>>> >     binder
>>> >     multiplicity --- this is a cell attribute
>>> >
>>> >   Parsing:
>>> >      prec gather
>>> >
>>> > Builtin Sorts:
>>> >   #Bool #Int #Float #String #Char #Id
>>> > Builtin Constants
>>> >   true false 0 1 ... 0.0 0.1 ...  ""
>>> > Builtin Operators
>>> >   +Int andBool ==Bool lengthString #id ....
>>> >
>>> > this should give you a pretty good picture.  Hope I didn't left
>>> > anything
>>> > out.
>>> >
>>> > best wishes,
>>> > - traian
>>> >
>>> > 2012/2/17 Seyed H. HAERI (Hossein) 
>>> > <hossein.haeri AT gmail.com>
>>> >>
>>> >> Hi Traian,
>>> >>
>>> >>
>>> >> > If you write a syntax highlighter for KDE-based applications, that
>>> >> > would
>>> >> > be
>>> >> > much appreciated, and I'll make sure it gets added to the K
>>> >> > repository.
>>> >> >  Thanks for offering to do that!
>>> >>
>>> >> My pleasure. :) Now, as the starter, can I have the list of K reserved
>>> >> words please?
>>> >>
>>> >> TIA,
>>> >> --Hossein
>>> >>
>>> >>
>>> >>
>>> >> --------------------------------------------------------------------------------------------------------------
>>> >>
>>> >> Seyed H. HAERI (Hossein)
>>> >>
>>> >> Research Assistant
>>> >> Institute for Software Systems (STS)
>>> >> Technical University of Hamburg (TUHH)
>>> >> Hamburg, Germany
>>> >>
>>> >> ACCU - Professionalism in programming - http://www.accu.org/
>>> >>
>>> >>
>>> >> --------------------------------------------------------------------------------------------------------------
>>> >>
>>> >> _______________________________________________
>>> >> k-user mailing list
>>> >> k-user AT cs.uiuc.edu
>>> >> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>>> >
>>> >
>>>
>>>
>>>
>>> --
>>>
>>> --------------------------------------------------------------------------------------------------------------
>>>
>>> Seyed H. HAERI (Hossein)
>>>
>>> Research Assistant
>>> Institute for Software Systems (STS)
>>> Technical University of Hamburg (TUHH)
>>> Hamburg, Germany
>>>
>>> ACCU - Professionalism in programming - http://www.accu.org/
>>>
>>> --------------------------------------------------------------------------------------------------------------
>>>
>>> _______________________________________________
>>> k-user mailing list
>>> k-user AT cs.uiuc.edu
>>> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>>
>>
>
>
> _______________________________________________
> k-user mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>