Идея о том, что от части невалидных ситуаций можно отгородиться просто на уровне типов, вроде бы не нова и достаточно очевидна. Это, однако, не мешает снова и снова писать про эту идею в бложиках. Вот здесь страничка в Elm гайдах про представление типов через множества.

#type #programming #math

А вот тут та же статья, которую переписали другими словами и добавили два слова про LiveData.

#type #programming #math

Вот тут автор написал type safe bundleOf функцию. Писать именно bundleOf мне видится попыткой решить проблему, которой нет, но сам приём, кажется, красивый.

#bundle #type

Доклад про дизайн API небольшой библиотечки на Rust. Челик взял за основу питонячий tqdm и показывает, как на Rust можно добиться примерно такого же рисования прогресс баров в CLI, но с грамотной типизацией, чтобы компилилось только то, что можно и логично, а что нельзя и не логично - не компилилось. Мне достаточно интересно было послушать.

#talk #rust #type

Внимание! Из психиатрической больницы им. Кащенко сбежала группа джавистов. На попытки заговорить отвечают предложениями использовать checked exceptions в качестве union types. Не пытайтесь их понять, это опасно! Ни в коем случае не пытайтесь их переубедить - они агрессивны! За помощь в поимке вознаграждение гарантируем!

#java #exception #type

Про типы, типа. Чтобы волосы были гладкими и шелковистыми. Ничего радикально нового, просто пост хороший.

#type #kotlin

Замечательная история. Кандидату на собесе дали FizzBuzz, но с рядом ограничений. И сказали, что постепенно ограничения будут добавляться. Одним из запретов стало использование чисел и любых операций с числами. Но чел красава, решил всё чисто на системе типов TypeScript.

#interview #ts #type

Прикольный подкаст с главным или одним из главных разработчиком Haskell и GHC. Рассуждает про типы, языки, лямбда-вычисления - ну про что там обычно рассуждают хаскелисты :) Но интересно!

#talk #fp #type

Тут чел долго писал на Clojure, а потом перешёл в мир TypeScript + Go. И рассказывает, почему "как же мне не хватало статической типизации" - not really the case. Я сам какое-то время назад задавался тем же вопросом, мол "как вы так вообще живёте без типов", и тут вполне разумный взгляд на проблему. Единственный минус - пост как будто полирнули LLM, тошнит от некоторых оборотов, но мысль человека всё же пробивается :)

#type #clojure #language

Прикольный обзорный доклад, на что вообще способны системы типов в разных менее популярных или совсем академических ЯП. И IO в сигнатуре функции (наверное самый известный пример), и ограничения на размеры коллекций / значения чисел, и последовательность операций в канале коммуникации между конкурентными воркерами - куча всего крутого короче.

#talk #type #language