Ещё одно разочарование.

[thesz]

Для Хаскеля нет простых веб-фреймворков.

Вообще нет, совсем, никаких.

Это связано с тем, что все (ВСЕ!) веб-фреймворки используют WAI. WAI, Web Application Interface, представляет из себя библиотеку в 18 (примерно) каталогов, каждый из которых содержит по несколько исходных файлов

Comments

[veremeenko_alex]

Если нужна простота то только рельсы или теплый ламповый php

[thesz]

На данный момент это так.

Увы.

[dmzlj]

Да нет же. Говорю как человек, который с 2004-го прошел все круги этого ада. PHP, Perl, Python, Erlang.

Веб на happstack, scotty или servant - проще.

У нас камрады и на голом WAI делали, тоже несложно.

[thesz]

happstack, похоже.

Просто до того, как nealar указал на happstack, все фреймоврки были с использованием WAI. WAI is needlessly complicated and tailored to the programming style of their authors.

Вот хочу я лог. Зачем мне WAI лог? Все фреймворки на WAI как шаг в сторону, так WAI, wai-extra, wai-plus-plus, и тп. Рассчитываешь на простоту, а тут тебя хлоп по голове мешком с 18 библиотеками, которые ещё и haddock не имеют (настоящее положение дел со spock, что ли - он ссылается на WAI 3.2, а у неё документации на hackage нет).

[nikita_timofeev]

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

А servant, о котором говорили на последнем митапе тоже показался сложный?

[thesz]

http://www.well-typed.com/blog/2015/11/implementing-a-minimal-version-of-haskell-servant/

Один из авторов Серванта рассказывает, как сделать более простой вариант Серванта, поскольку обычные люди его не понимают.

Внимательное вглядывание в http://hackage.haskell.org/package/servant-server показывает наличие зависимости от WAI.

Так что нет, сервант не может быть простым.

[ext_2145935]

Я так понял, что там описывается как написать свой сервант, если приспичит, для того, чтобы люди понимали, как писать решения с таким уровнем работы с типами и "генерацией" кода по типам. Т.е. пост имеет чисто образовательные цели. У серванта действительно есть другой вариант от sol, там больше вещей вынесено в typelevel и используются закрытые и инъективные типы, поэтому можно сделать больше анализа на typelevel, но он не расширяем. Если надо могу попробовать найти.

Я не очень много пользовался servant и с очень простыми задачами, но мне ни разу не пришлось задумываться, что же используется там внутри, и в кишки wai лезть было не надо.

[thesz]

Скажи мне, если ты будешь писать на серванте Вики с историей страниц и разграничением доступа, то придётся ли тебе лезть в кишки WAI?

[nivanych]

Напиши простой интерфейс, какой ты считаешь нужным?

[thesz]

Странный вопрос.

Вроде бы и указание, но с вопросительным знаком.

Так что это - указание, что мне делать, или вопрос?

[nivanych]

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

[thesz]

Ну, это просто.

Фреймворк делится на две части - RPC с использованием HTTP и, собственно, цельное приложение. RPC это для внешних сервисов и его можно делать по остаточному принципу. Цельное приложение можно строить с помощью Raft, считая, что страничка пользователя это всё ещё наша программа, отдельная её нить или копия, которая участвует в Raft, но не может быть лидером.

Примерно так.

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

[ext_2030572]

Я юзаю Scotty. Прост как грелка -- прячет WAI. Разве нет?

[thesz]

"Разве нет?" это был вопрос про что - про простоту или про упрятывание WAI?

[ext_2030572]

Перефразирую вопрос: пробовал ли ты Скотти и, если да, какие его части показались слишком сложными?

[thesz]

Сейчас попробую.

На первый взгляд, вроде бы просто, но 1) нет формочек и 2) https://github.com/scotty-web/scotty-starter АААА!!!!!!

http://adit.io/posts/2013-04-15-making-a-website-with-haskell.html - WAI прямо указано в зависимостях. Если оно не нужно, его не надо указывать прямо. Поэтому получается, что WAI при работе со Scotty необходимо.

Используются: Network.HTTP.Types, Network.Wai.Middleware.RequestLogger, Network.Wai.Middleware.Static, "You can test your Scotty app with wai-test." Знание WAI требуется.

Я отринул его, увидев WAI в зависимостях. Поэтому близко не смотрел. И не буду.

[highway99]

Ну вот нахера пытаться писать вебморды на Хаскеле? Когда-то бэкенды писали на С++ через CGI, но это не значит, что надо продолжать убиваться ап стену. Чем JS устраивает? Ну, или, там, Руби, Скала, Го, наконец. Да мало ли.

[thesz]

Вы читали ли про преимущества Хаскеля в программировании?

[highway99]

Года четыре (или больше) назад я весьма заинтересовался Хаскелем, перерешав кучу Эйлеровых задачек. Написал пару эвристических парсеров, типа как вытаскивать человеческий смысл из доменных имен, чтобы из newyorkforkids.com стабильно получался New York For Kids, а не New York Fork IDs. Да, я понимаю академический интерес использования чистых функций и практическую ценность _некоторых_ решений. Но совершенно не понимаю ценность Хаскеля в вебе. Так что если поделитесь ссылкой на "преимущества Хаскеля в программировании веб-бэкендов", буду весьма признателен.

[thesz]

Типы.