Идея о том, что от части невалидных ситуаций можно отгородиться просто на уровне типов, вроде бы не нова и достаточно очевидна. Это, однако, не мешает снова и снова писать про эту идею в бложиках. Вот здесь страничка в 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