5 ms·

I am once again underwhelmed by the amazing might of a type system.

• mssundaram 6y ago
  I hope you mean Golang's type system. It is indeed underwhelming. However it is arguably the poorest type system in popular usage. Therr exists much better, which I encourage you to explore - Typescript, Haskell, Rust
  • pjmlp 6y ago
    Oberon-07 is even smaller, as Wirth decided to revisit Oberon and pursue the path of the minimalist type safe systems programming language. If any language of Oberon family would ever become mainstream I would vote for Active Oberon instead.
    • mssundaram 6y ago
      Very interesting, thank you for sharing. Do you recommend any resources to explore?
      • pjmlp 6y ago
        A couple, you can start here to see how the Active Oberon based OS looked like, https://www.progtools.org/article.php?name=oberon&section=compilers&type=tutorial https://www.progtools.org/article.php?name=oberon&section=co... Some links are broken now, because ETHZ no longer hosts the A2 site, however you can get the latest language report at http://cas.inf.ethz.ch/boards/2/topics/1 http://cas.inf.ethz.ch/boards/2/topics/1 And the source code and old documents for the original A2 OS at github, https://github.com/metacore/A2OS https://github.com/metacore/A2OS
• deleted 6y ago
  [deleted]