Anonymous
у руби есть проблемы, но я не соглашусь что он не практичный и что он в целом "плохой"
Alexander
никто не говорит что он не практичный
Alexander
да, haskell практичный
Alexander
если что
A64m
но рубийная имплементация - вероятно худшая из всех, которые больше полутора человек используют, разве нет?
DZ
а так руби идеальный язык для быстрого написания прототипа программы.
Anonymous
руби к нему близко не стоит
именно поэтому наверно hspec оч похож на rspec (даже по формату вывода в консоль)
Alexander
У руби свои задачи.. у C++ свои у хаскела свои..
да ложь это все, все generic purpose языки с огромным пересечением
A64m
hspec это адский ад
Alexander
+
Vladislav
фя с тупой реализацией имеет непрактичный перформанс
у Go непрактичный перфоманс или умная реализация?
Alexander
агрументация уровня лейтенант
A64m
Чего?
а какая хуже?
DZ
нет haskell
)) советую с руби познакомится
Vladislav
Я понял, окей. (Почему-то думал, что аргумент про все ЯП, хотя написано, что ФЯ).
Alexander
зачем?
Alexander
то, что я видел и использовал, подсказывает мне этого не делать
Alexander
ни одну из повседневных задач он тоже не решил
DZ
зачем?
откроется понимание зачем он нужен и его плюсов
Антон
НА РИЗОНЕ
Это что за покемон?
Vladislav
reason ml
Vladislav
Другой парсер для OCaml
A64m
Это что за покемон?
модный молодежный испорченный фейсбуком окамл
Антон
ATS для эмбеддед
Слишком инопланетный. И рантайм совпадает с сишным, что не есть гуд
Anonymous
У руби свои задачи.. у C++ свои у хаскела свои..
нет, есть то, что пересекается. для меня идеально, если мы окажемся в таком мире, где руби не нужен, и мы все пишем на ml-языках. а кресты не нужны сейчас. есть сишка, а есть прикладные языки. нам не нужно больше ничего
Vladislav
https://reasonml.github.io/
Anonymous
ризон кул, но
Vladislav
модный молодежный испорченный фейсбуком окамл
Он значительно улучшен, потому что теперь он может послужить как gateway drug для программистов на других языках.
Vladislav
Лучше чтобы на таком OCaml писали, чем на C++
Anonymous
чистый камл нравится больше
Vladislav
Так там 100% interop, это один язык
A64m
разве гетэвей друг это не продукт больного воображения консерваторов, которые хотят всех люто-бешено сажать и бомбить?
Vladislav
В смысле? Вот я на C# писал, потом я про F# узнал только из-за того, что он тоже на .NET, а потом поигравшись с F# перешел на Haskell.
Vladislav
То есть gateway drug это существующий феномен.
Vladislav
Почему бы не существовать некоторому Reason ML, для перехода на который friction меньше, чем сразу на OCaml?
A64m
не знаю, у меня нету такого опыта
Vladislav
А потом на Idris, ага
Видал я ваш идрис со строгими вычислениями Но если серьезно, то я три раза на Idris пытался писать и каждый раз меня баги в компиляторе отпугивали, я уходил назад на Haskell. А вот на Agda я начал писать что-то только через Haskell тоже — инфа сотка, что без предварительного Haskell exposure ничего б на ней не смог сделать. Жаль, что я так и не понял, как в Agda сделать deriving Eq.
A64m
для меня хаскель как язык не выглядел никогда препятствием для чего-то там. Окамл как язык тоже, вот окамл как рантайм выглядит
Vladislav
Ты понимаешь как люди изучают языки? Это должно быть что-то многообещающее, но достаточно похожее на привычное
Vladislav
Reason ML дает первый пункт за счет OCaml в основе, и второй пункт за счет "испорченного" синтаксиса
Vladislav
Конкретно мне все равно уже, какой там синтаксис, а кому-то это катализатор к изучению
A64m
не понимаю. для меня человек, изучающий очередной "язык" выглядит как прокручивающий свои пальцы в мясорубке
Leonid 🦇
слово дня "Schmakage"
Vladislav
Вот что может сподвигнуть человека изучить OCaml? 1. нууу э функции там ок, но какой-то он непонятный А Reason ML: 1. продвигается фейсбуком 2. красивый логотип 3. привычный синтаксис
A64m
для меня псевдосишный синтаксис всю жизнь был минусом
A64m
логотип ризона у меня ассоциируется с флайт рекордером
A64m
т.е. он меня пугает
Leonid 🦇
смысл учить языки похожие на те что уже знаешь?
A64m
также я ненавижу фейсбук
Leonid 🦇
у меня тоже нет друзей
Антон
также я ненавижу фейсбук
Соцсеть, компанию или команду программистов?
Vladislav
смысл учить языки похожие на те что уже знаешь?
1. потому что это еще одна строчка в резюме 2. потому что это модно 3. потому что ты чувствуешь себя умнее
A64m
Соцсеть, компанию или команду программистов?
соцсеть, компанию, многих программистов, отвественных за фейсбучный ЮИ
Vladislav
лучше еще один фреймворк тогда уж
Конечно лучше, а second best это что-то с похожим синтаксисом
Vladislav
Вот я первый раз Coq пытался изучить, а там синтаксис не как в Haskell и я быстро передумал.
Антон
лучше еще один фреймворк тогда уж
Зачем изучать чужой фреймворк, если можно написать свой?
A64m
1. потому что это еще одна строчка в резюме 2. потому что это модно 3. потому что ты чувствуешь себя умнее
чтоб чувстовать себя умнее я переквалифицировался из физиков (где 90% окружающих было умнее меня) в программисты, так что учить языки не надо
Vladislav
А в Agda похожий синтаксис, я взял да изучил (вместо Coq).
Vladislav
Как посмотрел на это слово Inductive с большой буквы, на точки в конце деклараций, на какой-то :=, так сразу и закрыл туториал, пошел дальше Haskell писать.
Vladislav
OCaml как минимум прошел проверку временем в отличие от Reason ML
Это один язык, разные парсеры, что там проверять временем, парсер?
A64m
OCaml как минимум прошел проверку временем в отличие от Reason ML
вернее не прошел, в отличие от ризона, про который пока не понятно что не прошел
A64m
Вот я первый раз Coq пытался изучить, а там синтаксис не как в Haskell и я быстро передумал.
так может это не потому, что он не похожий, а потому что лучше?
Aliester
Пишите на пхп
Aliester
Он - то прошёл проверку временем
A64m
я вот увидел код на хаскеле на форуме и подумал, отлично! на все это сиобразное убожество совсем не похоже, надо осваивать!