Selective Applicative Functors
https://blog.veritates.love/selective_applicatives_theoretical_basis.html
#HackerNews #Selective #Applicative #Functors #Functional #Programming #Haskell #Type #Theory #Coding #Concepts
[Перевод] Пишем код, который можно бегло просматривать
Писать код, который достаточно бегло просмотреть — не менее важно, чем писать код, который в принципе можно прочитать. Давайте немного поговорим о «форме» кода — такой, чтобы по структуре кода можно было быстро понять, для чего он, и сократить время работы с кодовой базой.
https://habr.com/ru/companies/netologyru/articles/925598/
#haskell #applicative #просмотр_кода #plumbing #контекст #лёгкий_код #идентификаторы #аппликативные_функторы #математическая_нотация #хороший_код
→ Quand fragmentation d’Internet rime avec profits
https://aoc.media/analyse/2025/02/27/quand-fragmentation-dinternet-rime-avec-profits/
« Toute une série d’exemples soulignent comment des acteurs du secteur privé, souvent en raison de leurs modèles #économiques, représentent de véritables défis pour l’unité de l’#Internet, en œuvrant à sa #fragmentation aussi bien au niveau des #infrastructures de l’Internet, que de sa couche #applicative. »
« La prise de conscience de ces #menaces qui pèsent sur l’unité d’Internet peut nous inciter à #agir. »
하스켈 공부를 시작하고, 펑터를 슬슬 쓰기 시작하면서, Applicative 로 넘어갈 무렵에 볼만한 글입니다. 컨텍스트란 말이 편해지면, 펑터 다음 진도에 도움이 많이 됩니다.
최근 펑터를 공부하면서, 펑터가 달리 보여 5년전 글의 컨텍스트, Applicative, Traversable 내용을 보강해 봤습니다.
https://lionhairdino.github.io/posts/2020-07-02-Context.html
It gives me great pleasure to welcome #scala community's very own :scala: @NicolasRinaudo :scala: to Bay Area Haskell & Functional Programming User Group #sfhaskell with a taik:
Things that are things, but not other things
Full Details:
https://www.meetup.com/bay-area-haskell-user-group/events/291680080
It will be streamed live online at a timezone friendly time in USA & Europe.
Hope to see everyone and hear all about #functionalprogramming abstractions #monads #applicative #functors #scala #haskell
I finished the #monad course of the #fpcourse challenge!
https://github.com/system-f/fp-course
I actually found it to be easier than #applicative.
I might put all my solutions up on #gist.
#monadic bind is blocking (it needs the result in case it has to branch on it)
So #applicative if I need || calls
#monadic bind is blocking (it needs the result in case it has to branch on it)
So #applicative if I need || calls