Interoperability of java.Util.Arraylist with typing.List (in Jython) #7

Activity

1. jimbaker commented on Oct 16, 2014

   

   jimbaker

   on Oct 16, 2014

   More actions

   So the specifics would be anything implementing the java.util.List interface should be substitutable in this fashion. (I've been saying stuff like "semantically equivalent".)

   Note that this is not actually not true yet; see http://bugs.jython.org/issue2215. But it will be fixed shortly, just as we have recently done for java.util.Map. The reason why it should be is very simple: Jython goes to great lengths to present Java objects as being equivalent Python objects. We need to complete this fiction, aka proxying :)

   >>> from java.util import ArrayList
   >>> dir(ArrayList)
   ['__class__', '__contains__', '__copy__', '__deepcopy__', '__delattr__', '__delitem__', '__doc__', '__ensure_finalizer__', '__eq__', '__format__', '__getattribute__', '__getitem__', '__hash__', '__init__', '__iter__', '__len__', '__ne__', '__new__', '__reduce__', '__reduce_ex__', '__repr__', '__setattr__', '__setitem__', '__str__', '__subclasshook__', '__unicode__', 'add', 'addAll', 'class', 'clear', 'clone', 'contains', 'containsAll', 'empty', 'ensureCapacity', 'equals', 'get', 'getClass', 'hashCode', 'indexOf', 'isEmpty', 'iterator', 'lastIndexOf', 'listIterator', 'notify', 'notifyAll', 'remove', 'removeAll', 'retainAll', 'set', 'size', 'subList', 'toArray', 'toString', 'trimToSize', 'wait']
   >>> # but no sort method yet!
2. ambv commented on Jan 7, 2015

   

   ambv

   on Jan 7, 2015

   Contributor

   More actions

   Danger, danger, Will Robinson.

   The registration mechanism of ABCs is runtime-based and it's causing some headaches for type hinting. We can't be sure what implementations are going to be registered without importing the entire program first. Moreover, the import order matters. So I wonder what implementation @gvanrossum is suggesting here.
3. gvanrossum commented on Jan 7, 2015

   

   gvanrossum

   on Jan 7, 2015

   MemberAuthor

   More actions

   I think it's fine if this is just hacked using some Jython-specific stub. We can have a registration mechanism using (or similar to) the one defined in collections.abc to make things work at runtime, and a stub hack to teach the type checker.
4. ambv commented on Jan 8, 2015

   

   ambv

   on Jan 8, 2015

   Contributor

   More actions

   Requires decision on what to do with the stubs.
5. gvanrossum commented on Jan 8, 2015

   

   gvanrossum

   on Jan 8, 2015

   MemberAuthor

   More actions

   Well, Jython 3.<anything> is a ways off (Jim is just about to finalize Jython 2.7.0 beta 4). I am convinced that we can provide a stub for java.Util.Arraylist that makes it an alias for or subclass of List (covariance be damned :-). Details of where that stub should live and how exactly it should be spelled needn't hold up the PEP, I think. We will do stubs, see #22.
6. gvanrossum

   added

   postponed

   on May 4, 2015
7. gvanrossum commented on Aug 5, 2016

   

   gvanrossum

   on Aug 5, 2016

   MemberAuthor

   More actions

   Closing. I presume Jython can figure something out; if they need something specific they can open an issue for mypy or typeshed.
8. gvanrossum

   closed this as completedon Aug 5, 2016