а почему нечистой?

а почему нечистой?

А какая ещё может быть любовь между хаскелем и джавой?

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

это то что получается если попытаться сделать "более лучшую жабу" глядя на хаскель

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

Собственно почему я вообще за хаскел взялся.. Не спрашивайте зачем, но мне хочется создать язык программирования. Пусть это будет язык X, с какими то своими целями. Ну и вот, с таким вот себе сформулированным желанием я наткнулся на пост одного товарища, работающего в гугле, о том, как он компилятор для Си на Си написал. Не помню о каких там сроках шла речь, но что-то возмутимо малое, допустим дней 90. Он там упоминал о теории копмиляторов (эту книгу я купил), книгу с драконом (тоже купил) и еще парочке любопытных трудов. Начал читать и понял что мне нужны инструменты, например для построения абстрактного дерева, синтаксического и семантического анализа. По словам друзей Хаскел в качестве такого инструмента подходит. Кроме того у меня никак с математикой. Вообще. Обзавелся я, в общем, целой библиотекой, самых удивительных для себя книг :) Я пока ни на дюйм не приблищился к созданию языка X, теперь я ковыряю Хаскел, но мне интересно, что из этого получится вообще. Попутно всякое почитываю. Не знаю, правильно ли я хаскел выбрал и еще не определился с уймой вопросов. Но меня и правда занимает :) Хобби у меня такое

Собственно почему я вообще за хаскел взялся.. Не спрашивайте зачем, но мне хочется создать язык программирования. Пусть это будет язык X, с какими то своими целями. Ну и вот, с таким вот себе сформулированным желанием я наткнулся на пост одного товарища, работающего в гугле, о том, как он компилятор для Си на Си написал. Не помню о каких там сроках шла речь, но что-то возмутимо малое, допустим дней 90. Он там упоминал о теории копмиляторов (эту книгу я купил), книгу с драконом (тоже купил) и еще парочке любопытных трудов. Начал читать и понял что мне нужны инструменты, например для построения абстрактного дерева, синтаксического и семантического анализа. По словам друзей Хаскел в качестве такого инструмента подходит. Кроме того у меня никак с математикой. Вообще. Обзавелся я, в общем, целой библиотекой, самых удивительных для себя книг :) Я пока ни на дюйм не приблищился к созданию языка X, теперь я ковыряю Хаскел, но мне интересно, что из этого получится вообще. Попутно всякое почитываю. Не знаю, правильно ли я хаскел выбрал и еще не определился с уймой вопросов. Но меня и правда занимает :) Хобби у меня такое

Здорово. Правда на категории обращать внимания не стоит, время займет, а толку будет мало. Там языки делают совсем абстрактные. А у тебя цели другие :)

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

haskell для jvm это eta

frege еще был ) тоже SUCH HASKELL

ну у eta больше шансов

У меня товарищ кстати скалист. Постоянно отговаривает от Хаскела, в пользу "более цивиоизованного функционального языка". Разумеется безуспешно, но на его попытки смотреть смешно )

с телефона. сори за опечатки

Собственно почему я вообще за хаскел взялся.. Не спрашивайте зачем, но мне хочется создать язык программирования. Пусть это будет язык X, с какими то своими целями. Ну и вот, с таким вот себе сформулированным желанием я наткнулся на пост одного товарища, работающего в гугле, о том, как он компилятор для Си на Си написал. Не помню о каких там сроках шла речь, но что-то возмутимо малое, допустим дней 90. Он там упоминал о теории копмиляторов (эту книгу я купил), книгу с драконом (тоже купил) и еще парочке любопытных трудов. Начал читать и понял что мне нужны инструменты, например для построения абстрактного дерева, синтаксического и семантического анализа. По словам друзей Хаскел в качестве такого инструмента подходит. Кроме того у меня никак с математикой. Вообще. Обзавелся я, в общем, целой библиотекой, самых удивительных для себя книг :) Я пока ни на дюйм не приблищился к созданию языка X, теперь я ковыряю Хаскел, но мне интересно, что из этого получится вообще. Попутно всякое почитываю. Не знаю, правильно ли я хаскел выбрал и еще не определился с уймой вопросов. Но меня и правда занимает :) Хобби у меня такое

кстати хаскелл очень удачный язык для написания языков. звучит как шутка или укор хаскелу, но действительно так. Хотя рантайм (мемори менеджер) на нём будет писать скорей всего не очень парсек - для меня было чем-то новым после всяких яков, бизонов. Правда скорей всего у парсека не идёт речь о скорости парсера, но для прототипа языка она и не нужна. Тут интересен вопрос - что новое будет в твоём языке? ну хотя бы мелочи, синтаксический сахар там

ну имутабельность, любой примитив - объект, такое )

тип смолтолк?

угу

ну имутабельность, любой примитив - объект, такое )

а цели?

хобби

аааа ну ок

кто-то сериалы смотрит, кто-то скалолаз )

аааа ну ок

рили. ты ожидал что тебе назовут что-то вроде пояснительной записки к диплому

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

пролог же есть на хаскеле ) собственно почему я не могу попробовать. тем более любопытно

рили. ты ожидал что тебе назовут что-то вроде пояснительной записки к диплому

ноеп

ну короче можно почитать о чём там говорил Алан Кей (не помню мб не алан). про то что метод - это поссылка сообщений. ну т.е. каждый объект - независимый комп/тред/гринтред скорей всего он не особо задумывался, когда произносил речь

любопытно

а как гуглить?

кей то хоть точно ?

с лямбдами в смолтолке всё очень плохо. можно придумать единый образ объявления метода в глобальном и локальном скопе. чтобы локальные были кложурами

http://wiki.c2.com/?AlanKaysDefinitionOfObjectOriented

спасиб

и больше всего ненавижу палочки в смолтолке

{|arg1 arg2| body }

ну примерно так было

и больше всего ненавижу палочки в смолтолке

палочки:

||

и больше всего ненавижу палочки в смолтолке

Ты просто Математику не видел

Метод это метод (реализация "функции", привязанной к объекту), но общаются объекты посылая сообщения. А там уже происходит лукап, находится и вызывается нужная реализация .

ну короче можно почитать о чём там говорил Алан Кей (не помню мб не алан). про то что метод - это поссылка сообщений. ну т.е. каждый объект - независимый комп/тред/гринтред скорей всего он не особо задумывался, когда произносил речь

насколько я понимаю посылка сообщения в obj-c (который ровно тот же вызов метода) это не та посылка о которой говорил кей

воу воу полегче

хахаха

Хороший язык и маскоты интересные

Хороший язык и маскоты интересные

гохомяк

:D

не могу спокойно реагировать на это

@vlastachu да ровно та же на деле. Можно почитать у самого Кея об этом тут http://stephane.ducasse.free.fr/FreeBooks/SmalltalkHistoryHOPL.pdf

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

ладно шучу

(извиняюсь за ориентацию пдф-ки)

openDatabase t@(Transaction txn) name settings = do let rwOpts = if modeIsReadOnly t then [] else [MDB_CREATE]

ну ё маё :/

@quetzal ^^

и вот такое там все

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

буду .keepdir складывать как в тарах, а

короче идея такая: если он столько вещал про мэсадж пассинг то скорей всего это чем-то отличается от плюсов и прочего (ну хотя тогда из ооп только симула была и наверное в ней особо не было рантайм лукапа) мне однажды человек на хакер ньюс сказал, что Кей имел ввиду конкурентные объекты. а реализовать в своём смолтолке он не решился. я сколько раз не приступал к чтению статеек - всегда становилось скучно.

У меня были такие же мысли, особенно после всяких эрлангов.

Да, почитал я про Кея

Не знал

Уматный чувак :)

Вот только у себя это забанил

?

/voteban

/voteban

очень неинтересно.

ERROR: S client not available

ты боту ответил? ?

нуу видимо

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

@quetzal а как читать dump базы? как понять где ключ где значения, особенно с dupsort базой

openDatabase t@(Transaction txn) name settings = do let rwOpts = if modeIsReadOnly t then [] else [MDB_CREATE]

это они так named database открывают? ))

да

круто

я уже почти всё использование этой либы выпилил к чертям и даже что-то начало работать

а пулл реквест автору? )))

либу выпилил и делаешь ffi руками?

зачем там FFI?

а, вы уже про другую либу

@quetzal чтобы пулреквест делать нужно все аккуратно запилить

может до этого тоже дойдет

@quetzal а не знаешь где почитать как бампы парсить?

я чот не могу понять там чушь в одном месте или нет

@quetzal а не знаешь где почитать как бампы парсить?

кого кого парсишь?

mdb_dump -p

паршу глазами

почитай ман к mdb_load там немного про формат было написано

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

SUMMARY: ✔️ 1 test completed ℹ️ 395 tests skipped

хоть что-то

так половина примерно работает, ну хорошо, теперь тупо баги искать

неплохо )) так ты в итоге как делаешь если либу выкинул -- все руками?

от либы остались типы и encoding/decoding

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

а что не так было с другой либой? в которой raw интерфейс (по сути примерно что у тебя сейчас получается)

не raw я использую, она нрм

там правда глупо, что для MDB_val свой тип, который они сами сериализуют

и то что там типы для safe и unsafe ffi дублируются

но это такие мелочи