K-user mailing list

["Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>]

Hi Traian,

OK, I was confused by your categorisation. Looks like I got what I wanted.

Thanks,
--Hossein

2012/2/17 Traian Florin Șerbănuță 
<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
>
>



-- 
--------------------------------------------------------------------------------------------------------------

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/
--------------------------------------------------------------------------------------------------------------