Re:Flix – A powerful effect-oriented programming language
by xigoi on Sunday July 13, 2025 @07:56AM
(#44549674)
If you define a variable called number_of_apples, there is no way for the compiler to check that it actually contains the number of apples. How is that different?
[ Parent
| on HN ]
Re:Flix – A powerful effect-oriented programming language
by thdhhghgbhy on Sunday July 13, 2025 @09:08AM
(#44550189)
It's different. Effect systems claim to be a 'major evolution' that 'enforce modularity'. But they don't really enforce anything other than the modularity provided by standard oop classes or if in a fp language, function modules.