Implementing a functional spreadsheet in clean

1995 ◽  
Vol 5 (3) ◽  
pp. 383-414 ◽  
Author(s):  
Walter A. C. A. J De Hoon ◽  
Luc M. W. J Rutten ◽  
Marko C. J. D van Eekelen
Keyword(s):  
Code Generation ◽  
Industrial Applications ◽  
Higher Order ◽  
Functional Language ◽  
Interesting Aspect ◽  
Input Output ◽  
Lessons Learnt ◽  
Order Language ◽  
Recent Developments ◽  
Interesting Candidate

AbstractIt has been claimed that recent developments in the research on the efficiency of code generation and on graphical input/output interfacing have made it possible to use a functional language to write efficient programs that can compete with industrial applications written in a traditional imperative language. As one of the early steps in verifying this claim, this paper describes a first attempt to implement a spreadsheet in a lazy, purely functional language. An interesting aspect of the design is that the language with which the user specifies the relations between the cells of the spreadsheet is itself a lazy, purely functional and higher order language as well, and not some special dedicated spreadsheet language. Another interesting aspect of the design is that the spreadsheet incorporates symbolic reduction and normalisation of symbolic expressions (including equations). This introduces the possibility of asking the system to prove equality of symbolic cell expressions: a property which can greatly enhance the reliability of a particular user-defined spreadsheet. The resulting application is by no means a fully mature product. It is not intended as a competitor to commercially available spreadsheets. However, with its higher order lazy functional language and its symbolic capabilities it may serve as an interesting candidate to fill the gap between calculators with purely functional expressions and full-featured spreadsheets with dedicated non-functional spreadsheet languages. This paper describes the global design and important implementation issues in the development of the application. The experience gained and lessons learnt during this project are discussed. Performance and use of the resulting application are compared with related work.

$\mathcal{HDC}$: A HIGHER-ORDER LANGUAGE FOR DIVIDE-AND-CONQUER

2000 ◽  
Vol 10 (02n03) ◽  
pp. 239-250 ◽  
Author(s):  
CHRISTOPH A. HERRMANN ◽  
CHRISTIAN LENGAUER
Keyword(s):  
Parallel Programming ◽  
Parallel Implementation ◽  
Higher Order ◽  
Divide And Conquer ◽  
Functional Language ◽  
Polynomial Multiplication ◽  
Functional Program ◽  
Design Decisions ◽  
Order Language

We propose the higher-order functional style for the parallel programming of algorithms. The functional language [Formula: see text], a subset of the language Haskell, facilitates the clean integration of skeletons into a functional program. Skeletons are predefined programming schemata with an efficient parallel implementation. We report on our compiler, which translates [Formula: see text] programs into C+MPI, especially on the design decisions we made. Two small examples, the n queens problem and Karatsuba's polynomial multiplication, are presented to demonstrate the programming comfort and the speedup one can obtain.

scholarly journals A Review on LDH-Smart Functionalization of Anodic Films of Mg Alloys

Nanomaterials ◽  
2021 ◽  
Vol 11 (2) ◽  
pp. 536
Author(s):  
Mosab Kaseem ◽  
Karna Ramachandraiah ◽  
Shakhawat Hossain ◽  
Burak Dikici
Keyword(s):  
Industrial Applications ◽  
Mg Alloys ◽  
Anodic Films ◽  
Electrolytic Oxidation ◽  
Recent Developments ◽  
Plasma Electrolytic ◽  
Co Precipitation ◽  
Corrosive Environments ◽  
Double Hydroxide

This review presents an overview of the recent developments in the synthesis of layered double hydroxide (LDH) on the anodized films of Mg alloys prepared by either conventional anodizing or plasma electrolytic oxidation (PEO) and the applications of the formed composite ceramics as smart chloride traps in corrosive environments. In this work, the main fabrication approaches including co-precipitation, in situ hydrothermal, and an anion exchange reaction are outlined. The unique structure of LDH nanocontainers enables them to intercalate several corrosion inhibitors and release them when required under the action of corrosion-relevant triggers. The influences of different variables, such as type of cations, the concentration of salts, pH, and temperature, immersion time during the formation of LDH/anodic film composites, on the electrochemical response are also highlighted. The correlation between the dissolution rate of PEO coating and the growth rate of the LDH film was discussed. The challenges and future development strategies of LDH/anodic films are also highlighted in terms of industrial applications of these materials.

Higher Order Language: Risk, Promotive, and Risk-Based Protective Associations with Youth Offending

2021 ◽  
pp. 001112872110077
Author(s):  
Stavroola A. S. Anderson ◽  
David J. Hawes ◽  
Pamela C. Snow
Keyword(s):  
Oral Language ◽  
Figurative Language ◽  
Protective Factor ◽  
Language Skills ◽  
Theoretical Models ◽  
Higher Order ◽  
Protective Effects ◽  
Youth Offenders ◽  
Order Language ◽  
Nonverbal Skills

Research has implicated oral language deficits as risk factors for antisocial behavior. The aim of this study was to investigate the relationship between higher order language skills and youth offending through a risk, promotive and risk-based protective factor paradigm. In a sample of adolescent males ( n = 130; 13 to 20 years; 62% youth offenders) skills in understanding ambiguity, making inferences, and understanding figurative language were demonstrated to have risk and promotive effects in association with youth offending. Figurative language also met criteria for having risk-based protective effects for youth at high offending risk due to poor nonverbal skills. Conceptualization of higher order language skills through this paradigm promotes a broader frame of reference for considering theoretical models and practical interventions.

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.

A Comprehensive Survey on Interoperability for IIoT: Taxonomy, Standards, and Future Directions

2023 ◽  
Vol 55 (1) ◽  
pp. 1-35
Author(s):  
Abhishek Hazra ◽  
Mainak Adhikari ◽  
Tarachand Amgoth ◽  
Satish Narayana Srirama
Keyword(s):  
Industrial Revolution ◽  
Industrial Applications ◽  
Future Research ◽  
The Internet ◽  
Large Numbers ◽  
Industrial Iot ◽  
Recent Developments ◽  
Comprehensive Survey ◽  
Real Time Information ◽  
The Internet Of Things

In the era of Industry 4.0, the Internet-of-Things (IoT) performs the driving position analogous to the initial industrial metamorphosis. IoT affords the potential to couple machine-to-machine intercommunication and real-time information-gathering within the industry domain. Hence, the enactment of IoT in the industry magnifies effective optimization, authority, and data-driven judgment. However, this field undergoes several interoperable issues, including large numbers of heterogeneous IoT gadgets, tools, software, sensing, and processing components, joining through the Internet, despite the deficiency of communication protocols and standards. Recently, various interoperable protocols, platforms, standards, and technologies are enhanced and altered according to the specifications of the applicability in industrial applications. However, there are no recent survey papers that primarily examine various interoperability issues that Industrial IoT (IIoT) faces. In this review, we investigate the conventional and recent developments of relevant state-of-the-art IIoT technologies, frameworks, and solutions for facilitating interoperability between different IIoT components. We also discuss several interoperable IIoT standards, protocols, and models for digitizing the industrial revolution. Finally, we conclude this survey with an inherent discussion of open challenges and directions for future research.

Learning in the Digital Age with Meaning Equivalence Reusable Learning Objects (MERLO)

2016 ◽  
pp. 310-333 ◽  
Author(s):  
Masha Etkind ◽  
Ron S. Kenett ◽  
Uri Shafrir
Keyword(s):  
Common Good ◽  
Evolutionary Dynamics ◽  
Higher Order Thinking ◽  
Learning Objects ◽  
Higher Order ◽  
Attentional Processing ◽  
Reusable Learning Objects ◽  
Information Research ◽  
Recent Developments ◽  
Meaning Equivalence

In this chapter we describe a novel pedagogy for conceptual thinking and peer cooperation with Meaning Equivalence Reusable Learning Objects (MERLO) that enhances higher-order thinking; deepen comprehension of conceptual content; and improves learning outcomes. The evolution of this instructional methodology follows insights from four recent developments: analysis of patterns of content and structure of labeled patterns in human experience, that led to the emergence of concept science; development of digital cyber-infrastructure of networked information; research in neuroscience and brain imaging, showing that exposure of learners to multi-semiotic inductive problems enhance cognitive control of inter-hemispheric attentional processing in the lateral brain, and increase higher-order thinking; research in evolutionary dynamics on peer cooperation and indirect reciprocity, that document the motivational effect of knowledge of being observed, a psychological imperative that motivate individuals to cooperate and to contribute to the common good.

scholarly journals Recent advances in synthetic biosafety

F1000Research ◽  
2016 ◽  
Vol 5 ◽  
pp. 2118 ◽  
Author(s):  
Anna J. Simon ◽  
Andrew D. Ellington
Keyword(s):  
Biomedical Applications ◽  
Environmental Pollutants ◽  
Industrial Applications ◽  
Environmentally Benign ◽  
Industrial Chemicals ◽  
Recent Advances ◽  
Modern Development ◽  
Benign Synthesis ◽  
Recent Developments ◽  
Synthetic Organisms

Synthetically engineered organisms hold promise for a broad range of medical, environmental, and industrial applications. Organisms can potentially be designed, for example, for the inexpensive and environmentally benign synthesis of pharmaceuticals and industrial chemicals, for the cleanup of environmental pollutants, and potentially even for biomedical applications such as the targeting of specific diseases or tissues. However, the use of synthetically engineered organisms comes with several reasonable safety concerns, one of which is that the organisms or their genes could escape their intended habitats and cause environmental disruption. Here we review key recent developments in this emerging field of synthetic biocontainment and discuss further developments that might be necessary for the widespread use of synthetic organisms. Specifically, we discuss the history and modern development of three strategies for the containment of synthetic microbes: addiction to an exogenously supplied ligand; self-killing outside of a designated environment; and self-destroying encoded DNA circuitry outside of a designated environment.

Sign in / Sign up

Export Citation Format

Share Document