Size: a a a

Clojure — русскоговорящее сообщество

2020 August 22

MK

Mikhail Kuzmin in Clojure — русскоговорящее сообщество
The2lb3oz4dr10½grOfHedgehogs
Мб. Посмотри
Prelude>
data X = A | B

Prelude> Prelude> Prelude> foo A = 1

Prelude> Prelude> foo 0 = 0
Prelude> :t foo
foo :: (Eq a, Num a, Num p) => a -> p
Prelude> foo A

<interactive>:184:1-5: error:
   • Could not deduce (Eq X) arising from a use of ‘foo’
     from the context: Num p
       bound by the inferred type of it :: Num p => p
       at <interactive>:184:1-5
   • In the expression: foo A
     In an equation for ‘it’: it = foo A
источник

MK

Mikhail Kuzmin in Clojure — русскоговорящее сообщество
чет странная фигня творится, я еще не настолько крут, чтобы это понимать
источник

T

The2lb3oz4dr10½grOfH... in Clojure — русскоговорящее сообщество
В хаскель чат с этим давай
источник

T

The2lb3oz4dr10½grOfH... in Clojure — русскоговорящее сообщество
источник

MB

Mike Bohdan in Clojure — русскоговорящее сообщество
Mikhail Kuzmin
Я тут haskell смотрю.
Система типов, тесты не нужны, если скомпилилось - значит работает. Ага, щаз.

data X = A | B
foo A = 1
x = foo B

Оно компилится, и если запросить x, то оно падает.
Т.е. компилиятор не проверяет, что все возможнные опции в паттерн-матчинге описаны.
Да, можно варнинг вывести, да можено падать на варнингах.

Лучше самому палочкой потыкать, чем на штампы полагаться.

PS. А потом еще зависимых типов захочется...
источник

MK

Mikhail Kuzmin in Clojure — русскоговорящее сообщество
спасибо, но я писал об этом

> Да, можно варнинг вывести, да можено падать на варнингах.
источник

MB

Mike Bohdan in Clojure — русскоговорящее сообщество
Mikhail Kuzmin
спасибо, но я писал об этом

> Да, можно варнинг вывести, да можено падать на варнингах.
Просто ошибка из вида:
Я написал (defn foo [x] (/ 1 x)) (def a (foo 0)) и оно падает. Ну как бы это во всех языках так, но тут хоть есть опция ворнига. Но так-то я Хаскель не знаю, если что.
источник

MK

Mikhail Kuzmin in Clojure — русскоговорящее сообщество
Я к тому, что у меня было мнение, что хаскель должен такое ловить. Но мнение это навязанное.
источник

MB

Mike Bohdan in Clojure — русскоговорящее сообщество
И с такими вопросами даже лучше в https://t.me/haskell_learn
источник

MK

Mikhail Kuzmin in Clojure — русскоговорящее сообщество
да это не вопрос, я о том, что даже хаскель не отловит все ошибки и тесты все равно нужны
источник

MK

Mikhail Kuzmin in Clojure — русскоговорящее сообщество
а на варнинги рано или поздно забьют
источник

MB

Mikhail Borisov in Clojure — русскоговорящее сообщество
Mikhail Kuzmin
Я к тому, что у меня было мнение, что хаскель должен такое ловить. Но мнение это навязанное.
Биндинг тоже может сломаться
источник

MB

Mikhail Borisov in Clojure — русскоговорящее сообщество
Но там по сути то же самое падает, неполный паттернматч
источник
2020 August 23

a

alex in Clojure — русскоговорящее сообщество
Кто что использует для event driven приложений? Я чот думаю обвязку над vertx писать. Или тут aleph подходит?
источник

MP

Maxim Penzin in Clojure — русскоговорящее сообщество
Есть тут извращенцы, кто юзает скрипты на бабашке вместо шелловых?
источник

MP

Maxim Penzin in Clojure — русскоговорящее сообщество
источник

MP

Maxim Penzin in Clojure — русскоговорящее сообщество
источник

MP

Maxim Penzin in Clojure — русскоговорящее сообщество
... вот вам вброс :)
источник

MB

Mike Bohdan in Clojure — русскоговорящее сообщество
В чем профит этой бабашки вообще?
У меня на проекте ее тоже затянули но она кажется бесполезной игрушкой для фанатиков. Она не привносит ничего нового как тот же dhall, не является дефолтной для системы (не поставляется ни с одной ос), нет преимуществ перед Python (а там есть шикарный Click) или Ruby, приведённые выше скрипты проще выглядят в виде Makefile (пример в коментах). Где киллерфича как у самой кложи?
источник

OR

Oleg Roshchupkin in Clojure — русскоговорящее сообщество
Не поставляется — это да, минус, а так — я баш в гробу видал, мне хватило пописать скрипты одно время. Можно привыкнуть, но не хочется, это при том, что я в консоли несколько лет практически жил.
Питон-руби лично я знаю опосредованно.
источник