[hibernate-dev] Do you know of any ASL 2 implementation of...

[Mark Hobson]

Excellent, let me know how you get on.

Mark

2009/2/3 Emmanuel Bernard <emmanuel at hibernate.org>:
> Cool :)
> We will add jType to the Bean Validation RI Alpha2 (one release after the
> first).
> http://opensource.atlassian.com/projects/hibernate/browse/BVAL-111
>
> On  Feb 2, 2009, at 23:40, Mark Hobson wrote:
>
>> Okay, I've created the project here:
>>
>> http://code.google.com/p/jtype/
>>
>> The method you're after is TypeUtils.isAssignable.  I'm interested in
>> fleshing out this library in future, keeping the focus on pure type
>> operations.  I'd like to implement full type inference and type
>> capturing in line with the JLS as I've had a requirement for this in
>> the past.  Do let me know if you have any comments or suggestions.
>>
>> Cheers,
>>
>> Mark
>>
>> 2009/1/30 Emmanuel Bernard <emmanuel at hibernate.org>:
>>>
>>> all good.
>>>
>>> On  Jan 30, 2009, at 09:46, Mark Hobson wrote:
>>>
>>>> Cool, I'll aim to create the project as soon as I get a free moment.
>>>> Extra hands would be appreciated so I can't see a problem with giving
>>>> you commit access.  Copyright isn't an issue as I work for my own
>>>> company :)
>>>>
>>>> I'll post the URL once it's up there.  Likely to be after the weekend
>>>> if that's alright?
>>>>
>>>> Cheers,
>>>>
>>>> Mark
>>>>
>>>> 2009/1/30 Emmanuel Bernard <emmanuel at hibernate.org>:
>>>>>
>>>>> That's fine, you can go host it on google-code under the ASL 2. That
>>>>> way
>>>>> we
>>>>> can use it as a source level or jar level dependency.
>>>>>
>>>>> It would be nice to get commit access so we can participate in
>>>>> enhancing
>>>>> the
>>>>> support coverage.
>>>>>
>>>>> Jboss.org might have some benefits as a forge but the .org team is very
>>>>> busy
>>>>> at the moment, so creating a new project would be a bit low in
>>>>> priority.
>>>>> Google code is quite nice and clean.
>>>>>
>>>>> BTW before dropping the code, make sure you have the copyright rights
>>>>> (if
>>>>> you developed that for a company, you might have to ask them).
>>>>>
>>>>> Thanks!
>>>>>
>>>>> Emmanuel
>>>>>
>>>>> On  Jan 30, 2009, at 05:04, Mark Hobson wrote:
>>>>>
>>>>>> ASL 2.0 is fine with me.  I was thinking about hosting it somewhere
>>>>>> like Google Code since there's a few open-source projects that I've
>>>>>> seen which could benefit from it.  Let me know, I can create a project
>>>>>> and you can give it a spin.
>>>>>>
>>>>>> Cheers,
>>>>>>
>>>>>> Mark
>>>>>>
>>>>>> 2009/1/30 Emmanuel Bernard <emmanuel at hibernate.org>:
>>>>>>>
>>>>>>> Cool, that's already a nice start.
>>>>>>> Let me see if I find something.
>>>>>>>
>>>>>>> Would you be OK to contribute it under the ASL 2.0 license to us?
>>>>>>>
>>>>>>> On  Jan 29, 2009, at 09:44, Mark Hobson wrote:
>>>>>>>
>>>>>>>> I haven't gone into supporting type variables, hence I don't perform
>>>>>>>> type capturing or inference yet, although I would be interested in
>>>>>>>> adding this.  For an example of what is currently implemented, the
>>>>>>>> following are from the tests:
>>>>>>>>
>>>>>>>> Number <: Integer
>>>>>>>> Object <: Integer
>>>>>>>> List <: List<Integer>
>>>>>>>> Collection<Integer> <: List<Integer>
>>>>>>>> Collection<Integer> <: ArrayList<Integer>
>>>>>>>> List<Integer> !<: Set<Integer>
>>>>>>>> List<Number> !<: List<Integer>
>>>>>>>> List<?> <: List<Integer>
>>>>>>>> List<? extends Number> <: List<Number>
>>>>>>>> List<? extends Number> <: List<Integer>
>>>>>>>> List<? extends Number> !<: List<Object>
>>>>>>>> List<? super Number> <: List<Number>
>>>>>>>> List<? super Number> <: List<Object>
>>>>>>>> List<? super Number> !<: List<Integer>
>>>>>>>> List<Integer> <: IntegerArrayList
>>>>>>>>
>>>>>>>> Let me know if you find any existing libraries since I use this in
>>>>>>>> my
>>>>>>>> other projects.  If there's nothing out there then open-sourcing
>>>>>>>> this
>>>>>>>> would stop people from having to reinvent the wheel.
>>>>>>>>
>>>>>>>> Cheers,
>>>>>>>>
>>>>>>>> Mark
>>>>>>>>
>>>>>>>> 2009/1/29 Emmanuel Bernard <emmanuel at hibernate.org>:
>>>>>>>>>
>>>>>>>>> If I can't find an other alternative that would surely be of help
>>>>>>>>> yes
>>>>>>>>> :)
>>>>>>>>>
>>>>>>>>> Do you know how much of the subtype rules you have implemented?
>>>>>>>>>
>>>>>>>>> The one that sounded non trivial to me were around detecting that
>>>>>>>>> generic
>>>>>>>>> are supertypes of others:
>>>>>>>>> - containment and equivalence
>>>>>>>>> - capture conversion
>>>>>>>>> - intersection types
>>>>>>>>> - management of bounds
>>>>>>>>> (using the language of the JSL)
>>>>>>>>>
>>>>>>>>>
>>>>>>>>> On  Jan 29, 2009, at 05:49, Mark Hobson wrote:
>>>>>>>>>
>>>>>>>>>> I've written a small utility library that provides methods to work
>>>>>>>>>> with Types, specifically it contains such a method
>>>>>>>>>> isAssignable(Type
>>>>>>>>>> supertype, Type type) that should satisfy your requirements.
>>>>>>>>>>
>>>>>>>>>> I've been considering open-sourcing it so would be happy to do so
>>>>>>>>>> if
>>>>>>>>>> you were interested?
>>>>>>>>>>
>>>>>>>>>> Cheers,
>>>>>>>>>>
>>>>>>>>>> Mark
>>>>>>>>>>
>>>>>>>>>> 2009/1/29 Emmanuel Bernard <emmanuel at hibernate.org>:
>>>>>>>>>>>
>>>>>>>>>>> Specifically a routine like
>>>>>>>>>>> boolean isSuperType(Type super, Type, sub);
>>>>>>>>>>> note Type, not Class<?>
>>>>>>>>>>>
>>>>>>>>>>> On  Jan 28, 2009, at 21:22, Emmanuel Bernard wrote:
>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> http://java.sun.com/docs/books/jls/third_edition/html/typesValues.html#4.10
>>>>>>>>>>>
>>>>>>>>>>> Subtyping
>>>>>>>>>>>
>>>>>>>>>>> I am looking for an ASL 2 / BSD implementation of the subtyping
>>>>>>>>>>> resolution
>>>>>>>>>>> algorithm in Java.
>>>>>>>>>>>
>>>>>>>>>>> I am thinking Harmony might have one.
>>>>>>>>>>>
>>>>>>>>>>> Anybody knows?
>>>>>>>>>>>
>>>>>>>>>>> _______________________________________________
>>>>>>>>>>> hibernate-dev mailing list
>>>>>>>>>>> hibernate-dev at lists.jboss.org
>>>>>>>>>>> https://lists.jboss.org/mailman/listinfo/hibernate-dev
>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> _______________________________________________
>>>>>>>>>>> hibernate-dev mailing list
>>>>>>>>>>> hibernate-dev at lists.jboss.org
>>>>>>>>>>> https://lists.jboss.org/mailman/listinfo/hibernate-dev
>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>
>>>>>>>>>
>>>>>>>
>>>>>>>
>>>>>
>>>>>
>>>
>>>
>
>