IDE для Haskell - когда появится? — Talks

emacs?

unfo ★★★★★
(10.01.13 20:58:13 MSK)
Последнее исправление: unfo 10.01.13 20:59:38 MSK (всего исправлений: 1)

vim, emacs, notepad.exe, но это же просто текстовые редакторы, как же так?

vim вроде можно превратить в IDE с помощью костылей. Emacs наверное тоже.

~~firestarter~~ ★★★☆
(10.01.13 20:59:12 MSK)

Не нежно.

Вот подсветки бы годной не помешало, а то кроме emacs и gedit везде неполная.

обозревателя переменных толком нет.

язабан

quowah ★
(10.01.13 21:01:34 MSK)

обозревателя переменных

Переменных? В haskell??777

~~imtw~~
(10.01.13 21:03:27 MSK)

Ссылка

А что мешает реализовать таковую на ваш взгляд?

Ненужность?

encyrtid ★★★★★
(10.01.13 21:08:58 MSK)

тяжеловесного

Не очень

Но вообще вопрос в популярности, более ничего. Технических препятствий быть не должно. Ну не побежит JetBrains напрягать отдел воротить поддержку Haskell. Для кого?

~~vertexua~~ ★★★★★
(10.01.13 21:09:59 MSK)

А что мешает реализовать таковую на ваш взгляд? Низкая популярность языка?

А на кой черт? Самолично у меня процесс работы такой: поработал в vim, поработал в ghci, еще проаботал в vim и поработал в ghci...

Это же не «менйстрим» язык. Тут запускать дебаггер и мацкать мышкой по кнопке «фпирёд» нет никакого толку. Обычно сразу пишу юнит-тесты, большей частью на QuickCheck, значительно реже не HUnit. QuickCheck досаточно интерактивен, позволяет выводить достаточно много отладочной информации, и хорошо сочетается с ghci.

Самое обидное, что в процессе написания тестов исправляется 100% глюков, и окончательная версия запускается без ошибок. Получается что зря писал, да :(

Жалко, что рефакторить приходится руками. Но это не задача IDE, вернее, не столько IDE. Наверное тут дело в том, что не наработано большое количество паттернов рефакторинга. Лично я могу сходу привести три-четыре, но это же курам на смех.

PS: А автодополнение в хаскеле процесса разработки не ускоряет. Это вам не Ява.

Macil ★★★★★
(10.01.13 21:19:01 MSK)

Ответ на: комментарий от Macil 10.01.13 21:19:01 MSK

автодополнение в хаскеле процесса разработки не ускоряет

Зато оно может быть намного умнее за счёт знания типов. Вроде как той программки, которая генерит код, имеющий заданный тип.

unC0Rr ★★★★★
(10.01.13 21:38:40 MSK)

А чего в Leksah не хватает?

keyran ★★
(10.01.13 21:48:26 MSK)

Ссылка

Ответ на: комментарий от unC0Rr 10.01.13 21:38:40 MSK

Зато оно может быть намного умнее за счёт знания типов.

Теоретически возможно все. А вот практика... Нда...

Намного перспективнее «дырки» а-ля Agda. Работы в этом направлении ведутся.

Macil ★★★★★
(10.01.13 21:53:07 MSK)

Ссылка

Для Objective-C, C++, C#, Java, Scala есть оффициальные классные IDE. Для большого тяжеловесного языка Haskell ее нет и похоже не предвидится

интересно, есть ли предел человеческой глупости, и скоро ли ты его достигнешь?

большая часть функций IDE для перечисленных языков для Haskell не нужна; меньшая есть в плагинах для Emacs и Vim

А что мешает реализовать таковую на ваш взгляд?

чтобы решать какие, например, задачи?

jtootf ★★★★★
(10.01.13 21:53:57 MSK)

Ответ на: комментарий от unfo 10.01.13 20:58:13 MSK

Нет уж, раз он такой крутой функциональщик, что ему понадобился хаскель, пусть допиливает Yi, заодно и хаскель освоит.

Bad_ptr ★★★★★
(10.01.13 21:54:20 MSK)

Ссылка

Ответ на: комментарий от jtootf 10.01.13 21:53:57 MSK

снимаю вопрос насчёт глупости, у тебя просто аватарка похожая :)

jtootf ★★★★★
(10.01.13 21:55:12 MSK)

Ссылка

оффициальные

от слова «off»?

lazyklimm ★★★★★
(10.01.13 21:56:31 MSK)

Ссылка

http://code.google.com/p/ideah/

//На хаскеле никогда не писал, плагином не пользовался, на правах ленивого поиска в гугле.

wlan ★★
(10.01.13 22:15:09 MSK)
Последнее исправление: wlan 10.01.13 22:16:08 MSK (всего исправлений: 1)

Ссылка

emacs /thread

(хотя сам пользователь VIM).

~~GreenBag~~ ★★
(10.01.13 22:15:47 MSK)

Ссылка

Ответ на: комментарий от firestarter 10.01.13 20:59:12 MSK

Сложность превращения vim и notepad.exe в достойную IDE примерно одинакова.

quiet_readonly ★★★★
(10.01.13 22:29:14 MSK)

Ссылка

Ответ на: комментарий от encyrtid 10.01.13 21:08:58 MSK

Ненужность?

обоснование ненужности будет?

true_admin ★★★★★
(10.01.13 22:42:21 MSK)

emacs

это же просто текстовые редакторы

Если кто-то не позаботился о том, чтобы написать Haskell IDE для емакса, это не вина емакса.

А вообще, зачем оно не нужно?

buddhist ★★★★★
(10.01.13 22:45:26 MSK)

Ссылка

Ответ на: комментарий от true_admin 10.01.13 22:42:21 MSK

большинство пользуется vim/emacs некоторые eclipse-fp, всех устраивает настолько, что всякие lekhas смотрятся кривой поделкой, а yi имеет режимы vim и emacs.

qnikst ★★★★★
(10.01.13 22:46:01 MSK)

Ссылка

Ответ на: комментарий от quowah 10.01.13 21:01:34 MSK

Не нежно.

Ага, суровые haskell-программисты в нежностях вроде IDE не нуждаются.

prozium ★★
(10.01.13 22:46:47 MSK)

Ссылка

Ответ на: комментарий от true_admin 10.01.13 22:42:21 MSK

обоснование ненужности будет?

Хаскель - не жаба, зачем для него IDE?

encyrtid ★★★★★
(10.01.13 22:53:18 MSK)

Ответ на: комментарий от encyrtid 10.01.13 22:53:18 MSK

Хаскель - не жаба, зачем для него IDE?

Да ваще хаскель не ЯП, к чёрту средства отладки!

ЗЫ так по теме есть что сказать?

true_admin ★★★★★
(10.01.13 22:54:38 MSK)

Хаскеллисты не ценят ничего, кроме кратковременных удобств. Write once, forget 4ever.

quiet_readonly ★★★★
(10.01.13 22:55:42 MSK)
Последнее исправление: quiet_readonly 10.01.13 22:57:22 MSK (всего исправлений: 1)

Ссылка

Ответ на: комментарий от true_admin 10.01.13 22:54:38 MSK

Какие фичи IDE тебе нужны для хаскеля?

encyrtid ★★★★★
(10.01.13 22:57:16 MSK)

Ответ на: комментарий от encyrtid 10.01.13 22:57:16 MSK

Какие фичи IDE тебе нужны для хаскеля?

Задачу обозначьте. Чем больше подробностей, тем лучше - я бы даже с удовольствием выслушал небольшую выдуманную историю.

quiet_readonly ★★★★
(10.01.13 22:58:27 MSK)

Ответ на: комментарий от encyrtid 10.01.13 22:57:16 MSK

всё что мне пока нужно это обоснование ненужности отладчика для хаскеля.

true_admin ★★★★★
(10.01.13 22:59:15 MSK)

Ответ на: комментарий от quiet_readonly 10.01.13 22:58:27 MSK

Задачу обозначьте. Чем больше подробностей, тем лучше - я бы даже с удовольствием выслушал небольшую выдуманную историю

картинка_с_летчиком.жпг

encyrtid ★★★★★
(10.01.13 23:03:24 MSK)

Ответ на: комментарий от encyrtid 10.01.13 23:03:24 MSK

Приведите пример задачи, с которой надо работать. И есть ли там уже написанный код на хаскелле или ином языке, команда разработчиков.

quiet_readonly ★★★★
(10.01.13 23:04:25 MSK)
Последнее исправление: quiet_readonly 10.01.13 23:05:15 MSK (всего исправлений: 1)

Ответ на: комментарий от true_admin 10.01.13 22:59:15 MSK

всё что мне пока нужно это обоснование ненужности отладчика для хаскеля

Как минимум, отсутствие переменных и ghci.

encyrtid ★★★★★
(10.01.13 23:04:34 MSK)

Ссылка

Ответ на: комментарий от true_admin 10.01.13 22:59:15 MSK

1) Есть ghci и вимовская команда :GHCi. Этого достаточно.

2) Сегфолтов и прочего байтоложества в хаскеле нет, если программа и падает, то сообщение об ошибке всегда читаемое. Смотреть содержимое переменных не нужно, ибо их нет.

~~imtw~~
(10.01.13 23:05:07 MSK)

Ответ на: комментарий от quiet_readonly 10.01.13 23:04:25 MSK

Приведите пример задачи, с которой надо работать. И есть ли там уже готовый код на хаскелле или ином языке.

Какой задачи? О чем речь вообще?

encyrtid ★★★★★
(10.01.13 23:05:40 MSK)

Ответ на: комментарий от imtw 10.01.13 23:05:07 MSK

Как минимум, отсутствие переменных

Смотреть содержимое переменных не нужно, ибо их нет.

Как зомбирование-то работает :) Ну, хорошо, у выражений есть значения? Их можно вычеслить и показать? Функция trace что делает?

true_admin ★★★★★
(10.01.13 23:07:51 MSK)

Ответ на: комментарий от encyrtid 10.01.13 23:05:40 MSK

Всё ясно. Вот так и дальше вопите «IDE не нужны».

Мне для написания hello world тоже ничего не надо, nano хватит.

quiet_readonly ★★★★
(10.01.13 23:09:13 MSK)

Ссылка

Ответ на: комментарий от true_admin 10.01.13 23:07:51 MSK

Их можно вычеслить и показать?
Есть ghci и вимовская команда :GHCi

Функция trace что делает?

Выводит значение в stdout.

Как зомбирование-то работает

Не хватает аргументов - зачморь их всех.

~~imtw~~
(10.01.13 23:11:27 MSK)

Ответ на: комментарий от true_admin 10.01.13 23:07:51 MSK

Как зомбирование-то работает :) Ну, хорошо, у выражений есть значения? Их можно вычеслить и показать? Функция trace что делает?

Какое это отношение имеет к IDE?

encyrtid ★★★★★
(10.01.13 23:21:42 MSK)

emacs

~~AiFiLTr0~~ ★★★★★
(10.01.13 23:27:19 MSK)

Ссылка

Ответ на: комментарий от encyrtid 10.01.13 23:21:42 MSK

Какое это отношение имеет к IDE?

Ты спрашиваешь какое отношение имеет ide к процессу отладки?

Впрочем, я понимаю что не всё так просто из-за ленивости и в общем случае недетерминированного порядка вычислений.

true_admin ★★★★★
(10.01.13 23:29:44 MSK)

Ответ на: комментарий от true_admin 10.01.13 23:29:44 MSK

Ты спрашиваешь какое отношение имеет ide к процессу отладки?

Отладки, в традиционном понимании, в хаскелле нет.

encyrtid ★★★★★
(10.01.13 23:34:28 MSK)

Ответ на: комментарий от encyrtid 10.01.13 23:34:28 MSK

Отладки, в традиционном понимании, в хаскелле нет.

ну пусть будет нетрадиционная отладка

true_admin ★★★★★
(10.01.13 23:36:47 MSK)

Ответ на: комментарий от true_admin 10.01.13 23:36:47 MSK

ну пусть будет нетрадиционная отладка

А для нее IDE не нужна :-) IDE для хаскеля не даст такого прироста производительности как для традиционных императивных языков.

encyrtid ★★★★★
(10.01.13 23:45:02 MSK)

Ответ на: комментарий от encyrtid 10.01.13 23:45:02 MSK

IDE для императивных языков прежде всего даёт прирост поддерживаемости кода и эффективности одновременной работы.

Как вы читаете чужой код на haskell?

quiet_readonly ★★★★
(10.01.13 23:58:07 MSK)

Ответ на: комментарий от imtw 10.01.13 23:11:27 MSK

Выводит значение в stdout.

Немного не так:

trace s a = unsafePerformIO $ putStrLn s >> return a

~~imtw~~
(10.01.13 23:59:14 MSK)

Ссылка

IDE для Haskell - когда появится?

Когда ты её напишешь.

O02eg ★★★★★
(11.01.13 00:06:15 MSK)

Ссылка

Ответ на: комментарий от imtw 10.01.13 23:05:07 MSK

Сегфолтов и прочего байтоложества в хаскеле нет

и стек переполнить нельзя, и профайлер не нужен. одна история лучше другой

AptGet ★★★
(11.01.13 00:08:00 MSK)

Ответ на: комментарий от quiet_readonly 10.01.13 23:58:07 MSK

Не надоедает изо дня в день в течении нескольких месяцев вбрасывать одно и то же? Ну что за косплей мистера Финк-Нотла.

Расширьте область интересов немного, освоив новую парадигму программирования, к примеру.

~~imtw~~
(11.01.13 00:12:10 MSK)

Ответ на: комментарий от AptGet 11.01.13 00:08:00 MSK

и стек переполнить нельзя, и профайлер не нужен

Этого я не говорил. См. Карел Чапек, «правила ведения дискуссий», пункт 6. Imago.

От переполненного стека отладчик не спасёт, а о ненужности профайлера никто и не говорил.

~~imtw~~
(11.01.13 00:16:52 MSK)

Ответ на: комментарий от encyrtid 10.01.13 23:34:28 MSK

Отладки, в традиционном понимании, в хаскелле нет.

http://www.haskell.org/ghc/docs/latest/html/users_guide/ghci-debugger.html

true_admin ★★★★★
(11.01.13 00:21:05 MSK)

Ссылка

Ответ на: комментарий от imtw 11.01.13 00:16:52 MSK

Этого я не говорил. См. Карел Чапек, «правила ведения дискуссий», пункт 6. Imago.

Сегфолты это значит «байтоложество», а переполнения стека и профилирование постфактум - нет? удобно очень, чо.

AptGet ★★★
(11.01.13 00:23:36 MSK)

Ответ на: комментарий от imtw 11.01.13 00:12:10 MSK

На вопрос ответь, толстенький

quiet_readonly ★★★★
(11.01.13 00:23:38 MSK)

Ссылка

Похожие темы