` [char] ` is compile-only - it will get the (ascii-) value of the next char, and compile it as a `literal`. It's interpret-semantics are undefined, and the word `char` must be used outside of your colon-definitions. The `char` word is more or less the implementation used by `[char]`, as in

 : [char]  ?comp char postpone literal ; immediate 

In pfe, the `[char]` is state-smart - in interpret-mode, it will only do `char` and it will not call `literal`. The char-value is left on the stack just as it is done in a compiled word that has used `[char]`.

 : [char]  char state @ if literal then ; immediate 

` ['] ` is compile-only - it will get the execution-token of the next word, and compile it as a `literal`. It's interpret-semantics are undefined, and the word `'` must be used outside of your colon-definitions. The `'` word is more or less the implementation used by `[']`, as in

 : [']  ?comp ' postpone literal ; immediate 

In pfe, the `[']` is state-smart - in interpret-mode, it will only do `'` and it will not call `literal`. The tick-value is left on the stack just as it is done in a compiled word that has used `[']`.

 : [']  ' state @ if postpone literal then ; immediate 

` ." string" ` is compile-only - it will parse the string, compile it, and when the compiled word is executed, it will print the string to the terminal. The usage of ` .( string) ` will run immediatly, to show the string to the terminal in both compile- or interpret-mode, which is good for notifications during compiling of a forth script. The non-immediate word would be `type` that needs to be passed a string which could be compiled with `sliteral`.

In PFE, the `."` is made state-smart, therefore in interpret-mode, it will instantly print the string to the terminal, just like `.(` would do. In compile-mode it parses and compiles the string (`sliteral`) and postpones a `type`-execution.

 
	: .( 	postpone "  type ; immediate
	: ."  	postpone " 
		state @ 0= if type 
		else postpone sliteral postpone type fi
	; immediate

` C" string" ` is compile-only - it will parse the string, compile it, and when the compiled word is executed, the string-address will be avaiable for further usage in the word. There is originally no interpret-semantics for the strings, but ANS Forth has defined one only for the usage with `included`. You will find that the ANS Forth standard has two descriptions of `S"`, where one is in CORE, the other is in FILE-EXT - only the latter is more or less state-smart.

The problem with interpreted string constants is the question where the string is stored. In traditional systems, the stringconstant is put into a temporary location called the `pocket`. Many systems (including the PFE) have more than one pocket that are used in a round-robin fashion, but the user should be aware that interpret string-constants are only temporary - they will be overwritten in the pocket by some other call later on.

The usage of `included` from the FILE-EXT wordset however suggests that one does need stringconstants in interpret-mode, and ANS Forth has therefore defined that `S"` should be extended with an interpret-semantics if `included` is available in a forth system. However, `S"` is easier for temporary strings than `C"` - an implementation can choose to return the address and length of the charstring in the TIB - the terminal input buffer. In such a system, the use of such an intepret-mode string construct would only last for a single line entered - the following `included` call must be on the same line as the `S"`-quoted string-constant.

PFE however is very traditional (it's one of the features of PFE) and in interpret-mode, all these stringconst quote-words will actually parse the string into a pocket whose address is returned. Usually, PFE is configured to have eight pockets, and a maintainer is asked to never configure with less than two pockets to enable move-file and rename-file operations from the commandline. And always remember - interpret-mode stringconstants are temporary, and their number is limited.

All these words are compile-only - they are used to compile a value on the (cs-)stack into the dictionary and to return their value/address during execution of the compiled word.

It is easy to add a bit of state-smartness to these words - compilation is only done in compile-mode, while in interpret-mode it will do as if it is already running. `literal` will leave the value on stack, actually a `noop` in pfe. The same for `2literal` that leaves the 2value on stack, and for `fliteral` and the f-stack. `sliteral` will effectivly do nothing either, leaving you with the pocket-string. In compile-mode, it would `allot` and copy the string to the defined word leave that address later.