Viewing profile — curryhoward

You can inspect the styles with browser dev tools. It's IBM Plex Mono.

Ah, I think your clarification makes a lot more sense than your original phrasing, because Haskell's position is indeed that side effects are bad, not that effects are bad. The bad…

The suggestion is to use pure Haskell for the rules DSL only. The surrounding system that applies any side effects would presumably not be written in that language. It's a good ide…

Citation needed on "well-established". I find myself often benefiting from Haskell's disciplined approach to effects.

For one, Rust's "trait" system, which is a foundational part of the language that enables a lot of Rust's expressivity, is a limited imitation of Haskell's "type classes". Rust wou…

The Y combinator is not the same as λ calculus. The Y combinator is an expression in λ calculus.

> Even more beautiful than the y combinator That's a bit of a strange statement. The Y combinator is an expression in λ calculus. It's like saying French is even more beautiful tha…

> Comic Sans is perfect for setting children’s activity timetables that are displayed in a school playground. It’s perhaps not as appropriate for announcing scientific breakthrough…

> and why they are so absolutely lost when it comes to creating successful languages They aren't lost—they're just more interested in actually good ideas than in popularity. Popula…

Most of the functional programmers I know have a deeper understanding of OOP than the OOP programmers I know. For example, most of the OOP programmers I know do not understand cova…

That's what (4) is for. Time out after some duration.

> Code has limited CPU available as well - if it tries to use too many cycles it quits with an error That's a pretty strange failure mode. Usually you'd just throttle the sandboxed…

> the implicit operator in a sequence of two expression without parentheses could be string concatenation rather than function application You can design a language which uses `e1 …

> Is there a reason why you would make fn(1) and fn 1 equivalent? For the same reason you'd make 1 + 2 the same as 1 + (2). Parentheses can be used to group arbitrary subexpression…

Exactly. We should recognize that as the real contribution of Rust: not breaking new ground in what is theoretically possible, but making it practical for the masses.

> Until about 5 years ago there was no safe, GC-free, practical systems programming language, and furthermore it was unknown how to build such a thing. Now we know. It was known [1…

You are correct in that there is a definition of idempotence that agrees with you, but you are wrong to correct the parent comment, because the most common mathematical definition …

> Certain functional programmers corrupted this idea to somehow mean pure functions are free; that these functions can be executed one to infinity times and the result is the same.…

> I think a significant portion of programmers are very smart people who work hard at producing good, generalizable, understandable effective code. To be clear, I don't disagree wi…