я не чтобы посраться

просто для себя понять

да я не думаю на хаскел наверное

просто

язык классный

эльм классный

Ну так то и про хаскелекод нельзя сказать, что он ссостоит строго из обобщённых решений.

смотри

Elm - полярно инаков

простой вопрос

надо ли

думать

над дженерик решением

если есть тупое?

В Elm все программисты - тупые. За них надо решить всё и упаковать в "Архитектуру". А самим возможности выходить за рамки не давать. Решение сугубо политическое

надо ли

Тут как с рефакторингом, делаешь один раз, нафг не нужно, два - задумываешься. Три - ищещь обобщение.

Но это моё мнение.

Если есть тупое решение в приложении - используют тупое. Если есть возможность+необходимость обобщить в либу - обобщают. Всё как у всех

Бывает, что тупое потом генерализуют. Половина (больше?) либ так и родилась

ну вот смотри, я уже лет 15 в программировании

И генерализуют то потому, что не уверены, что в следующий раз напишут правильно

не помню чтобы мне надо было переделывать

суппортить сложно - да

Я 20+ лет в программировании :)

Бывало, переделывал

ну охуеть теперь -)

Меряемся дальше!

да нет цели такой

я же сказал

я просто в поисках

более высоких абстракций

Я понимаю, что излишняя забота о том, чтобы "было максимально абстрактно" - не слишком продуктивна порой

но блин хаскел разочаровал

но другого ничего нет

но блин хаскел разочаровал

Иди в Идрис :)

хотя

нене

Dotty

выглядит прикольно

Я понимаю, что излишняя забота о том, чтобы "было максимально абстрактно" - не слишком продуктивна порой

Но тут есть один пункт: в хаскеле очень много маленьких композируемых решений. В противовес фреймворкам всё-в-одном в других языках. Такие многообразие и композируемость достижимы именно через "подумать над аобстракцией"

А у нас пока дже зависимых типов нет, года до 20-го где-то.

Как мы только без них живём?

Не не смотри

Мне очень нравится идея групп

Ну типа там теория категрий и все такое

и вот эти штуки типа

Int | Double

классно же? -)

Нет

Почему?

Either Int Double - у нас так пишут :)

Изер - костыль

Это явная сумма. А Int | Double - первый шаг к Any

хоспадя я и без хаскеля это напишу

Either Int Double - у нас так пишут :)

Семантика же другая... Изер - это средство обработки ошибок.

хаскель это вообще абстракция

идельный язык

Семантика же другая... Изер - это средство обработки ошибок.

Нет, конечно. Это сумма общего назначения

обработка ошибок просто частный случай

надо же думать об типах как об математических типах

ну хотя бы приучить себя уже -)))

надо же думать об типах как об математических типах

Именно по этому я пишу шаблонами типы описывающие пересекающиеся множества, да.

`

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

public class Either<X, Y> { private final Optional<X> x; private final Optional<Y> y; public Either(X x, Y y) { this.x = Optional.ofNullable(x); this.y = Optional.ofNullable(y); } public static <X, Y> Either<X, Y> of(X x, Y y) { return new Either<>(x, y); } public void apply(Consumer<? super X> xFn, Consumer<? super Y> yFn) { x.ifPresent(xFn); y.ifPresent(yFn); } public <T> T map(Function<? super X, ? extends T> xFn, Function<? super Y, ? extends T> yFn) { final Optional<T> t1 = x.map(xFn); final Optional<T> t2 = y.map(yFn); return t1.orElseGet(t2::get); } }

ну вот так хотя бы

уже както себе лучше жить

ERROR: S client not available

Вот! Смотришь на такое и понимаешь, Haskell гораздо приятнее даже тупо синтаксически

Пойду спать на этой радостной ноте

!

снов хороших тебе

без джавы -)

Спасибо :)

Java тоже к лучшему стремится. Я даже рад за неё

И то верно :)

А какой пакет из недавнего вас приятнее удивил?

Я переписывать ее вот на проекте стал потихноьку -)

Вот по принципу, а вот прикольная фича, надо бы куда-то впихнуть.

Или почему я раньше такое не использовал!!!

не пизди

не пизди

у нас не матерятся

ща юзкейз найду

final CompletableFuture<Either<Throwable, CurrentlyConsumption>> response = client.request(); final Either<Throwable, CurrentlyConsumption> either = response.get(); either.apply( error -> assertTrue(true), success -> assertTrue(false) );

во

сырая джава

уродско конечно

просто type inference нет

вот из реального проекта

копипаста

да, не хаскел

вот из кровавого энтерпрайз вот

делаем софт для авиазаводов в швеции

прикольно, как у нас в чатике уже прям даже код показывают, жаль что не хаскельный

ява какая-то

сам ты ява

ты удивишься

но ООп это не про ООп