В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Haskell Start

854 membersпожаловаться на группу
2021 February 19

к

кана in Haskell Start
можно еще так написать, чтобы убрать лишний fmap

fib :: Int -> Integer
fib = \i -> cache !! i where
 cache = [ case x of { 0 -> 1; 1 -> 1; n -> cache !! (n - 2) + cache !! (n - 1) } | x <- [0..] ]

тогда cache становится явнорекурсивным
источник
22:39пожаловаться#1

D

Dmitry in Haskell Start
кана
да, я соврал, cache все таки рекурсивен, просто через fmap

fib :: Int -> Integer
fib = \i -> cache !! i
 where
   cache = fmap
     (\x -> case x of { 0 -> 1; 1 -> 1; n -> cache !! (n - 2) + cache !! (n - 1) })
     [0..]

если вот так написать то видно
слушай, а можешь в одну строчку написать вот этот вариант
источник
22:41пожаловаться#2

к

кана in Haskell Start
могу, но зачем)

fib :: Int -> Integer
fib = (cache !!) where cache = fmap (\x -> case x of { 0 -> 1; 1 -> 1; n -> cache !! (n - 2) + cache !! (n - 1) }) [0..]
источник
22:42пожаловаться#3

D

Dmitry in Haskell Start
не, я имел ввиду без where
источник
22:43пожаловаться#4

к

кана in Haskell Start
а без where нельзя, нужна какая-то переменная для рекурсии, или fix
источник
22:43пожаловаться#5

D

Dmitry in Haskell Start
о - вот и подошли ещё раз
а то у меня всегда было такое впечатление что where для того чтобы внутренние функции делать, чтобы их снаружи не видели
источник
22:45пожаловаться#6

к

кана in Haskell Start
cache внутри своего определения использует cache, тут рекурсия
источник
22:45пожаловаться#7

D

Dmitry in Haskell Start
спасибо большое за объяснение - буду осмыслять)
источник
22:47пожаловаться#8

к

кана in Haskell Start
{-# LANGUAGE LambdaCase #-}

fib :: Int -> Integer
fib = (fix (\cache -> fmap (\case {0->1; 1->1; n->cache!!(n-1)+cache!!(n-2)}) [0..]) !!)

вот однострочник без where через fix
источник
22:48пожаловаться#9

D

Dreamerinnoise in Haskell Start
https://en.wikibooks.org/wiki/Haskell/Fix_and_recursion

ещё есть эта статья
@sobakavosne
источник
22:49пожаловаться#10

D

Dmitry in Haskell Start
о, кстати, а что ето?
> {-# LANGUAGE LambdaCase #-}
источник
22:49пожаловаться#11

к

кана in Haskell Start
прагма, которая включает экстеншен LambdaCase
источник
22:49пожаловаться#12

D

Dmitry in Haskell Start
я просто видел это расширение, но не знаю что оно делает
источник
22:50пожаловаться#13

D

Dmitry in Haskell Start
что это за лямда-кейс такой?
источник
22:50пожаловаться#14

к

кана in Haskell Start
https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/lambda_case.html
источник
22:50пожаловаться#15

к

кана in Haskell Start
\case { a -> b; c -> d }
это
\x -> case x of { a -> b; c -> d }
источник
22:50пожаловаться#16

D

Dmitry in Haskell Start
клёво
источник
22:51пожаловаться#17

D

Dmitry in Haskell Start
Dreamerinnoise
https://en.wikibooks.org/wiki/Haskell/Fix_and_recursion

ещё есть эта статья
@sobakavosne
пасиба!
источник
22:52пожаловаться#18
2021 February 20

:

: in Haskell Start
omg haskell is very hard
источник
00:38пожаловаться#19

D

Dmitry in Haskell Start
кана
если знаком другой язык какой-нибудь, то я могу показать похожий такой же ленивый код на другом языке
Извини за назойливость, но не мог бы ты показать ленивое и не ленивое иммутабельное кэширование на JS.

Ключ поиска:
lazy memoize js
источник
07:09пожаловаться#20