Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

2 Spławski Z.

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Defining Recursors by Solving Equations in Second-Order Lambda Calculus

100%

Spławski Z.

Schedae Informaticae

2003

tom Vol. 12

49-56

Positive recursive (fixpoint) types can be added to the polymorphic (Church-style) lambda calculus l2 (System F) in several different ways, depending on the choice of the elimination operator. Known extensions of l2 fall into two equivalence classes with respect to mutual interpretability by means of beta-eta reductions, and elimination operators for fixpoint types can be classified accordingly as either "iterators" or "recursors". Systems with iterators can be defined within l2 by means of beta reductions, and it is conjectured that systems with recursors cannot. In this paper we define the general form of mutual iteration scheme in l2 and we show that the explicit solution for particular functions defines recursors within l2, though proof of this fact requires much more than beta reductions, namely parametricity. We propose a convenient equational inference rule which can be used instead of parametricity for proving equational properties of polymorphic functions, defined by iterators.

Problemy klas generycznych w języku Java

100%

Spławski Z.

Prace Naukowe Instytutu Informatyki Stosowanej Politechniki Wrocławskiej. Konferencje

2007

399-410

Do języka Java od wersji 5.0 wprowadzono klasy generyczne, czyli klasy parametryzowane innymi klasami. Na pierwszy rzut oka polimorfizm parametryczny w Javie przypomina szablony klas w języku C++, co zdaje się sugerować nawet składnia. Jest to jednak podobieństwo bardzo powierzchowne. Z jednej strony ułatwia wykorzystanie nowego mechanizmu programistom znającym C++; z drugiej jednak strony jest źródłem konfuzji spowodowanych inną semantyką klas generycznych w porównaniu z szablonami klas, wynikającą ze zupełnie innego sposobu ich implementacji. W niniejszej pracy podjęto próbę wyjaśnienia mechanizmu generyczności w Javie ze zwróceniem uwagi z jednej strony na istotne własności matematyczne, a z drugiej strony na semantykę, wynikającą ze sposobu zaimplementowania tego mechanizmu. Takie bardziej abstrakcyjne, lecz "inżynierskie" podejście do klas generycznych z pewnością ułatwi ich zrozumienie i będzie sprzyjać właściwemu zastosowaniu w praktyce.

The most significant change made in Java programming language as implemented in JDK 5.0 and later versions was the addition of generic types (generics), which support classes with abstract type parameters that can be instantiated. Superficially generics in Java resemble templates in C++ which is suggested by the syntax. This is often the source of confusion, since the semantics is quite different. In this paper we shortly explain the most important mathematical properties of generics as well as the technique of erasure underlying the implementation of generics in Java.