У них есть спека, можно данные по ней генерировать.
@angmarr Контракты (clojure.spec) + генерация тестовых данных (lojure.spec.test.alpha) = бесплатные интеграционные тесты.
gsomix
gsomix
Если мы говорим о том, то компилятор что-то нам проверит.
gsomix
Тесты, тесты, тесты.
Igor
@angmarr Контракты (clojure.spec) + генерация тестовых данных (lojure.spec.test.alpha) = бесплатные интеграционные тесты.
Ну такое, все равно мне кажется вся краткость кложи невилируется тем что тебе нужно написать еще столько же тестов, как и основного кода.
А это ужастно лень делать 🤔
Éminence grise
Ребят, а завидовать не хорошо. Хотя я языкам с развитым метапрограммингом я конечно завидую в черную. Можно очень многое сделать круто. Вот кложа показывает например мощь лиспа.
gsomix
gsomix
Бля.
gsomix
Давайте теперь все мои высказывания через такую призму оценивать.
Vasily
А давайте вообще, оценим .По какой-нить удобной для оценивающего шкале
Éminence grise
Продакшн. Как много в этом слове. Чужих денег, за которые отвечаем не мы. Главный тормоз. Но ведь библиотеки можно писать на чем угодно в опенсоурсе. Всегда найдутся любители, поднимущие знамя, если это действительно хорошо.
Igor
Давайте теперь все мои высказывания через такую призму оценивать.
OK, да и вообще spec это практически стат. типизация - не для этого мы кложу юзаем, что бы все типами обмазываться, а потом еще и сверху тесты писать.
Pavel
Вспомнился видос "tdd is for pussies!"
Pavel
https://vimeo.com/110554082
gsomix
gsomix
Тема почему-то не очень популярная.
gsomix
Хотя предоставляет больше возможностей по проверке, чем распространенные системы типов.
Romɑn
Ну здесь реально от контектса зависит. Я пишу тесты, там где сам не уверен. И делаю так по трем причинам:
- если я знаю, что проверять, наверное я это учту
- если я пишу тест, то тест на тест никто писать не будет
- тест на сильный IO не напишешь, а чистый код проверит компилятор
Тест на тесты написан. PropertyBasedTests
Romɑn
gsomix
В моем понимании есть промышленные языки с зависимыми типами, просто их использование очень дорогое.
Vasily
Для промышленных языков нужны заводы
Vasily
А у нас пока цеха
Vasily
А будет так по идее-окончил девятилетку, потом ПТУ и на завод сайты клепать
Ayrat
На самом деле не очень-то понятно, что такое "промышленный язык".
https://cdn-images-1.medium.com/max/800/1*JzEpa6aK92q5KTyJGYDn_g.png
это вот языки в зелёной зоне) F# где-то в районе обрыва
gsomix
https://cdn-images-1.medium.com/max/800/1*JzEpa6aK92q5KTyJGYDn_g.png
это вот языки в зелёной зоне) F# где-то в районе обрыва
Определение через примеры? Ок.
Vasily
Смену оттарабанил,пивка с мужиками бахнул, пошел домой
Vasily
А в выходные в танки
Éminence grise
Господи, ну почему у меня не так !? Ну и на фига мне все это 😊
Ayrat
Ну, это просто про популярность.
не. Вот например какой-нибудь Coq непопулярен, но тем не менее он уже вышел из стадии Early Adoption
Ayrat
просто узкоприменимый тул
gsomix
Vasily
Там ещё жена пилит, что мало зарабатываешь, а вон у Людки из седьмого муж в инженеры выбился, и нормально получает
gsomix
Он промышленный или нет? :)
Ayrat
В сфере формальной верификации - да.
Это ж не язык программирования)
Ayrat
не будем впадать в крайности
Vasily
Старый спор, что считать языком программирования
Ayrat
@gsomix вступил на путь разжигателя
Vasily
Да тренируется перед старостью
gsomix
Ребята, вы это, скажите.
Vladislav
https://www.youtube.com/watch?v=3QT7jaoOa9w&index=22&list=PLtWrKx3nUGBfpyGWy9Qo8kd7r0sPiMFOF
gsomix
Если не охота обсуждать, то я пойду нормальными делами займусь.
Igor
не. Вот например какой-нибудь Coq непопулярен, но тем не менее он уже вышел из стадии Early Adoption
Было уже наброс, что язык "без библиотек не нужен"?
Vasily
Скорее, не нужен язык без развитых средств взаимодействия с внешним миром
Ayrat
https://www.youtube.com/watch?v=3QT7jaoOa9w&index=22&list=PLtWrKx3nUGBfpyGWy9Qo8kd7r0sPiMFOF
вот это лучше
https://www.youtube.com/watch?v=lfdAwl3-X_c
Анна
Ayrat
а откуда картинка?
https://medium.com/@shivayogiks/what-is-technology-adoption-life-cycle-and-chasm-e07084e7991f
Анна
Vladislav
https://medium.com/@shivayogiks/what-is-technology-adoption-life-cycle-and-chasm-e07084e7991f
это же статья про то, что если язык не выстрелил в определенный момент, то это уже никогда не произойдет?
Ayrat
Ayrat
:D
Romɑn
My first contact with F# was an accident. I stumbled upon a thread on 4chan where some people were hyping it and other were dismissing them on a not very polite manner. Your everyday 4chan.
А чем мы хуже? :D
Igor
Да мы вроде тем же занимаеся в .net talks
Igor
Romɑn
Romɑn
Romɑn
gsomix
Ну, нееееееет.
Romɑn
Это я показываю лену
Romɑn
Монян
gsomix
Мы знаем, как выглядит Лена. :)
gsomix
Этими стикерами хайпили еще в прошлом году.
gsomix
🤔