Case under examination : One adds the remainder function (%) to the compiler, and then adds an ADDITIONAL klambda file with "(declare % (cons number (cons --> (cons (cons number (cons --> (cons number ()))) ()))))" in order to ensure that the "%" operator still works when the typechecker is turned on.
Question : Does this conform to the license? If not then how does one make this conform to the license?
Key quotes from standard :
Quote 1 : "However you are not free to modify Shen or produce a derivative versions of this work and distribute it unless what you produce conforms to the language standard."
Quote 2 : "There may be packages which offer a richer range of types for numbers (fixnum and bignum etc.) with much greater scope for optimisation within the compiler and which are platform specific. However these will be plugins, not in the language standard or in the standard maths library."
Quote 3 : "However anybody who implements Kl, and wants to write directly in this notation, can add extra features to their implementation to Kl. This does not affect the standard; just as a CL which includes (e.g.) threads does not cease to be a CL even though it incorporates a non-standard feature. However the systems code for Shen will not rely on extra features outside the standard. It is intentionally minimal."
Key quotes from license :
Quote 4 : "It is permitted to distribute versions of Shen which incorporate libraries, graphics or other facilities which are not part of the Shen standard"
Other quasi-relevant quotes :
Quote 5 : "The speed gains of running on top of native code and using system equivalents are really little to do with the native type system and are best dealt with by macros which inline according to the platform. This can be done for standard lib maths but really cannot be done by one person given the range of platforms supported."
Quote 6 : "There is a facility for native code generation in Shen called 'dump' which takes a Shen file and dumps the corresponding file containing native code. The spec for it is here
The spec requires Shen be capable of generating KLambda code; but other platforms are optional. It is probably useful for people to be able to get the JS code from Shen. However it might not run outside Shen unless auxiliary functions are taken from the port."
You received this message because you are subscribed to the Google Groups "Qilang" group.
To unsubscribe from this group and stop receiving emails from it, send an email to qilang+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To post to this group, send email to qilang-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
Visit this group at http://groups.google.com/group/qilang
For more options, visit https://groups.google.com/groups/opt_out