?

Log in

Дважды мудак [entries|archive|friends|userinfo]
Декларативное рулит

Site Meter

[ website | Мой сайт ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Cяу [фев. 19, 2017|11:29 am]
Andy Melnikov
Як вони куме нашi X називають?

Elbow pasta!
СсылкаОставить комментарий

Прогресс по SVG-чартам [фев. 18, 2017|01:06 am]
Andy Melnikov
[Tags|, ]

https://bl.ocks.org/streamcode9/raw/9fc767e29414c2d90f77da4799b9fdf0/

Проверяйте, у кого там палочки пропадали при быстром драге на андроиде!
Ссылка10 комментариев|Оставить комментарий

Про F-алгебры из ТК [фев. 18, 2017|01:04 am]
Andy Melnikov
[Tags|, ]

Потихоньку врубаюсь в алгебры.

Похоже что Fix это инициальная алгебра а unfix терминальная коалгебра, и оба этих случая являются свободными конструкциями.

инициальная алгебра + терминальная коалгебра = refix
алгебра + терминальная коалгебра = cata
инициальная алгебра + коалгебра = ana
алгебра + коалгебра = hylo
Ссылка23 комментария|Оставить комментарий

HNC опять похудел [фев. 16, 2017|16:40 pm]
Andy Melnikov
[Tags|, , ]

Люблю такие коммиты! Больше строк богу удалённых строк!

[master 8f1d72b] Refactor: TH-generated HN.Intermediate.ExpressionF
2 files changed, 7 insertions(+), 22 deletions(-)

Чуваки написали TH-код, который делает в точности те 15 строк бойлерплейта, которые у меня были. Даже имена те же самые (почти, в одном месте у меня суффикс Functor, а у них F).
СсылкаОставить комментарий

Полку кметтов прибыло [фев. 16, 2017|15:20 pm]
Andy Melnikov
[Tags|, ]

https://github.com/sjoerdvisscher

Нашёл у него потенциально полезную штуку http://hackage.haskell.org/package/algebraic-classes

Ещё free-functors например. Мне понравилось определение непустых списков как свободных полугрупп:
import Data.Functor.Free
import Data.Semigroup

-- A free semigroup allows you to create singletons and append them.
-- So it is a non-empty list.
type NonEmptyList = Free Semigroup

-- These instances make NonEmptyList a Semigroup and Show-able, Foldable and Traversable.
deriveInstances ''Semigroup
Я кончил! © Домнин Ф.А.
СсылкаОставить комментарий

navigation
[ viewing | most recent entries ]
[ go | earlier ]