Седьмой эпизод #monadicmonday выложен в Твиттер: https://twitter.com/YuriyBogomolov/status/1127887720431390721
Сегодня говорим про оптику (для простых TypeScript-смертных, так что никакого ван Лаарховена и профункторов).
Сегодня говорим про оптику (для простых TypeScript-смертных, так что никакого ван Лаарховена и профункторов).
Twitter
Yuriy Bogomolov
Welcome to the seventh episode of #monadicmonday! Today we'll talk a bit about functional optics: lenses, prisms, folds and traversals.
Forwarded from Bogdan
Нашли. Лекция Виталия Брагилевского от 30 марта 2018 года. К сожалению, найти сведение по слайдам не удалось, поэтому запись "как есть". В ролике может быть не видно всех слайдов, но подробность рассказа это компенсирует :).
https://youtu.be/oiUO1L4TOLI
https://youtu.be/oiUO1L4TOLI
YouTube
Функциональное программирование как предмет и метод теоретической информатики
Виталий Брагилевский | офис компании BIOCAD | 30 марта 2018 года
Формирование принципов функционального программирования и разработка функциональных языков программирования всегда велись бок о бок с научными исследованиями в области информатики, причём…
Формирование принципов функционального программирования и разработка функциональных языков программирования всегда велись бок о бок с научными исследованиями в области информатики, причём…
#полезности
Обеспечиваем на уровне компилятора отсутствие пересечения типов входящих аргументов функции.
Обеспечиваем на уровне компилятора отсутствие пересечения типов входящих аргументов функции.
hawke✨🔜FurDU2019 (@fluffderg) твитнул(а): it was shown that Baba Is You is Turing-complete, so i built a Turing machine on it (with a lot of object reskinned to make it easier to see)
all in all it used 2 + 3*4 = 14 objects for a 2-letter, 4-state machine. https://t.co/79F4W1OdNJ https://twitter.com/fluffderg/status/1124530124135600129?s=17
all in all it used 2 + 3*4 = 14 objects for a 2-letter, 4-state machine. https://t.co/79F4W1OdNJ https://twitter.com/fluffderg/status/1124530124135600129?s=17
Twitter
hawke✨🔜FurDU2019
it was shown that Baba Is You is Turing-complete, so i built a Turing machine on it (with a lot of object reskinned to make it easier to see) all in all it used 2 + 3*4 = 14 objects for a 2-letter, 4-state machine. https://t.co/79F4W1OdNJ
dd if=/dev/stuff of=/dev/tg
#полезности Обеспечиваем на уровне компилятора отсутствие пересечения типов входящих аргументов функции.
По просьбам подписчиков — gist: https://gist.github.com/YBogomolov/25ec2aa4bb8c25abce1fcc7b887ede66
Gist
Type-level laws: "function arguments should never intersect"
Type-level laws: "function arguments should never intersect" - never-intersect.ts
Forwarded from The Catcher in the Sky (Artem Pelenitsyn)
Сделали трансляцию доклада о подтипировании. Подключайтесь!
http://www.twitch.tv/ulysses4ever?sr=a
http://www.twitch.tv/ulysses4ever?sr=a
Twitch
ulysses4ever - Twitch
MSc in CS/AM
«Начала» Евклида в интерпретации Оливера Бирна на русском:
https://github.com/jemmybutton/byrne-euclid/
Залипательно!
https://github.com/jemmybutton/byrne-euclid/
Залипательно!
Парень охуенный сисадмин, умный и порядочный. Поможем хорошему человеку найти жильё!
Forwarded from Литий и стенания
Небольшое объявление
Знакомый ищет квартиру в Москве в связи с переездом. Если у вас вдруг завалялась квартира в указанном районе - всем может стать лучше!
До 35к, не слишком далеко до метро: кольцо, зелёная вниз, каховская, варшавская, вот это все. Интернет, желательна мебель (как минимум стул и кровать). Бытовая техника приветствуется, особенно в жизни нужны холодильник, стиральная машина и микроволновая печь. Снимать планирую на длительный срок. Животных нет и не планируется. Я не пью, не курю, компаний буянить не вожу, плачу вовремя.
Писать @DECsystem20
Знакомый ищет квартиру в Москве в связи с переездом. Если у вас вдруг завалялась квартира в указанном районе - всем может стать лучше!
До 35к, не слишком далеко до метро: кольцо, зелёная вниз, каховская, варшавская, вот это все. Интернет, желательна мебель (как минимум стул и кровать). Бытовая техника приветствуется, особенно в жизни нужны холодильник, стиральная машина и микроволновая печь. Снимать планирую на длительный срок. Животных нет и не планируется. Я не пью, не курю, компаний буянить не вожу, плачу вовремя.
Писать @DECsystem20
Forwarded from bravit-about
Поговорил с Вадимом Челышовым о своей жизни и работе: https://habr.com/ru/company/provectus/blog/452246/. Пожалуй, самое полный и откровенный текст обо мне. Почитайте! Мне кажется, получилось интересно.
Хабр
Интервью с Виталием Брагилевским: «Мир, в котором все будут программировать на Haskell — это вряд ли хороший мир»
Виталий Брагилевский ( @_bravit ) пока что еще преподает в ЮФУ курсы по Haskell и теории алгоритмов. Также, дает выездные курсы в других городах, является редактором и переводчиком множества книг о...
“Tagless unions in scala 2.12” by Oleg Nizhnik https://link.medium.com/rq0110PrLW
Medium
Tagless unions in scala 2.12
So you’ve found yourself again in this situation. You have 2+ error ADTs like this
Так, ладно, это уже ни в какие ворота не лезет :) Я еще понимаю, зачем WASM в браузере. Но в ноде… Когда можно просто нативно скомпилировать кресты/раст/etc в бинарь и запустить.
ЗАЧЕМ?!
С другой стороны — it’s not about “why”, it’s about “why not”. Meh.
ЗАЧЕМ?!
С другой стороны — it’s not about “why”, it’s about “why not”. Meh.