Null trong Dart: từ dynamic invocation đến null safety
Giải thích Null trong Dart: bottom type, dynamic invocation, operator ==, nullable types và vai trò của Never.
Articles tagged type-system
2 articles about type-system.
Type Constructor và Kind: Nền tảng để hiểu Higher-Kinded Types
Giải thích từ type và Type Constructor đến kind, partial application của Either, và đặt nền tảng để đi tiếp tới Higher-Kinded Types.