MyFinder is a unique search engine with a simple privacy concept in mind. We log your searches but none of the data, it's that simple.
CorrectnessStatic scopingConstContravarianceType safetyConstantClass invariantInterningMemory safetyStrong typingInvariant sectionExtended static checkingStatic typingTypecheckingCovarianceDeclarationTypecheckerHomoiconicityType introspectionComprehensionFixityStatically-typed languageObject-based programmingFirst-class valueMetacircularityObject-based languageAutoboxingReferential integrityMetatypeEarly bindingFunctional programmingReificationCopy-on-write proxySubtype polymorphismSymbolic constantStatic classAccess modifierFirst-class objectCompilation behaviourRecordParametric polymorphismImperative programmingPrototype-based programmingInterfaceOverloadingObjectDecayType erasureAntibuggingStatic bindingPseudo-typePrototype-oriented programmingStaticOpen-closed principleObject-oriented programmingEncapsulationInitializationFunction objectStrong referenceSingle responsibility principleType hintingCase sensitivityMappingValue typeComputer codeDeclarative programmingChecked exceptionIndirectionAccess specifierReactive programmingManifest typingStatic memory allocationReference typeAtomicityPragmaIntegrityObject-oriented languageInformation integrityPolymorphismSecond-class objectType coercionWeak typingForward declarationObject oriented programmingAssertionFunction overloadingPersistenceUndeclarationClass-based programmingUniquificationCopy constructorAba problemRequirementHygienePlain old dataFormalCompatibilityPredeclarationTest doubleNominative type system