deniok

Мы, российские ученые и научные журналисты, заявляем решительный протест против военных действий, начатых вооружёнными силами нашей страны на территории Украины. Этот фатальный шаг ведёт к огромным человеческим жертвам и подрывает основы сложившейся системы международной безопасности. Ответственность за развязывание новой войны в Европе целиком лежит на России. Для этой войны нет никаких разумных оправданий. Попытки использовать ситуацию в Донбассе к повод для развёртывания военной операции не вызывают никакого доверия. Совершенно очевидно, что Украина не представляет угрозы для безопасности нашей страны. Война против неё несправедлива и откровенно бессмысленна. Украина была и остаётся близкой нам страной. У многих из нас в Украине живут родственники, друзья и коллеги по научной работе. Наши отцы, деды и прадеды вместе воевали против нацизма. Развязывание войны ради геополитических амбиций руководства РФ, движимого сомнительными историософскими фантазиями, есть циничное предательство их памяти. Мы уважаем украинскую государственность, которая держится на реально работающих демократических институтах. Мы с пониманием относимся к европейскому выбору наших соседей. Мы убеждены в том, что все проблемы в отношениях между нашими странами могут быть решены мирным путём. Развязав войну, Россию обрекла себя на международную изоляцию, на положение страны-изгоя. Это значит, что мы, учёные, теперь не сможем нормально заниматься своим делом: ведь проведение научных исследований немыслимо без полноценного сотрудничества с коллегами из других стран. Изоляция России от мира означает дальнейшую культурную и технологическую деградацию нашей страны при полном отсутствии позитивных перспектив. Война с Украиной – это шаг в никуда. Нам горько сознавать, что наша страна, которая внесла решающий вклад в победу над нацизмом, сейчас стала поджигателем новой войны на европейском континенте. Мы требуем немедленной остановки всех военных действий, направленных против Украины. Мы требуем уважения суверенитета и территориальной целостности украинского государства. Мы требуем мира для наших стран. Давайте заниматься наукой, а не войной! https://trv-science.ru/2022/02/we-are-against-war/ Еле открывается, ддосят, видимо.

Не читал (дальше первого абзаца) и не подписывал ТОС. Путин и Медведев должны уйти в отставку, после всего, что наворотили за последние 5 лет, а репрессивное законодательство отменено, чем скорее тем лучше. Писать здесь (в ЖЖ) не буду и транслировать тоже, через некоторое время журнал удалю. Образовательный и прочий контент из ЖЖ скопирован на dreamwidth.org. Всем привет.

Мнения просвещенных твиттерян разделились поровну. Соперники идут ноздря в ноздрю. Присоединяйтесь, кто еще не.

data Id a = Id {runId :: a} deriving (Eq,Show)

instance Traversable Id where
  sequenceA (Id x) = pure Id <*> x
 
instance Functor Id where
  fmap = fmapDefault

instance Foldable Id where
  foldMap = foldMapDefault

Какие неожиданные эффекты будут сопровождать следующий вызов, и в чем их причина?

GHCi> traverse Just (Id 5)

Originally posted by edwardahirsch at Предвыборное

... и педантично выровнял:

($)    ::                      (a -> b) ->   a ->   b
(<$>)  :: Functor     f  =>    (a -> b) -> f a -> f b
(<*>)  :: Applicative f  =>  f (a -> b) -> f a -> f b
(=<<)  :: Monad       m  =>  (a -> m b) -> m a -> m b

(&)    ::                      a ->   (a -> b) ->   b  -- Data.Function
(<&>)  :: Functor     f  =>  f a ->   (a -> b) -> f b  -- Control.Lens.Operators
(<**>) :: Applicative f  =>  f a -> f (a -> b) -> f b  -- Control.Applicative
(>>=)  :: Monad       m  =>  m a -> (a -> m b) -> m b

В выражении

GHCi> succ <$> "abc"
"bcd"

оператор <$> имеет тип (Char -> Char) -> [Char] -> [Char]. Верно ли это утверждение для обоих вхождений <$> в следующем выражении

GHCi> succ <$> succ <$> "abc"
"cde"

Померил тут, похоже про магические хэши не надо рассказывать. Тут length' - текущая реализация из GHC, length0 - трех?летней давности:

{-# LANGUAGE MagicHash #-}
module Length where

import GHC.Prim
import GHC.Exts (Int(I#))
import Data.List

length0    :: [a] -> Int
length0 l  =  len l 0#
  where
    len           :: [a] -> Int# -> Int
    len []     a# =  I# a#
    len (_:xs) a# =  len xs (a# +# 1#)

length' :: [a] -> Int
length' xs = lenAcc xs 0 where
  lenAcc []     n = n
  lenAcc (_:ys) n = lenAcc ys (n+1)

length'' :: [a] -> Int
length'' = foldl' (const . succ) 0

length''' :: [a] -> Int
length''' []     = 0
length''' (_:xs) = 1 + length''' xs

Результаты

C:\Users\deniok\Documents\Haskell>ghc -O2 Length.hs
[1 of 1] Compiling Length           ( Length.hs, Length.o )

C:\Users\deniok\Documents\Haskell>ghci Length.hs
GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
Ok, modules loaded: Length.
> :set +s
> length [1..100000000]
100000000
(1.56 secs, 8,014,793,624 bytes)
> length0 [1..100000000]
100000000
(1.55 secs, 8,002,029,776 bytes)
> length' [1..100000000]
100000000
(1.55 secs, 8,001,085,992 bytes)
> length'' [1..100000000]
100000000
(2.00 secs, 9,601,216,960 bytes)
> length''' [1..100000000]
*** Exception: stack overflow
>
> length [1..50000000]
50000000
(0.86 secs, 3,938,034,240 bytes)
> length0 [1..50000000]
50000000
(0.84 secs, 3,937,631,120 bytes)
> length' [1..50000000]
50000000
(0.84 secs, 4,240,225,000 bytes)
> length'' [1..50000000]
50000000
(1.08 secs, 4,845,463,912 bytes)
> length''' [1..50000000]
50000000
(1.34 secs, 4,420,898,928 bytes)

Кубик Рубика мы активно крутили в девятом классе средней школы, то есть в 1982 году. С тех пор у меня осталась куча листочков с записями разных алгоритмов.

Спустя 17 лет, в 1999 году, я обнаружил эти листочки в горе мусора, предполагавшегося к отправлению на помойку. Тогда я решил, что стоит перенести все это знание в более долговечный и удобный в использовании формат. На дворе как раз заканчивал надуваться первый интернет-пузырь, доткомы рвались в заоблачную высь, и я решил убить нескольких зайцев одним махом. А именно, изучить Джаву, оформить все алгоритмы в виде джава-апплетов с крутящимися кубиками, забацать сайт и выложить его в глобальную сеть. Что и было успешно проделано.

Прошло еще 17 лет. Сегодня ivan_gandhi упомянул полоску/змейку на кубике Рубика, и я залез на deniok.narod.ru, куда все это было выложено, скопировать картинку варианта змейки. И обнаружил, что в современном мире джава-апплеты уже практически не работают. Единственный браузер в котором мне удалось заставить все крутиться - Firefox (c AdBlock'ом, конечно, иначе на народе реклама вытесняет все содержательное в дальний угол). Но и там, вроде, апплетам недолго осталось жить. Я, правда, все-таки был достаточно умен, чтобы закодировать алгоритм, который должен проигрываться на кубике, в виде параметров апплета. Типа param name="pAlgToApply" value="0,-9,8,9,-8,0,0". То есть извлечь содержательную информацию из html можно. Но тем не менее.

А листочки с алгоритмами до сих пор целы.

Разумный человек коль баснь сию прочтет, то, верно, и мораль из оной извлечет.

Маленький хаскеллист попал в Зазеркалье и, преодолев неисчислимые препятствия, дошел до последней горизонтали. Белая и Черная Королевы говорят, что для того, чтобы стать SPJ, ему нужно пройти «Королевский экзамен», ответив на Черный и Белый вопросы: всякий ли Functor является Rotcnuf? всякий ли Rotcnuf является Functor?

class Rotcnuf f where
  mfap :: f (a -> b) -> a -> f b

Помогите маленькому хаскеллисту стать SPJ.