так там хотя бы в стандартное библиотеке есть свой реакт с блэкджеком и шлюхами

и вот оно + типизация + немного фашизма (elm-architecture) и может что-то получиться

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

https://telegram.me/blockchain_news

https://telegram.me/blockchain_news

я знаю канал лучше: https://t.me/forklog

блокчейн кончился

?

@quetzal а readonly транзакцию из RW окружения можно делать?

да конечно

мало того, ro транзакции сильно дешевле чем rw

поэтому где можно надо их

угу, понимаю

+ 1 параметр типа похоже появится

https://www.fpcomplete.com/blog/2017/02/immutability-docker-haskells-st-type

а вот такой вопрос, полагаю немного странный, но все-таки: мне надо писать что-то типа ХХХ deriving (Show, Ord, Eq, Data, Typeable, Generic) миллион раз подряд, можно как-то один раз этот весь список поименовать и потом использовать типа deriving AppType

?

ни разу не встречал таких расширений, но вдруг пропустил

не видел такого

можно TH + standalone deriving

ууу, это хардкор, проще уж тогда руками копипейстить

или не проще, но я пока морально не готов к TH

с хаскелом вообще беда. устроил им митап, где рассказывал про прелести фп. пригласил товарища, он по математике рассказывал. из тех кто пришел половина сбежала на середине митапа - не интересно им.

В основном все кто говорят про монады говорят в стиле "О, монада! О, как божественно! Теория категорий, да, не х*й собачий, вам не джава ваша."

В основном все кто говорят про монады говорят в стиле "О, монада! О, как божественно! Теория категорий, да, не х*й собачий, вам не джава ваша."

монады (и теоркат) - это, прежде всего, модно

монады (и теоркат) - это, прежде всего, модно

Да, поэтому и говорят. Хотя теория категорий сама по себе (ну по крайней мере на базовом уровне) смысла не несет. Когда учил алг. топ. использовал термины из ТК, типа пушаут. Но сам по себе пушаут вообще ничего особенного.

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

Да, поэтому и говорят. Хотя теория категорий сама по себе (ну по крайней мере на базовом уровне) смысла не несет. Когда учил алг. топ. использовал термины из ТК, типа пушаут. Но сам по себе пушаут вообще ничего особенного.

А как же категорные модели в денотационной семантике?

А как же категорные модели в денотационной семантике?

Чё то даже загуглить не смог)). Это что, какая то лингвистика в терминах сепулек?

Чё то даже загуглить не смог)). Это что, какая то лингвистика в терминах сепулек?

Это когда ты строишь модели языков (типизированную лямбду или теорию типов) в рамках категорий.

Это когда ты строишь модели языков (типизированную лямбду или теорию типов) в рамках категорий.

Понятно, спасибо. А что значит "в рамках теории категорий"? Чтобы категорнве свойства соблюдались?

Понятно, спасибо. А что значит "в рамках теории категорий"? Чтобы категорнве свойства соблюдались?

Ну берут особенную категорию с нужными свойствами и показывают что она ведёт себя как модель языка. https://ru.m.wikipedia.org/wiki/Декартово_замкнутая_категория https://ru.m.wikipedia.org/wiki/Элементарный_топос

Можно построить отображение (interpretation function) из языка в модель и потом наоборот.

Ну берут особенную категорию с нужными свойствами и показывают что она ведёт себя как модель языка. https://ru.m.wikipedia.org/wiki/Декартово_замкнутая_категория https://ru.m.wikipedia.org/wiki/Элементарный_топос

Интересно полезно ли это. Просто в математике обычно ты берешь объект , назначаешь полезные свойства а потом оказывается что это категория

Типа взял группу. Вот тебе и категория

Ну тут скорее берут язык и ищут ему модель. Или берут модель и смотрят какой получится язык.

Интересно полезно ли это. Просто в математике обычно ты берешь объект , назначаешь полезные свойства а потом оказывается что это категория

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

Ну это мне так кажется, я так, только изучаю.

блин автора lmdb-high-level надо на ёлке повесить

а автору lmdb (байндингов, а не базы) это показать

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

@qnikst время писать свой велосипед с нуля ?

я обычно missing пишу

@async_prince не в той же, я бы не потратил 10005000 времени на выяснение проблем

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

скорее всего high-level в итоге выкинем

блин автора lmdb-high-level надо на ёлке повесить

а что там? )

да какие-то левые абстракции, которые рушатся на каждом шагу

нужные методы не реализованы

lmdb типы завернуты в свои

где-то 3 копирования данных в запросах

high level!

кто-нибудь пользовался ghcjs?

и если да: ghc-mod завести не удалось, но с этим можно жить спокойно repl также не заработал сказав, что в этой версии interactive ещё не работает. Но это странно, тк я видел вроде доклад с конференции на ютубе как чел мутит всякие темы ghcjsi и где-то ещё вроде слышал упоминание о нём. resolver: lts-7.19 compiler: ghcjs-0.2.1.9007019_ghc-8.0.1 эта версия взята из документации стека и как бы она регулярно обновляется, так что должна бы уже поддерживать репл если он существует

это какая-то проблема в stack repl а не в ghcjsi

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

я пробирался в папку с ghcjs иии. сейчас ещё раз посмотрю что он пишет

ls ~/.stack/programs/x86_64-osx/ghcjs-0.2.1.9007019_ghc-8.0.1/bin ghcjs ghcjs-boot ghcjs-pkg ghcjs-run haddock-ghcjs hsc2hs-ghcjs ~/.stack/programs/x86_64-osx/ghcjs-0.2.1.9007019_ghc-8.0.1/bin/ghcjs --interactive ghcjs-0.2.1.9007019-8.0.1.bin: --interactive is not yet supported. Usage: For basic information, try the `--help' option.

хм

я работающий ghcjsi видел только на какой-то презентации так что вполне может быть оно не еще не смержено в мастер или типа того

https://github.com/reflex-frp/reflex-platform/issues/38 вот у них в 2015м всё здорово, красиво, решили проблему. и в конце заходит чел, который тоже не понимает ситуацию

есть ктт живой?

а вы с какой целью интересуетесь?

@quetzal если я приконнектился к именованой, и ничего туда не положил, это нормально, что lmdb сегфолтится?

ERROR: S client not available

бог ты ж мой

haskell is not ready for production прямо-таки

сегфолтится и нормально в одном предложении не нормально :)

не с++ же

@quetzal если я приконнектился к именованой, и ничего туда не положил, это нормально, что lmdb сегфолтится?

не нормально а на каком вызове апи падает?

commit ? (я знаю что он там не нужен и у меня readonly транзакция)

а зачем коммит делаешь тогда?

похоже, что получается ключ с пустым значением

апи тупое

мне ещё 4-6 часов придётся потратить, чтобы его почеловечески переписать

так допили эту либу хаскелевую

последователи будут благодарны

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

мне не дадут зелёный свет перепиливать её прям щас : /

а если бы ты пришел к ним и сказал что "чуваки, на хаскеле нет библиотеки для lmdb которую вы выбрали", дали бы с нуля написать? )

у них уже было все написано

но он сегфолтилось и падало

а моя задача от этого зависела

мне сказали "пофикси за нас"

я начал фиксить, в течении дня починил 172 теста их 175

потом оказалось, что там с dupsort напортачили, и нужно самому стек запилить, починил 173/175

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

в итоге это сейчас второй день правлю

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

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

круто. а написано было используя этот lmdb-highlevel ?

Ага

В общем-то я его оставил, пока, потом наверное надо будет выпилить до конца. А пока от бойлерплейта чуть спасло

скала - это хаскель для джвм?

без тухлых помидоров плж