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

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

А есть 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

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

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

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

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

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

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

Начало в SICP

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

https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types http://chris-taylor.github.io/blog/2013/02/10/the-algebra-of-algebraic-data-types/ http://chris-taylor.github.io/blog/2013/02/11/the-algebra-of-algebraic-data-types-part-ii/ http://chris-taylor.github.io/blog/2013/02/13/the-algebra-of-algebraic-data-types-part-iii/

благодарю

Начало в SICP

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

@kana_sama ладно побуду в твоем канале пока)

Есть у кого интресных ресурсов по аппликативным языкам (статей, например) - т.е., по Forth, Joy, Factor?

https://soundcloud.com/lambda-cast

Есть у кого интресных ресурсов по аппликативным языкам (статей, например) - т.е., по Forth, Joy, Factor?

joy же вообще на комбинаторах вроде

Joy-то как раз аппликативный. На комбинаторах - unlambda :)

в вики видел такое https://wiki.haskell.org/Applicative_data-driven_programming

Благодарю.

было что-то у меня в загашниках по joy надо искать

@xgrommx ATTaPL есть

где?)

https://www.cis.upenn.edu/~bcpierce/attapl/

@xgrommx ATTaPL есть

ну до TAPL читать смысла особого нет)

а где книга?)

Книга на либгене

интересно а переводов нет) как тапл

http://www.hawaga.org.uk/ben/tech/london-hug-acme-smuggler/presentation.html

у кого-то есть книга Марлоу на русском?

у меня есть, в бумажном виде

эх)) отсканируй)

а зачем на русском?

надо)

у кого-то есть книга Марлоу на русском?

у меня тож есть

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

как?) я же с Украины

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

^

эм, ну тогда не могу

разве что прислать...

https://www.litres.ru/saymon-marlou/parallelnoe-i-konkurentnoe-programmirovanie-na-yazyke-haskell-22873018/

420р за отличную книгу - не так много, я считаю

++

лучшая книга по хаскеллу же.

точно не много.

Заодно и издательству денег перепадёт. "ДМК Пресс" стоит поддержать - переводят хорошие книги и продают по разумным ценам

Заодно и издательству денег перепадёт. "ДМК Пресс" стоит поддержать - переводят хорошие книги и продают по разумным ценам

+1

Написал небольшой модуль, обобщающий понятие индекса списка (массива). Кроме индексирования с начала (Int) теперь можно указывать в любую точку списка (массива), например в конец или в середину. Новый индекс является инстансом Num, поэтому поддерживает арифметику и неявный каст с инта (fromInteger) => старый код не сломается, если пользоваться моими индексами. Переопределены функции (!!), take, drop, splitAt из Data.List λ> let x = [1..7] λ> x !! 0 1 λ> x !! end 7 λ> x !! (end-3) 4 λ> x !! mid 4 λ> let x = "Hello World!" λ> splitAt end x ("Hello World","!") λ> splitAt (mid+1) x ("Hello W","orld!") λ> splitAt (mid-1) x ("Hello"," World!") Это кому-нибудь интересно? Где стоит это выложить? Могу рассказать немного по-подробнее и показать код, его немного.

Синтаксис x !! end подобен матлабу или джулии, но вместо end можно взять любое другое слово или знак, т.к. это просто синоним

короче такой вот сахарок на уровне типов, а не на уровне макросов

Мне интересно, выкладывай

ща, зарегаюсь на гитхабе тогда только, чтобы не файл кидать

x Vector.! (fromIntegral end) что мне скажет?

error или не скомпилируйтс я?

🤔

какой тип у Vector.! ?

я пока переопределил функции только в Data.List, потом собираюсь переопределить для IArray и MArray

откуда нужно Vector.! импортировать?

Vector a -> Int -> a

в общем что будет если я fromInteger на end натравлю

(просто интересно)

нормально что выражения вроде (\x y z -> [x,y,z]) <$> (+3) <*> (*2) <*> (/2) только понимаются при помощи ручки и бумажки? это пройдет со временем?

в общем что будет если я fromInteger на end натравлю

ну он говорит Couldn't match expected type ‘Integer’ with actual type ‘Index Int’ правильно будет x Vector.! end но это будет работать, когда я переопределю Vector.! для работы со своим типом

выражение fromInteger end не имеет смысла, вообще говоря

т.е. туда не "зашита" длина какого-то конкретного списка

fromIntegral конечно же

да тоже самое

Index нельзя сделать инстансом Integral, т.к. нельзя корректно определить функцию toInteger

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

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

нормально что выражения вроде (\x y z -> [x,y,z]) <$> (+3) <*> (*2) <*> (/2) только понимаются при помощи ручки и бумажки? это пройдет со временем?

то что f <$> a <*> b .. только по бумажке пройдет, желание писать такое выражение как выше пройдет тоже

то есть так делать не хорошо?

@Masteroid ок, я неправильно твоё сообщение выше распарсил