с сервантом

вроде не запрещает, но многие фреймворки не умеют

мало

я просто грепнул по 405

сначала по status405, но оказалось что там err405

аа

грепнул по локальным сорцам?

сначала по гитхабу, потом склонировал

и.к. с первого раза не нашел, вообще поиск на гитхабе меня расстраивает

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

Мало того что не в том чате, так еще и не понимаете о чём пишете.

а что не так?

я не готов тратить время на ваше образование в чате.

я не готов тратить время на ваше образование в чате.

?

я не готов тратить время на ваше образование в чате.

а цель чата не про это разве ?

это чат про копьютерную графику?

это чат про копьютерную графику?

тебя ray tracing смутил?

это чат про копьютерную графику?

хаскель как инструмент не может быть применен для графических задач ?

грепнул по локальным сорцам?

лучшая хаскельная документация

тем временем у меня 400 без body а значит он не может распарсить запрос

ну 503 на то даётся

вообще Get с боди раньше в серванте работал

может убрали

не, скорей всего и сейчас работает

просто я когда тестил уже поставил пост

data Lol = Lol (forall a . a) mkLol = Lol . unsafeCoerce из реального проекта

правда наверное не выживет

а что вы делаете, если какие-то люди написали: module Foo (bar) where bar :: Baz -> ... data Baz = Baz ... ?

open issue ?

а что вы делаете, если какие-то люди написали: module Foo (bar) where bar :: Baz -> ... data Baz = Baz ... ?

не экспортируется тип? видимо, и тестов там нет

есть

это типа специально

чтобы использовали только специально обученными функциями а свои не писали

тогда всё логично

нет

логично в таком случае экспортировать тип без конструктора

ты об этом?

да

да, редиски

пуллреквестируй

я вообще считаю что обязан быть Internal где экспортировано все

чтобы вместо исправления библиотеки костыли вмерзали в твой код?

нет, конкчно

потому что есть 100500 случаев о которых ты не подумал

и решил за пользователя что ему надо, а что нет

а мне что-то внезапно захотелось локальных нэймспэйсов do Some{.. as In} <- getInput x <- fx In.x y <- fy In.y pure Some{..}

ты и без In написать можешь

только warning отключи

со (<-) да, а если где-то let x = fx In.x?

хм. <- pure можно

а если вообще не в монаде, а в let/where?

modFoo Foo{.. as In} = Foo{..} where x = f In.x — такая идея

вообще не плохо для меня

понятно, что даже чистый код можно через do написать

нет, не всегда

если есть взаимные зависимости, то ёк

x = f1 In.x In.y y = f1 In.x In.y

если написать x <- pure $ f1 x y, то старый x исчезает

можно более общий синтаксис сделать where namespace In where Foo{..} = input y = z чтобы произвольные идентификаторы объявлять, не только поля

в нормальном языке должны быть модули любой степени вложенности (и рекорды должны быть модулями)

в нормальном языке должны быть модули любой степени вложенности (и рекорды должны быть модулями)

такой существует?

вместо этого в хаскеле теперь 256 костылей для "модуляризации" "рекордов"

такой существует?

с вложенными модулями существуют, но они по другим причинам ненормальные.

В крестах можно неймспейс в неймспейсе

вместо этого в хаскеле теперь 256 костылей для "модуляризации" "рекордов"

что надо сделать, чтобы появился один, но правильный костыль?

неймспейс в неймспейсе и в хаскеле можно

ERROR: S client not available

речь-то про модули

что надо сделать, чтобы появился один, но правильный костыль?

ничего не сделать уже

в плюсах структура сама является нэймспэйсом из коробки

неймспейс в неймспейсе и в хаскеле можно

это как?

ну после дупликейт рекорд филдс и в хаскеле рекорд является своего рода неймспейсом (для него правда штатная квалификация не работает по странной причине)

это как?

Data.Vector.Unboxed

ну после дупликейт рекорд филдс и в хаскеле рекорд является своего рода неймспейсом (для него правда штатная квалификация не работает по странной причине)

странная причина — никто не догадался, что это нужно?

это все костыли для нормальных модулей, что "объекты", что хаскельные "рекорды"

как вообще об этом можно не догадаться

Ладно, прочитаю книгу дракона и запилю язычок с модулями all the way down

обратно совместимый со всеми расширениями GHC

Да

во время всех рекордовых обсуждений в хаскеле, всегда дискутируют два типа людей 1) "практики" которые хотя протащить рекорды как в индустриальном говноязыке с TDNR и селекторами через точечку 2) пришельцы с нептуна, которые только отряхнули азотный лед с щупалец и еще не видели рекорды ни в одном языке вообще, и хотят изобрести их полность с чистого листа

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

@A64m_qb0 веди блог

Я б читал

modFoo Foo{.. as In} = Foo{..} where x = f In.x — такая идея

можно так с линзами написать. но зачем с линзами, если можно без линз?

Я б читал

ты его и читаешь

@A64m_qb0 а какие должны быть модули?

неизвестно, это все еще активный ресерч

миксины, наверное

а какие свойства точно нужны?

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

т.е. леннартовские вайлдкарды были бы обычным импортом/применением анонимного модуля к сигнатуре

кажется мне надо читать больше статей

@A64m_qb0 c 40-вой минуты) со всем согласен? https://www.youtube.com/watch?v=rGxdc0KMnc4&feature=youtu.be

@fshp1991 будет жить. Поприветствуем!

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

Но если они будут первоклассными, то разве это уже не будут рекорды, а не модули?

рекорды, это первоклассные модули в которых типы нельзя объявлять

Рекорды с первоклассными типами? Как в агде?

Ну модули это второклассные рекорды же

Не очень понятно как сделать объявления типов первоклассными