Phase 1 · Dart FoundationsModule 3~42 min read

Variables, Types & Operators

Model values with Dart's sound type system and use final, const, late, interpolation, and operators deliberately.

What you'll learn

Model values with Dart's sound type system and use final, const, late, interpolation, and operators deliberately. The lesson turns the APIs into a repeatable engineering workflow instead of a collection of isolated snippets.

By the end of this lesson, you'll be able to:

  • Apply var and explicit types in a production-shaped Flutter feature
  • Apply final, const & late in a production-shaped Flutter feature
  • Apply Core value types in a production-shaped Flutter feature
  • Apply String interpolation in a production-shaped Flutter feature

Core mental model

Connect each API to the decision it supports. Flutter code stays maintainable when state, ownership, lifecycle, and platform boundaries are explicit.

ConceptWhat it meansDecision rule
finalA binding assigned once at runtimeUse for values computed once during execution
constA compile-time constant value and canonical objectUse when the full expression is known at compile time
Type inferenceThe analyzer derives a precise static typePrefer inference when the initializer makes intent obvious

Professional workflow

Work in small vertical slices and keep behavior observable from the first iteration.

  1. Define the typed Dart pricing rule boundary: user goal, inputs, visible states, ownership, and expected failures.
  2. Build the smallest working vertical slice with typed data and explicit dependencies.
  3. Represent loading, empty, success, and failure behavior where the feature can encounter them.
  4. Verify logic away from the UI, then exercise the rendered behavior at its public boundary.
  5. Inspect lifecycle, accessibility, performance, security, and platform behavior before widening the feature.
  6. Refactor only after behavior is protected by repeatable evidence.

Protect the frame

Keep build methods predictable, move side effects to explicit owners, and measure before introducing caches, isolates, or architectural layers.

Guided Flutter lab

Build a focused typed Dart pricing rule slice

This compact example keeps the important ownership and data-flow decisions visible so the behavior is easy to extend and test.

bin/pricing.dart
const taxRate = 0.11;

double checkoutTotal({required double subtotal, double discount = 0}) {
  final discounted = subtotal * (1 - discount);
  return discounted * (1 + taxRate);
}

void main() {
  final total = checkoutTotal(subtotal: 80, discount: 0.15);
  print(total.toStringAsFixed(2));
}

Production practice

Contract

Define the typed Dart pricing rule inputs, outputs, owner, lifecycle, visible states, and platform assumptions before selecting APIs or packages.

Verification

Protect pure rules with unit tests and the rendered public contract with widget or integration evidence; include one unavailable or failure case.

Operations

Keep dependencies replaceable, log actionable context without user secrets, and measure user-visible behavior before optimizing.

Common failure mode

Using dynamic to silence analyzer feedback removes the type evidence that makes refactoring safe; narrow unknown boundary data instead.

Independent workshop

Extend the guided lab into a review-ready typed Dart pricing rule feature that fits the running course portfolio app.

Your finished workshop must include:

  • var and explicit types
  • final, const & late
  • Core value types
  • String interpolation
  • Operators
  • Automated verification and a short design note

Definition of done

Demonstrate the happy path, an empty or unavailable state, and at least one failure path. Add an automated check and a short note explaining one design decision.

Recap & quick check

Key takeaways

  • final: Use for values computed once during execution
  • const: Use when the full expression is known at compile time
  • Type inference: Prefer inference when the initializer makes intent obvious

Quick check

1. Which rule best applies to final?

2. Which rule best applies to const?

3. Which rule best applies to Type inference?

Next: Control Flow & Pattern Matching