ChR: Dynamic Functional Constraints Checking in R

• Autorzy: Grzanek K.

Identyfikatory

DOI

10.1515/jacsm-2017-0004

• Języki publikacji: EN

Abstrakty

EN

Dynamic typing of R programming language may issue some quality problems in large scale data-science and machine-learning projects for which the language is used. Following our efforts on providing gradual typing library for Clojure we come with a package chR - a library that offers functionality of run-time type-related checks in R. The solution is not only a dynamic type checker, it also helps to systematize thinking about types in the language, at the same time offering high expressivenes and full adherence to functional programming style.

Słowa kluczowe

EN

formal software verification; software quality; dynamic type-checking; functional programming; category theory; R

• Wydawca: Społeczna Akademia Nauk w Łodzi
• Czasopismo: Journal of Applied Computer Science Methods
• Rocznik: 2017
• Tom: Vol. 9 No. 1
• Strony: 65--78
• Opis fizyczny: Bibliogr. 13 poz.

Twórcy

autor

Grzanek K.

• IT Institute, University of Social Sciences 9 Sienkiewicza St., 90-113 Lodz, Poland

Bibliografia

• 1. Pierce B.C., 2002, Types and Programming Languages, 1st Edition, MIT Press, ISBN-10: 0262162091, ISBN-13: 978-0262162098
• 2. Pierce B.C., 2004, Advanced Topics in Types and Programming Languages, MIT Press, ISBN-10: 0262162288, ISBN-13: 978-0262162289
• 3. Awodey S., 2010, Category Theory, Second Edition, Oxford University Press
• 4. Bird R., Wadler R., 1988, Introduction to Functional Programming. Series in Computer Science (Editor: C.A.R. Hoare), Prentice Hall International (UK) Ltd
• 5. R Core Team, 2017, R: A language and environment for statistical computing, R Foundation for Statistical Computing, Vienna, Austria, https://www.R-project.org/
• 6. Henry L., Wickham H., 2017, purrr: Functional Programming Tools, R package version 0.2.4, https://CRAN.R-project.org/package=purrr
• 7. Wickham H., 2017, assertthat: Easy Pre and Post Assertions, R package version 0.2.0, https://CRAN.R-project.org/package=assertthat
• 8. Emerick Ch., Carper B., Grand Ch., 2012, Clojure Programming, O’Reilly Media Inc., ISBN: 978-1-449-39470-7
• 9. Fogus M., Houser Ch., 2014, The Joy of Clojure, Manning Publications; 2 edition, ISBN-10: 1617291412, ISBN-13: 978-1617291418
• 10. Grzanek K., 2017, chR Github Repository, https://github.com/kongra/chR
• 11. Grzanek K., 2016, Low-Cost Dynamic Constraint Checking for the JVM, Journal of Applied Computer Science Methods, 8(2), pp. 115-136, doi:10.1515/jacsm-2016- 0008
• 12. Grzanek K., 2017, ch GitHub Repository, https://github.com/kongra/ch
• 13. Grzanek K., 2017, ch Clojars Page, https://clojars.org/kongra/ch