Случайны выбор дневника Раскрыть/свернуть полный список возможностей


Найдено 20 сообщений
Cообщения с меткой

type safety - Самое интересное в блогах

Следующие 30  »
rss_habr

Искусство типизации: TypeScript Utility Types

Четверг, 19 Января 2023 г. 21:35 (ссылка)

Что вы чувствуете от познания нового? За себя скажу, что в такие моменты просветления меня переполняет неподдельная детская радость от свершившегося открытия. Жаль, что этих моментов становится всё меньше. К чему я это? Когда мне в голову мне пришла мысль о написании статьи на эту тему, я сразу вспомнил то ощущение прозрения, которое испытал в момент открытия Utility Types. Всё сразу встало на свои места, и я понял какого кусочка пазла мне всё это время не хватало. Именно о нём я расскажу далее.

Читать далее

https://habr.com/ru/post/711686/?utm_source=habrahabr&utm_medium=rss&utm_campaign=711686

Метки:   Комментарии (0)КомментироватьВ цитатник или сообщество
rss_habr

Магия размерностей и магия Котлина. Часть первая: Введение в KotUniL

Среда, 15 Декабря 2022 г. 00:24 (ссылка)

Амперы нельзя складывать с вольтами. Сантиметры можно складывать с дюймами, но очень внимательно. Иначе получится как с космическим аппаратом стоимостью 125 миллионов долларов Mars Climate Orbiter, который успешно долетел до Марса, но бездарно разбился о его поверхность.

Он разбился, поскольку разработчики его программного обеспечения не учли разницу используемых в разных частях системы физических единиц. По этой же самой причине до и после этой дорогой аварии взрывались и падали космические и летательные аппараты, тонули корабли и умирали люди.

Этих катастроф и смертей можно было бы избежать, если бы программисты бортового и системного ПО использовали в своей работе специализированные библиотеки типа KotUniL, о которой я хочу рассказать в серии статей.

Первая (эта) статья собственно о библиотеке, её возможностях и нехитрых правилах использования. Другие статьи этой серии затрагивают темы, которые могут оказаться полезными и интересными всем программистам, вне зависимости от используемого ими языка, хотя “котлинцам” они могут пригодиться больше других.

Читать далее

https://habr.com/ru/post/705588/?utm_source=habrahabr&utm_medium=rss&utm_campaign=705588

Метки:   Комментарии (0)КомментироватьВ цитатник или сообщество

Следующие 30  »

<type safety - Самое интересное в блогах

Страницы: [1] 2 3 ..
.. 10

LiveInternet.Ru Ссылки: на главную|почта|знакомства|одноклассники|фото|открытки|тесты|чат
О проекте: помощь|контакты|разместить рекламу|версия для pda