theCodeStig

Org-babel can do a lot of this, no?

Are there any plans for an iPadOS client?

IKEA furniture, is essentially temporary and disposable. Consider the environmental impact.

Scala's type inference is not very good, especially in comparison with Haskell

The Java ecosystem is hardly a benefit

They aren't diametrically opposed, though OO methods obscure function composition (point-free style).

Over 9 years of Scala here. Scala definitely has quite a few warts.

This echos my set up, and it's quite stable, particularly if the overlay is pinned.

I use Nix on macOS to install emacs. No special ports.

There was gambe.ro, which was an Italian site like Lobste.rs. Unfortunately it’s down now.

Assuming rust or other systems language.

Linked lists are optimal for head access; not random access. For random access, yes a vector would be better.

Haskell has to have an escape hatch in order to work, though fortunately it is hidden away.

Every program has effects. A program that does not have any effects (IO) would not be useful, as you can't get anything into or out of it. In FP we manage those effects, in order to help ensure correctness, with the additional benefit that good effect management makes the program easier to comprehend (nee reason about).

Contrast a procedural program with effects littered throughout the codebase, with a program wherein effects are pushed to the edges. In the latter, you and your team know exactly where all of the effects occur. Everything else is pure code: easier to test, easier to comprehend, easier to compose.

Category theory is not required for good effect management. It just so happens that monads like IO fit the problem space nicely; although the same could be achieved with a lazily evaluated definition of computation (i.e. a function).

Exactly my point above, about Java.

> Not a pure function at all. And not really a function either. Just a mapping.

A function is a mapping of an input to an output.

In contrast, I find juniors to be the easiest to teach. Those with more experience, are stuck in their ways, often stubbornly.

Unfortunately, a lot of Java programmers write imperative code in Java. Although I have seen "good" Java programmers write "good clean code", it's the exception, rather than the norm. Most of the good Java programmers that I know have moved on to better languages and platforms.

Does it simulate “magic smoke”?

The academic analogue would be: Programming in Haskell, by Graham Hutton http://www.cs.nott.ac.uk/~pszgmh/pih.html

Cats effect can do the same

What aspect of lambda calculus is not declarative?

Laziness, and purely functional go a long way toward declarative.

Not all lisps are declarative, but a lisp certainly can be declarative.

Ok then, would you consider markup languages declarative, XML... XSLT?

To avoid duplication of input/output tags; it would be nice to have a bridge that coincides with existing documentation comment tools. For example Scaladoc has @param, and @return.

It’s like the inverse of org-babel

I think auto-switch to USB makes a lot more sense. That’s also how the Apple keyboards, and trackpads work.

This sounds eerily familiar. Let me guess, there were sprint planning sessions that went on for hours. More time was allocated to planning the work, than for the actual work.

Replacing one dogma (waterfall) with another (dogmatic agile), is not agile.

This is great! Have you considered to make this into a package?

I hear you but... I myself, would not be trying to ride the best line, and hit every apex on a descent that I'm not intimately familiar with. I'd take it slow, and exercise caution until I am intimately familiar with the entire route.

What is TESU?