A modern programming language that makes developers happier.

kotlinlang

e.g. elvis,if,when AST popups ... and sadly only a handful of others

java functional and stream api's have a sharp dropoff in round-trip capabilities

i do kind of wish i had a starter intellij plugin project handy to transcribe the haskell-isms as i find time to read up on them

im not entirely familiar with the naming of FP but i have been strongly aligned with the idioms by other names and tend to refactor manually towards these.

You can build ADTs and derive the morphisms through typeclasses as the Arrow data types do. They are all ADTs. That image you posted there is for the upcoming Arrow plugin that goes with Meta to offer aid to users with FP in the IDE

im looking at the idea-plugin in github now.  instead of a blog post or a scrapbook of notes about FP terminology, it seems more useful to have a discipline to look at the source code for an arrow component, boil down the normalized form, and make a PSI transform

this is more my speed.  <https://www.jetbrains.org/intellij/sdk/docs/tutorials/custom_language_support/annotator.html>