λ
в котлине не все решения мне нравятся, но тренд понятен
Size: a a a
2020 March 06
AC
и автор проекта ориентировался на скалу
Нет. Посмотрите с ним куча видосов. Там основной источник вдохновения - это C#
Oℕ
поэтому чётное число - это просто затеганное натуральное, предполагая, что натуральная база будет умножена на два при переводе
Oℕ
так что записывается он так же
λ
Нет. Посмотрите с ним куча видосов. Там основной источник вдохновения - это C#
патмат типо скалового будет
λ
силед интерфейсы вот это все
AC
патмат типо скалового будет
Нет, автор котлина сказал что не будет
MB
тип для чётных чисел изоморфен типу натуральных чисел
Хмм, компилятор сможет проверить, что целочисленно на 2 всегда можно делить в такой-то функции?
λ
просто приятно работать с таким апи и человеческим синтаксисом
Oℕ
я спрашивал про статическую декларацию типа для чисел 2 4 6 8...
при чём тут кложа?
при чём тут кложа?
enum Even
case Z
case SS(e: Even)
Oℕ
Хмм, компилятор сможет проверить, что целочисленно на 2 всегда можно делить в такой-то функции?
ну так вы это структурно гарантируете
λ
а какие иде у языков со статической типизацией!
Oℕ
мы же с вами кложуристы, настоящие фпшники
KR
Крайне странный пятничный срач
Oℕ
понимаем, что гарантии не контрактами задаются, а структурой
AC
Крайне странный пятничный срач
Лолмаус чет слабоват да.
ST
тип для чётных чисел изоморфен типу натуральных чисел
я хочу параметр в функции типа
чтобы быть «уверенным» в отсутствии ошибок
я могу такой тип описать?
EvenPositiveIntчтобы быть «уверенным» в отсутствии ошибок
я могу такой тип описать?
λ
пока люди на динамических языках сидят в текстовых редакторах, инженеры на статических наслаждаются мощью иде
AC
Не тащит срачик.
Oℕ
я хочу параметр в функции типа
чтобы быть «уверенным» в отсутствии ошибок
я могу такой тип описать?
EvenPositiveIntчтобы быть «уверенным» в отсутствии ошибок
я могу такой тип описать?