да, ридер еще для написания j-образного кода можно использовать

что это

всегда есть MonadReader r ((->) r)

вот это тоже непонимаю

функция принимающая аргументом r является инстанс MonadReader

редактирую .ghci конфиг файл. Мне нужно добавить два сета :set -interactive-print=Text.Show.Unicode.uprint :set -interactive-print=myPrint где myPrint функция, определенная уже. Когда я устанавливаю один параметр, другой отменяется, и наоборот. А как включить оба?

ничего, что оба сета устанавливают одно и тоже значение?

разное. Один поддержку кирилицы, другой цветовой ghci

принтер один

аналогично тому что сделать a=1;a=2 и удивляться что туда не оба значения записались

ответ: написать myprint который внутри будет вызывать Text.Show.Unicode.uprint

ответ: написать myprint который внутри будет вызывать Text.Show.Unicode.uprint

let myPrint :: (Show a) => a -> IO (); myPrint = putStrLn . HsColour.hscolour (HsColour.TTYg HsColour.XTerm256Compatible) myColourPrefs False False "" False . IPPrint.pshow я пока не дорос до такого сращивания((

putStrLn замени на uprint заимпортив Text.Show.Unicode.

вот это вот

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

uprint это просто putStrLn . ushow

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

отвалились оба)

а у него тут свой show из IPPrint

тут наверное без разбора кода либ не сделать

выбирай, или кириллица, или прити-принт) цвет, полагаю, можно сделать и там, и там чтобы выбрать, нужно использовать pshow из IPPrint или ushow из Text.Show.Unicode

цвет сделать и там и там? Наверное. Но через друге инструменты.

цвет сделать и там и там? Наверное. Но через друге инструменты.

нет, я имел в виду, что независимо от того, что ты веберешь, добавить цвет ты сможешь в любом случае

не то что эти ваши идрисы

А что, разве в Идрисе прув ассистант не интерактивный?

там есть какие-то интерактивные моменты, но на порядок хуже

Почему OCaml не такой популярный как Haskell?

Почему OCaml не такой популярный как Haskell?

Haskell популярный

Почему OCaml не такой популярный как Haskell?

Наоборот же

Ну я сужу по тому по вакансиям и маломоу количеству телеграм чатов

о, а где-то есть вакансии на камле?

Ahref и JaneStreet только)

а блин! я вопрос не распарсил

=)

все сходится тогда

Для штук типа MirageOs, и то что делает JaneStreet, чем OCaml лучше подходит чем Haskell?

что умеют то и подходит

В Ocaml банально возни меньше. Хотя бы мутабельность нормальная есть

И однопоточность)

Нормальная)

Ну это уже другой вопрос

В Ocaml банально возни меньше. Хотя бы мутабельность нормальная есть

а контроль эффектов есть?

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

Неправильно выразился. У OCaml порог вхождения ниже

у окамля связь с пруверами лучше

несколько

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

f# же более менее популярен

видел фразы, что на западе f# как скала по популярности/вакансиям, не проверял

Окамль странный

Синтаксис?

И ООП

ООП ВЗВ!

ФЗВ

Почему OCaml не такой популярный как Haskell?

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

что это

комбинировать функции немного похоже на J ну или FP

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

this

А у нас только что хаскель победил ерланг

Опять

комбинировать функции немного похоже на J ну или FP

Функция, имеющая разный смысл в зависимости от того, два у неё аргумента или один? Ну нафиг

А у нас только что хаскель победил ерланг

Как?

Ерланг умер,а Хаскелль нет?

Нет

А связь у окамла с пруверами лучше, потому что пруверы пишут под руководством престарелых академиков, которые выучили ML 30 лет назад

Функция, имеющая разный смысл в зависимости от того, два у неё аргумента или один? Ну нафиг

нет, так как раз не получится, речь про "пойнтфри" комбинирование

Команда с эрлангом облажалась из за фронта и менеджмента, а мы грамотно дистанцировались

А связь у окамла с пруверами лучше, потому что пруверы пишут под руководством престарелых академиков, которые выучили ML 30 лет назад

просто эмели в среде пруверостроителей сделали

просто эмели в среде пруверостроителей сделали

Будто хаскель нет

хаскель - нет

ERROR: S client not available

Хаскель это диалект диалекта ML'я

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

Наркоманы

Хаскель это диалект диалекта ML'я

нет

Да

нет

Ну ладно ?

Убедил

Команда с эрлангом облажалась из за фронта и менеджмента, а мы грамотно дистанцировались

Фронт и эрланг как связанны то?

нет, так как раз не получится, речь про "пойнтфри" комбинирование

Я про J

Я про J

это ясно, я про то что это похоже не на эту фичу J

ну раст дал хороший бум в среде академиков

его не знают, и потому пока любят

И никогда не узнают, учитывая печальную динамику мозиллы

Связаны хреновым менеджментом же

да, довольно много народу (из академии) занимаются формализацией в Расте

Аа

И никогда не узнают, учитывая печальную динамику мозиллы

Это какая динамика?

А связь у окамла с пруверами лучше, потому что пруверы пишут под руководством престарелых академиков, которые выучили ML 30 лет назад

есть такой (одиозный) персонаж как Jon Sterling, пишуший пруверы; он где-то писал, что выбрал SML из-за того, что язык фактически заморожен и не нужно будет ничего портировать на новые версии в будущем

Он где то неправ?

Убедил

хаскель произошел от орвелла, с добавлением некоторых синтаксических фич из хопизированного мл-я, орвелл диалект миранды, которая произошла от SASL и Hope но с выводом типов как в мл-е. Hope произошел от NPL, NPL, ML и SASL произошли от ISWIM

Ну тогда жс не сиподобный)

а ISWIM произошел от Ландина, if you see what I mean ?

Ну тогда жс не сиподобный)

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

Тернеровская линейка под влиянием NPL - Hope все время находилось, а эмель сделали похожим на Hope в середине 80-х, SML и LML в большей степни, Caml в меньшей

но там сильно сложное взаимодействие было, сначала в синтаксис эмеля добавляли ПМ и эквейшен-синтаксис как в Hope и у Тернера, потом в хаскель добавляли экспрешн часть как в ML / Hope (в тернеровских языках не было экспрешн части)

Luna вышла в бету. Не прошло и джва года

http://www.luna-lang.org

А здесь есть Антон Холомьев, автор учебника по хаскелю?

Есть здесь Роман Душкин, автор учебника по хаскелю?

Есть здесь Роман Душкин, автор учебника по хаскелю?

неа