Ok, I’m sold but I couldn’t see a concrete implementation of these ideas?
Brett Victor gives ideas, not implementations. In his case, the ideas tend to be quite powerful and make some people put quite a lot of time and effort to try and implement them.
I agree they’re good ideas, but who has implemented them?
Not aware of anyone to have fully completed doing that yet. One kinda possibly partially inspired in-progress project that I’m observing is https://luna-lang.org (now renamed “enso”).