Objective Caml - Воскресенье, 8 ноября 2009

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 8 ноября 2009< ^ >

Конфигурация комнаты

GMT+3
[00:00:13] <gds> а на плюсах и жабке можно писать функционально. почему бы не писать, если и язык позволяет, и гуй есть. сам бы так делал.
[00:00:57] <valexey_> дык там от гуя то требуется пара кнопок и график нарисовать.
[00:01:17] <SV0L0CH> чтобы соблазнить на функциональщину надо для начала подсадить на шаблоны
[00:01:57] <michael.holub> есть кстати статья, которая показывает, как программирование на хаскелле помогает С++никам писать шаблоны )
[00:02:00] <valexey_> плюсовые?
[00:02:33] <valexey_> michael.holub: дык, да. я сам с++сник. и хаскель да, помогает лучше понимать и писать шаблоны. ;-)
[00:03:52] SV0L0CH сам перешёл на хаскель потомучто он напоминал плюсовые шаблоны, только без уродского синтаксиса
[00:04:59] <valexey_> угу-угу. именно так.
[00:06:00] <gds> нееее, народ. Пару кнопок и график нарисовать на окамле -- это практически нереально. Давайте лучше на хаскеле. Там и математика крутая (тайпклассы! ну б...ь как в ё...ом .++ перегрузка!), ну и все дела.
На окамле графики не рисуются.
[00:10:19] michael.holub вышел(а) из комнаты
[00:15:31] ExplicitCall вышел(а) из комнаты
[00:17:02] ExplicitCall вошёл(а) в комнату
[00:17:34] cutwater вошёл(а) в комнату
[00:22:25] <gds> кстати, если господам любителям х-я интересно, некий математик поглядел на теорию категорий, на монады (как всего лишь на тупые эндофункторы), и понял, что ООП, на самом деле, описывается более глубокими и сложными понятиями теории катеорий (а именно, в простом случае применения ООП, терминальными диалгебрами).
Скажите, вам после этого не западло юзать тупой хаскель, основанный на поганой попытке смоделировать ленивое лямбда-исчисление на фон-неймановской архитектуре, даже без тупейшей корекурсии?
[00:24:44] SV0L0CH пишет на жабоскрипте
[00:24:45] <valexey_> а зачем делать сложнее то что можно сделать проще? ;-)
[00:25:05] dottedmag пишет на C
[00:25:29] cutwater пишет на python && C++
[00:25:43] <dottedmag > gds: ощутил глубину падения?
[00:27:15] <gds> dottegmag: с тех пор, как я тибя клёво травил в пидошке, даже вот не знаю. глубина -- она разная бывает. ведь
[00:28:37] <SV0L0CH> смотрю тут почти как в codingteam@
[00:28:51] <dottedmag > Пиодшке? Когда ж это было, в прошлом веке, что ли?
[00:28:58] <SV0L0CH> чтоль начать народ на камль пересаживать?
[00:29:25] <SV0L0CH> самому чтоли его выучить?
[00:29:38] <Typhon> SV0L0CH, см. топик
[00:29:42] <Typhon> он мертв, его нельзя учить
[00:29:58] <gds> dottedmag: для меня -- ну да, пару веков назад. слишком быстро время летит.
[00:30:42] <SV0L0CH> мёртвые даже лутше... значит они не изменятся
[00:30:46] <dottedmag > Хм. Даже гугл не помнит. А я - тем более.
[00:30:59] <dottedmag > gds: а о чём травля-то была?
[00:32:41] <ermine> SV0L0CH: тебя хаскиль перестал удовлетворять как мощный язык?
[00:33:28] <SV0L0CH> ermine: нет, просто другой подход к языкам
[00:34:07] <SV0L0CH> я пишу но ECMAScript262 и не на каком другом жабоскрипте
[00:34:23] <SV0L0CH> потомучто стандарт и не поменяется
[00:35:18] <ermine> а файрфокс его знает?
[00:35:55] <SV0L0CH> вроде как понимает
[00:36:25] <gds> dottedmag: дык я тоже сейчас в гугле поискал, не нашёл. смутно помню твоё что-то вроде "Ваш возраст не даёт Вам права насмехаться над программистами только на основании того, что они младше, блаблабла" (где-то в fido7.nice.sources.*, которые я модерировал, или в fido7.ru.unix.prog, где я часто интересовался). Учитывая, что разница в возрасте была порядка 1 года, я валялся по полу тогда :) Теперь, конечно, я валяюсь только по серьёзу.
[00:37:41] <dottedmag > OMG. Что-то такое было, ага.
[00:37:48] <ermine> SV0L0CH: а кто у тебя интерпретирует екмаскрипт?
[00:38:12] <dottedmag > ermine: Божественный Интерпретатор, наверняка.
[00:38:16] <gds> ну да, что-то около тестирования vs формальной проверки софта. Мне нужно было это высказать :)
[00:39:06] <ermine> dottedmag : я вот подумываю научиться жабаскрипту через екмашкрипт!
[00:39:31] <ermine> dottedmag : но понятия не имею, кто умеет жрать чистый екмаскрипт
[00:39:39] <dottedmag > ermine: нухз, какой-нибудь сапайдерманки или V8 гугловый
[00:39:56] <dottedmag > Tamarin ещё.
[00:40:10] <dottedmag > Все заявляют, что ECMAScript
[00:40:29] <dottedmag > Собственно, разница-то между ECMAScript и JavaScript невелика, геморрой в DOM-модели.
[00:40:31] <SV0L0CH> ermine: браузеры, Qt... OpenOffice пока не задействовал
[00:40:34] <ermine> нуланна
[00:40:42] <ermine> а чем екмаскрипт лучше lua?
[00:40:53] <dottedmag > На его диалекте можно в браузере писать :)
[00:41:01] <dottedmag > А lua браузер не прожуёт.
[00:41:08] <dottedmag > s/писать/запускать/
[00:41:19] <ermine> и еще есть AppleScript, с виду похожий на яваскрипт
[00:41:52] <ermine> dottedmag : elinks умеет lua :)
[00:42:25] <dottedmag > Да. Не всякий браузер прожуёт lua. Жующих JavaScript больше.
[00:43:22] cutwater вышел(а) из комнаты: Replaced by new connection
[00:43:27] cutwater вошёл(а) в комнату
[00:43:38] <gds> дамы и господа. сейчас я буду постить только top-level values.
[00:43:42] <SV0L0CH> DOM-модель к самому языку отношения не имеет
[00:43:56] <gds> только top-level values!
[00:45:30] <ermine> левелы свыше
[00:46:26] <ermine> ну и где?
[00:46:53] <ermine> # let level = let level = let level = let level ....
[00:46:56] <gds> ermine: theeare thing by the order higher, yo listan!
[00:47:10] <ermine> а ведь это в хаскиле работать не будет
[00:47:26] <ermine> ограниченный язык
[00:51:27] <gds> да, язык ограниченный. Для тупых математических kiddies. Ни тебе предсказуемости производительности по памяти, ни по месту появления ошибки. В окамле всё проще -- strict evaluation, все дела. Производительность кода зависит исключительно от кода, ошибка появляется ровно при выполнении кода, где она допущена.
[00:55:40] <ermine> а как с этим в схеме?
[00:56:00] <gds> учитывая, что система типов примерно одинаковая (ну, type classes -- модули и объекты, смотря что нужно по условиям задачи; GADTs эмулируются на отличненько; а то, что заставляет компилятор зависать, в окамле и не нужно), то как бы понятно, что брать для корректного и по-всякому предсказуемого кода. У меня уже давно нет вопросов. Разве что забегаю под виртуалами потравить чисто-функциональных погроммистов. Кайф!
[00:56:24] <dottedmag > Готовая агитка
[00:56:26] dottedmag апплодирует
[00:56:37] <gds> думаете, пост у забиватора кем был создан по-настоящему?
[00:58:39] <gds> (нет, конечно, сам пост был написан лично Олегом, а моё имя не таково)
[00:59:44] <ermine> а какое у тебя имя?
[01:00:02] <ermine> георгий/григорий/г..?
[01:00:13] <ermine> (глядя на ник)
[01:00:49] dottedmag глядит на юзеринфо и гыгыкает
[01:01:10] <gds> ermine: "думитру", если слушать малдаван. гыгыгы
[01:03:16] ermine заглянула в вкард
[01:05:07] <ermine> вообще Дмитриев сейчас навалом везде
[01:05:57] <Typhon> на планете полно (6 768 167 712) народу, кого угодно сейчас навалом
[01:07:20] <ermine> Тимофеев гораздо меньше
[01:07:25] <gds> да, что ж поделать. имя левое. сейчас тусуюсь с реальными пацанами, там я вася (ну как и они все, вообще). мобилы снимаем, на бабло лохов разводим, все дела. имена -- для лохов. вася -- для людей.
[01:08:14] ExplicitCall вышел(а) из комнаты: Replaced by new connection
[01:08:17] ExplicitCall вошёл(а) в комнату
[01:08:35] <ermine> gds: я своего супруга называю проще - Митькой
[01:09:39] <ermine> странно, но Димы обычно избегают быть Митькой
[01:09:56] <ermine> чем и пользуемся для неслияния в единую массу
[01:12:01] <gds> шаффл мне даёт иногда серии "жизнь насекомых" пилевинда, там про "дима vs митя" хорошо прошёлся автор. Однако, вася всё равно круче. Да и тупые отмазки этих терпил, вида "какой-то вася мабилу отнял" -- ваще ололо
[01:17:02] <SV0L0CH> Митьки это Митрофаны, а не Дмитрии
[01:20:05] SV0L0CH вышел(а) из комнаты
[01:27:20] dottedmag вышел(а) из комнаты: Replaced by new connection
[01:27:30] dottedmag вошёл(а) в комнату
[01:45:04] dottedmag вышел(а) из комнаты
[01:45:23] dottedmag вошёл(а) в комнату
[01:51:35] cutwater вышел(а) из комнаты: offline
[02:25:19] valexey_ вышел(а) из комнаты
[02:41:26] Typhon вышел(а) из комнаты
[04:13:14] aloner2k вошёл(а) в комнату
[04:42:15] dottedmag вышел(а) из комнаты: Replaced by new connection
[04:42:23] dottedmag вошёл(а) в комнату
[04:58:27] dottedmag вышел(а) из комнаты
[04:58:49] dottedmag вошёл(а) в комнату
[05:16:10] sevenov вышел(а) из комнаты: Replaced by new connection
[05:16:11] sevenov вошёл(а) в комнату
[06:29:47] ExplicitCall вышел(а) из комнаты
[06:32:06] ExplicitCall вошёл(а) в комнату
[06:40:36] aloner2k вышел(а) из комнаты
[10:00:45] ygrek вошёл(а) в комнату
[10:08:39] valexey_ вошёл(а) в комнату
[11:20:08] <ygrek> > нативного кодогенератора для MIPS и ARM нет
для арм есть имхо, в исходном посте про машкод речь не шла, и как там у луа с машкодом?
[11:20:34] <ygrek> байткод камля переносим
[11:26:34] <ygrek> а толщина рантайма это видимо ocamlrun (cma ведь только для компиляции используются?) - 120k
[11:41:36] valexey_ вышел(а) из комнаты
[11:52:59] <ygrek> btw ocamlopt поддерживает mips и strongarm
[12:07:45] dottedmag вышел(а) из комнаты
[12:12:08] sceptic вышел(а) из комнаты
[12:27:36] iNode вышел(а) из комнаты
[12:28:20] Typhon вошёл(а) в комнату
[13:09:19] Typhon вышел(а) из комнаты
[13:23:34] dottedmag вошёл(а) в комнату
[13:40:25] ygrek вышел(а) из комнаты
[14:16:31] ygrek вошёл(а) в комнату
[14:21:56] <> вошёл(а) в комнату
[14:22:08] <> вышел(а) из комнаты
[15:15:43] sceptic вошёл(а) в комнату
[15:59:26] dottedmag вышел(а) из комнаты: offline
[16:50:15] sceptic вышел(а) из комнаты
[16:50:27] sceptic вошёл(а) в комнату
[17:21:55] ygrek вышел(а) из комнаты
[17:22:00] ygrek вошёл(а) в комнату
[17:37:42] ygrek вышел(а) из комнаты: Replaced by new connection
[17:37:44] ygrek вошёл(а) в комнату
[17:42:11] valexey_ вошёл(а) в комнату
[18:01:33] sceptic вышел(а) из комнаты: Replaced by new connection
[18:02:23] sceptic вошёл(а) в комнату
[18:03:13] sceptic вышел(а) из комнаты
[18:05:46] sceptic вошёл(а) в комнату
[18:18:10] ExplicitCall вышел(а) из комнаты
[18:58:24] sceptic вышел(а) из комнаты: Replaced by new connection
[18:58:32] sceptic вошёл(а) в комнату
[20:00:31] sceptic вышел(а) из комнаты
[20:11:33] sceptic вошёл(а) в комнату
[20:19:55] sceptic вышел(а) из комнаты: Replaced by new connection
[20:20:00] sceptic вошёл(а) в комнату
[20:20:26] sceptic вышел(а) из комнаты: Replaced by new connection
[20:21:38] sceptic вошёл(а) в комнату
[20:22:40] sceptic вышел(а) из комнаты: Replaced by new connection
[20:23:47] sceptic вошёл(а) в комнату
[20:48:39] ExplicitCall вошёл(а) в комнату
[23:02:42] ermine хлещет бейлиз
[23:07:24] sevenov вышел(а) из комнаты
[23:07:32] sevenov вошёл(а) в комнату
[23:18:29] sceptic вышел(а) из комнаты
[23:31:01] ygrek вышел(а) из комнаты
[23:44:51] ExplicitCall вышел(а) из комнаты: I'm happy Miranda IM user. Get it at http://miranda-im.org/.