4 ms·
> But I want a whole new programming language that is designed from the GROUND UP to be amenable to programmatic transformation. Pretty much any modern static
by laureny 13y ago
> But I want a whole new programming language that is designed from the GROUND UP to be amenable to programmatic transformation.
Pretty much any modern statically typed language can easily be refactored.
The problem is not the refactoring, it's deciding when to refactor and to what (e.g. renaming). This is much more of a human than a computer problem, and as such, it will probably be intractable for a very long time.
- lmm 13y agoI wonder. We have automated tools that can notice when a method is too complicated, or when two types are frequently used next to each other. There's a cool program that converts Haskell expressions to pointfree style. Would it be too hard to have a system that could suggest when several parameters should be grouped into a container object, or when a common piece of logic can be factored out of several methods? I think it's worth looking at.
- mseepgood 13y agoAnd it can come up with good method names?