Nice TWiki > Dev > WebHome (search result) TWiki webs:
Dev | Doc | Main | TWiki | Sandbox
Dev . { Changes | Index | Search | Go }
Search: ^c

Topics in Dev web: Changed: now 18:05 GMT Changed by:
ChangeNumberOfTypeParametersInSubclasses 08 Aug 2003 - 16:13 - r1.2 ArjanB
Does "Modification of the type system for subclasses with a different number of type parameters than the parent." mean that I could do: class B extends A {} rather ...  
CheckedIntegerArithmetic 17 Jan 2005 - 20:08 - r1.12 MotiN
The current behaviour of numeric type is to silently overflow. In some cases this is what is needed, and in some cases you don't really care, because it is guaranteed ...  
ClassInvariants 06 Jun 2003 - 18:48 - r1.4 DanielBonniot
I'm looking ahead to when invariants are added, and the crossover with NiceConstructors. Vague thoughts only, feel free to edit. There's an Eiffel hack to allow different ...  
CompilationAPI 18 Jun 2003 - 14:38 - NEW DanielBonniot
The compiler can be called from JVM languages (Nice, Java, ...) by using a high level API, instead of starting a different OS process (application). This is used by ...  
CompilerTerminology 17 Nov 2004 - 19:15 - NEW ArjanB
Terms that may need explanation related to compilers and typesystems or terms that have specific meaning for Nice. General arity closure formalparameter Types monotype ...  
ConstructorSyntax 09 Feb 2004 - 00:49 - r1.17 DanielBonniot
I'm trying to summarize my ideas on constructors, based on the NiceConstructors discussions we had. I think we should separate two aspects: creation of new instances ...  
CurrentDiscussions 20 Apr 2004 - 04:22 - r1.12 ChristianS
Discussions of the language aspects of Nice. StandardLibrary EnumImplementation VisibilityModifiers NiceConstructors ClassInvariants PatternSyntax SingletonClasses ...  
CustomConstructors 05 Feb 2004 - 22:38 - r1.27 DanielBonniot
Construction is the process of creating a new object whose fields have some meaningful value. Currently, only the automaticly generated default constructor does that ...  

Number of topics: 8

Topic WebHome . { }
  Copyright © 1999-2003 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback.