Using Containers and Type Classes

2019 ◽  
pp. 109-155
Author(s):  
Alejandro Serrano Mena
Keyword(s):  
Type Classes

scholarly journals Linear Differential Equations on Some Classes of Weighted Function Spaces

Symmetry ◽  
2021 ◽  
Vol 13 (7) ◽  
pp. 1113
Author(s):  
Ahmed El-Sayed Ahmed ◽  
Amnah E. Shammaky
Keyword(s):  
Specific Growth ◽  
Function Spaces ◽  
Entire Solutions ◽  
Linear Type ◽  
Weighted Function ◽  
Weighted Function Spaces ◽  
Type Classes ◽  
Type Differential Equation ◽  
Linear Differential ◽  
Weighted Type

Some weighted-type classes of holomorphic function spaces were introduced in the current study. Moreover, as an application of the new defined classes, the specific growth of certain entire-solutions of a linear-type differential equation by the use of concerned coefficients of certain analytic-type functions, that is the equation h(k)+Kk−1(υ)h(k−1)+…+K1(υ)h′+K0(υ)h=0, will be discussed in this current research, whereas the considered coefficients K0(υ),…,Kk−1(υ) are holomorphic in the disc ΓR={υ∈C:|υ|<R},0<R≤∞. In addition, some non-trivial specific examples are illustrated to clear the roles of the obtained results with some sharpness sense. Hence, the obtained results are strengthen to some previous interesting results from the literature.

A system of constructor classes: overloading and implicit higher-order polymorphism

1995 ◽  
Vol 5 (1) ◽  
pp. 1-35 ◽  
Author(s):  
Mark P. Jones
Keyword(s):  
Type System ◽  
Type Systems ◽  
Natural Generalization ◽  
Higher Order ◽  
Functional Language ◽  
Effective Algorithm ◽  
Prototype Implementation ◽  
Type Classes

AbstractThis paper describes a flexible type system that combines overloading and higher-order polymorphism in an implicitly typed language using a system of constructor classes—a natural generalization of type classes in Haskell. We present a range of examples to demonstrate the usefulness of such a system. In particular, we show how constructor classes can be used to support the use of monads in a functional language. The underlying type system permits higher-order polymorphism but retains many of the attractive features that have made Hindley/Milner type systems so popular. In particular, there is an effective algorithm that can be used to calculate principal types without the need for explicit type or kind annotations. A prototype implementation has been developed providing, amongst other things, the first concrete implementation of monad comprehensions known to us at the time of writing.

Vertical Chern Type Classes on Complex Finsler Bundles

2011 ◽  
Vol 57 (2) ◽  
pp. 377-386
Author(s):  
Cristian Ida
Keyword(s):  
Differential Forms ◽  
Linear Connection ◽  
Curvature Form ◽  
Cohomology Groups ◽  
Finsler Manifolds ◽  
Invariance Properties ◽  
Type Classes

Vertical Chern Type Classes on Complex Finsler BundlesIn the present paper, we define vertical Chern type classes on complex Finsler bundles, as an extension of thev-cohomology groups theory on complex Finsler manifolds. These classes are introduced in a classical way by using closed differential forms with respect to the conjugated vertical differential in terms of the vertical curvature form of Chern-Finsler linear connection. Also, some invariance properties of these classes are studied.

Sobolev-type classes of functions with values in a metric space

1997 ◽  
Vol 38 (3) ◽  
pp. 567-583 ◽  
Author(s):  
Yu. G. Reshetnyak
Keyword(s):  
Metric Space ◽  
Sobolev Type ◽  
Type Classes

scholarly journals Area Nevanlinna Type Classes of Analytic Functions in the Unit Disk and Related Spaces

2018 ◽  
Vol 26 (1) ◽  
pp. 47-76
Author(s):  
Romi Shamoyan ◽  
Seraphim Maksakov
Keyword(s):  
Unit Disk ◽  
Analytic Functions ◽  
Zero Sets ◽  
Recent Advances ◽  
Type Classes ◽  
Spaces Of Analytic Functions

Abstract The survey collects many recent advances on area Nevanlinna type classes and related spaces of analytic functions in the unit disk concern- ing zero sets and factorization representations of these classes and discusses approaches, used in proofs of these results.

Sign in / Sign up

Export Citation Format

Share Document