Reddit Programming

Seed7: a programming language which cares about maintainability
https://www.reddit.com/r/programming/comments/1nvdaxc/seed7_a_programming_language_which_cares_about/

Seed7 is based on ideas from my diploma and doctoral theses about an extensible programming language (1984 and 1986). In 1989 development began on an interpreter and in 2005 the project was released as open source. Since then it is improved on a regular basis. Seed7 is about maintainability (https://seed7.net/faq.htm#maintainability), portability (https://seed7.net/faq.htm#portable), performance (https://seed7.net/scrshots/s7c.htm) and memory safety (https://seed7.net/faq.htm#memory_safety). There is an automatic memory management (https://seed7.net/faq.htm#garbage_collection), but there is no garbage collection process, that interrupts normal processing. The templates (https://seed7.net/manual/tutorial.htm#Templates) and generics (https://seed7.net/manual/decls.htm#Abstract_data_types) of Seed7 don't need special syntax. They are just normal functions, which are executed at compile-time. Seed7 is an extensible (https://seed7.net/faq.htm#extensible_programming) programming language. The syntax and semantics of statements (https://seed7.net/manual/stats.htm) (and abstract data types (https://seed7.net/manual/decls.htm#Abstract_data_type), etc.) is defined in libraries. The whole language is defined in the library "seed7_05.s7i". You can extend the language syntactically (https://seed7.net/manual/syntax.htm) and semantically (introduce new loops (https://seed7.net/manual/tutorial.htm#Declare_a_statement), etc.). In other languages the syntax and semantics of the language is hard-coded in the compiler. Seed7 checks for integer overflow (https://seed7.net/faq.htm#integer_overflow). You either get the correct result or an OVERFLOW_ERROR (https://seed7.net/manual/errors.htm#OVERFLOW_ERROR) is raised. Unlike many JVM based languages Seed7 compiles to machine code ahead of time (GRAAL works ahead of time but it struggles with reflection). Unlike many systems languages (except Rust) Seed7 is a memory safe (https://seed7.net/faq.htm#memory_safety) language. The Seed7 homepage (https://seed7.net/) contains the language documentation. The source code is at GitHub (https://github.com/ThomasMertes/seed7). Questions that are not in the FAQ (https://seed7.net/faq.htm) can be asked at r/seed7 (https://www.reddit.com/r/seed7/). Some programs written in Seed7 are: make7 (https://seed7.net/scrshots/make7.htm): a make utility. bas7 (https://seed7.net/scrshots/bas7.htm): a BASIC interpreter. pv7 (https://seed7.net/scrshots/pv7.htm): a Picture Viewer for BMP, GIF, ICO, JPEG, PBM, PGM, PNG, PPM and TIFF files. tar7 (https://seed7.net/scrshots/tar7.htm): a tar archiving utility. ftp7 (https://seed7.net/scrshots/ftp7.htm): an FTP Internet file transfer program. comanche (https://seed7.net/scrshots/comanche.htm): a simple web server for static HTML pages and CGI programs. Screenshots of Seed7 programs can be found here (https://seed7.net/scrshots/index.htm) and there is a demo page (https://seed7.net/demo.htm) with Seed7 programs, which can be executed in the browser. These programs have been compiled to JavaScript / WebAssembly. I recently released a new version (https://www.reddit.com/r/seed7/comments/1nv9zwf/seed7_version_20250930_released_on_github_and_sf/) which improved the bas7 (https://seed7.net/scrshots/bas7.htm) example program and drivers for console, graphics and databases. The documentation and the code quality were improved as well. Please let me know what you think, and consider starring the project on GitHub (https://github.com/ThomasMertes/seed7), thanks!  submitted by /u/ThomasMertes (https://www.reddit.com/user/ThomasMertes)
[link] (https://seed7.net/) [comments] (https://www.reddit.com/r/programming/comments/1nvdaxc/seed7_a_programming_language_which_cares_about/)

1 view05:25

Reddit Programming

Ring programming language version 1.24 is released!
https://www.reddit.com/r/programming/comments/1nve3e8/ring_programming_language_version_124_is_released/

submitted by /u/mrpro1a1 (https://www.reddit.com/user/mrpro1a1)
[link] (https://ring-lang.github.io/doc1.24/whatisnew24.html) [comments] (https://www.reddit.com/r/programming/comments/1nve3e8/ring_programming_language_version_124_is_released/)

1 view05:26

Reddit Programming

Tritium | The Network Drive Issue
https://www.reddit.com/r/programming/comments/1nveiiv/tritium_the_network_drive_issue/

I ran into some surprising issues working on my desktop Rust application when dealing with a network drive. Blogged about it. I hope it may be interesting to you.  submitted by /u/urandomd (https://www.reddit.com/user/urandomd)
[link] (https://tritium.legal/blog/drive) [comments] (https://www.reddit.com/r/programming/comments/1nveiiv/tritium_the_network_drive_issue/)

1 view05:27

Reddit Programming

Why Over-Engineering Happens
https://www.reddit.com/r/programming/comments/1nvf0jz/why_overengineering_happens/

submitted by /u/SpecialistLady (https://www.reddit.com/user/SpecialistLady)
[link] (https://yusufaytas.com/why-over-engineering-happens/) [comments] (https://www.reddit.com/r/programming/comments/1nvf0jz/why_overengineering_happens/)

1 view05:28

Reddit Programming

Idempotency in System Design: Full example
https://www.reddit.com/r/programming/comments/1nvfocn/idempotency_in_system_design_full_example/

submitted by /u/trolleid (https://www.reddit.com/user/trolleid)
[link] (https://lukasniessen.medium.com/idempotency-in-system-design-full-example-80e9027e7bea) [comments] (https://www.reddit.com/r/programming/comments/1nvfocn/idempotency_in_system_design_full_example/)