José A. Alonso · @Jose_A_Alonso
874 followers · 1892 posts · Server mathstodon.xyz
Yann Büchau :nixos: · @nobodyinperson
272 followers · 1202 posts · Server fosstodon.org

On that note: Do people with a native language that reads right-to-left like , or actually find languages like :haskell: easier to read? 🤔

#arabic #japanese #chinese #functionalprogramming #haskell

Last updated 1 year ago

José A. Alonso · @Jose_A_Alonso
867 followers · 1877 posts · Server mathstodon.xyz

GHC plugin for HLint. ~ Gabriella Gonzalez (@GabriellaG439). haskellforall.com/2023/09/ghc-

#functionalprogramming #haskell

Last updated 1 year ago

José A. Alonso · @Jose_A_Alonso
864 followers · 1867 posts · Server mathstodon.xyz

Don’t go down the rabbit hole: Reprioritizing enumeration for property-based testing. ~ Segev Elazar Mittelman et als. dl.acm.org/doi/pdf/10.1145/360

#functionalprogramming #haskell

Last updated 1 year ago

José A. Alonso · @Jose_A_Alonso
864 followers · 1867 posts · Server mathstodon.xyz

The essence of reactivity. ~ Ivan Perez, Frank Dedden. dl.acm.org/doi/pdf/10.1145/360

#functionalprogramming #haskell

Last updated 1 year ago

José A. Alonso · @Jose_A_Alonso
864 followers · 1864 posts · Server mathstodon.xyz

Haskell library for safer virtual machine introspection (experience report). ~ Takato Otsuka, Hideya Iwasaki. dl.acm.org/doi/pdf/10.1145/360

#functionalprogramming #haskell

Last updated 1 year ago

José A. Alonso · @Jose_A_Alonso
864 followers · 1855 posts · Server mathstodon.xyz

Applicatives should usually implement Semigroup and Monoid. ~ Gabriella Gonzalez (@GabriellaG439). haskellforall.com/2022/03/appl

#functionalprogramming #haskell

Last updated 1 year ago

Simon Michael · @simonmic
142 followers · 112 posts · Server fosstodon.org

FunGEn is a BSD-licensed, cross-platform, OpenGL-based game engine written in . Created by Andre Furtado in 2002, it's the oldest Haskell game engine and still one of the easiest ways to get started with Haskell game development. I have released a cleaned-up hackage.haskell.org/package/Fu 1.2, tested up to ghc 9.6.

I don't have time to do more with it, but it's still useful - would you like to take it over, make a slick home page, and build more haskell games ?

#haskell #gamedev #functionalprogramming

Last updated 1 year ago

José A. Alonso · @Jose_A_Alonso
860 followers · 1833 posts · Server mathstodon.xyz

Domain-specific languages of mathematics mini-course, Lecture 3: limit of functions and derivaties. ~ Patrik Janson (@patrikja). youtu.be/BOLdEOeuigk?si=D_gQ8g

#math #functionalprogramming #haskell

Last updated 1 year ago

InfoQ · @infoq
709 followers · 329 posts · Server techhub.social

Explore the use of the Unnamed Patterns / Variables in programming languages like , & .

Enhancing code readability, allowing the omission of unnecessary components, and simplifying code are key features.

Read the article by A N M Bazlur Rahman for more insights: bit.ly/44Aknbe

#java #kotlin #scala #infoq #jdk21 #jvmlanguages #functionalprogramming

Last updated 1 year ago

José A. Alonso · @Jose_A_Alonso
860 followers · 1832 posts · Server mathstodon.xyz

Domain-specific languages of mathematics mini-course, Lectures 1 and 2. ~ Patrik Janson. youtu.be/wbZURbNwGuA?si=vAztZU

#math #functionalprogramming #haskell

Last updated 1 year ago

José A. Alonso · @Jose_A_Alonso
860 followers · 1830 posts · Server mathstodon.xyz

The Haskell Unfolder Episode 10: youtube.com/live/_PlSAWOYgbE?s. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus).

#functionalprogramming #haskell

Last updated 1 year ago

arguil · @arguil
33 followers · 545 posts · Server framapiaf.org
RanaldClouston · @RanaldClouston
278 followers · 1284 posts · Server fediscience.org

: (Practical Aspects of Declarative Languages) "a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving". popl24.sigplan.org/home/PADL-2

#functionalprogramming #fp #pl #padl2024 #callforpapers

Last updated 1 year ago

José A. Alonso · @Jose_A_Alonso
856 followers · 1811 posts · Server mathstodon.xyz
José A. Alonso · @Jose_A_Alonso
856 followers · 1810 posts · Server mathstodon.xyz

Monads and more (an introduction to monads (in Haskell) for software developers). ~ Glyn Normington (@underlap). youtu.be/dTdV3PwnqII?si=VVzl6a

#functionalprogramming #haskell

Last updated 1 year ago

Palash Nigam🦀 👨‍💻 · @palash
157 followers · 148 posts · Server hachyderm.io

Although category theory has always been on my list of things to learn I never really bothered to read up on it until i came across this video. It explains it so beautifully. And the fact that such a high quality video is this youtuber's first ever upload makes me excited for all his future videos.

DROP EVERYTHING AND WATCH THIS NOW.

youtube.com/watch?v=FQYOpD7tv3

#categorytheory #functionalprogramming #mathematics #programming

Last updated 1 year ago

EvgenyNr · @evgenynr
7 followers · 124 posts · Server toot.io

Почему мне нравится , и не так нравится ?
1. Plotly имеет функциональный интерфейс и не приходится иметь дело с ненавистным глабальным состоянием, провоцирующим крышесносные ошибки в matplotlib (например в matplotlib можно случайно вызвать `clf()` до создания `figure()` с непредсказуемым поведением 🤪)
@ru

#plotly #matplotlib #plotlypotbot #dataviz #science #functionalprogramming

Last updated 1 year ago

José A. Alonso · @Jose_A_Alonso
845 followers · 1763 posts · Server mathstodon.xyz

The Haskell Unfolder Episode 9: GHC Core. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus). youtube.com/live/vyp8pWW5QQk?f

#functionalprogramming #haskell

Last updated 1 year ago

José A. Alonso · @Jose_A_Alonso
845 followers · 1758 posts · Server mathstodon.xyz

Disco: A functional programming language for discrete mathematics. ~ Brent A. Yorgey. arxiv.org/abs/2308.06971v1

#math #functionalprogramming #haskell

Last updated 1 year ago