Extern method generics

[SamahParticipant]

Monkey

[crayon-5cba8aeb48d96629077872 inline="true" ]Extern Struct Foo<T> Method Bar<C>:C[](arg:C) End

1 2 3 4

[crayon-5cba8aeb48d96629077872 inline="true" ]Extern Struct Foo<T>   Method Bar<C>:C[](arg:C) End

[/crayon]

Is this possible?

[Mark SiblyKeymaster]

Probably not, but it could possibly be made to work in some situations.

If it’s just a plain ‘infer type from params’ generic method that ends up looking like a plain method call in use, it might be doable.

But if you are wanting to explicitly specify the type via eg: blah<Int>() there’s currently no way.

Monkey2 generates it’s own generic instances, so by the time everything hits the translator there is not a lot of generic info left. The translator doesn’t use any of it anyway.

[SamahParticipant]

I’ll be honest here, I’m trying to add some lambda stuff to bbArray. Since there are no extensions/categories (yet), it’s going to have to be externed and a PR into the core std library.

Monkey

[crayon-5cba8aeb4dd5f994452711 inline="true" ]Local foo:Int[] = New Int[](1, 2, 3, 4, 5) Local bar:String[] = foo.FlatMap(Lambda:String(value:Int) Return "This is value " + value End) ' gives string array ["This is value 1", ...]

1 2 3 4 5

[crayon-5cba8aeb4dd5f994452711 inline="true" ]Local foo:Int[] = New Int[](1, 2, 3, 4, 5) Local bar:String[] = foo.FlatMap(Lambda:String(value:Int)   Return "This is value " + value End) ' gives string array ["This is value 1", ...]

[/crayon]

And so on.

[Mark SiblyKeymaster]

Extensions are ‘getting there’ (there’s a first attempt in the next release) but it’ll be a while yet before you can use them with Array<T>. Should ultimately be doable though.

[Author]

Posts