Ayrat
Ayrat
gsomix
Если мы говорим о том, то компилятор что-то нам проверит.
gsomix
Тесты, тесты, тесты.
Éminence grise
Ребят, а завидовать не хорошо. Хотя я языкам с развитым метапрограммингом я конечно завидую в черную. Можно очень многое сделать круто. Вот кложа показывает например мощь лиспа.
gsomix
gsomix
Бля.
gsomix
Давайте теперь все мои высказывания через такую призму оценивать.
Vasily
А давайте вообще, оценим .По какой-нить удобной для оценивающего шкале
Éminence grise
Продакшн. Как много в этом слове. Чужих денег, за которые отвечаем не мы. Главный тормоз. Но ведь библиотеки можно писать на чем угодно в опенсоурсе. Всегда найдутся любители, поднимущие знамя, если это действительно хорошо.
Pavel
Вспомнился видос "tdd is for pussies!"
Pavel
https://vimeo.com/110554082
Romɑn
gsomix
gsomix
Тема почему-то не очень популярная.
Romɑn
gsomix
Хотя предоставляет больше возможностей по проверке, чем распространенные системы типов.
Romɑn
Romɑn
gsomix
В моем понимании есть промышленные языки с зависимыми типами, просто их использование очень дорогое.
Vasily
Для промышленных языков нужны заводы
Vasily
А у нас пока цеха
Vasily
А будет так по идее-окончил девятилетку, потом ПТУ и на завод сайты клепать
gsomix
Vasily
Смену оттарабанил,пивка с мужиками бахнул, пошел домой
Vasily
А в выходные в танки
Éminence grise
Господи, ну почему у меня не так !? Ну и на фига мне все это 😊
Vasily
Ayrat
просто узкоприменимый тул
gsomix
Vasily
Там ещё жена пилит, что мало зарабатываешь, а вон у Людки из седьмого муж в инженеры выбился, и нормально получает
gsomix
gsomix
Он промышленный или нет? :)
Ayrat
В сфере формальной верификации - да.
Это ж не язык программирования)
gsomix
Ayrat
Почему нет?
тогда и red sand в minecraft язык программирования
Ayrat
не будем впадать в крайности
gsomix
Vasily
Старый спор, что считать языком программирования
Ayrat
@gsomix вступил на путь разжигателя
Vasily
Да тренируется перед старостью
gsomix
Ребята, вы это, скажите.
Vladislav
https://www.youtube.com/watch?v=3QT7jaoOa9w&index=22&list=PLtWrKx3nUGBfpyGWy9Qo8kd7r0sPiMFOF
gsomix
Если не охота обсуждать, то я пойду нормальными делами займусь.
Igor
Vladislav
Vasily
Скорее, не нужен язык без развитых средств взаимодействия с внешним миром
Ayrat
Анна
Ayrat
а откуда картинка?
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
Этими стикерами хайпили еще в прошлом году.
Romɑn
gsomix
🤔