Size: a a a

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

2020 September 10

ИВ

Илья Волков... in Clojure — русскоговорящее сообщество
Kirill Chernyshov
https://github.com/xapix-io/matchete
Не раз на него глядел уже. Даже либку пилил по мотивам. Правда руки все не доходят до ума довести
Я не про unify, а про type-test predicates
источник

MB

Mikhail Borisov in Clojure — русскоговорящее сообщество
Пролог не попробовал, но планирую скоро
источник

ИВ

Илья Волков... in Clojure — русскоговорящее сообщество
Mikhail Borisov
Вот я из всего, что попробовал, больше всего заценил ML и Racket
ML имеет Typed Tree Problem
источник

MB

Mikhail Borisov in Clojure — русскоговорящее сообщество
Что за проблема такая?
источник

DL

Dmytro Lispyvnyi '(🌲... in Clojure — русскоговорящее сообщество
Mikhail Borisov
Вот я из всего, что попробовал, больше всего заценил ML и Racket
Писал на рэкете несколько лет, хорошо, но кложа выразительнее
источник

ИВ

Илья Волков... in Clojure — русскоговорящее сообщество
Я выше писал, но не пояснил немного
источник

MB

Mikhail Borisov in Clojure — русскоговорящее сообщество
Я не в курсе просто)
источник

MB

Mikhail Borisov in Clojure — русскоговорящее сообщество
Dmytro Lispyvnyi '(🌲 🍺)
Писал на рэкете несколько лет, хорошо, но кложа выразительнее
Ну да, в рэкете литералов сильно не хватает
источник

MB

Mikhail Borisov in Clojure — русскоговорящее сообщество
И вообще всяких свистелок для тупых практических задач
источник

DL

Dmytro Lispyvnyi '(🌲... in Clojure — русскоговорящее сообщество
Mikhail Borisov
Ну да, в рэкете литералов сильно не хватает
Скобочки лишние
источник

MB

Mikhail Borisov in Clojure — русскоговорящее сообщество
Dmytro Lispyvnyi '(🌲 🍺)
Скобочки лишние
И это тоже
источник

DL

Dmytro Lispyvnyi '(🌲... in Clojure — русскоговорящее сообщество
Mikhail Borisov
И вообще всяких свистелок для тупых практических задач
Зато паттерн матчинг искаропки
источник

ИВ

Илья Волков... in Clojure — русскоговорящее сообщество
Mikhail Borisov
Что за проблема такая?
Проблема в том, что мы сначала парсим в дерево без типов, а потом следующим этапом мы добавляем к этому дереву типы. Так вот как это сделать без дуплирования кода проблема
источник

ИВ

Илья Волков... in Clojure — русскоговорящее сообщество
Решений много все они или неудобные, или неинтуитивные
источник

ИВ

Илья Волков... in Clojure — русскоговорящее сообщество
Заставлять обычных программистов решать эту проблему каждый раз -- садизм натуральный)
источник

MB

Mikhail Borisov in Clojure — русскоговорящее сообщество
Илья Волков
Проблема в том, что мы сначала парсим в дерево без типов, а потом следующим этапом мы добавляем к этому дереву типы. Так вот как это сделать без дуплирования кода проблема
У хаскеля полагаю та же самая проблема?
источник

ИВ

Илья Волков... in Clojure — русскоговорящее сообщество
Да
источник

ИВ

Илья Волков... in Clojure — русскоговорящее сообщество
У clojure еë нет, потому что динамическая типизация
источник

DL

Dmytro Lispyvnyi '(🌲... in Clojure — русскоговорящее сообщество
Илья Волков
У clojure еë нет, потому что динамическая типизация
Коре тайпд
источник

MB

Mikhail Borisov in Clojure — русскоговорящее сообщество
И как ее обойти?
источник