т.е зачем на них оглядываться?

но компиляторы трансляторы парсеры приходится регулярно

А чего именно компилеры/трансляторы?

Имеется в виду - для чего?

@fly_style тут http://fprog.ru/2009/issue2/

@fly_style тут https://habrahabr.ru/post/134432/

@fly_style тут http://fprog.ru/2009/issue2/

Спасибо. Тоже смотрю в сторону системного программирования, но не знаю, где себя применить

Ничего, сейчас улучшат все процессы так что развитие остановится.

кстати, кто-то помнит что прошло за год через новый мегапроцесс проводки фич? Только ОРФ, который при этом стерся просто в ноль, и, думаю, что большинство его присутствия в 8.2 вообще не заметили

фичи, решения о которых приняли до процесса и которые там участвовали "для тренировки" вроде бекпака и левити-полиморфизма я не учитываю

я почти не слежу

Но надо сказать, что "участие" процесс обеспечил, там отписались куча людей с _очень странными_ предложениями

а те, кто хотел что-то имплементировать начали не дожидаясь решения по фиче вообще

а можно как-нибудь стеком юзать GHC HEAD без танцев?

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

кстати, кто-то помнит что прошло за год через новый мегапроцесс проводки фич? Только ОРФ, который при этом стерся просто в ноль, и, думаю, что большинство его присутствия в 8.2 вообще не заметили

я абсолютно не заметил, это правда

сейчас нет

но, может, будет

кто-то хочет ядро для окамля

Для альфашитс?

да

Интересно julia кто-нибудь запросит?

главное чтобы не J

какие-то конкретные странные языки кроме окамла не назывались? Только то что может еще какие будут?

пока ничего

вообще пока там их нахаляву подключать нельзя

вообще все подробности на fby докладе

если его примут

а можно гадт как-нибудь переписать на классах + ассоциированных ньютайпах, чтобы coerce для конструкторов работал?

А какой гадт?

data X where A :: ... -> X 1; B :: ... -> X 2, case coerce A of B -> ?

data JsonRepr :: Schema -> Type where ReprText :: Text -> JsonRepr ('SchemaText cs) ReprNumber :: Scientific -> JsonRepr ('SchemaNumber cs) ReprBoolean :: Bool -> JsonRepr 'SchemaBoolean ReprNull :: JsonRepr 'SchemaNull ReprArray :: V.Vector (JsonRepr s) -> JsonRepr ('SchemaArray cs s) ReprObject :: Rec FieldRepr fs -> JsonRepr ('SchemaObject fs) ReprOptional :: Maybe (JsonRepr s) -> JsonRepr ('SchemaOptional s) ReprUnion :: Union JsonRepr (h ': tl) -> JsonRepr ('SchemaUnion (h ': tl))

вот такой

просто то что я с его конструкторами хочу делать очень похоже на coerce, там как раз пригодится его “транзитивность"

я смутно помню что где-то видел ассоциированные ньютайпы

но никогда не пробовал сам так делать

Ассоцированные ньютайпы это то же, что обычные data familes. newtype instance вместо data instance

Но на ум ничего не идёт

Pineapple но для них инстансы Coercible должны создаваться, в моем представлении

Они автоматически созадются по моему

угу

так ньютайп же не упакует тип т.е. можно сделать только JsonRepr ... Text, JsonRepr ... Scientific и т.д.

Они автоматически созадются по моему

ну да, а руками их писать компилятор запрещает

потому что не доказана безопасность

class JsonRepresentable schema where type ReprType schema :: * newtype JsonRepr schema :: * wrap :: ReprType schema -> JsonRepr schema

я вот про что-то такое думаю

сейчас инстансы напишу, посмотрим что ghc скажет

Им нравится, когда Just 42 |> Maybe.map (+) |> Maybe.andThen (\f -> Maybe.map f <| Just 54)

ааа

Вербозота, да. И это ещё до применения elm-format :)

т.е. они на эфшарпе хотят писать?

Удивительные предпочтения у людей, конечно

parse error on input ‘newtype’ | 329 | newtype JsonRepr schema :: *

на класс ругается 🙁

а если написать newtype family и вне класса?

newtype instance но data family

тоже не хавает

забить и писать бойлерплейт уже предлагали?

и unsafeCoerce

тут подсказали что в классе надо писать data, а в инстансах newtype

парсер сожрал

смотрим дальше

и unsafeCoerce

это план Б

а ансейф коерс между чем и чем планируется-то?

ReprType schema и JsonRepr schema

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

@NCrashed ping ты не в курсе могу ли я сравнительно нахаляву с accelerate сгенерить просто си код?

если у меня есть AST-шка

придётся бекенд-либу написать

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

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

взять тот же llvm бекенд и перевести генерацию в си

accelerate если умеет подошёл бы

ну llvm код в общем-то тоже устроит если его каким-то разумным способом можно было пускать

я с ним два года назад работал, меня интересовали только GPU для рейтрейсинга

даже не из haskell

llvm бекенд там mature

хм, за два года к нему напилили ещё специфичные BLAS and LAPACK беки

о забавно

хотя мне не так важно, у меня что были задачи везде мало переменных было

подозреваю, что тогда это llvm case

надо бы попробовать продолжить играться с этим

раз в fast-builder все приняли