Habr
β
How to become an author
My feed
All streams
Development
Admin
Design
Management
Marketing
PopSci
Search
Write a publication
Settings
Login
Pull to refresh
Search
Publications
Hubs
Companies
Users
Comments
by relevance
Dropdown
Copy RSS link
by relevance
by date
by rating
В Java 21 собираются реализовать сопоставление с образцом – так, глядишь, я снова на этот язык перейду
vadimr
Oct 2 2023 at 01:09
... вслед за собственно
лямбда исчислением
бывает типизированным и ...
Импортозамещение, которое мы потеряли: советские языки программирования и их создатели — часть 1 (1950-е — 1960-е)
avost
Jul 28 2023 at 22:43
... не как реализация
лямбда исчисления
а как реализация ...
Разработка web-приложений на языке Common Lisp (часть первая)
dimoclus
Sep 16 2010 at 12:30
... метапрограммировании в контексте
лямбда исчисления
причем не через ...
Clojure в Белорусском ГУ
Nikelandjelo
Jan 6 2013 at 01:07
... И задача про
лямбда исчисления
была бы куда ...
Кто для тебя эксперт?
proxor
Apr 27 2009 at 17:47
Алонзо Чёрч создатель
лямбда исчисления
Линус Торвальдс эксперт в области системного программирования
Использование психологического знания в построении искусственной личности
knagaev
May 8 2014 at 11:52
... голословным тензоры или
лямбда исчисление
Торрент лекций Лекториум
soomrack
Jan 22 2012 at 22:13
... автоматы Системы типизации
лямбда исчисления
Сложностная криптография Структурная ...
В кладовой Манчестерского университета нашли утерянные письма Алана Тьюринга
Halt
Aug 29 2017 at 06:48
... другими учеными по
лямбда исчислению
узнать его видение ...
Книга «Элегантные объекты. Java Edition»
Fesor
Aug 7 2018 at 23:50
... за счет использования
лямбда исчислений
к примеру То ...
Советы студентам-программистам
maslyaev
Oct 4 2018 at 18:03
... вычислимости формальные грамматики
лямбда исчисление
формальная семантика топология ...
Основы
mraleph
Jan 26 2009 at 22:41
... скажем простое типизированное
лямбда исчисление
для него проблема ...
Основы
jtootf
Feb 2 2009 at 19:45
... аппликация в смысле
лямбда исчисления
варианта если не ...
Монады с точки зрения теории категорий
jtootf
Aug 7 2011 at 21:22
... в кодогенерации до
лямбда исчисления
и SKI комбинаторов ...
Использование map и reduce в функциональном JavaScript
samsergey
Mar 21 2017 at 07:14
... комбинатор делает нетипизированное
лямбда исчисление
тьюринг полным С ...
Генетический алгоритм построения алгоритмов
havock
Jan 8 2018 at 05:17
... машина Тьюринга или
лямбда исчисление
это достаточные формы ...
Генетический алгоритм построения алгоритмов
sshmakov
Jan 8 2018 at 13:56
... машина Тьюринга или
лямбда исчисление
это достаточные формы ...
Подборка интересных фактов о великих айтишниках
igorkarp
Oct 1 2011 at 18:01
... работ Тьюринга а
лямбда исчисление
все же более ...
Распараллеливание задач. Случай «идеальной параллельности». Часть 1
yuriv
Sep 13 2010 at 09:28
... И что такое
лямбда исчисление
карринг категории и ...
Функциональное программирование — это не то, что нам рассказывают
mikeus
Dec 11 2019 at 15:47
... отражается собственно суть
лямбда исчисления
или комбинаторной логики ...
Один язык чтобы править всеми
worldmind
Jun 18 2019 at 14:44
... про теорию категорий
лямбда исчисление
методы формальной спецификации ...
Back
Here
1
2
3
4
5
6
7
...
15
16
There
Back
В Java 21 собираются реализовать сопоставление с образцом – так, глядишь, я снова на этот язык перейду
Импортозамещение, которое мы потеряли: советские языки программирования и их создатели — часть 1 (1950-е — 1960-е)
Разработка web-приложений на языке Common Lisp (часть первая)
Clojure в Белорусском ГУ
Кто для тебя эксперт?
Использование психологического знания в построении искусственной личности
Торрент лекций Лекториум
В кладовой Манчестерского университета нашли утерянные письма Алана Тьюринга
Книга «Элегантные объекты. Java Edition»
Советы студентам-программистам
Основы
Основы
Монады с точки зрения теории категорий
Использование map и reduce в функциональном JavaScript
Генетический алгоритм построения алгоритмов
Генетический алгоритм построения алгоритмов
Подборка интересных фактов о великих айтишниках
Распараллеливание задач. Случай «идеальной параллельности». Часть 1
Функциональное программирование — это не то, что нам рассказывают
Один язык чтобы править всеми