Generic function types?

[ArjailerParticipant]

Is it possible to have generic function types? For example I’d like to do this:

Monkey

Method TestGenericClass:Void() RepeatTestForEachType(Lambda<T>:Void() Local instance := New T() ' test an aspect of the class End) RepeatTestForEachType(Lambda<T>:Void() Local instance := New T() ' test a different aspect of the class without having to repeat the code for each type End) ' etc. End Method RepeatTestForEachType:Void(test<T>:Void()) test<GenericClass<Double>>() test<GenericClass<Float>>() test<GenericClass<Long>>() test<GenericClass<Int>>() End

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22

Method TestGenericClass:Void()       RepeatTestForEachType(Lambda<T>:Void()         Local instance := New T()         ' test an aspect of the class     End)       RepeatTestForEachType(Lambda<T>:Void()         Local instance := New T()         ' test a different aspect of the class without having to repeat the code for each type     End)          ' etc.      End   Method RepeatTestForEachType:Void(test<T>:Void())     test<GenericClass<Double>>()     test<GenericClass<Float>>()     test<GenericClass<Long>>()     test<GenericClass<Int>>() End

So that I don’t have to repeat as much boilerplate code for each test I write. This is something I do all the time in my C# day job and it’d be great to be able to use the same patterns  

It doesn’t seem to be possible, but I might just be getting the syntax wrong.

[Mark SiblyKeymaster]

Not sure what you’re trying to do there – why is TestGenericClass a method? etc…

Generic methods/functions are supported though, eg:

Monkey

Function Min<T>:T( x:T,y:T )    Return x<y ? x Else y End

1 2 3 4

Function Min<T>:T( x:T,y:T )    Return x<y ? x Else y End

You need the ‘<T>’ after the ‘Min’ so the compiler knows that ‘x:T’ and ‘y:T’ refer to generic types, not just a type ‘T’ that might be declared elsewhere.

[ArjailerParticipant]

Hmmm … I’m getting myself confused …

I was writing tests for a generic class and wanted to test it with various types. To do this I was having to write two methods for each test, sort of like:

Monkey

Method TestSomething:Void() DoSomething<GenericClass<Double>>() DoSomething<GenericClass<Long>>() etc. End Method DoSomething<T>:Void() Local instance := New T() ' test an aspect of the class End

1 2 3 4 5 6 7 8 9 10

Method TestSomething:Void()     DoSomething<GenericClass<Double>>()     DoSomething<GenericClass<Long>>()     etc. End   Method DoSomething<T>:Void()     Local instance := New T()     ' test an aspect of the class End

This was getting a bit tedious, so I was looking for a way to cut this down a bit.

But thinking about it again there’s two obvious problems with that:

• What I was trying to do was nonsense (I somehow convinced myself that what I was trying to do was possible in C#, but it’s not – total brain-fart)
• I don’t need to test it with different types – one is enough (another brain-fart)

So, sorry to waste your time  

[Author]

Posts