
Quet
08.07.2016
17:25:06
ну слушай, это из серии "а зачем нужны строки?"
и массивы
да, можно без них

Alexander
08.07.2016
17:25:30
Я не спросил зачем эти строки, я спросил какие и почему

Google

Quet
08.07.2016
17:25:30
на списочках
я про рекорды

Alexander
08.07.2016
17:25:38
Ответа на почему я не услышал
Почему текст, а не utf8 тест или не shortbytestring
И т.д.
Еще раз что понимается под рекордами и какими свойствами должны рекорды обладать чтобы быть правильными?

Quet
08.07.2016
17:27:00
да хоть какие, вид строк вряд ли когда станет затыком серьезным. но они должны быть одни и стандартные

Alexander
08.07.2016
17:27:07
Нет!!
Не одни!

Quet
08.07.2016
17:27:22
ну вот смотри на жабу или go
когда там вид строк был проблемой серьезной?

Alexander
08.07.2016
17:27:40
Ну смотрю на жабу вижу стринг и пачку билдеров
Разных

Google

Quet
08.07.2016
17:27:56
ну билдеры билдерами, а строки все же одни

Alexander
08.07.2016
17:28:00
Ещё вижу char []
Да не одни там по пакетам

Quet
08.07.2016
17:28:25
99% используют обычный string
да, наверняка есть супер специализированные случаи когда люди запилили слегка другие строки
но это исключения

Alexander
08.07.2016
17:28:57
Ну да стринг в жабе более юзвьельный чем string
Ну так что включаем пакет, отменяем возможность обновить 3 ключевых пакета и дублиркем все функции?
Путь к победе?

Quet
08.07.2016
17:30:19
садимся в машину времени и делаем это 20 лет назад
ты пойми, это ж все не причина, а следствие отношения к языку как к research проекту

Alexander
08.07.2016
17:30:26
А и убиваем напрочь все IO
Чтобы было как в 2000

Quet
08.07.2016
17:30:40
те же overloadedrecordfields кажется лет 10 обсуждали
10 лет, карл! за это время было запилено дохера расширений нахер не нужных никому кроме автора с phd

Alexander
08.07.2016
17:31:22
Какая назрен разница?
Сидят тут решают что надо

Quet
08.07.2016
17:31:32
а почему? потому что двигать computer science вперед намного интереснее каких-то там рекордов
и строк

Alexander
08.07.2016
17:31:37
Кому что надо тот то и пилит

Quet
08.07.2016
17:31:40
во-во

Google

Alexander
08.07.2016
17:31:58
Нам нужны были Статик принтеры, которые в 05 году в статье идеей были, взяли запилили
Поинтеры
Будто проблема

Quet
08.07.2016
17:32:09
от такого подхода и имеем такую популярность в продакшене

Alexander
08.07.2016
17:32:38
Нет
Мы имеет от него яп вместо куска говна, на котором можно писать продакшн кол
Код

Quet
08.07.2016
17:33:27
угу, имеем яп на котором продакшен код написать нельзя )
а на куске говна можно

Alexander
08.07.2016
17:33:32
Популярность т.к. где-то до ghc-7 он был слабо юзабельным
Почему нельзя то?
Мы пишем
Фирмы с которыми работаем пишут

Alexander
08.07.2016
17:33:58
Которых консультируем тоже
В чем проблема?
Друзья тоже успещюшно пишут и консультируют с древних годов

Quet
08.07.2016
17:34:47
ну да, популярность зашкаливает.. Diehl вон писал что все комьюнити промышленных программистов на хаскеле в штатах это сотня человек что ли?
и это нифига не просто так случайно получилось

Alexander
08.07.2016
17:36:12
Мало связано со строками рекордами и трейсами
Честно

Anatolii
08.07.2016
17:36:39

Google

Quet
08.07.2016
17:36:43
можно иметь очень крутой яп, но то что нужно бизнесу от яп и то что нужно исследователям в области CS - совсем разные вещи
вон, я еще про скорость компиляции не говорил
лет 5 на нее клали хер просто
в итоге компилятор стал в разы медленнее, но зато FTP куда важнее

Alexander
08.07.2016
17:37:25
Конечно
Блин сидят куча людей пилят продакшены другие пишут работы и третьи которые ноют что делают не то что они хотят..
Слова дейхла я опровергнуть или подтвердить не могу, но у меня в оценке сомнения
Учитывая только штат Amgen и Galois

Quet
08.07.2016
17:39:00
к чести хаскела, последние годы что-то немного сдвигается в сторону промышленной разработки
но до этого лет 10 точно на все это клалось хер
как раз с формулировкой "вам надо? ну вы и пишите, а мы лучше зависимые типы принесем и всякие другие полезные расширения

Evgenij
08.07.2016
17:39:00

Quet
08.07.2016
17:39:44
да, всегда можно сослаться что кто-то ноет что в языке нет чего-то нужного
но тех кто ноет - меньшинство
большинство просто идут писать продакшен на чем-то другом

Alexander
08.07.2016
17:40:34
Ну можно ныть про строки, а можно написать пропозал в котором продумать решение
Желательно понимая проблематику до конца

Admin
ERROR: S client not available

Alexander
08.07.2016
17:40:54
;)

Quet
08.07.2016
17:40:59
угу, судьбу пропозала про рекорды напомнить?
5 лет никаких движений

Alexander
08.07.2016
17:41:26
Ну никому не нужно было, щас янг пилит
Нужно - подключись

Evgenij
08.07.2016
17:41:41
Alexander Vershilov как можно решить Orphaned instances in Haskell

Alexander
08.07.2016
17:41:53
Newtype написать
Или reify использовать

Quet
08.07.2016
17:42:06
да проще написать на жабе чем пытаться пропозал через это болото толкать )

Google

Evgenij
08.07.2016
17:42:31
Да я читал но чтото громозко выглядит

Alexander
08.07.2016
17:42:34
Ну пытаться заставить других людей написать за тебя то от чего у них не будет профита действительно сложно
У WT вроде порядка 700L час работы, можешь спонсировать
На длинный проект скидки
На ghc наверняка большие

Quet
08.07.2016
17:43:41
угу, или написать на go
кажется выйдет дешевле

Alexander
08.07.2016
17:45:04
Извини, у меня не хватает воображения для того чтобы придумать задачу в которой наличие string в base это блокер
Или ORF

Quet
08.07.2016
17:45:19
или скорость компиляции )

Alexander
08.07.2016
17:45:26
В т.ч.

Quet
08.07.2016
17:45:37
или интроспекция рантайма как в эрланге или жабе

Alexander
08.07.2016
17:45:57
Для этих я могу представить зачем это надо

Quet
08.07.2016
17:46:01
но если это все собрать вместе
то оказывается что лучше уж мучаться с хреновым синтаксисом (go) =р

Alexander
08.07.2016
17:46:09
Но тут haskell в другой категории языков

Quet
08.07.2016
17:46:16
да как в другой

Alexander
08.07.2016
17:46:22
От сей ты интроспекции наверное не требует?
Это не VM язык

Quet
08.07.2016
17:46:33
хаскел это все ж не си

Alexander
08.07.2016
17:46:47
Это та же категория что и компилируемык язвки

Quet
08.07.2016
17:47:00
да ну брось
это высокоуровный язык с gc и прочим
то что там не vm это детали реализации уже

Alexander
08.07.2016
17:47:24
И это не язык компилируемык в бпцткод

Denis
08.07.2016
17:48:10