Anonymous
Это когда ты строишь модели языков (типизированную лямбду или теорию типов) в рамках категорий.
Anonymous
Ну берут особенную категорию с нужными свойствами и показывают что она ведёт себя как модель языка.
https://ru.m.wikipedia.org/wiki/Декартово_замкнутая_категория
https://ru.m.wikipedia.org/wiki/Элементарный_топос
Anonymous
Можно построить отображение (interpretation function) из языка в модель и потом наоборот.
Anonymous
Ну тут скорее берут язык и ищут ему модель. Или берут модель и смотрят какой получится язык.
Anonymous
В целом да, потому что это позволяет свойства новые находить, про которые и не догадались бы, если смотреть только с одной стороны.
Anonymous
Ну это мне так кажется, я так, только изучаю.
Alexander
блин автора lmdb-high-level надо на ёлке повесить
Alexander
а автору lmdb (байндингов, а не базы) это показать
Anonymous
но ведь если бы не было ни автора, ни биндинга, ты бы был сейчас ровно в такой же ситуации )
Anatolii
@qnikst время писать свой велосипед с нуля 😉
Alexander
я обычно missing пишу
Alexander
@async_prince не в той же, я бы не потратил 10005000 времени на выяснение проблем
Alexander
на самом деле достаточно юзабельно но много руками надо переделывать
Alexander
скорее всего high-level в итоге выкинем
Alexander
да какие-то левые абстракции, которые рушатся на каждом шагу
Alexander
нужные методы не реализованы
Alexander
lmdb типы завернуты в свои
Alexander
где-то 3 копирования данных в запросах
Quet
high level!
Anonymous
Влод
кто-нибудь пользовался ghcjs?
Влод
и если да: ghc-mod завести не удалось, но с этим можно жить спокойно
repl также не заработал сказав, что в этой версии interactive ещё не работает. Но это странно, тк я видел вроде доклад с конференции на ютубе как чел мутит всякие темы ghcjsi и где-то ещё вроде слышал упоминание о нём.
resolver: lts-7.19
compiler: ghcjs-0.2.1.9007019_ghc-8.0.1
эта версия взята из документации стека и как бы она регулярно обновляется, так что должна бы уже поддерживать репл если он существует
Misha
это какая-то проблема в 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.
Misha
хм
Misha
я работающий ghcjsi видел только на какой-то презентации так что вполне может быть оно не еще не смержено в мастер или типа того
Влод
https://github.com/reflex-frp/reflex-platform/issues/38 вот у них в 2015м всё здорово, красиво, решили проблему. и в конце заходит чел, который тоже не понимает ситуацию
melvin
есть ктт живой?
Dmitry
а вы с какой целью интересуетесь?
Alexander
@quetzal если я приконнектился к именованой, и ничего туда не положил, это нормально, что lmdb сегфолтится?
Misha
бог ты ж мой
Misha
haskell is not ready for production прямо-таки
Alexey
сегфолтится и нормально в одном предложении не нормально :)
Alexey
не с++ же
Quet
@quetzal если я приконнектился к именованой, и ничего туда не положил, это нормально, что lmdb сегфолтится?
не нормально
а на каком вызове апи падает?
Alexander
commit 😏 (я знаю что он там не нужен и у меня readonly транзакция)
Quet
а зачем коммит делаешь тогда?
Alexander
похоже, что получается ключ с пустым значением
Alexander
апи тупое
Alexander
мне ещё 4-6 часов придётся потратить, чтобы его почеловечески переписать
Quet
так допили эту либу хаскелевую
Quet
последователи будут благодарны
Alexander
этим закончится все, но там ещё и надо проверить что все работает сначала
Alexander
мне не дадут зелёный свет перепиливать её прям щас : /
Quet
а если бы ты пришел к ним и сказал что "чуваки, на хаскеле нет библиотеки для lmdb которую вы выбрали", дали бы с нуля написать? )
Alexander
у них уже было все написано
Alexander
но он сегфолтилось и падало
Alexander
а моя задача от этого зависела
Alexander
мне сказали "пофикси за нас"
Alexander
я начал фиксить, в течении дня починил 172 теста их 175
Alexander
потом оказалось, что там с dupsort напортачили, и нужно самому стек запилить, починил 173/175
Alexander
потм оказалось, что на самом деле там треш угар и содомия, и совершенно не следится за тем, где multi-value где скаляр
Alexander
в итоге это сейчас второй день правлю
Alexander
перепилив весь апи внутри проекта, заодно
Alexander
идеально если сегодня или завтра оно будет проходить тесты
Quet
круто. а написано было используя этот lmdb-highlevel ?
Alexander
Ага
Alexander
В общем-то я его оставил, пока, потом наверное надо будет выпилить до конца. А пока от бойлерплейта чуть спасло
melvin
скала - это хаскель для джвм?
melvin
без тухлых помидоров плж
Мерль
melvin
а почему нечистой?
Quet
скала - это хаскель для джвм?
это то что получается если попытаться сделать "более лучшую жабу" глядя на хаскель
Serghei
Ну тут скорее берут язык и ищут ему модель. Или берут модель и смотрят какой получится язык.
Собственно почему я вообще за хаскел взялся.. Не спрашивайте зачем, но мне хочется создать язык программирования. Пусть это будет язык X, с какими то своими целями.
Ну и вот, с таким вот себе сформулированным желанием я наткнулся на пост одного товарища, работающего в гугле, о том, как он компилятор для Си на Си написал. Не помню о каких там сроках шла речь, но что-то возмутимо малое, допустим дней 90. Он там упоминал о теории копмиляторов (эту книгу я купил), книгу с драконом (тоже купил) и еще парочке любопытных трудов. Начал читать и понял что мне нужны инструменты, например для построения абстрактного дерева, синтаксического и семантического анализа. По словам друзей Хаскел в качестве такого инструмента подходит.
Кроме того у меня никак с математикой. Вообще. Обзавелся я, в общем, целой библиотекой, самых удивительных для себя книг :)
Я пока ни на дюйм не приблищился к созданию языка X, теперь я ковыряю Хаскел, но мне интересно, что из этого получится вообще. Попутно всякое почитываю.
Не знаю, правильно ли я хаскел выбрал и еще не определился с уймой вопросов. Но меня и правда занимает :) Хобби у меня такое
Anonymous
Собственно почему я вообще за хаскел взялся.. Не спрашивайте зачем, но мне хочется создать язык программирования. Пусть это будет язык X, с какими то своими целями.
Ну и вот, с таким вот себе сформулированным желанием я наткнулся на пост одного товарища, работающего в гугле, о том, как он компилятор для Си на Си написал. Не помню о каких там сроках шла речь, но что-то возмутимо малое, допустим дней 90. Он там упоминал о теории копмиляторов (эту книгу я купил), книгу с драконом (тоже купил) и еще парочке любопытных трудов. Начал читать и понял что мне нужны инструменты, например для построения абстрактного дерева, синтаксического и семантического анализа. По словам друзей Хаскел в качестве такого инструмента подходит.
Кроме того у меня никак с математикой. Вообще. Обзавелся я, в общем, целой библиотекой, самых удивительных для себя книг :)
Я пока ни на дюйм не приблищился к созданию языка X, теперь я ковыряю Хаскел, но мне интересно, что из этого получится вообще. Попутно всякое почитываю.
Не знаю, правильно ли я хаскел выбрал и еще не определился с уймой вопросов. Но меня и правда занимает :) Хобби у меня такое
Здорово. Правда на категории обращать внимания не стоит, время займет, а толку будет мало. Там языки делают совсем абстрактные. А у тебя цели другие :)
Quet
frege еще был ) тоже SUCH HASKELL
Alexander
ну у eta больше шансов
Serghei
У меня товарищ кстати скалист. Постоянно отговаривает от Хаскела, в пользу "более цивиоизованного функционального языка". Разумеется безуспешно, но на его попытки смотреть смешно )
Serghei
с телефона. сори за опечатки
Влод
Собственно почему я вообще за хаскел взялся.. Не спрашивайте зачем, но мне хочется создать язык программирования. Пусть это будет язык X, с какими то своими целями.
Ну и вот, с таким вот себе сформулированным желанием я наткнулся на пост одного товарища, работающего в гугле, о том, как он компилятор для Си на Си написал. Не помню о каких там сроках шла речь, но что-то возмутимо малое, допустим дней 90. Он там упоминал о теории копмиляторов (эту книгу я купил), книгу с драконом (тоже купил) и еще парочке любопытных трудов. Начал читать и понял что мне нужны инструменты, например для построения абстрактного дерева, синтаксического и семантического анализа. По словам друзей Хаскел в качестве такого инструмента подходит.
Кроме того у меня никак с математикой. Вообще. Обзавелся я, в общем, целой библиотекой, самых удивительных для себя книг :)
Я пока ни на дюйм не приблищился к созданию языка X, теперь я ковыряю Хаскел, но мне интересно, что из этого получится вообще. Попутно всякое почитываю.
Не знаю, правильно ли я хаскел выбрал и еще не определился с уймой вопросов. Но меня и правда занимает :) Хобби у меня такое
кстати хаскелл очень удачный язык для написания языков. звучит как шутка или укор хаскелу, но действительно так. Хотя рантайм (мемори менеджер) на нём будет писать скорей всего не очень
парсек - для меня было чем-то новым после всяких яков, бизонов. Правда скорей всего у парсека не идёт речь о скорости парсера, но для прототипа языка она и не нужна.
Тут интересен вопрос - что новое будет в твоём языке? ну хотя бы мелочи, синтаксический сахар там
Serghei
ну имутабельность, любой примитив - объект, такое )
Влод
тип смолтолк?
Serghei
угу
Serghei
хобби