Anonymous
у руби есть проблемы, но я не соглашусь что он не практичный и что он в целом "плохой"
Alexander
никто не говорит что он не практичный
Alexander
да, haskell практичный
Alexander
если что
DZ
A64m
но рубийная имплементация - вероятно худшая из всех, которые больше полутора человек используют, разве нет?
DZ
а так руби идеальный язык для быстрого написания прототипа программы.
A64m
hspec это адский ад
Alexander
+
Alexander
Vladislav
Alexander
агрументация уровня лейтенант
Aliester
A64m
A64m
Vladislav
Я понял, окей. (Почему-то думал, что аргумент про все ЯП, хотя написано, что ФЯ).
Alexander
зачем?
Alexander
то, что я видел и использовал, подсказывает мне этого не делать
Alexander
ни одну из повседневных задач он тоже не решил
DZ
зачем?
откроется понимание зачем он нужен и его плюсов
Vladislav
reason ml
Vladislav
Другой парсер для OCaml
Антон
ATS для эмбеддед
Слишком инопланетный. И рантайм совпадает с сишным, что не есть гуд
Anonymous
У руби свои задачи.. у C++ свои у хаскела свои..
нет, есть то, что пересекается. для меня идеально, если мы окажемся в таком мире, где руби не нужен, и мы все пишем на ml-языках.
а кресты не нужны сейчас. есть сишка, а есть прикладные языки. нам не нужно больше ничего
Антон
Vladislav
https://reasonml.github.io/
A64m
Anonymous
ризон кул, но
A64m
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 🦇
у меня тоже нет друзей
Антон
Leonid 🦇
Vladislav
Вот я первый раз Coq пытался изучить, а там синтаксис не как в Haskell и я быстро передумал.
Григорий
Vladislav
А в Agda похожий синтаксис, я взял да изучил (вместо Coq).
Vladislav
Как посмотрел на это слово Inductive с большой буквы, на точки в конце деклараций, на какой-то :=, так сразу и закрыл туториал, пошел дальше Haskell писать.
A64m
Aliester
Пишите на пхп
Aliester
Он - то прошёл проверку временем
A64m
я вот увидел код на хаскеле на форуме и подумал, отлично! на все это сиобразное убожество совсем не похоже, надо осваивать!