kosc
@qnikst а ты какой-нибудь свой бложик не ведёшь?
kosc
Спс
Alexander
но там скучно, раньше ещё в жуйке периодически вопросы писал и интересные вещи, но жуйк сдох
Алексей
динамическая типизация разрешает любые выражения запускать, просто вычисление некоторых заканчивается плохо. а статическая накладывает ограничения, говорит, какие выражения правильные, какие нет
ну вот на самом деле статическая типизация также не гарантирует, что вычисление не закончится плохо
Cheese
Просто "тип как способ работы с данными", если понимать так как я понимаю, то и "динамическая типизация" вполне под это попадает.
то есть формально в динамическом языке один тип, под который подходит любая программа
Алексей
Ну если понимать тип как "некое ограничение или правило на этапе компиляции", то да.
Cheese
ну вот на самом деле статическая типизация также не гарантирует, что вычисление не закончится плохо
это вообще не свзянный вопрос
Cheese
Алексей
Alexander
перевод тапла же бесплатный
Alexander
первая глава
Cheese
вот тут нет упоминания этапа компиляции
компиляция здесь не так уж важна. важно отличать правильную программу от неправильной до запуска и не разрешать запускать неправильную программу
Зигохистоморфный
вот тут нет упоминания этапа компиляции
а это тут при чем? изначально это вообще была математическая проблема и когда поняли, что множества идея утопическая, Бертран Рассел придумал типы
Cheese
какая-то компиляция есть и в Питоне, и в Яваскрипте
Зигохистоморфный
изначально все было на ZF но там много парадоксов и пришлось придумывать более совершенный подход
Зигохистоморфный
парадокс Рассела (парадокс брадобрея)
Cheese
Зигохистоморфный
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
Denis
Всем привет. Делаю пет прожект, встал вопрос что лучше выбрать для работы с постгресом?
Dmitrii
Всем привет. Делаю пет прожект, встал вопрос что лучше выбрать для работы с постгресом?
Я могу порекомендовать postgresql-simple. Довольно несложная библиотека и делает то, что надо. Если хочется углубиться в типы, то beam или squeal.
Denis
Как раз ковыряю postgresql-simple, не нашел например как в реализации FromRow запросить поле по имени. Есть стороння библиотека конечно, но там последний коммит 5 месяцев назад.
Alexander
ещё есть hasql, и не релизнутый persistent-wire
Alexander
по моему скромному мнению pg-simple вполне нормальный
Alexander
с гетерогенными рекордами все не очень, там нужно по библиотеке рекордов выбирать и сделать инстанс
Anonymous
какие порекомендуете ресурсы для мобилы с определениями математических символов?
редкая книга поясняет используемые символы
Alexander
да в pg-simple бывают странные проблемы на больших запросах
Alexander
типа того что на многих капабилити ТОРМОЗИТ
Denis
ещё есть hasql, и не релизнутый persistent-wire
А у hasql есть доки с примерами использования? Или все что есть на http://hackage.haskell.org/package/hasql ?
Dmitrii
Как раз ковыряю postgresql-simple, не нашел например как в реализации FromRow запросить поле по имени. Есть стороння библиотека конечно, но там последний коммит 5 месяцев назад.
Никак нельзя. И на самом деле в этом преимущество библиотеки. В разных запросах эти поля могут называться по-разному, потому что в мире SQL существует переименовывание. Заточка на имя ненадежна. А еще есть SQL запросы, в которых столбцы генерируются динамически. Поэтому заточка по имени опять не сработает.
Alexander
Alexander
мне доков на хаддоках и исходников хватало
Denis
Никак нельзя. И на самом деле в этом преимущество библиотеки. В разных запросах эти поля могут называться по-разному, потому что в мире SQL существует переименовывание. Заточка на имя ненадежна. А еще есть SQL запросы, в которых столбцы генерируются динамически. Поэтому заточка по имени опять не сработает.
У меня немножко nested ADT, и я хочу добавить поле дискриминатор и в зависимости от нее читать либо один набор полей либо другой. Это классическая проблема конечно.
Alexander
Никак нельзя. И на самом деле в этом преимущество библиотеки. В разных запросах эти поля могут называться по-разному, потому что в мире SQL существует переименовывание. Заточка на имя ненадежна. А еще есть SQL запросы, в которых столбцы генерируются динамически. Поэтому заточка по имени опять не сработает.
ну можно на самом деле, конечно же, аж двумя способами. Один явная аннотация типа что ждёшь и какие-либо рекорды. Второй - ад с синглетонами и динамикой
Denis
data MyRow = MyRow Int Foo
data Foo = Bar Int | Baz Text
Denis
типа того
Denis
получается что в таком случае надо вычитывать в сыром виде строку в какой то промежуточный тип
Alexander
но вообще я лично считаю все orm like желания это плохо
Denis
и потом конвертить уже в мой тип
Alexander
оно не работает, и запилить fromRow или через какой-либо vector-fixed-hetero круче
Alexander
но чаще предпочитаю руками
Dmitrii
data MyRow = MyRow Int Foo
data Foo = Bar Int | Baz Text
SQL базы данных очень плохо поддерживают суммы типов. Я подозреваю, что таблица выглядит как-нибудь так:
CREATE TABLE my_table (
ctorTag INTEGER NOT NULL,
fooBar INTEGER NULLABLE,
fooBaz TEXT NULLABLE
);
Я прав?
Denis
да ) я не люблю SQL базы, но тут решил попробовать
Dmitrii
В таком случае, можно воспользоваться тем фактов, что функция fromRow из метода FromRow работает в монаде:
instance FromRow MyRow where
fromRow = do
tag <- field
bar <- field
baz <- field
pure $ fromJust $ case tag of -- можно и получше без fromJust
0 -> MyRow tag . Bar <$> bar
1 -> MyRow tag . Baz <$> baz
Этот код, конечно, надо получше написать, чтобы бросать правильные ошибки. Но я надеюсь, что идея примерно понятна.
kosc
http://hackage.haskell.org/package/telegram-api
Блин, кто-нибудь может мне назвать версию LTS для Stack, в которой эта штука работает и не ломает депсы?
kosc
allow-newer пробовал, компиляция ломается.
Denis
В таком случае, можно воспользоваться тем фактов, что функция fromRow из метода FromRow работает в монаде:
instance FromRow MyRow where
fromRow = do
tag <- field
bar <- field
baz <- field
pure $ fromJust $ case tag of -- можно и получше без fromJust
0 -> MyRow tag . Bar <$> bar
1 -> MyRow tag . Baz <$> baz
Этот код, конечно, надо получше написать, чтобы бросать правильные ошибки. Но я надеюсь, что идея примерно понятна.
Да, круто, то что надо, почему то не подумал об этом. Спасибо
kosc
stack solver тоже не осилил решить проблему.
kosc
Даже pip в петоне с этим справляется, как так-то?
кана
http://hackage.haskell.org/package/telegram-api
Блин, кто-нибудь может мне назвать версию LTS для Stack, в которой эта штука работает и не ломает депсы?
ни в какой, это странный пакет, я как-то очень долго подбирал lts и версии указывал и в итоге смог поставить
кана
а потом посмотрел апи либы и понял, что писать бота на таком желания нет в принципе
kosc
Так, и к чему пришёл в итоге?
kosc
А, ты про телегоапи, а не про пакет?
кана
я про апи пакета telegram-api
Denis
Еще вопрос по постгресу, какая нибудь либа поддерживает user defined types?
кана
пришел в итоге к тому, что написал бота на ноде в 4 строки, кек, благо этот бот того не стоил
kosc
Походу опять на питоне писать.
kosc
Блин.
Dmitry
Ну вызови теперь это на Haskell
Dmitry
Биндинги к Питону есть
kosc
Пробовал.
Dmitry
Увозили на скорой?
kosc
Почти.
Dmitry
Я вот через Питон дёргал Tensorflow, норм (кхм...) получалось.
Dmitry
Потому что стандартные haskell-биндинги не получилось поднять
Dmitry
Точнее, с их помощью почему-то модели предобученные не читались
Dmitry
А вот через Haskell <--> Python <--> Tensorflow читались
Dmitry
Такова селяви, как говорят у них
A64m
https://github.com/ghc/ghc/commit/aab8656ba0561e56048a1222c396d2d117aca5a7
A64m
интересно, сколько пакетов это сломает
IC
-Wall -Wcompat -Werror
на оба ваших дома
IC
когда там уже релиз? август к концу подходит