The Zimbu programming language

http://www.zimbu.org/Home

by osener • 4 years ago

64 54 4 years ago

zimbu.org

_bohm2• 4 years ago

Safe to say this project is dead? The repo URL given on the website 404s: https://bitbucket.org/zimbu/zimbu

sigzero• 4 years ago

From a 2021 mailing list post:

Yes, bitbucket has dropped Mercurial. I'll look into putting Zimbu up on github. I'm not currently working on it, but some people might find it interesting and want to try it out.

speps• 4 years ago

Nothing on his GitHub profile either, just a mention of Zimbu in his bio: https://github.com/brammool?tab=repositories

kryptiskt• 4 years ago

He refers to Vim9 script in the comment about the lack of work on it on the top of the page, so apparently it saw work fairly recently. To my surprise, I thought it was long dead.

I still can't get past the unpaired } as the ending delimiter. It's a superficial reason, but there are many languages out there, and it's easy to be picky.

osener• 4 years ago

I found a fork of it on GitHub for those interested. Here's a link to the first commit which hopefully contains unmodified import of Moolenaar's hg repository: https://github.com/TsukiGva2/unnoficial-zimbu/tree/3ea616b33...

pca006132• 4 years ago

Can a language that uses GC (presumably, it says no manual memory management) be used to program an OS? Just wondering... I think the home page is not very informative as it doesn't really tell me what features are there in this language, but just what it hopes to be. And tbh, from my experience using vim script, knowing its author may scare me away from this...

Jach2• 4 years ago

Sure, the heritage of Lisp Machines shows that well enough. Or a modern version: https://github.com/froggey/Mezzano Not all GCs are equivalent, though.

RcouF1uZ4gsC• 4 years ago

Sure, the heritage of Lisp Machines shows that well enough.

Yes it does. You can use GC for an OS but you end with slow, expensive, and very niche machines.

samatman• 4 years ago

Doing low-level programming in a Lisp is much like doing so with Cython or RPython: you're using effectively a different language with familiar syntax.

Not that there's anything wrong with that! And a case could be made that much of the power in Lisp comes from the ease of turning it into, effectively, a different language.

But it's less "all the power of a high-level GC language and the ability to write low-level systems code" and more "all the power of a high-level GC language or the ability to write low-level systems code".

badsectoracula• 4 years ago

Can a language that uses GC (presumably, it says no manual memory management) be used to program an OS?

Yes, Project Oberon[0] by Niklaus Wirth and Jürg Gutknecht is written in Oberon-07 which is a very small programming language with a garbage collector. The garbage collector is even written in Oberon-07.

[0] http://www.projectoberon.com/

kaba0• 4 years ago

There is also Microsoft’s Singularity OS.

retrac2• 4 years ago

Yes. One approach is to use a language that allows both GC and manually managed memory, perhaps a small subset of the full language proper. You then write the garbage collector itself and other runtime bits in that language. Another approach is to reduce the GC runtime to as small a blob as possible, and write it in C/assembly. The old LISP machines used both techniques -- there was an assembly language of sorts, that mapped closely to the high-level language, in which the most basic layer of the system like the GC was written.

dzonga• 4 years ago

You don't want to require programmers to have a degree, so C++ is out.

one of the funniest things I have seen as a selling point for a pl.

LorenDB• 4 years ago

I take exception to that quote. I am reasonably proficient in C++ and I haven't gone to college.

emsy• 4 years ago

Pretty rich, coming from the guy that created Vimscript (and I say that as a Vim fan).

ilaksh• 4 years ago

Did he come up with this before or after Nim? Sounds a bit similar on the surface.

iisaev• 4 years ago

Also, sounds similar to Zig, Hare, Odin. All these languages look quite similar.

mhd• 4 years ago

We're all reinventing Modula-3.

daltont• 4 years ago

I like the idea of splitting FUNC and PROC, but still like the idea of enforcing some level purity on FUNCs at least not allowing them to invoke PROCs, but able to invoke other FUNCs.

auxym• 4 years ago

nim has that feature FYI.

Symmetry• 4 years ago

And Nim certainly meets all the requirements the page gives on "Why Zimbu".

mathgladiator• 4 years ago

I did this for my language because reactivity demands it.

djha-skin• 4 years ago

I wonder if the capitalization is required. What modern programming language would require capitalization? I use it in SQL and that makes sense given that SQL is often embedded in other programming language via strings and so the capitalization helps because there are there's no syntax highlighting. But otherwise I don't see the point of it.

rmorey• 4 years ago

I had never heard this justification for sql YELLING AT ME but honestly it makes sense!

giancarlostoro• 4 years ago

When a Junior developer doesn't capitalize their SQL it makes my eye twitch, and it's not that I personally care, it's just that I'm so used to seeing it as a standard, and my brain wants to go with standards always.

zach_garwood• 4 years ago

I'm kinda the opposite. I always saw the older developers writing SQL in lowercase, so now when I see someone using caps, I think they must have just read a SQL book or something.

rprospero• 4 years ago

I rarely touch SQL, so I don't really have much of an opinion on these matters. However, the last time I did have to touch it, the senior developer on the project used this as his personal shibboleth for differentiating junior and senior developers. By his reckoning, junior developers put SQL statements in caps because they were used to seeing that in textbooks. Senior developers would realise the importance of maintainability and use lower case out of respect for the next person to read the code.

1MachineElf• 4 years ago

Surely there must be code formatters for SQL that alleviate this issue for large teams.

cestith• 4 years ago

All-capital writing is far harder to read for extended periods of time. If you're looking a a few short SQL statements embedded in other code or something, that's not a big issue. If you're editing screen-filling report queries or editing a long data structure full of various SQL statements, it's a bigger deal.

asdajksah21232• 4 years ago

I believe the argument here is that since it's currently an experimental language, future versions might include many currently unplanned keywords.

By making keywords all caps, (and presumably no other user defined names are all caps...I'm not sure if this is enforced by the language or not, but it's a simple enough convention that there is a very low likelihood of it being broken) you ensure that you have the entire namespace of words available to you as keywords for future enhancements to the language.

asdajksah21232• 4 years ago

From the "Design Principles" section that points out other rules (that seem to be compiler enforced) and the reasoning behind it:

------------

5. The next compiler version will add a new feature

Once a compiler version is released programs will be written and distributed. The next version must not break the existing programs. Thus it must be possible to add keywords, types, modules, etc. without worrying that this might break someone's carefully crafted code.

    Keywords are all-caps. No user symbol may be all-caps
    Builtin type names are all lowercase.  User types must start with an uppercase letter.
    Builtin module names are all-caps. User modules must contain a lowercase letter.
    Predefined methods start with an uppercase letter.  User methods must start with a lowercase letter.

This may seem a bit strange at first, but one gets used to it very quickly. And the compiler gives a clear error message when making a mistake.

indentit• 4 years ago

But there is syntax highlighting - what editor and language combination are you using? I know for a fact that SQL is highlighted inside Python and PHP strings in Sublime Text 4..

emaginniss• 4 years ago

IntelliJ will not only syntax highlight your embedded SQL, but also match it to your data source's schema to ensure correctness.

dskloet• 4 years ago

What modern programming language would require capitalization?

In Go fields are made public by starting their name with an upper case.

marcrosoft• 4 years ago

Go meets everyone of his criteria.

loeg• 4 years ago

Not “fun and new.” (Or arguably, “any system with a C compiler.”)

I agree otherwise.

jollyllama• 4 years ago

When did he start zimbu? I can't tell. It might have been before Go was around.

prox• 4 years ago

This looks fun indeed! I don’t often have that when I see new language primers!

dang• 4 years ago

The Zimbu programming language - https://news.ycombinator.com/item?id=17819857 - Aug 2018 (1 comment)

The Zimbu programming language - https://news.ycombinator.com/item?id=13258476 - Dec 2016 (54 comments)

The Zimbu programming language, by vim author Bram Moolenaar - https://news.ycombinator.com/item?id=894591 - Oct 2009 (51 comments)

_bohm2• 4 years ago

The first comment on the discussion from 2009 made me chuckle:

I use Emacs, but a Lua-extended vi could be very nice.

I wonder if the commenter is using neovim now that their wish has been made a reality

andrewla• 4 years ago

From [1]

    The Hello World program: hello.zu:
    FUNC Main() int
      IO.write("Hello, World!\n")
      RETURN 0
    }

> Notes:

...
The } character is used to end a block. There is no {, we know where the block starts. This avoids useless discussions about where to put the {.

Excuse me, WHAT? When I saw the first code snippet I thought there was a typo, but the idea of using an unmatched close brace is so horrifying to me that I really have trouble looking further at this. Oddly the first thing that occurs to me is that in Vim it makes it hard to move between the beginning and end of a block, but I think I can safely assume that the author is fairly familiar with using Vim, seeing as he wrote it.

[1] http://www.zimbu.org/getting-started/hello-worlkd

nitrix• 4 years ago

The actual typo in the URL slug is on the nose too ("worlkd").

carapace• 4 years ago

Mentally rewrite "}" to "ENDFUNC"?

Having avoided useless discussion about where to put the "{" let's not start one about how to spell "end of block", eh? At least it's not some Unicode sigil.

codeflo• 4 years ago

There seems to be a LAMBDA ... } syntax as well that works as an expression. Along with the upper case keywords, I'm convinced this language is meant as a joke, but it's very, very subtle. For example, the "Inspiration" page lists as one of the things it intends to borrow from Java, "use of design patterns": http://www.zimbu.org/design/inspiration Like the one thing people love about Java are all the AbstractFactoryFactoryFactories.

gilch• 4 years ago

Hardly a unique idea. J also does this in explicit function definitions, but with `)`. https://code.jsoftware.com/wiki/JPhrases/ExplicitDef

t6jvcereio• 4 years ago

Why Zimbu? Suppose you want to write a new program, something like a text editor. What language would you write it in?

    It has to be as fast as possible, so interpreted languages are out.
    You don't want to micro manage memory, so C is out.
    You don't want to require programmers to have a degree, so C++ is out.
    You want fast startup and not depend on a big runtime, so Java is out.
    It has to run on most systems, anything with a C compiler, so D is out.
    You want to have fun making something new.

What a nice collection of horrible arguments.

KronisLV• 4 years ago

I actually found most of them to be pretty reasonable.

It has to run on most systems, anything with a C compiler, so D is out.

Personally, this probably wouldn't be such a huge factor for me.

I actually think that something like Go would also be suitable for most of those other rules.

That said, the question eventually becomes about how often those actually are factors that might influence one's choice.

For example, in many cases the startup times won't be such a big deal (e.g. webapps with multiple instances), nor will runtime performance (e.g. Python scripts for shuffling some data around).

The Zimbu programming language

Related Stories