Academic Journal

Including both static and dynamic typing in the same programming language.

Bibliographic Details
Title: Including both static and dynamic typing in the same programming language.
Authors: Ortin, F., Zapico, D., Perez-Schofield, J. B. G., Garcia, M.
Source: IET Software (Institution of Engineering & Technology); Aug2010, Vol. 4 Issue 4, p268-282, 15p, 13 Diagrams, 1 Graph
Subject Terms: Websites, Computer engineering, Programming languages, Computer software development, Computer software
Abstract: Dynamic languages are becoming increasingly popular for different software development scenarios such as Web engineering, rapid prototyping or the construction of applications that require runtime adaptiveness. These languages are built on the idea of supporting reasoning about (and customising) program structure, behaviour and environment at runtime. The dynamism offered by dynamic languages is, however, counteracted by two main limitations: no early type error detection and fewer opportunities for compiler optimisations. To obtain the benefits of both dynamically and statically typed languages, the authors have designed the StaDyn programming language that provides both approaches. StaDyn keeps gathering-type information at compile time, even when dynamic variables are used. This type information is used to offer early type error detection, direct interoperation between static and dynamic codes and better runtime performance. Following the Separation of Concerns principle, it is possible to customise the trade-off between runtime flexibility of dynamic typing and safety, performance and robustness of static typing. A runtime performance assessment is presented to show an estimate of the benefits of combining dynamic and static typing in the same programming language. [ABSTRACT FROM AUTHOR]
Copyright of IET Software (Institution of Engineering & Technology) is the property of Institution of Engineering & Technology and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Complementary Index
FullText Text:
  Availability: 0
Header DbId: edb
DbLabel: Complementary Index
An: 52414175
RelevancyScore: 834
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 833.7734375
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Including both static and dynamic typing in the same programming language.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Ortin%2C+F%2E%22">Ortin, F.</searchLink><br /><searchLink fieldCode="AR" term="%22Zapico%2C+D%2E%22">Zapico, D.</searchLink><br /><searchLink fieldCode="AR" term="%22Perez-Schofield%2C+J%2E+B%2E+G%2E%22">Perez-Schofield, J. B. G.</searchLink><br /><searchLink fieldCode="AR" term="%22Garcia%2C+M%2E%22">Garcia, M.</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: IET Software (Institution of Engineering & Technology); Aug2010, Vol. 4 Issue 4, p268-282, 15p, 13 Diagrams, 1 Graph
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Websites%22">Websites</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+engineering%22">Computer engineering</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+development%22">Computer software development</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software%22">Computer software</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Dynamic languages are becoming increasingly popular for different software development scenarios such as Web engineering, rapid prototyping or the construction of applications that require runtime adaptiveness. These languages are built on the idea of supporting reasoning about (and customising) program structure, behaviour and environment at runtime. The dynamism offered by dynamic languages is, however, counteracted by two main limitations: no early type error detection and fewer opportunities for compiler optimisations. To obtain the benefits of both dynamically and statically typed languages, the authors have designed the StaDyn programming language that provides both approaches. StaDyn keeps gathering-type information at compile time, even when dynamic variables are used. This type information is used to offer early type error detection, direct interoperation between static and dynamic codes and better runtime performance. Following the Separation of Concerns principle, it is possible to customise the trade-off between runtime flexibility of dynamic typing and safety, performance and robustness of static typing. A runtime performance assessment is presented to show an estimate of the benefits of combining dynamic and static typing in the same programming language. [ABSTRACT FROM AUTHOR]
– Name: Abstract
  Label:
  Group: Ab
  Data: <i>Copyright of IET Software (Institution of Engineering & Technology) is the property of Institution of Engineering & Technology and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edb&AN=52414175
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1049/iet-sen.2009.0070
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 15
        StartPage: 268
    Subjects:
      – SubjectFull: Websites
        Type: general
      – SubjectFull: Computer engineering
        Type: general
      – SubjectFull: Programming languages
        Type: general
      – SubjectFull: Computer software development
        Type: general
      – SubjectFull: Computer software
        Type: general
    Titles:
      – TitleFull: Including both static and dynamic typing in the same programming language.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Ortin, F.
      – PersonEntity:
          Name:
            NameFull: Zapico, D.
      – PersonEntity:
          Name:
            NameFull: Perez-Schofield, J. B. G.
      – PersonEntity:
          Name:
            NameFull: Garcia, M.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 08
              Text: Aug2010
              Type: published
              Y: 2010
          Identifiers:
            – Type: issn-print
              Value: 17518806
          Numbering:
            – Type: volume
              Value: 4
            – Type: issue
              Value: 4
          Titles:
            – TitleFull: IET Software (Institution of Engineering & Technology)
              Type: main
ResultId 1