ru_lambda (original) (raw)

Visual Lambda Calculus	[Jul. 7th, 2023\|07:48 am]Лямбда - функциональное программирование
Восстановил Наглядную лямбду: https://github.com/bntre/visual-lambdaМожно поиграть онлайн: https://bntr.itch.io/visual-lambdaИ сериал по нотации:
link	post comment

nixos + stack	[Apr. 23rd, 2020\|07:57 pm]Лямбда - функциональное программирование
Хочу собирать и деплоить небольшое хаскельное приложение на NixOS, как сейчас принято это делать?Я попробовал сделать default.nix с with (import { }); haskell.lib.buildStackProject { name = "fbc"; src = ./.; ghc = haskell.compiler.ghc883; buildInputs = [ zlib postgresql ]; }Но кажется, что при каждом nix-build --option sandbox relaxed . эта штука заново выкачивает индекс, все пакеты и билдит их.Посмотрел, как сделано в postgrest, там, как я понял, для сборки под nixos используется то, что сгенерено cabal2nix, а не buildStackProject. Это и есть state of the art?Кроме хаскельного бэкенда, есть ещё фронт, собираемый npm'ом, и хочется иметь одно nix expression, собирающее их оба, поэтому от того, что stack build кэширует пакеты, мало радости.
link	post comment

nixos + stack

[Apr. 23rd, 2020|07:57 pm]Лямбда - функциональное программирование

Хочу собирать и деплоить небольшое хаскельное приложение на NixOS, как сейчас принято это делать?Я попробовал сделать default.nix с with (import { }); haskell.lib.buildStackProject { name = "fbc"; src = ./.; ghc = haskell.compiler.ghc883; buildInputs = [ zlib postgresql ]; }Но кажется, что при каждом nix-build --option sandbox relaxed . эта штука заново выкачивает индекс, все пакеты и билдит их.Посмотрел, как сделано в postgrest, там, как я понял, для сборки под nixos используется то, что сгенерено cabal2nix, а не buildStackProject. Это и есть state of the art?Кроме хаскельного бэкенда, есть ещё фронт, собираемый npm'ом, и хочется иметь одно nix expression, собирающее их оба, поэтому от того, что stack build кэширует пакеты, мало радости.

link

post comment

Современные кондуиты.	[Sep. 13th, 2019\|08:53 pm]Лямбда - функциональное программирование
Какие кондуиты нынче в моде? Помню, что несколько лет назад, когда я писал на хаскеле, их было штуки три.Сценарий такой: надо читать текстовый файл и патчи к нему из БД (упорядоченные по месту применения) и применять патчи к тексту, результат выдавать наружу (держать целиком в памяти не требуется). Вроде такое можно сделать в императивном стиле, но вдруг принято делать красивее и проще.
link	9 comments\|post comment

Современные кондуиты.

[Sep. 13th, 2019|08:53 pm]Лямбда - функциональное программирование

Какие кондуиты нынче в моде? Помню, что несколько лет назад, когда я писал на хаскеле, их было штуки три.Сценарий такой: надо читать текстовый файл и патчи к нему из БД (упорядоченные по месту применения) и применять патчи к тексту, результат выдавать наружу (держать целиком в памяти не требуется). Вроде такое можно сделать в императивном стиле, но вдруг принято делать красивее и проще.

link

9 comments|post comment

Учебник теории категорий, версия 9	[Feb. 20th, 2017\|08:59 pm]Лямбда - функциональное программирование
Видимо, на этом закончу, 400 страниц достаточно. Сделал гиперссылки и закладкиhttps://github.com/George66/Textbook
link	2 comments\|post comment

Щедров в Москве	[Dec. 15th, 2014\|12:24 am]Лямбда - функциональное программирование
"Дорогие участники семинаров. Пересылаю информацию о предстоящих лекциях Андрэ Щедрова и Макса Кановича на факультете компьютерных наук ВШЭ.From A. Scedrov:Max and I are teaching a course at the new HSE location near the metro station Aeroport. Please see the schedule of the lectures athttp://aspirantura.hse.ru/cs/syllabus/collaborativeBasically I will be starting my part of the course (1-4) next week, December 16 and Max will be starting his part (5) the following week, December 21. If you or your colleagues have any students interested in this material, please let them know about the course."Не знаю, пускают ли туда и какой нужен пропуск, спрашивайте Шеня (a_shen)
link	2 comments\|post comment

Щедров в Москве

[Dec. 15th, 2014|12:24 am]Лямбда - функциональное программирование

"Дорогие участники семинаров. Пересылаю информацию о предстоящих лекциях Андрэ Щедрова и Макса Кановича на факультете компьютерных наук ВШЭ.From A. Scedrov:Max and I are teaching a course at the new HSE location near the metro station Aeroport. Please see the schedule of the lectures athttp://aspirantura.hse.ru/cs/syllabus/collaborativeBasically I will be starting my part of the course (1-4) next week, December 16 and Max will be starting his part (5) the following week, December 21. If you or your colleagues have any students interested in this material, please let them know about the course."Не знаю, пускают ли туда и какой нужен пропуск, спрашивайте Шеня (a_shen)

link

2 comments|post comment

ФП для чайников	[Nov. 26th, 2014\|04:17 pm]Лямбда - функциональное программирование
Всем привет,мне нужно провести ознакомительную лекцию по ФП для обычных (ТМ) программистов. На час-полтора примерно. В основном о том, зачем и почему оно надо. Дедлайн через месяц, то есть уже пора задумываться. Придумывать план лекции с нуля мне не очень хочется, опыта в этом деле у меня нет. То есть приблизительное понимание есть, но очень приблизительное.Посоветуйте, пожалуйста, какой-нибудь проверенный материал, на основе которого можно быстро и безболезненно построить пуленепробиваемую лекцию. Может, кто-нибудь уже делал такое?
link	36 comments\|post comment

ФП для чайников

[Nov. 26th, 2014|04:17 pm]Лямбда - функциональное программирование

Всем привет,мне нужно провести ознакомительную лекцию по ФП для обычных (ТМ) программистов. На час-полтора примерно. В основном о том, зачем и почему оно надо. Дедлайн через месяц, то есть уже пора задумываться. Придумывать план лекции с нуля мне не очень хочется, опыта в этом деле у меня нет. То есть приблизительное понимание есть, но очень приблизительное.Посоветуйте, пожалуйста, какой-нибудь проверенный материал, на основе которого можно быстро и безболезненно построить пуленепробиваемую лекцию. Может, кто-нибудь уже делал такое?

link

36 comments|post comment

Как сделать ЭТО без FlexibleContexts ?	[Oct. 11th, 2014\|09:34 pm]Лямбда - функциональное программирование
[Tags\|haskell, typefamilies]{-# Language TypeFamilies, FlexibleContexts #-} module Main where import qualified Data.List as L class (Num (Elem c)) => DataSet c where type Elem c :: * data TObservation c :: * observations :: c -> [TObservation c] measurements :: TObservation c -> [Elem c] instance DataSet () where type Elem () = Float data TObservation () = TObservationUnit [Float] observations () = replicate 10 (TObservationUnit [0,0,0,0]) measurements (TObservationUnit xs) = xs kMeans :: DataSet c => c -> [TObservation c] kMeans s = undefined where wtf1 = L.foldl wtf2 0 (observations s) wtf2 acc xs = acc + L.sum (measurements xs) main = do putStrLn "jopa" Если убрать FlexibleContexts в частности на Num (Elem c) - то собираться перестанет,выведение типов отсыхает.Как это делать без FlexibleContexts или как это вообще делать правильно?
link	10 comments\|post comment

Как сделать ЭТО без FlexibleContexts ?

[Oct. 11th, 2014|09:34 pm]Лямбда - функциональное программирование

[**Tags**|haskell, typefamilies]{-# Language TypeFamilies, FlexibleContexts #-} module Main where import qualified Data.List as L class (Num (Elem c)) => DataSet c where type Elem c :: * data TObservation c :: * observations :: c -> [TObservation c] measurements :: TObservation c -> [Elem c] instance DataSet () where type Elem () = Float data TObservation () = TObservationUnit [Float] observations () = replicate 10 (TObservationUnit [0,0,0,0]) measurements (TObservationUnit xs) = xs kMeans :: DataSet c => c -> [TObservation c] kMeans s = undefined where wtf1 = L.foldl wtf2 0 (observations s) wtf2 acc xs = acc + L.sum (measurements xs) main = do putStrLn "jopa" Если убрать FlexibleContexts в частности на Num (Elem c) - то собираться перестанет,выведение типов отсыхает.Как это делать без FlexibleContexts или как это вообще делать правильно?

link

10 comments|post comment

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