Explore >> Select a destination
|
You are here 
|
danilafe.com | ||
| | | | |
microsoft.github.io
|
|
| | | | | [AI summary] This article provides a comprehensive overview of TypeScript's type system, including function types, generics, and constraints. It discusses how to describe functions, use generics to relate input and output types, and apply constraints to limit type parameters. The text also covers function type expressions, call signatures, and the importance of proper type annotations in ensuring type safety and avoiding runtime errors. Key concepts include function types, generics, constraints, and their applications in real-world scenarios such as handling arrays and objects with specific properties. | |
| | | | |
entangledlogs.com
|
|
| | | | | These are my notes on Generic Programming. Feel free to skim through them. Introduction to Type Type A tool to reason or proving properties of the program Allows understanding and classifying the variables during computation and use Types require compositional calculation i.e. sub-expressions give rise to higher types. Understand dynamically typed as dynamically checked. Motivation of Requiring Types Language Safety/Error Detection Can pinpoint some programming errors rather than in runtime Can guarantee... | |
| | | | |
jamie-wong.com
|
|
| | | | | [AI summary] Jamie Wong discusses the tradeoffs between dynamically and statically typed programming languages, exploring how modern languages are attempting to blend the best features of both to improve iteration speed, correctness checking, and development support. | |
| | | | |
blog.tst.sh
|
|
| | | A little while ago I stumbled upon a golf challenge where you had to do run length encoding (RLE) on an arbitrary string, for example given the input string: 10+[>+>3+>7+>10+4<-]3>2+.>+.7+2.3+.2<2+.>15+.>.3+.6-.8-.2<+.<. it must be converted to: ++++++++++[>+>+++>+++++++>++++++++++<<<<-]>>>++.>+.+++++++..+++.<<++.>+++++++++++++++.>.+++.------. | ||
