?

Log in

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

Site Meter

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

Cрачи тяжеловесов и NPE в Хаскеле [авг. 28, 2015|15:24 pm]
Andy Melnikov
[Tags|]

https://github.com/ekmett/structs/commit/9f17e94eeff66dbea88373ff4c9eac312f14dfe5

http://flyingfrogblog.blogspot.com/2010/05/why-is-haskell-used-so-little-in.html
Ссылка31 комментарий|Оставить комментарий

MS пилит кросс-платформенную IDE [авг. 28, 2015|04:48 am]
Andy Melnikov
[Tags|]

https://code.visualstudio.com/
Ссылка7 комментариев|Оставить комментарий

2011, Карл! [авг. 23, 2015|18:22 pm]
Andy Melnikov
In 2011, Kooijman, et al., published an article in Science showing that neither gyroscopic effects nor so-called caster effects due to trail are necessary for a bike to balance itself
Ссылка17 комментариев|Оставить комментарий

В кои-то веки порадовала банковская система [авг. 23, 2015|15:41 pm]
Andy Melnikov
При снятии в Доминикане в банкомате наличных песо с гривнёвой карты Visa (и карты в казахстанском тенге)

а) можно посмотреть баланс в песо
б) показывается комиссия в песо
в) проводится две транзакции - комиссия и сама сумма
г) конвертация происходит по коммерческому кросс-курсу
д) комиссия такая же, как при снятии денег с карты неродного доминиканского банка

Комиссия высокая - фиксированная сумма от 180 до 200 песо за транзакцию ($4-4.5), т.е. на эквиваленте сотни дол. комиссия 4.5% на двух 2.25%. Но:

а) международные транзакции уравнены с местными - т.е. не исключено, что при развитии доминиканского банковского рынка комиссии будут падать.
б) нет hidden fees
в) комиссия в POS скорее всего будет нулевой (но у меня банк заблокировал POS, видимо ввиду того что карта нечипованная и POS-транзакции никак не авторизуются, надо будет разблокировать)
г) мучения из-за зарегулированности долларовых транзакций с открытием долларовой карты не имеют смысла
д) когда-то даже в Украине нельзя было посмотреть баланс в банкомате неродного банка
Ссылка1 комментарий|Оставить комментарий

(без темы) [авг. 22, 2015|19:56 pm]
Andy Melnikov
[Tags|, ]

Я тут думал, что является аналогом foldl для деревьев. Ввиду того, что дерево ветвится, и результатов foldl получается много, наверное, лучшее, что можно придумать - это аналог scanl

Получится симметрично: правый скан - это "синтезируемые атрибуты", а левый - "наследуемые".

Левый скан делается коалгеброй:
data Tree = Node Int Tree Tree | Leaf
data BaseTree a = BaseNode Int a a | BaseLeaf deriving Functor

coalgebra (x, Leaf) = BaseLeaf
coalgebra (x, Node i r l) = BaseNode x1 (x1, r) (x1, l) where x1 = x + i

treeScanL coalgebra x0 t = ana coalgebra (x0, t)
ну или бесточечно treeScanL = uncurry . ana.

Но тут любителям чистых языков с call by value наступает конец. Или не наступает? Как можно по дереву целых построить "дерево бегущих сумм сверху вниз" в энергичном языке? Определённо можно, но КАГ? Я сошёл с ума, извините, всё в порядке.
Ссылка4 комментария|Оставить комментарий

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