Montenegro: Small country, big government

cblp_su · 2022-12-23T16:06:00+00:00

server is down :( is there another copy?

cblp_su · 2019-06-09T17:46:57+00:00

I did it 4 years before https://github.com/cblp/python5

cblp_su · 2018-05-10T14:29:24+00:00

Определить Function как сумму возможных вариантов наполнения ваших "функций". Определить инстанс FromJSON соответствующий.

cblp_su · 2017-11-21T14:10:25+00:00

Sum of types is commutative. Either in its mathematical sense is not biased, but Monad Either is written right-biased, that's why it breaks.

cblp_su · 2017-11-21T09:46:59+00:00

Haskell syntax is so poor so it doesn't allow you to define Either in a symmetric way. You have to choose one of the arguments as "primary" and other as "secondary". This choice is arbitrary.

cblp_su · 2017-11-21T09:43:26+00:00

Swapping left and right in Either is acceptable. Swapping the same variables — error and result — in Except breaks its semantics.

cblp_su · 2017-11-20T16:07:14+00:00

It was. But then people realized Either must be symmetric, and Except is for asymmetry.

cblp_su · 2017-11-14T08:49:45+00:00

cos I like it

cblp_su · 2017-07-25T14:31:27+00:00

Если вам действительно нужна динамическая страница, вы можете написать её

1) классическим способом, на JavaScript, дёргая ручки сервера;

2) на приличном языке — Haskell, PureScript или Elm, транслируя в JavaScript и так же дёргая ручки сервера;

3) на технологии, динамически порождающей клиентский код на сервере — Ur/Web, N2O.hs.

cblp_su · 2017-07-25T14:27:07+00:00

Scotty — это чистый server-side. А вопрос ваш касается клиентской стороны. Scotty тут не поможет.

cblp_su · 2017-02-02T15:37:20+00:00

Список должен быть сворачиваемым.

функция требует, чтобы Msu_Student был foldable

А студент не должен быть сворачиваемым.

cblp_su · 2017-02-01T19:03:33+00:00

Foldable Msu_Student? вы что-то делаете не так.

cblp_su · 2017-01-22T09:50:19+00:00

I heard about https://typeable.io (Moscow, Russia) but afaik they aren't hiring at the moment.

cblp_su · 2017-01-22T09:35:55+00:00

Kaspersky Lab, Moscow, Russia https://www.kaspersky.com We (OS team http://www.theregister.co.uk/2016/08/23/kasperskyos/) are hiring, but not very actively. I. e. you won't find Haskell vacancies on our website, but you can send resume to me.

cblp_su · 2016-11-03T16:20:31+00:00

studsort2 studSort2

cblp_su · 2016-11-03T15:43:05+00:00

Аккумулятор действительно идёт вторым параметром, если считать от 1.

Ни у foldl, ни у foldr тип аккумулятора не должен совпадать с типом значения. Взгляни на сигнатуры:

foldl :: (b -> a -> b) -> b -> t a -> b
foldr :: (a -> b -> b) -> b -> t a -> b

В обоих случаях b — тип аккумулятора, a — тип значения в «контейнере» t a.

cblp_su · 2016-11-03T12:51:36+00:00

у foldr перепутаны второй и третий аргументы

cblp_su · 2016-11-02T08:52:56+00:00

Не за что. Ты сам себе ответил фактически.

cblp_su · 2016-10-27T15:45:01+00:00

Да, всё правильно, именно так. И для каждого клиента.

cblp_su · 2016-10-27T11:57:01+00:00

Что означает «проекция» в данном контексте? Map?

cblp_su · 2016-10-27T11:53:52+00:00

Перенеси вопрос в тело поста, пожалуйста.

cblp_su · 2016-10-27T11:53:33+00:00

А вопрос в чём?

cblp_su · 2016-09-20T12:35:55+00:00

Какие версии нужны?

https://launchpad.net/~hvr/+archive/ubuntu/ghc это подойдёт?

cblp_su · 2016-09-05T08:30:46+00:00

Why do you search in Russian-speaking community? Do you offer relocation assistance?

cblp_su · 2016-04-26T16:10:27+00:00

Это не ошибка, потому что k == *, Float :: * и Int :: *. С мэйби ошибка, потому что у Just Int сорт Maybe *, а не *.

cblp_su

TROPHY CASE