花弁

Ищю студентов, желающих покодить на Хаскелле бесплатно Доброкодер 31 August 2011 (Wed) 04:55 No.13259

File: 14050764.jpg
Jpg, 823.54 KB, 1300×800 - Click the image to expand

Ко мне поступило предложение на модификацию HJavaScript от Joel Björnson. Вернее он посоветовал мне сделать форк, внести изменения, потом связаться с ним на предмет обновления библиотек на хакадже. Так как сам я ленивый, я ищу кого-нибудь, кто сделает всю работу за меня. Или хотя бы половину работы. Плачу няшками. Москвичу или гостю столицы могу подарить сертификат на прыжок с десантным парашютом с высоты 800 метров (или оплатить подобное мероприятие в Вашем регионе, если Ваш парашютный клуб принимает переводы от частных лиц).

Вводная информация:

Направление - веб разработка, html5 как универсальная платформа для разработки приложений.
Изюминка - а давайте будем вместо джава-скрипта использовать eDSL-ы на языке с такой-то типизацией!
Задача - добавить поддержку html5 canvas в HJScript.
Будут затронуты - HJavaScript и HJScript.
Возможное дальнейшее развитие - реализация поддержки html5 в HJScript, создание библиотек для построения графических пользовательских интерфейсов, создание графических библиотек для игрушек, бизнесовой графики и т.п.

Задачи и приоритеты:

HJScript - добавление поддержки Сanvas согласно стандартам (http://www.whatwg.org/specs/web-apps/current-work/multipage/the-canvas-element.html#the-canvas-element) - приоритетно.
HJScript - добавление поддержки остальных объектов html5 - не приоритетно.
HJScript - максимально строгая типизация объектов html5 - если понимаем, что это совсем нахаляву - "не приоритетно", иначе - "на заметку" (т.е. не делаем, но дизайним либу так, чтобы потом это можно было добавить путём модификации кода либы максимально прозрачно для потребителей).
HJScript - дополнительное юзабилити (замена типов на соответствующие классы в существующих функциях) - не приоритетно и только после обсуждения этого вопроса с Джолем. Нужно понять, почему он сам этим не воспользовался, возможно в этом есть скрытый смысл, которого я не понимаю.

HJavaScript - решение функционала строго под нужды модификации HJScript (сорт оф хардкод) - приоритетно.
HJavaScript - исправление фактических ошибок в притти-принтере - приоритетно.
HJavaScript - минимальный редизайн для обеспечения возможности расширения функционала (тупо расширение списка экспортируемых функций) - не приоритетно.
HJavaScript - грамотный редизайн для обеспечения возможности расширения функционала (продумываем, что экспортируем, допускается редизайн самой библиотеки, чтобы не экспортировать совсем низкоуровневое говно, но предоставить возможности расширения) - не приоритетно.
HJavaScript - редизан в соответствии с новыми фишками Хаскиля (замена фундепов семествами классов и т.п.) + обеспечение дополнительного юзабилити - не приоритетно и только под платформу. Т.е. если требуются фишки, поддерживаемые в > 7.0.3 - либо ничего не делаем, либо ждем платформу.
HJavaScript - производительность (обеспечение возможности на bytestring, обеспечение возможности написания пользовательских рендерилок и т.п.) - на заметку.

Оценка затраты (очень приблизительно):

Разрабока - 60 часов
Коммуникации и организационные вопросы - 10 часов
Техническое обеспечение (учимся пользоваться системой контроля версий, wiki и т.п.) - 16 часов
Ресёч, контроль качества, тестирование, документирование, багфикс, релиз - 30 часов.

Итого: 58 часов в рыло, если делим поровну. Минимальные требования - выделять 10 часов в неделю. Таким образом, проект на полтора месяца. Дольше - тупо заебёт, я это знаю, поэтому так и рассчитываю. Если видим, что заябывает раньше, или не укладываемся в сроки - режем функционал. Всё что "не приоритетно" и ниже - можно вырезать без вреда для качества, тут такого процентов 90 как видите.

Требования:

- 10 часов в неделю, как уже писал.
- Минимальные знания хаскиля, включая тайплевел (да, будет говно на фундепах) и желание во всем этом разобраться бесплатно (т.е. если вы не планируете писать курсовую на Хаскеле, или устраиваться математиком в касперский-лабс, скорее всего вам это будет неинтересно).
- Понимание того, что лучшее - враг хорошего; что задачи делаются строго по приоритетам, даже если при реализации следующего шага всё равно придётся переписывать предыдущие; что процесс код-ревью существует даже в командах из двух разработчиков и даже в фан-проектах на анонимных досочках; что фиксирование статусов задач, трудозатрат и изменений - столь же увлекательный процесс, как и написание кода.
- Наличие email-а (фейкового или нет, мне пофиг) и гуглетолка (скайпами, аськами, жаберами и windows messengerами пользоваться не умею, хотя если готовы научить, можно обсудить).
- Прочтение этой http://ru.wikipedia.org/wiki/Прокрастинация статьи из википедии и наличие ответа на вопрос "а нафиг мне это надо?" в рамках категории "важных и несрочных" дел. Мне этот ответ сообщать не обязательно, важно чтобы вы сами его знали.

Нестуденты, у которых в жопе играет детство и руки чешутся что-нибудь написать (т.е. чуваки вроде меня самого) тоже приветствуются. Требования те же.

Доброкодер 01 September 2011 (Thu) 17:07 No.13349

Надо же, сколько желающих прыгнуть с парашютом.

>>13264
Если уже делаешь проект, то лучше сначала его до ума доведи. Законченный лучше незаконченных.
>>13273
Ок, надо подумать, какую пользу ты сможешь извлечь из этого проекта. В нём использованы GADT-ы для типизации на уровне AST-а. В принципе, это интересно, но курсач из этого не сделать, т.к. весь ресёч уже выполнен и либа написана (фактически, осталась только обычная кодерская работа). Возможно, получится использовать его, чтобы освоиться с прикладным использованием GADT-ов, пройтись по ссылкам отсюда: http://en.wikipedia.org/wiki/Generalized_algebraic_data_type, посмотреть открытые проблемы (осторожно, некоторые могут быть очень сложными) и найти там что-нибудь, из чего можно сделать курсач, который потом получится развить в дипломную. Напишу на мыло, когда решу вопрос с хостингом проекта.
>>13275

> И вообще, заходи к нам почаще, смотри какие кадры есть

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

По хостингу. Подумываю захоститься на http://www.patchtag.com/. Там darcs, wiki и куча хаскеллистов (главным образом из-за darcs-а, хочется на собственном опыте узнать, почему разработчики GHC от него отказались ;) Но там нет багтрекера. Т.е. придется либо вести багтрекер отдельно (где?), либо фигачить задачи прямо в вики (благо их немного). Начать готовить рабочее место планирую в эти выходные. Правда я улетаю в воскресение, поэтому до понедельника могу не успеть. Пока буду рад любым советам относительно места для хостинга, может быть кто-нибудь отговорит меня от patchtag-а.

По времени. Как уже написал, планирую выделять ~10 часов в неделю. Хотя возможно стоит сбросить до 8, как пойдёт. С 4 по 13 я не работаю, использую это время, чтобы стартануть проект. Далее около месяца плану: 8-10 ч. Где-то через полтора-два месяца хочу пойти на AFF (если ВПП не размоет), к этому времени планирую иметь рабочую версию, которую можно выложить на Hackage и остановить разработку (т.к. времени уже не будет, да и надоест).

красочная_картинка_из_японского_мультика.джпг

Вести с полей. Доброкодер 06 September 2011 (Tue) 15:41 No.13623

File: 90515597b2044be505b235d4e35a2aba.jpg
Jpg, 147.54 KB, 700×569 - Click the image to expand

Во-первых раздуплился Gershom Bazerman (автор jmacro). Мы с ним договаривались, что я напишу кастомный валидатор регулярок для js и отвяжу его либу от pcre-light. Чем я и займусь в ближайшее время. Парень он жесткий, поэтому этот такс я делегировать не буду.

По HJScript и HJavaScript. Будем хостить на patch-tag пока без багтрекера. Задач не так много, можно вбивать прямо в вики. Вики еще не сделал, когда сделаю (после jmacro) скину ссылку всем, кто оставил контактную информацию. Задачи можно будет брать любую задачу, какая больше нравится, и делать её (желающим будут даны соотв. права на доступ к репозиторию). Единственное требование - обязательное ревью задач, связанных с кодингом. Т.е. без ревью задача в статус "выполненные" не переходит. Надеюсь меня тоже кто-нибудь поревьювит ;)

Пока чтобы не было скучно, пара задачек, не требующих доступа к коду:
1. Получить список библиотек, использующих HJScript и HJavaScript. Нужно для контроля качества - крайне желательно, чтобы после наших измененеий все они продолжили нормально работать с новой версией. Как получать - без разницы, можно попарсить выхлоп cabal-а, можно залезть внутрь и разобраться как он работает, можно еще как-нибудь. Если кто-то решит это делать, пишите прямо сюда, потому что я займусь ею как только заполню wiki.
2. Подумать над составом модулей HJScript. Задача - добавить туда модуль для поддержки Canvas. Сейчас там два пространства имён: HJScript.DOM - для элементов DOM-а, и HJScript.Objects для прочих объектов. Canvas сосоит из элемента <canvas> и нескольких интерфейсов: http://www.whatwg.org/specs/web-apps/current-work/multipage/the-canvas-element.html Надо подумать, как это грамотно вписать в существующую модель, чтобы это было юзабельно и не надо было импортировать кучу модулей.

Вопросы по языку, архитектуре библиотек, инструментам.. возникать непременно будут. Сейчас можно спрашивать здесь, потом можно будет создавать обсуждения на вики. На все вопросы я ответить не могу, т.к. сам многого не знаю, не стесняйтесь спрашивать в haskell cafe если что.

Доброкодер 15 September 2011 (Thu) 00:10 No.13778

>>13672
Няш, я такого не писал. Я вообще не собираюсь тут судить, кто нужен, а кто нет, я просто выставлю открою проект, и кто захочет, пусть участвует. Если кто-то захочет, но у него будет недостаточная квалификация, как я сказал, я буду отвечать на вопросы и помогать. Просто я еще нихуя не сделал в данный момент делаю валидатор регулярок для jmacro, спецификация к питушковому языку такая питушковая, т.к. все некоммерческие проекты мееееееедленные:) Ну да, я только вчера в Москву прилетел и только сегодня на новую работу вышел. Там интернет онально огорожен, девайс-лок и даже доступа к диску C: нет :( Поэтому пока тут обсуждаем общие вопросы, это не напряжно ни мне ни вам.
>>13632
Тащем-та http://www.haskell.org/ghc/docs/latest/html/users_guide/flag-reference.html (4.19.12. Language options) но в 90% он сам тебе скажет, что добавить. Не скажет про NoMonomorphismRestriction но я бы был с ним поосторожнее, скажет про MultiParamTypeClasses, но это адское зло, за CPP вообще надо бить ногами, остальные сомнительно.. Ах ну да, GADTs - хорошо (вроде всё то же можно сделать на TypeFamilies, но GADTs очень удобен); TypeFamilies - маст хев; MagicHash - можно, если решил побайтоёбствовать (бастойбство в Хаскелле плохо сделано, в сишечке лучше); OverloadedStrings туда же (с повсеместным внедрением ByteString стало очень полезной опцией, но батстринги - это фейл, осталось только мусоросборник отключить и сделать из хаски сишечку); KindSignatures - хороший, годный посыл в сторону кайнд-левел программирования, к сожалению пока ни кем не развиваемый, но потенциально позволяющий хаски догнать по гибкости ГI5b, причем не прибегая к template haskell. Например: на Хаскелле нельзя сделать аналог лисповской mapcar в чистом виде. Потому что она полимофна по кайнду применяемой функции. NoImplicitPrelude - мега-тру, для самых Ъ-хаскеллистов, которые угорают по хардкору, только numeric prelude, только хардкор, только теория категорий. Включение NoImplicitPrelude прибавляет 8 очков к твоей трушности, даёт тебе право называть всех программистов на sql.ru - быдлокодерами, а также пиздить у папки золотую яву и курить её в подъезде между вторым и третьим этажом. По остальным смотри сам. FlexibleContexts/FlexibleInstances/OverlappingInstances как правило сигнализируют о том, что у тебя слишком уж сильные заёбы на тайпклассах (может стоит сделать попроще), EmptyDataDecls - простой синтаксический сахар.
>>13625

> Как смотришь насчет того, чтобы написать read :: String -> HJavaScript и погонять HJavaScript на различных жс-библиотеках

Не вижу смысла писать парсер js. В принципе парсер js есть в jmacro, но он там нужен, чтобы парсить TH. И сделан он не по ECMA (используется встроенная парсековская поделка) и не под ECMA, а в качестве парсера кастомного язычка, похожего на JS. HJScript и HJavaScript - бэкэнды в чистом виде. Генерировать JS из них - пожалуйста, парсить JS в них - даже не могу себе представить, зачем такое может понадобиться. Как генератор я его тестил, когда делал бэкенд к diagrams. Разумеется, он не интересен, был бы интересен бэкенд к каким-нибудь параметризованным диаграммам (т.е. код, генерирующий джаваскрипт, рисующий диаграммы на основе параметров, получаемых с некого онлайн-сервиса в реальном времени), это было бы ближе к жизни. Можешь придумать такой, если есть желание и время.
>>13627

> Только hsp.

Как думаешь, есть ли смысл заморачиваться за совместимость с ним?

> Юзабельно вписать это в текущую модель не получится потому, что текущая модель сама по себе нифига не юзабельна.

Предложения? Можно сделать так же как с парсеком-3 - переэкспортировать все имена в новые модули в юзабельном формате. Разумеется, если ты знаешь, как это сделать более юзабельно.

> Различные жс-библиотеки вовсю используют прототипы, чего HJavaScript не умеет и наверное никогда уже не научится.

Можно чему угодно научить, разрешение есть:) Дай конкретный пример.