I liked the coding font. Anyone know its name?
You can inspect the styles with browser dev tools. It's IBM Plex Mono.
Readit Newscurryhoward commented on A Combinatory Rosetta Stone blog.zdsmith.com/posts/a-... · Posted by u/crux
curryhoward commented on Haskell is Useless (2011) [video] youtube.com/watch?v=iSmkq... · Posted by u/behnamoh
" (beyond the well-established Haskell-esque effects bad)"
read that as:
"beyond the well-established idea, from Haskell, that side effects are troublesome and need to be explicitly modelled and thought about."
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 thing is "side", not "effects".
curryhoward commented on Haskell is Useless (2011) [video] youtube.com/watch?v=iSmkq... · Posted by u/behnamoh
At some point you would need to see the results of the rules applied, thus, you'd need IO.
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 idea, and Facebook actually does something like this for their spam filtering rules: https://engineering.fb.com/2015/06/26/security/fighting-spam...
curryhoward commented on Haskell is Useless (2011) [video] youtube.com/watch?v=iSmkq... · Posted by u/behnamoh
I don't know what I'm supposed to take away from this. (beyond the well-established Haskell-esque effects bad)
Citation needed on "well-established". I find myself often benefiting from Haskell's disciplined approach to effects.
curryhoward commented on Haskell is Useless (2011) [video] youtube.com/watch?v=iSmkq... · Posted by u/behnamoh
I don't see why not.
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 would be a very different language without it.
curryhoward commented on λ Calculus (2013) [pdf] cs.rpi.edu/academics/cour... · Posted by u/behnamoh
They're one and the same.
Y = λf.(λx.f (x x)) (λx.f (x x))The Y combinator is not the same as λ calculus. The Y combinator is an expression in λ calculus.
curryhoward commented on λ Calculus (2013) [pdf] cs.rpi.edu/academics/cour... · Posted by u/behnamoh
created by Church and Kleene in the 1930’s!
Even more beautiful than the y combinator
> 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 than the phrase "nouveau départ".
curryhoward commented on A Checklist for Choosing Type fonts.google.com/knowledg... · Posted by u/Paul-Craft
> 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 breakthroughs.
Simon Peyton Jones would beg to differ. :)
curryhoward commented on Ten years of “Go: The good, the bad, and the meh” blog.carlmjohnson.net/pos... · Posted by u/jo_beef
> anyone who knew anything about programming languages rolled their eyes at pretty much everything about Go's type system
And Go has succeeded despite these condescending diatribes on how a language needs to have a Hindley-Milner type system with ADTs and type classes to be useful. Go made me truly realize how insufferable the PLT community is, and why they are so absolutely lost when it comes to creating successful languages.
In under a decade Go swept up entire markets with a simple, down to earth language you can learn in a day and keep in your head. It optimized for the masses and the common cases and has absolutely eaten the lunch of these languages with lauded type systems that takes several courses in formal logic to even get started with.
> 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. Popular languages must appeal to all kinds of programmers with varying backgrounds, so they are heavily constrained. Your argument is basically that mathematicians don't know what they're doing because their most advanced theories aren't used by mechanical engineers.
curryhoward commented on Late Architecture with Functional Programming infoq.com/news/2023/04/la... · Posted by u/rbanffy
I talk to a lot of very smart functional programmers, and I'm very glad I've been exposed to it, it's greatly improved how I program things.
But I really wish FP advocates would learn more about paradigms like OO before criticising them. It's too often levelled against the strawman of industry, imperative, pseudo-oo. Take this:
Components in functional programming are essentially just data types and functions, and these functions work without mutable state, he said.
I could make the same arguments for doing "late architecture" with objects:
Components in object-oriented programming are essentially just objects and messages, and these messages work without mutable state, he said.
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 covariance and contravariance (whereas just about every functional programmer I know has mastered them), even though those concepts frequently come up in the context of OOP. People who study programming language theory tend to gravitate toward the functional paradigm, but it's not because they don't understand OOP.