Safe dead code removal in a pure functional language

Re:Safe dead code removal in a pure functional language by brundolf on Thursday January 28, 2021 @04:01PM (#25949144)

I'm aware; I'm not sold on this most extreme version of pure-functionalism. I think it's unintuitive, syntactically clunky, and hard to reason about, despite the benefits of purity. I'm a believer in the functional core/imperative shell approach.

[ Parent | on HN ]

Re:Safe dead code removal in a pure functional language by Latty on Thursday January 28, 2021 @06:21PM (#25950966)

I thought similarly until I committed to working on an Elm project.

I developed an open source game in Elm, and I've been very impressed with the benefits of the pure functional approach. It takes some getting used to, for sure, but it makes things really simple to reason about once you get used to it.

There are definitely rough edges still: Elm in particular is just missing a lot of stuff, but I was surprised how much value the pure functional approach gave me.

[ Parent | on HN ]

Re:Safe dead code removal in a pure functional language by closeparen on Thursday January 28, 2021 @11:42PM (#25954020)

This is exactly how I understand functional core/imperative shell. The functional core returns a structure describing what should be done and the imperative shell goes out and does it.

[ Parent | on HN ]