FreePascal grammar, lexer, parser and code browser
> Thanks for the hints. I was already concerned that I would have to analyze the source code directly myself, and so I started to build tools for this purpose (https://github.com/rochus-keller/FreePascal).
FWIW you may want to check out the fcl-passrc package which provides units for scanning and creating a syntax tree from FPC source code, including some helpers like resolving references.
> I read somewhere that there are issues with higher optimization levels. Can you confirm that?
AFAIK the main issue is that -O4 enables some optimizations that may break code that relies on things like having the exact same math output as non-optimized versions as it enables FASTMATH, code that relies on classes having specific field order (technically class field order is not guaranteed to remain the same) since -O4 enables reordering the fields to remove unnecessary padding and code that depends on runtime errors or exceptions being thrown from code that the compiler (in -O4) decided it has not explicit side effects and removed it.
These are not "issues" per-se but Lazarus labels -O4 as having "aggressive optimizations, beware" which might give a false impression.
Aside from that there might be bugs, but that is the case with any compiler.
Systems language with linear types and capability-based security.
For the first couple of items on the list, Austral might be a language worth considering:
It's new so it obviously doesn't have the community of libraries to use, but it does have a very friendly and accessible Pascal-like syntax, while also having a state of the art linear type system.
Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
Oberon parser, code model & browser, compiler and IDE with debugger
FreeShip Plus in Lazarus
> Many people using Delphi back in the day will probably already know Lazarus
If there is someone who interested in Lazarus, Qt and 2D/3D CAD software, here is an opensource boat (not only) design & simulation software project which was rewritten from Delphi.[0,1,2]
Interested in "secure programming languages", both theory and practice but mostly practice, where do I start?
2 projects | /r/ProgrammingLanguages | 17 Jun 2023
Austral Programming Language
1 project | news.ycombinator.com | 6 Jun 2023
Borrow checker for Zig?
5 projects | /r/Zig | 14 Jan 2023
Austral: A Systems Language with Linear Types and Capabilities
1 project | news.ycombinator.com | 31 Dec 2022
Austral: Systems language with linear types and capability-based security
1 project | news.ycombinator.com | 6 Sep 2022