\~Rye~/ ┴┬┴┤( ͡° ͜ʖ├┬┴┬The core of functional programming is to use the functions to map values from an input domain to the output range.
#Programming #Functions #Drawing #Python #Learning #FunctionalProgramming
Hacker News
José A. Alonso
Zenn Trends📰 究極のマルチパラダイム次世代プログラミング言語Flix (👍 42)
🇬🇧 Flix: a next-gen language combining functional programming, logic programming, and algebraic effects to tackle complex problems beyond single parad...
🇰🇷 Flix: 함수형, 논리형, 대수적 효과를 결합한 차세대 언어. 단일 패러다임으론 어려운 복잡한 문제 해결.
Liberator: A drag-and-drop visual programming environment for Haskell. ~ Miles Berry. https://github.com/milesberry/liberator #Haskell #FunctionalProgramming
GitHub - milesberry/liberator: A drag-and-drop visual programming environment for Haskell, designed for teaching AQA A-Level Computer Science. Build programs by connecting nodes on a canvas instead of writing text — then evaluate them live to see results.
A drag-and-drop visual programming environment for Haskell, designed for teaching AQA A-Level Computer Science. Build programs by connecting nodes on a canvas instead of writing text — then evaluat...
Rado's radical reflections. ~ Rado Kirov. https://rkirov.github.io/posts/code-proof/ #LeanProver #ITP #FunctionalProgramming
Code Proven to Work - The Math Way
This post is aimed at a general programmer and no prior knowledge of math or CS is assumed. I got nerd-sniped to write this after reading Simon’s excellent post Code proven to work. As someone who works in the software industry that is adapting to using AI tools, the post was very timely and very well put. I agree with everything said, but I just can’t resist being that guy - bringing up the “you keep using that word” meme.
📰 究極のマルチパラダイム次世代プログラミング言語Flix (👍 33)
🇬🇧 Flix: a multi-paradigm language combining functional programming, logic programming, and algebraic effects for complex problems
🇰🇷 함수형, 논리 프로그래밍, 대수적 효과를 결합한 차세대 언어 Flix 소개
DyalogArrayCast goes live in 10 minutes!
Episode 122: REPL & IDE Deep Dive
Adám Brudzewsky and Conor Hoekstra explore REPLs and IDEs across the array language ecosystem
Join live: https://www.youtube.com/watch?v=kDpFef-FTKo
Episode 122: REPL & IDE Deep Dive
ultramagneticWhat's new in Higher-Kinded-J v0.4.0:
• VStream: lazy pull-based streaming on virtual threads
• Resilience patterns: Circuit Breaker, Bulkhead, Retry, Saga
• WriterT transformer with MonadWriter/MonadReader/MonadState
• par(), traverse, sequence in for-comprehensions
• SPI-aware path widening: auto-generates AffinePath or TraversalPath from container cardinality
• 23 generator plugins across JDK, Guava, Vavr, Eclipse Collections, Commons
• Compile-time Path type checking
• One-line Gradle & Maven setup plugins
• Spring MVC virtual thread handlers
• Traversal.asFold() for monoidal aggregation
Introduction to Higher-Kinded-J - Higher-Kinded-J: Composable Effects and Advanced Optics for Java
The most comprehensive functional programming library for Java. Unify error handling, optional values, and immutable data navigation with the Effect Path API and Focus DSL. Features advanced optics with code generation for Java records, filtered traversals, indexed optics, and seamless Spring Boot integration.
vascorsdHaskell for all: Data is Code
https://haskellforall.com/2016/04/data-is-code
#programming #LambdaCalculus #plt #FunctionalProgramming #FP #Haskell #Scala
