Search Results

• AlternativeTypeDefinitions
• ArgumentsAgainstTypeIndicators
• AutomaticTyping
• BenefitsOfDynamicTyping
• BizarroStaticTypingDebate
• CardelliTypeTerminology
• CategoryLanguageTyping
• ChangesInFebruaryZeroNine
• CheckedExceptionsAreOfDubiousValue
• CsharpQuestions
• DavidThomasOnTheBenefitsOfDynamicTyping
• DependentTyping
• DoesRelationalRequireTypes
• DuckTyping
• DynamicTypesEaseRefactoring
• DynamicTyping
• DynamismHasItsPlace
• ExtremeProgrammingWithTypes
• FourLevelsOfFeature
• FutureOfProgrammingLanguages
• GeneralizedReference
• GodLanguage
• GroundBreakingLanguages
• HeavyTypingPracticallyConflictsWithDynamism
• HelpingTheCompiler
• ImplicitTyping
• ImproveDatabasesOrElse
• InterviewingStrategy
• IssuesForLanguageDesigners
• KeyLanguageFeature
• LanguageInhibitsRefactoring
• LatentTyping
• MacroAndMicroRigor
• ManifestTyping
• ManifestTypingConsideredGood
• NewConsideredHarmful
• NewLanguagesForXp
• ObjectOrientedDesignIsDifficult
• ObjectiveAdvantagesOfCee
• ParadigmPotpourriMeansDiminishingReturns
• QuestForThePerfectLanguage
• RealObjectOrientedProgrammers
• RelationalTreesAndGraphsDiscussionTwo
• SmalltalkVsEiffel
• StaticVsDynamicTyping
• StronglyTyped
• TheManyTypesOfPrograms
• ToolsThatTeachPoorHabits
• TopVsOthers
• TypeDefinitionsSmellBadly
• TypeInference
• TypeSystemCategoriesInImperativeLanguagesDiscussion
• TypesAreRedundant
• TypesOfTyping
• TypingCodeSizeProof
• TypingQuadrant
• UnitTestsRequirePerfectDevelopers
• ValidatingPreparedStatementDefinitions
• ValueExistenceProofThree
• WhenIsManifestTypingConsideredaGoodThing