mad alex 1997 Comments - Answer Overflow

For more information and some examples check out Our Benchmarks and Examples Repo. This update is just the beginning, PRs, and feature requests are welcome. If you would like to join our little team we also have a discord server which can be found on our GitHub (the bot doesn't like the links).

5 replies

MModular

•Created by tkeitt on 6/16/2024 in #questions

Parameterized function definitions in traits

The main limitations of trait that I have run into are you can't parameterize at the trait level trait ball[color:Color]:, nor can you require fields to exist in conformant structs.

7 replies

MModular

•Created by tkeitt on 6/16/2024 in #questions

Parameterized function definitions in traits

Yes. Here is an example https://github.com/Mojo-Numerics-and-Algorithms-group/NuMojo/blob/main/numojo/traits/backend.mojo.

7 replies

MModular

•Created by Anindya on 6/14/2024 in #questions

How to declare a function type in a trait?

Technically if you are willing to do something verbose and your functions don't need parameters (I'll put in a bug report for it tomorrow) only arguments.

fn a()->None:
    print("a")
    return None

fn b(i:Int)->Int:
    print(i)
    return i*2

def main():
    var func: Variant[fn()->None,fn(i:Int)->Int]
    func = a
    if func.isa[fn()->None]():
        func._get_ptr[fn()->None]()[0]()
    func = b
    if func.isa[fn(i:Int)->Int]():
        var res = func._get_ptr[fn(i:Int)->Int]()[0](1)
        print(res)

fn a()->None:
    print("a")
    return None

fn b(i:Int)->Int:
    print(i)
    return i*2

def main():
    var func: Variant[fn()->None,fn(i:Int)->Int]
    func = a
    if func.isa[fn()->None]():
        func._get_ptr[fn()->None]()[0]()
    func = b
    if func.isa[fn(i:Int)->Int]():
        var res = func._get_ptr[fn(i:Int)->Int]()[0](1)
        print(res)

10 replies

MModular

•Created by Anindya on 6/14/2024 in #questions

How to declare a function type in a trait?

Not without doing something weird, strong typing is a double edged sword.

10 replies

MModular

•Created by mad alex 1997 on 6/1/2024 in #community-showcase

NuMojo Moved into a GitHub Organization Updated to Include access to different backends

Nevermind, I found it.

7 replies

MModular

•Created by Anindya on 6/14/2024 in #questions

How to declare a function type in a trait?

You have to set the type to match the function signature. And Fn functions must explicitly return there type.

struct MyPair:
    var first: Int
    var second: Int
    var _hi: fn()->None 

    fn __init__(inout self, first: Int, second: Int):
        self.first = first
        self.second = second
        fn _hello()->None:
            return None 
        
        self._hi = _hello

struct MyPair:
    var first: Int
    var second: Int
    var _hi: fn()->None 

    fn __init__(inout self, first: Int, second: Int):
        self.first = first
        self.second = second
        fn _hello()->None:
            return None 
        
        self._hi = _hello

But this makes for an inflexible _hello function as now it must return None.

10 replies

MModular

•Created by mad alex 1997 on 6/1/2024 in #community-showcase

NuMojo Moved into a GitHub Organization Updated to Include access to different backends

Is tkeitt also your github username?

7 replies

MModular

•Created by mad alex 1997 on 6/1/2024 in #community-showcase

NuMojo Moved into a GitHub Organization Updated to Include access to different backends

If you want to take charge of mojosci (or a Scipy-like library regardless of the name) but put it under the Mojo Numerics and Analysis group (there are 3 active developers including myself at the moment) we could add that repository to the group and feed back and forth between the libraries as one or the other makes improvements. I was actually thinking about splitting into several libraries anyway now that we are planning to make and maintain our own array type, as I think SciPy has too large of a scope by itself let alone when combined with numpy.

7 replies

MModular