https://scalacenter.github.io/scala-developer-survey-2019 — результаты опроса от Scala Center за 2019 год подъехали.
Интересно, что Metals показал достаточно высокий процент использования! Это только укрепляет мою точку зрения, что за LSP будущее.
Интересно, что Metals показал достаточно высокий процент использования! Это только укрепляет мою точку зрения, что за LSP будущее.
https://www.reddit.com/r/typescript/comments/fda3pw/a_typelevel_lisp_interpreter_ish — интерпретатор лиспоподобного языка на типах TypeScript 🦾
Увы, из-за «Type instantiation is excessively deep and possibly infinite» максимум, что может — посчитать 4×4, а вот 5×5 уже нет.
Увы, из-за «Type instantiation is excessively deep and possibly infinite» максимум, что может — посчитать 4×4, а вот 5×5 уже нет.
Reddit
From the typescript community on Reddit
Explore this post and more from the typescript community
Немного личного.
В общем, что-то во мне надломилось и я решил уйти из TypeScript-коммьюнити. Старые библиотеки (если кому-то они нужны, лол) вроде fetcher-ts или circuit-breaker-monad буду поддерживать на уровне совместимости с мажорной версией fp-ts, но нового писать ничего не хочу — надоело бороться с ветряными мельницами. Ебитесь и дальше с «ехал
В течении ~полугода постараюсь конвертировать свой опыт (архитектура + фуллстэк-разработка + ПМ + девопс) под экосистему хаскеля. В идеале — найду проектного ментора и запилю несколько pet-проектов для портфолио.
Хотел написать, как всегда, «не переключайтесь», но именно сейчас то время, чтобы переключить канал. Этот тайпскриптер сломался, несите другого.
В общем, что-то во мне надломилось и я решил уйти из TypeScript-коммьюнити. Старые библиотеки (если кому-то они нужны, лол) вроде fetcher-ts или circuit-breaker-monad буду поддерживать на уровне совместимости с мажорной версией fp-ts, но нового писать ничего не хочу — надоело бороться с ветряными мельницами. Ебитесь и дальше с «ехал
any через any», но уже без меня ¯\_(ツ)_/¯В течении ~полугода постараюсь конвертировать свой опыт (архитектура + фуллстэк-разработка + ПМ + девопс) под экосистему хаскеля. В идеале — найду проектного ментора и запилю несколько pet-проектов для портфолио.
Хотел написать, как всегда, «не переключайтесь», но именно сейчас то время, чтобы переключить канал. Этот тайпскриптер сломался, несите другого.
GitHub
GitHub - YBogomolov/fetcher-ts: Type-safe wrapper around Fetch API
Type-safe wrapper around Fetch API. Contribute to YBogomolov/fetcher-ts development by creating an account on GitHub.
Forwarded from Boring Berlin Scientist
Neilwithdata
Mathematics for the adventurous self-learner | Neil Sainsbury
Любопытный пейпер: «Asynchronous effects»
https://arxiv.org/pdf/2003.02110.pdf
TL;DR: авторы представляют небольшое лямбда-исчисление λæ для описания асинхронных алгебраических эффектов, язык на его основе AEff, и его формализацию на Агде. Выдержка из аннотации:
«At the heart of our approach is the decoupling of the execution of operation calls into signalling that the operation’s implementation needs to be executed and interrupting the computation with the operation’s result, to which the computation can react through a previously installed interrupt handler.»
https://arxiv.org/pdf/2003.02110.pdf
TL;DR: авторы представляют небольшое лямбда-исчисление λæ для описания асинхронных алгебраических эффектов, язык на его основе AEff, и его формализацию на Агде. Выдержка из аннотации:
«At the heart of our approach is the decoupling of the execution of operation calls into signalling that the operation’s implementation needs to be executed and interrupting the computation with the operation’s result, to which the computation can react through a previously installed interrupt handler.»
GitHub
GitHub - matijapretnar/aeff: An interactive interpreter for asynchronous algebraic effects
An interactive interpreter for asynchronous algebraic effects - matijapretnar/aeff
Ко мне продолжают приходить в личку с вопросами о продолжении стримов по ФП. Видимо, нельзя просто так вот уйти из коммьюнити.
Так что оставайтесь дома и приходите сегодня в 20:00 на стрим по функциональному TypeScript. Рассмотрим паттерн тайпкласса и некоторые простые тайпклассы — Eq, Ord, Functor, Monad, Traversable, etc.
https://youtu.be/pPUguhBZ8JY
Так что оставайтесь дома и приходите сегодня в 20:00 на стрим по функциональному TypeScript. Рассмотрим паттерн тайпкласса и некоторые простые тайпклассы — Eq, Ord, Functor, Monad, Traversable, etc.
https://youtu.be/pPUguhBZ8JY
YouTube
Функциональный TypeScript: паттерн тайпкласса
Поговорим о реализации паттерна тайпкласса в функциональном TypeScript и рассмотрим некоторые полезные тайпклассы.
Статья «Lightweight highker-kinded polymorphism»: https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf
Код из…
Статья «Lightweight highker-kinded polymorphism»: https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf
Код из…
Бесплатная книга: «Verified Functional Programming in Agda»
https://dl.acm.org/doi/book/10.1145/2841316
Verified Functional Programming in Agda is the first book to provide a systematic exposition of external and internal verification in Agda, suitable for undergraduate students of Computer Science. No familiarity with functional programming or computer-checked proofs is presupposed.
https://dl.acm.org/doi/book/10.1145/2841316
Verified Functional Programming in Agda is the first book to provide a systematic exposition of external and internal verification in Agda, suitable for undergraduate students of Computer Science. No familiarity with functional programming or computer-checked proofs is presupposed.
Bartosz Milewsky & Oli Makhasoeva - Recursion schemes, categorically!
https://www.youtube.com/watch?v=FeG41moU8Xk
https://www.youtube.com/watch?v=FeG41moU8Xk
YouTube
Bartosz Milewsky & Oli Makhasoeva - Recursion schemes, categorically!
Recursion schemes are an example of the direct application of category theory to programming. Category theory uses diagrams to define functors, algebras, and universal constructions. Wondering about how to make connections between the most abstract branch…
Волны твиттера принесли прекрасное: https://twitter.com/vamchale/status/1249076951685398530
TL;DR: в Elm была проблема — паттерн-матчинг по негативным числовым литералам приводил к ошибке парсинга. Эван Чаплицкий не только не исправил этот баг (при этом спросив у автора тикета «Instead of fake examples, can you explain how this comes up?») — он еще и добавил в компилятор текст ошибки, который предлагает использовать вместо паттерн-матчинга if-else.
TL;DR: в Elm была проблема — паттерн-матчинг по негативным числовым литералам приводил к ошибке парсинга. Эван Чаплицкий не только не исправил этот баг (при этом спросив у автора тикета «Instead of fake examples, can you explain how this comes up?») — он еще и добавил в компилятор текст ошибки, который предлагает использовать вместо паттерн-матчинга if-else.
Twitter
Vanessa McHale
- pattern matching on literals hits a parser bug in elm - someone reports this - evan responds by saying "Why are you doing this? Instead of fake examples, can you explain how this comes up?" (not kidding) github.com/elm/compiler/i…