Forwarded from 🎵Илья проигрывает пианино 🎵
Twitter
Veronika Romashkina
#Haskell
#prog #haskell
Товарищ Мёртвопищ написал небольшую библиотеку для облегчения кастомизации (де)сериализации, реализованных при помощи тайпклассов Binary (того, который базируется на Generic).
github.com/0xd34df00d/binary-generic-combinators
Товарищ Мёртвопищ написал небольшую библиотеку для облегчения кастомизации (де)сериализации, реализованных при помощи тайпклассов Binary (того, который базируется на Generic).
github.com/0xd34df00d/binary-generic-combinators
GitHub
GitHub - 0xd34df00d/binary-generic-combinators: Combinators and utilities to make Generic-based deriving of Binary easier and more…
Combinators and utilities to make Generic-based deriving of Binary easier and more expressive - GitHub - 0xd34df00d/binary-generic-combinators: Combinators and utilities to make Generic-based deriv...
#prog #haskell #article
Статья (pdf) о технике, позволяющей запрограммировать регионы для выделения ресурсов (таких, как открытые файлы), удостоверяющие, что все выделенные ресурсы освобождены в конце региона (а не вычисления в целом, как в ST), что ручки к выделенным ресурсам не утекают из вычислений, корректно прокидывающее исключения (с деаллокацией ресурсов при досрочном завершении вычислений в регионе) и позволяющее вкладывать регионы один в другой без передачи значений-свидетельств вложенности регионов.
Статья (pdf) о технике, позволяющей запрограммировать регионы для выделения ресурсов (таких, как открытые файлы), удостоверяющие, что все выделенные ресурсы освобождены в конце региона (а не вычисления в целом, как в ST), что ручки к выделенным ресурсам не утекают из вычислений, корректно прокидывающее исключения (с деаллокацией ресурсов при досрочном завершении вычислений в регионе) и позволяющее вкладывать регионы один в другой без передачи значений-свидетельств вложенности регионов.
ACM SIGPLAN Notices
Lightweight monadic regions | ACM SIGPLAN Notices
We present Haskell libraries that statically ensure the safe use of resources such
as file handles. We statically prevent accessing an already closed handle or forgetting
to close it. The libraries can be trivially extended to other resources such as ...
as file handles. We statically prevent accessing an already closed handle or forgetting
to close it. The libraries can be trivially extended to other resources such as ...
#prog #haskell #article
Статья (бесстыдно стыренная с Haskell wiki) о дизайне и разработке библиотеки для красивого вывода (pretty printing) выражений.
В данной работе автор решает формализовать красивый вывод, как вывод, удовлетворяющий трём принципам (в порядке убывания важности):
1. Видимость — весь вывод должен умещаться в пределах указанной ширины.
2. Разборчивость — в выводе должна быть видна иерархичная структура данных.
3. Бережливость — вывод должен занимать как можно меньше строк.
Данная библиотека отнюдь не первая, решающая эту задачу, поэтому автор также вскользь касается прошлых библиотек — и замечает, что, ввиду использования жадных подходов, они не дают вышеозначенные свойства.
Автор сначала строит наивный алгоритм, фактически строящий все возможные варианты и выбирающий среди них наилучший — и потому ожидаемо имеющий экспоненциальное время работы — а затем вводит две оптимизации, радикально снижающие время работы за счёт раннего отбрасывания заведомо негодных вариантов. Для обеих оптимизаций автор приводит доказательства их корректности.
Разумеется, автор также проводит замеры производительности библиотеки. Эмпирические результаты показывают, что время, потраченное на вычисления оптимальной раскладки, линейно пропорционально числу строк в итоговом выводе. К сожалению, автор не даёт строгого доказательства линейности данного алгоритма, ограничиваясь правдоподобными рассуждениями (а жаль, я бы почитал).
Сравнение с прошлыми библиотеками показывает, что библиотека автора работает примерно на порядок медленнее state of art на тот момент, что автор считает удовлетворительным с учётом того, что эта библиотека, в отличие от предыдущих, достигает оптимальности раскладки согласно принципам выше.
Статья (бесстыдно стыренная с Haskell wiki) о дизайне и разработке библиотеки для красивого вывода (pretty printing) выражений.
В данной работе автор решает формализовать красивый вывод, как вывод, удовлетворяющий трём принципам (в порядке убывания важности):
1. Видимость — весь вывод должен умещаться в пределах указанной ширины.
2. Разборчивость — в выводе должна быть видна иерархичная структура данных.
3. Бережливость — вывод должен занимать как можно меньше строк.
Данная библиотека отнюдь не первая, решающая эту задачу, поэтому автор также вскользь касается прошлых библиотек — и замечает, что, ввиду использования жадных подходов, они не дают вышеозначенные свойства.
Автор сначала строит наивный алгоритм, фактически строящий все возможные варианты и выбирающий среди них наилучший — и потому ожидаемо имеющий экспоненциальное время работы — а затем вводит две оптимизации, радикально снижающие время работы за счёт раннего отбрасывания заведомо негодных вариантов. Для обеих оптимизаций автор приводит доказательства их корректности.
Разумеется, автор также проводит замеры производительности библиотеки. Эмпирические результаты показывают, что время, потраченное на вычисления оптимальной раскладки, линейно пропорционально числу строк в итоговом выводе. К сожалению, автор не даёт строгого доказательства линейности данного алгоритма, ограничиваясь правдоподобными рассуждениями (а жаль, я бы почитал).
Сравнение с прошлыми библиотеками показывает, что библиотека автора работает примерно на порядок медленнее state of art на тот момент, что автор считает удовлетворительным с учётом того, что эта библиотека, в отличие от предыдущих, достигает оптимальности раскладки согласно принципам выше.