как бы говоря совершенно точно что ты хочешь от системы

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

учитывая то, что классы типов это то, что делает язык полезным

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

кстати если хочется обобщить классы типов, то можно написать data C (c::Constraint) = forall x . c x=>

C x

Хорошо. В теории типов нет классов типов, но там есть вложенные типы. Там мы смогли бы написать data Wrap = Wrap Show И собрать список типа [Wrap "a", Wrap 1, Wrap True], который мы бы умели печатать на экран, и ничего больше. С-ма типов хаскеля по дефолту такое не может, но может с хаком, нужно расширение (GHC специфичное?) И констрейнты

Вот это я имел в виду под хаком

в теории типов нету классов типов, но есть вложенные типы - это как понимать?

Это ошибочное утверждение?

в теории типов есть как ad-hoc полиморфизм так и subtype полиморфизм

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

или оба

подробнее позже отпишусь, если никто раньше не сделает

Ну если бы были вложенные типы (вместо классов), то это бы не потребовалось

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

Это ошибочное утверждение?

В теории типов есть все, что вообще формализовали когда-либо. Теория типов занимается изучением конкретных систем типов. А в них уже будут те фичи, которые автору захотелось.

А дальше вопрос в том, какие фичи сочетаются между собой, и какая мета-теория конкретной системы типов (какие свойства программ мы можем знать из их типов)

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

При этом все пользуются и всем хорошо.

Хотя и багов из-за этого тоже хватает. Это трейдофф между корректность и скоростью развития языка.

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

учитывая, что они и руками без externsions реализуются

допустим есть словарь Foo a с методом foo :: a -> B -> X, тогда можно сделать структуру FooS [ foo :: B -> X } будет работать почти так же

более близкие вещи уже через расширения вроде

https://bananasandlenses.net//episode039.html

блин, до нового года не продержались

Главное тебе теперь к четвергу подготовиться...

а что в четверг?

https://spb-fp-meetup.timepad.ru/event/555708/

действительно

а там так же не прокатит?

Новый выпуск Банананов и линз!

woah

Что-то уж больно много цветов теперь в дизайне бананолинзового сайтика :)

PRs are welcome

Хмм :) Челендж аксептед!

Можно просто теги сделать красными, чтобы было "максимум три цвета" :)

я вообще в дизайне инчего не понимаю, мне все равно

=)

Кто вообще подкасты не по рсс получает?

я

я их по /dev/null получаю

только они скучные все

я их по /dev/null получаю

Может по /dev/zero?

там они слишком много занимают

В /dev/null ничего нету же

Блокирует до появления же

Или что будет на read из /dev/null?

Любой read возвращает нуль байт

А если его в epoll сунуть?

Или EOF, интересно, что-то я забыл

Кто вообще подкасты не по рсс получает?

Я через Player FM, он через твитер умеет и soundcloud

Кто-нибудь может пояснить за использование Haskell в финансовой аналитике? Программы для анализа данных, написанные на нём, или любые другие примеры в этой сфере. Речь необязательно про науку о данных, меня интересует связь с финансами и экономикой.

@donat_kh антенапод стал подвисать что-то у меня

@donat_kh антенапод стал подвисать что-то у меня

у меня тоже на медленном канале тормозит иногда

@maldoror93 а что именно пояснить?

@maldoror93 а что именно пояснить?

Знает ли кто-либо примеры такого ПО (желательно с открытым кодом) или может быть даже участвовал в чём-то подобном.

Второе, конечно, любопытнее -- насколько Haskell (не)удобнее в этом деле Python'a, которым пользуются в науке о данных часто, или R.

я лично, начитавшись статей сноймана, использую safe-exceptions для обработки исключений и шарюсь в случае необходимости по документации и коду, выясняя, какие именно исключения могут вылететь

а поскидывайте что-нибудь на эту тему?

а поскидывайте что-нибудь на эту тему?

ну, во-первых, http://chimera.labs.oreilly.com/books/1230000000929, там во второй части достаточно подробно расписано, как в целом исключения работают. ну и у сноймана посты в блоге: как, по его мнению, правильно подходить к обработке исключений https://www.fpcomplete.com/blog/2016/11/exceptions-best-practices-haskell , конкретно про проблему асинхронных исключений https://www.fpcomplete.com/blog/2016/06/async-exceptions-stm-deadlocks , анонс библиотеки для упрощения жизни с асинхронными исключениями https://www.fpcomplete.com/blog/2016/06/announce-safe-exceptions

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

Спасибо

но вообще обычно понимания, что такое Exception, AsynchronousException и заворачивания исключений в них вполне достаточно (safe-exceptions в общем-то это делает)

и понимания что такое interruptible operations

https://bananasandlenses.net//episode039.html

ну, во-первых, http://chimera.labs.oreilly.com/books/1230000000929, там во второй части достаточно подробно расписано, как в целом исключения работают. ну и у сноймана посты в блоге: как, по его мнению, правильно подходить к обработке исключений https://www.fpcomplete.com/blog/2016/11/exceptions-best-practices-haskell , конкретно про проблему асинхронных исключений https://www.fpcomplete.com/blog/2016/06/async-exceptions-stm-deadlocks , анонс библиотеки для упрощения жизни с асинхронными исключениями https://www.fpcomplete.com/blog/2016/06/announce-safe-exceptions

А есть смысл читать книгу? Не особо хочется тратить время на haskell-specific задачи

или она в целом познавательная

одна из самых полезных ккнижек

если хочется использовать concurrency в haskell то must read

или она в целом познавательная

в целом познавательная

Даёт понимание проблематики, возникающей в любом конкурентном коде

кул, спасибо

Господа, такой вопрос. Как лучше читать TAPL, если хочешь научиться лучше разбираться и использовать существующие системы типов в ЯП? В том смысле, что нет планов создавать свои системы, а хочется в практическом аспекте их лучше чувствовать, выработать полезную интуицию. Как эффективнее подойти к этому вопросу? И вообще, TAPL ли?

Когдя я учил type system ничего лучше на русском не было

А TAPL есть на русском? : )

http://newstar.rinet.ru/~goga/tapl/

Это вообще не важно, на самом деле.

А если не привязываться к наличию локализованной версии?

то тоже лушее, что есть, мне кажется

А есть DTAPL?)

Как тут относятся к рекламе каналов? Я только изучаю фп, теорию типов, категорий, прочее. Во время изучения все, что я узнал, пытаюсь упорядочить в виде постов. Когда пытаешься что-то объяснить, то понимаешь все намного лучше. Раньше я их в свою группу кидал, но сегодня начну кидать в канал в телеге.

смотря каких каналов.

думаю, что ссылка на канал по ФП - это нормально

https://t.me/kanaflow

и много у тебя участников / подписчиков?

ну собственно пример поста (в данный момент я изучаю зависимые типы, но данный пост необходим для старта)

ADT - произведение и копроизведение типов Тип можно трактовать как множество значений. Мощность типа - количество элементов в этом множестве. Произведение типов - декартово произведение множеств, то есть множество всех возможных пар, где первый элемент - элемент первого множества, а второй - второго. A = {a, b, c} B = {x, y} A×B = {(a, x), (a, y), (b, x), (b, y), (c, x), (c, y)} Мощность произведения двух множеств равна произведению мощностей множителей. |A × B| = |A| × |B| Пример в хаскеле: -- тут мы говорим, что `x` -- имеет тип `(Int, String)` x :: (Int, String) -- а тут мы говорим, какое у -- x значение x = (1, "hello") -- делаем тип IntStringPair -- значение которого является пара -- из числа и строки. -- Для создания значения этого типа -- используется конструктор MkIntStringPair -- который принимает число и строку -- и создает элемент типа IntStringPair data IntStringPair = MkIntStringPair Int String y :: IntStringPair y = MkIntStringPair 1 "hello" -- Конструктор и тип могут иметь -- одно название, они не будут -- пересекаться, ведь типы можно -- использовать только в сигнатуре, -- а конструкторы только в выражениях data Triple a b c = Triple a b c z :: Triple Int String Int z = Triple 1 "hello" 2 Меченное объединение, сумма или же копроизведение типов - объединение двух множеств так, что каждый элемент нового множества помечается исходным множеством, благодаря чему новый тип будет содержать все копии значений из исходных множеств. A = {1, 2, 3} B = {3, 4} A + B = {A 1, A 2, A 3, B 3, B 4} Как видно, каждый элемент нового множества помечен исходным множеством, поэтому число 3 встречается дважды, ведь A 3 ≠ B 3. Очевидно, мощность такого типа равна сумме мощностей слогаемых. |A + B| = |A| + |B| В хаскеле суммы типов создаются с помощью символа | в определении типа (или же с помощью определений конструкторов с GADTs). data Either a b = Left a | Right b x, y :: Either Int String x = Left 10 y = Right "hello" data Bool = False | True -- изоморфно Either () () -- где () - единичное множество, -- то есть множество из одного элемента -- () = {()} -- (Важно не путать ()-тип и ()-значение) z, u :: Bool z = False -- Left () u = True -- Right ()

https://t.me/kanaflow

аахах про списки мне это что-то напомнило)

ну в группе 170, в канале, который ток создал, 14

да, впервые увидел у тебя)

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

да, впервые увидел у тебя)

вообще лучще про алгебру типов прочитай)