Delphi vs C++ vs C# , ну и Java немножко, где-то ближе к старшему байту номеров страниц

Кстати, раз уж тут до Хаскеля добрались. Какую IDE вы используете? Желательно чтобы скачал установочник/плагин, запустил и все поехало

Мне vim/np++ хватает, т.к. ничего не пишу, только тестовые хеллоу-ворлды. А так только emacs haskell-mode. Правда есть еще leksah, но оно какое-то глючноватое.

Цитата korvin @ 22.03.12, 04:07

Ты ничего не слышал про хеш-таблицы? o_O'

Добавлено 22.03.12, 04:09
Да и вообще

getInstance (scalarProduct, dTag) = dTag.ScalarProduct.scalarProduct

Даже хеш не нужен. Все то же самое, что и в C++.

Да неизвестны тебе все тайпклассы и все инстансы для типа. Не сможешь ты сформировать такую структуру. И хеш тоже, разве что переформировывать такую таблицу в процессе компиляции, переходя от модуля к модулю... Но и это не решит проблем, например, с динамически подключамыми библиотеками.
И все из-за того, что инстанс тайпкласса для типа может находиться в другом модуле относительно самого типа.

Добавлено 22.03.12, 06:34

Цитата OpenGL @ 22.03.12, 04:44

Кстати, раз уж тут до Хаскеля добрались. Какую IDE вы используете? Желательно чтобы скачал установочник/плагин, запустил и все поехало

Поскольку дальше экспериментов дело не заходит, то полноценная IDE не нужна, так что emacs

Цитата D_KEY @ 22.03.12, 06:28

Поскольку дальше экспериментов дело не заходит

Хороший вердикт хаскелю

Цитата D_KEY @ 22.03.12, 06:28

Да неизвестны тебе все тайпклассы и все инстансы для типа. Не сможешь ты сформировать такую структуру. И хеш тоже, разве что переформировывать такую таблицу в процессе компиляции, переходя от модуля к модулю... Но и это не решит проблем, например, с динамически подключамыми библиотеками.
И все из-за того, что инстанс тайпкласса для типа может находиться в другом модуле относительно самого типа.

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

Добавлено 22.03.12, 07:27

Цитата MyNameIsIgor @ 22.03.12, 06:53

Цитата D_KEY @ 22.03.12, 06:28

Поскольку дальше экспериментов дело не заходит

Хороший вердикт хаскелю

Как ты легко искажаешь смысл слов собеседника.

Цитата korvin @ 22.03.12, 07:27

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

Я может чего и не понимаю, но ghc компилирует модули отдельно. В любом случае, что делать с динамическими библиотеками? Или в Haskell их не бывает ?

Цитата D_KEY @ 22.03.12, 07:46

Я может чего и не понимаю, но ghc компилирует модули отдельно.

И? Давай ты просто приведешь пример модуля, где возникнут проблемы с неизвестными инстансами?

Цитата D_KEY @ 22.03.12, 07:46

В любом случае, что делать с динамическими библиотеками? Или в Haskell их не бывает ?

До недавнего времени не бывало, да и сейчас afaik с ними не все решено.

Цитата korvin @ 22.03.12, 08:34

Цитата D_KEY @ 22.03.12, 07:46

Я может чего и не понимаю, но ghc компилирует модули отдельно.

И? Давай ты просто приведешь пример модуля, где возникнут проблемы с неизвестными инстансами?

Так я и говорю. Тайпкласс + функция, работающая со значениями типов, соответствующих тайпклассу.
Как я понимаю, сейчас такая функция принимает все методы тайпкласса(ну или ссылку на структуру, содержащую все методы). Чем такой подход хуже хранения такой ссылки в самом объекте?
Твой способ все-равно не улучшает ситуацию для "рекурсивных" инстансов, так что я вообще не понимаю, что ты собираешься оптимизировать.

Добавлено 22.03.12, 08:43

Цитата korvin @ 22.03.12, 08:34

До недавнего времени не бывало, да и сейчас afaik с ними не все решено.

Какой ужас.

Цитата D_KEY @ 22.03.12, 08:42

Какой ужас.

Хороший вердикт хаскелю

Цитата D_KEY @ 22.03.12, 08:42

Так я и говорю. Тайпкласс + функция, работающая со значениями типов, соответствующих тайпклассу.
Как я понимаю, сейчас такая функция принимает все методы тайпкласса(ну или ссылку на структуру, содержащую все методы). Чем такой подход хуже хранения такой ссылки в самом объекте?
Твой способ все-равно не улучшает ситуацию для "рекурсивных" инстансов, так что я вообще не понимаю, что ты собираешься оптимизировать.

Эм... Я не понимаю, что ты этим хочешь сказать.

Добавлено 22.03.12, 09:05

Цитата D_KEY @ 22.03.12, 08:42

Цитата korvin @ 22.03.12, 08:34

Цитата D_KEY @ 22.03.12, 07:46

Я может чего и не понимаю, но ghc компилирует модули отдельно.

И? Давай ты просто приведешь пример модуля, где возникнут проблемы с неизвестными инстансами?

Так я и говорю. Тайпкласс + функция, работающая со значениями типов, соответствующих тайпклассу.
Как я понимаю, сейчас такая функция принимает все методы тайпкласса(ну или ссылку на структуру, содержащую все методы). Чем такой подход хуже хранения такой ссылки в самом объекте?
Твой способ все-равно не улучшает ситуацию для "рекурсивных" инстансов, так что я вообще не понимаю, что ты собираешься оптимизировать.

Я не понимаю, как твой ответ относится к моему вопросу.

Добавлено 22.03.12, 09:06
Кто-нибудь, знает, что с сообщениями?

Добавлено 22.03.12, 09:08

Цитата D_KEY @ 21.03.12, 16:12

Там не все так просто

Ахалай-махалай, сим-салабим, абра-кадабра, сообщенье появись!

Цитата korvin @ 22.03.12, 08:55

Кто-нибудь, знает, что с сообщениями?

При переходе на новую страницу не появляются часто - насколько я понимаю это глюк связан с автоудаляемыми сообщениями. Нужно вслед за непоявившимся добавлять новое, причем чтобы оно не склеивалось с предыдущим

Цитата korvin @ 22.03.12, 08:55

Я не понимаю, как твой ответ относится к моему вопросу.

На твой вопрос ответ в первом предложении. Дальше уже вообще о подходе к реализации тайпклассов и инстансов.

Добавлено 22.03.12, 09:18

Цитата MyNameIsIgor @ 22.03.12, 08:46

Цитата D_KEY @ 22.03.12, 08:42

Какой ужас.

Хороший вердикт хаскелю

Цитата --Ins-- @ 22.03.12, 09:14

При переходе на новую страницу не появляются часто - насколько я понимаю это глюк связан с автоудаляемыми сообщениями. Нужно вслед за непоявившимся добавлять новое, причем чтобы оно не склеивалось с предыдущим

Всё верно, кроме причины. Причина - мои сообщения, которые ещё не одобрили. Кроме лечения путём ещё одного сообщения, можно поправить параметр st в url'е - увеличить на единичку.

Цитата korvin @ 22.03.12, 08:55

Я не понимаю, что ты этим хочешь сказать.

instance ScalarProduct a => ScalarProduct (Cons a) where scalarProduct (Cons n1 a1) (Cons n2 a2) = n1 * n2 + scalarProduct a1 a2

Во что, согласно твоему подходу, должен быть скомпилирован такой инстанс?

Цитата --Ins-- @ 22.03.12, 09:14

Нужно вслед за непоявившимся добавлять новое, причем чтобы оно не склеивалось с предыдущим

Не, не работает, у меня в предыдущем посте вон сколько приклеенных, а стали отображаться посты только после того, как кто-то кроме меня написал в тему. Хотя и это вроде не всегда срабатывает.