|
|
Это — не просто система типов, это — модель познания мира:
|
|
Это — не просто система типов, это — модель познания мира:
|
|
|
> ✅ Язык, построенный так, не может допустить ошибку на миллиард долларов, потому что он не позволяет мыслить иначе, чем в категориях реальности.
|
|
> ✅ Язык, построенный так, не может допустить ошибку на миллиард долларов, потому что он не позволяет мыслить иначе, чем в категориях реальности.
|