Choosing Nim out of a crowded market for systems programming languages(forum.nim-lang.org)

    type
      Foo = ref object
      Bar = Foo not nil
    
    var bar: Bar = nil # error: type mismatch
    echo bar.a

    trait Bar {}
    trait Baz {}
    trait Foo {
        // This is invalid
        fn foo(t: &(Bar + Baz)) -> ();
    }

    trait Foo: Bar + Baz {
        fn foo(&self);
    }

    trait Foo {
        fn foo<T: Bar + Baz>(t: T) -> ();
    }
    // This is invalid
    fn do_work(f: &Foo) -> () { … }

    trait Foo<T: Bar + Baz> {
        fn foo(&self, t: T);
    }

    let Pattern(binding) = thing else { ... };

    let y = Some(1).ok_or(Error)?.and_then(|i| {
        if i > 3 {
            Err(Error)
        } else {
            Ok(i + 1)
        }
    })?;

    use MyDescriptiveEnum as E;
    match e {
        E::Foo => …,
        E::Bar => …,
    }

    use MyDescriptiveEnum::*;
    match e {
        Foo => …,
        Bar => …,
    }

  let traversed-distance := yard-length;

  let traversed-distance := yard - length;