Ну вот из сниппета выше - что за Proxy, в данном случае?

newtype F (n :: Nat) = F { runF :: Proxy n -> Int -> (F (S n), String) }

Копипаст, что бы не хайлайтить человека реплаем.

Я тоже мало что понимаю ?

Ой да ладно.

Если ща ещё Вершилов придёт.

И скажет, что мало что понимает.

То я всё.

Ты думаешь, я в курсе, что такое "линейные типы", о которых шла выше речь? Да я даже снипетов кода с ними ни разу не видел

Я только понял предназначение по сообщениям @qnikst

newtype F (n :: Nat) = F { runF :: Proxy n -> Int -> (F (S n), String) }

когда нужна информация о типе, но не нужно содержимое, еще про фантомы почитай

а что? ничего не понимаю

это сделана функция которую можно вызвать только 1 раз при условии что Лин типы есть, каждый раз с разным прокси

там чуть выше вариант похожий, может он проще для понимания?

И скажет, что мало что понимает.

Тут только клапауций всё понимает, но он обычно сам с собой разговаривает

когда нужна информация о типе, но не нужно содержимое, еще про фантомы почитай

На русском есть что годное? А то мне для чтение доков по хаскеллю на инглише часто не хватает либо инглиша, либо хаскеля.

мое понимание ЛТ что это сродни неких стримов, больше никогда нельзя обратиться к элементам из прошлого)

Тут только клапауций всё понимает, но он обычно сам с собой разговаривает

Да, хорошо, что он с нами

Ну вот из сниппета выше - что за Proxy, в данном случае?

сам Proxy — весьма банальный тип, содержащий информацию только на уровне типов

сам Proxy — весьма банальный тип, содержащий информацию только на уровне типов

Что-то вроде типа для типа?

На русском есть что годное? А то мне для чтение доков по хаскеллю на инглише часто не хватает либо инглиша, либо хаскеля.

лучше учить английский

Что-то вроде типа для типа?

нет

лучше учить английский

+

Hot Kosc (0) увеличил репутацию Yuriy Syrovetskiy (1)

:о

Это шо?

Что-то вроде типа для типа?

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

Что-то вроде типа для типа?

что-то вроде типа, помеченного типом

На русском есть что годное? А то мне для чтение доков по хаскеллю на инглише часто не хватает либо инглиша, либо хаскеля.

вот тут немного про прокси написано https://ruhaskell.org/posts/theory/2016/01/06/serialization-with-deptypes.html

О, спс.

фантомы еще почитай

Погодите-ка. Так Haskell же вроде как не может в dependent types?

прокси это фантом без тела

Ладно, сначала ознакомлюсь.

Погодите-ка. Так Haskell же вроде как не может в dependent types?

полностью (пока) не может, частично может

Погодите-ка. Так Haskell же вроде как не может в dependent types?

синглтоны частично дают какую-то возможность DT

синглтоны частично дают какую-то возможность DT

Это чё, я могу в петон зависимые типы притащить?

На русском есть что годное? А то мне для чтение доков по хаскеллю на инглише часто не хватает либо инглиша, либо хаскеля.

На русском годного нет. http://dev.stephendiehl.com/hask/

Это чё, я могу в петон зависимые типы притащить?

не те синглтоны

На русском годного нет. http://dev.stephendiehl.com/hask/

Ага, спс, тоже почитаю.

Это чё, я могу в петон зависимые типы притащить?

только если сначала типы притащить

только если сначала типы притащить

MyPy

Хотя так-то сами типы и в дефолтном петоне есть.

Хотя с точки зрения Си это всё PyObject.

только если сначала типы притащить

а промоутинг как там тогда сделать?)

MyPy

да, туда теоретически можно зависимые типы

Хотя так-то сами типы и в дефолтном петоне есть.

нет, он по определению бестиповый

Не-не-не, погодите.

Хотя с точки зрения Си это всё PyObject.

в этом и суть бестипового языка

Динамическая строгая типизация.

Есть же всякие type(obj) которые возвращают тип для obj

Или я чего не так понял?

Динамическая строгая типизация.

типизация, строго говоря, может быть только статическая. динамическая — это проверка тэгов такая терминология в теории языков программирования

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

Где-то я уже это видел

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

что такое "тип как способ работы с данными"?

что такое "тип как способ работы с данными"?

тот, который в TAPL

тот, который в TAPL

То есть мне придётся читать всю книгу чтобы узнать

Делать я этого конечно не буду

я тоже не читал

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

там что-то про синтаксический способ формирования выражений

Просто "тип как способ работы с данными", если понимать так как я понимаю, то и "динамическая типизация" вполне под это попадает.

Система типов — совокупность правил в языках программирования, назначающих свойства, именуемые типами, различным конструкциям, составляющим программу — таким как переменные, выражения, функции или модули.

Просто "тип как способ работы с данными", если понимать так как я понимаю, то и "динамическая типизация" вполне под это попадает.

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

@qnikst а ты какой-нибудь свой бложик не ведёшь?

ERROR: S client not available

@qnikst а ты какой-нибудь свой бложик не ведёшь?

qnikst.github.io

Спс

но там скучно, раньше ещё в жуйке периодически вопросы писал и интересные вещи, но жуйк сдох

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

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

Просто "тип как способ работы с данными", если понимать так как я понимаю, то и "динамическая типизация" вполне под это попадает.

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

Ну если понимать тип как "некое ограничение или правило на этапе компиляции", то да.

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

это вообще не свзянный вопрос

Ну если понимать тип как "некое ограничение или правило на этапе компиляции", то да.

именно так

Система типов — совокупность правил в языках программирования, назначающих свойства, именуемые типами, различным конструкциям, составляющим программу — таким как переменные, выражения, функции или модули.

вот тут нет упоминания этапа компиляции

перевод тапла же бесплатный

первая глава

вот тут нет упоминания этапа компиляции

компиляция здесь не так уж важна. важно отличать правильную программу от неправильной до запуска и не разрешать запускать неправильную программу

вот тут нет упоминания этапа компиляции

а это тут при чем? изначально это вообще была математическая проблема и когда поняли, что множества идея утопическая, Бертран Рассел придумал типы

какая-то компиляция есть и в Питоне, и в Яваскрипте

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

парадокс Рассела (парадокс брадобрея)

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

WTF is ZF?

WTF is ZF?

https://ru.wikipedia.org/wiki/%D0%A1%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B0_%D0%A6%D0%B5%D1%80%D0%BC%D0%B5%D0%BB%D0%BE_%E2%80%94_%D0%A4%D1%80%D0%B5%D0%BD%D0%BA%D0%B5%D0%BB%D1%8F

вообще советую прочитать http://fprog.ru/2009/issue2/roman-dushkin-algebraic-data-types/ (особенно новичкам)

Душкин конечно специфично пишет (глядя и читая его книги)

Спасибо

Динамическая строгая типизация.

и не строгая, а сильная. ещё один повод учить английский

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

эээ

это в канторовых множествах были парадоксы, а решил это ZF

Всем привет. Делаю пет прожект, встал вопрос что лучше выбрать для работы с постгресом?

Всем привет. Делаю пет прожект, встал вопрос что лучше выбрать для работы с постгресом?

Я могу порекомендовать postgresql-simple. Довольно несложная библиотека и делает то, что надо. Если хочется углубиться в типы, то beam или squeal.

Как раз ковыряю postgresql-simple, не нашел например как в реализации FromRow запросить поле по имени. Есть стороння библиотека конечно, но там последний коммит 5 месяцев назад.

ещё есть hasql, и не релизнутый persistent-wire

по моему скромному мнению pg-simple вполне нормальный

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

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

да в pg-simple бывают странные проблемы на больших запросах