Е
На этом моменте я перестал понимать связь между типами, ключами и тестами
Элементарно. Я считаю, что то что проверяемо compile-time должно быть проверено в compile-time.
Size: a a a
2020 August 24
AB
А что ты тогда в этом чяте делаешь? 😆
Е
А что ты тогда в этом чяте делаешь? 😆
Спрашиваю совета, как выжать все что можно из диалайзера.
AB
Элементарно. Я считаю, что то что проверяемо compile-time должно быть проверено в compile-time.
Алсо, почитай папиры на first-class labels, попробуй хотя бы в уме скрестить это с нашими языками, поделись мыслями
Е
Алсо, почитай папиры на first-class labels, попробуй хотя бы в уме скрестить это с нашими языками, поделись мыслями
Ну как-то крестят BEAM со статикой в Gleam.
Е
А так, я понимаю, что чудес от диалайзера ждать не стоит. Я анализировал, во многих случаях просто нереально проверить compile-time.
LL
Хотя... можно наверное задать тип ключа типа:
а потом
интересно, прокатит?
@type option() :: :opt1 | :opt2 | :opt3а потом
@type options() :: [{option(). any()}]интересно, прокатит?
Прокатит
AB
Еяпп, gleam это примерно ml, и без опциональной типизации(не нужен)
ГК
В gleam, я так понимаю, экосистемы ещё никакой нет? Потому что phoenix весь построен на макросах, например. То есть либо его через лютое ручное скрещивание юзать, либо имплементить аналогичное для gleam?
LL
Таки буду ждать нормального релиза Gleam. Статическая типизация - рулит.
Так у тебя в
elixir итак есть статическая типизация...ŹR
А так, я понимаю, что чудес от диалайзера ждать не стоит. Я анализировал, во многих случаях просто нереально проверить compile-time.
Я правильно понимаю, что ты приблизительно раз в неделю приходишь к такому выводу и спешишь с нами поделиться?
LL
В gleam, я так понимаю, экосистемы ещё никакой нет? Потому что phoenix весь построен на макросах, например. То есть либо его через лютое ручное скрещивание юзать, либо имплементить аналогичное для gleam?
Да, там пока что мало экосистемы. Но там есть какой-то местный вебфреймворк небольшой.
midas или как-то такЕ
В gleam, я так понимаю, экосистемы ещё никакой нет? Потому что phoenix весь построен на макросах, например. То есть либо его через лютое ручное скрещивание юзать, либо имплементить аналогичное для gleam?
Так и есть. Так что "ждать" gleam - это я так условно :) Возможно это он только на первый взгляд кажется няшным.
AB
Таки буду ждать нормального релиза Gleam. Статическая типизация - рулит.
А что не hamler?
Е
Я правильно понимаю, что ты приблизительно раз в неделю приходишь к такому выводу и спешишь с нами поделиться?
Ну я примерно раз в неделю сталкиваюсь с очередной беспомощностью диалайзера и пытаюсь ее решить через этот чятик и форум. Как правило, бузуспешно :)
AB
В gleam, я так понимаю, экосистемы ещё никакой нет? Потому что phoenix весь построен на макросах, например. То есть либо его через лютое ручное скрещивание юзать, либо имплементить аналогичное для gleam?
Феникс полностью неюзабелен из чего-то кроме эликсира, вообще
AB
Ну я примерно раз в неделю сталкиваюсь с очередной беспомощностью диалайзера и пытаюсь ее решить через этот чятик и форум. Как правило, бузуспешно :)
Давно бы уже научился писать без него
ŹR
Феникс полностью неюзабелен из чего-то кроме эликсира, вообще
Ну ты можешь комбинировать в принципе
Е
Давно бы уже научился писать без него
Это юмор такой? :)
ГК
Ну я примерно раз в неделю сталкиваюсь с очередной беспомощностью диалайзера и пытаюсь ее решить через этот чятик и форум. Как правило, бузуспешно :)
Го запилим свой диалайзер, с блэкджэком, статическими типами и дженериками 😁