The Oberon+ Programming Language

Post by xigoi » Sun, Mar 19, 2023, 8:54 AM UTC

nequo wrote: post #7

sfpotter wrote: post #3

I don’t like how verbose Pascal-like languages are. I don’t want to have to type tons of keywords to get anything done. Curly brackets are a big improvement over pairs of “begin” and “end” all over. Makes it hard to see the forest for the trees when skimming some code to figure out what it does. That on its own makes something like this a complete nonstarter for me, leaving aside issues like support, quality of imple…

I think it's less about typing them and more about reading them. Curly braces reduce the number of keywords in the language (unless the alternative is indentation sensitivity like in Python or Haskell). This means that if I see a word, it is easier to infer if it is a variable name or if it does something structural. How about a treesitter-based editor extension that converts between begin/end and {/}, as if they wer…

Post by stefncb » Sun, Mar 19, 2023, 9:19 AM UTC

LegionMammal978 wrote: post #98

Jtsummers wrote: post #97

Earlier quoted context omitted.

C (and C++) considers the declaration to be separate from the definition, though you can combine them. The declaration is the name + type, definition provides a value. The example code is meant to illustrate separate declaration and definition with some code (the call to `f`) between the two. If you try to use `x` before it is defined (the assignment) your compiler should give you a warning, at least. If it doesn't,…

For block-scope declarations, it's not the definition but the initialization that you're thinking of. At least in C, every block-scope variable declaration is a definition: > A definition of an identifier is a declaration for that identifier that: > — for an object, causes storage to be reserved for that object; [...] But initialization (in C) does not occur for block-scope objects without the optional initializer.

Post by Rochus » Sun, Mar 19, 2023, 11:03 AM UTC

pjmlp wrote: post #104

badsectoracula wrote: post #84

Earlier quoted context omitted.

A few years ago i was also thinking of how Oberon-07 could be extended to support more generic types - mainly so containers, etc, can be more type safe - and pretty much came to the same conclusion that putting types on the modules themselves is by far the simplest approach. Though my approach was a bit different (judging from the code examples) in that parametric modules were more like templates that were specialize…

Besides that, Active Oberon already supports generics in a way similar to Modula-3.

Post by cxr » Sun, Mar 19, 2023, 11:09 AM UTC

nequo wrote: post #7

sfpotter wrote: post #3

I don’t like how verbose Pascal-like languages are. I don’t want to have to type tons of keywords to get anything done. Curly brackets are a big improvement over pairs of “begin” and “end” all over. Makes it hard to see the forest for the trees when skimming some code to figure out what it does. That on its own makes something like this a complete nonstarter for me, leaving aside issues like support, quality of imple…

I think it's less about typing them and more about reading them. Curly braces reduce the number of keywords in the language (unless the alternative is indentation sensitivity like in Python or Haskell). This means that if I see a word, it is easier to infer if it is a variable name or if it does something structural. How about a treesitter-based editor extension that converts between begin/end and {/}, as if they wer…

Post by LegionMammal978 » Sun, Mar 19, 2023, 2:56 PM UTC

stefncb wrote: post #103

LegionMammal978 wrote: post #98

Earlier quoted context omitted.

For block-scope declarations, it's not the definition but the initialization that you're thinking of. At least in C, every block-scope variable declaration is a definition: > A definition of an identifier is a declaration for that identifier that: > — for an object, causes storage to be reserved for that object; [...] But initialization (in C) does not occur for block-scope objects without the optional initializer.

Okay, that's somewhat confusing. So a declaration is when the identifier enters the scope, and a definition is for a variable specifically. So a declaration that's not a definition could be a forward declaration for a function, or a typedef.