• Journal of KIISE:Software and Applications
• /
• v.37 no.5
• /
• pp.403-410
• /
• 2010

Monad in Haskell allows one to do imperative-style programming as well as pure functional programming. In this work, we characterize monadic abstraction and its programming technique by restructuring an assembly language interpreter coded in pure functional style into the one by the monadic style. Monad programming consists of two phases; the State monad is applied to a stack and a symbol table, and then a State Monad Transformer integrating these two monads is constructed. As a result, we can see that the program code by monad programming is much clearer and more intuitive than one written in the pure functional style.

• Journal of the Korea Society of Computer and Information
• /
• v.19 no.2
• /
• pp.151-159
• /
• 2014

We discuss the implementation of a compiler for an imperative programming language, using monad in Haskell. This compiler involves a recursive-descent parser conducting nondeterministic parsing, in which backtracking occurs to try with other rules when the application of a production rule fails to parse an input string. Haskell has some strong facilities for parsing. Its algebraic types represent abstract syntax trees in a smooth way, and program codes by monad parsing are so concise that they are highly readable and code size is reduced significantly, comparing with other languages. We also deal with the runtime environment of the assembler and code generation whose target is the Stack-Assembly language based on a stack machine.

• Journal of KIISE
• /
• v.44 no.8
• /
• pp.791-802
• /
• 2017

Competition in the modern CPU market has shifted from speeding up the clock speed of a single core to increasing the number of cores. As such, there is a growing interest in parallel programming to maximize the use of resources of many core processors. In this paper, we propose parallel programming models in Haskell to find an advisable parallel programming model for many-core environments. Specifically, we used Eval monad and Cloud Haskell to develop two versions of parallel programs: plagiarism detection and K-means. Then, we evaluated the performance of the developed programs in 32-core and 120-core environments. The results of our experiment show that the Eval monad is highly efficient in an environment with a small number of cores. On the other hand, the Cloud Haskell runtime shows 37% improvement over Eval monad and the scalability shows a 134% improvement over Eval monad as the number of cores increases.

• Korean Journal of Plant Resources
• /
• v.20 no.2
• /
• pp.193-200
• /
• 2007

Pollen grains of seven taxa on the family Pyrolaceae, known to be distributed in Korea (Pyrola dahurica(Andreses) Kom., P. incarnata (DC.) Fisch. ex Kom., P. japonica Klenze ex Alefeld, P. minor L., P. renifolia Max., Orthilia secunda (L.) House, Chimaphila japonica Miq.), were examined by the light and the scanning electron microscope in order to evaluate their taxonomic significances. The pollen units of genus Pyrola, Orthilia, Chimaphila were tetrad, monad, polyad respectively. This characteristics was good character for delimiting the genus, and Orthilia secunda (L.) House was more proper scientific name than Pyrola secunda L. based upon this character. Pollen size, tricolporate length, surface sculpturing pattern were different slightly among the treated taxa, and surface sculpturing patterns of Pyrola dahurica, P. incarnate, P. renifolia, Chimaphiza japonica were different from previous reports. Evolutionary trends of pollen grains in Pyrolaceae were inferred from the pollen units and aperture shapes.

• Ocean and Polar Research
• /
• v.27 no.2
• /
• pp.149-159
• /
• 2005

Samples were collected from five stations in February, May, July, and September 2004 to investigate seasonal variations in the phytoplankton community and the relationship between dominant genera and environmental factors in Asan Bay. In February, microphytoplankton contributed 80% to the total chlorophyll a. Diatom dominated the phytoplankton community, accounting for 85.9% of the total cell number, followed by dinoflagellates (6%). Dominant species were Skeletonema costatum and Thalassiosira spp. Abundant diatom, including S. costatum and Thalassiosira spp., may be affected by water temperature and silicate at Station 1 and 2 in February 2004. In May, the nanophytoplankton contribution to total phytoplankton was higher than in other seasons. However, abundance of S. costatum and Thalassiosira spp. decreased, since the growth of S. costatum and Thalassiosira spp. might be limited by phosphates (P) resulting from low P concentration and a high DIN:DIP ratio in the outer region. In July, dominant phytoplankton groups were diatom (39%), cryptophyceae (28%), and cyanophyceae (20%). Dominant genera were Oscillatoria spp. and phytoflagellate of a monad type in the inner region (Station 1 and 2), whereas S. costatum was dominant in the outer region (Station 4 and 5). In September, dominant phytoplankton were diatom (69%) and cryptophyceae (28%). Dominant genera were phytoflagellate of the monad type, S. costatum in the inner region, while Chaetoceros spp. was dominant in the outer region.

• Korean Institute of Interior Design Journal
• /
• no.34
• /
• pp.106-113
• /
• 2002

Certosa, a representative Monastic Architecture of Renaissance era, has been well preserved. And it has worked as a symbol of the space form & style revealed by monad, sell, arcade and court, which are characteristic of a monastery. A court is divided into large court and small one, and it connects each units and each sells through the annex with clarifying each space identities. And arcade and pillar is not only to derive a unitary space from entire space, but also to try openness and extension applying a different height in spite of physical closure of style. Especially planned by monad and cell, the routine space of monks, a structure of rational space is a yardstick of moderation and frugality, showing affluent space which occupy essential areas without extra space. And the space appears self-sufficiency, honest poverty, and affluence with order and eternity based on elementary principles of the Cartusio order in composition and plan of the space. Keeping strong linking with entire sells in the monastery, Each sell symbolizes entire sells, and the inverse is the same. And it is the universe advocating eternity and it is also a small city which provides the monks with accurate modules and scales in the very recluse space.

• Journal of the Korea Society of Computer and Information
• /
• v.28 no.2
• /
• pp.111-119
• /
• 2023

In this paper, we investigate the feasibility of functional programming in the Scala language. The main issue is to what extent Scala is able to handle major properties of functional programming such as lambda expression, high-order functions, generic types, algebraic data types, and monads. For this purpose, we implement an interpreter of an imperative language. In this implementation, the same functional programming techniques are applied to both Haskell and Scala languages, and then these two versions of implementations are compared and analyzed. The abstract syntax tree of an imperative language is expressed as algebraic data types with generics and enum classes in Scala, and the state transition of imperative languages is implemented by using state monad. Extension and given, new features of Scala, are used as well.

• Journal of the Korea Society of Computer and Information
• /
• v.26 no.2
• /
• pp.1-9
• /
• 2021

In this paper, we extend a generic library framework based on the state monad to exploit deterministic parallelism in a purely functional language Haskell and provide benchmarks for the extended features on a multicore machine. Although purely functional programs are known to be well-suited to exploit parallelism, unintended squential data dependencies could prohibit effective parallelism. Symbolic execution programs usually implement fresh name generation in order to prevent confusion between variables in different scope with the same name. Such implementations are often based on squential state management, working against parallelism. We provide reusable primitives to help developing parallel symbolic execution programs with unbound-genercis, a generic name-binding library for Haskell, avoiding sequential dependencies in fresh name generation. Our parallel extension does not modify the internal implementation of the unbound-generics library, having zero possibility of degrading existing serial implementations of symbolic execution based on unbound-genecrics. Therefore, our extension can be applied only to the parts of source code that need parallel speedup.

• Journal of Popular Narrative
• /
• v.25 no.4
• /
• pp.469-506
• /
• 2019

More than a few existing studies on popular narratives that pay attention to 'place' tend to adopt as their theoretical framework the celebrated distinction between space and place. According to this distinction, to put it simply, space is allegedly mobile, whereas place is static. Given this distinction, and in this age of high-mobility, where the spaces of mobilities seem to rapidly and extensively undermine the places of immobilities, would studies on popular narratives focusing on 'place' still remain convincing? Referring to David Seamon's recent book Life Takes Place: Phenomenology, Lifeworlds, and Place Making, this article aims to consider the possibility of studies on popular narratives in the era of high-mobility. To explore the concept of 'place' through phenomenological methodology, Seamon's book uses a theoretical framework called the 'progressive approximation,' which is attentive to synergistic relationality. According to this approach, the place should first be put under scrutiny as a whole, i.e. as the monad of place. Phenomenological studies on the monad of place as a whole identify places as the fundamental condition for human beings. Then, in accordance with the 'progressive' order of research, places are studied as dyads, i.e. as binary oppositions. Through these analyses, movement/rest, insideness/outsideness, the ordinary/the extra-ordinary, the within/the without, homeworld/alienworld are identified as the five dyads of place. To make a detour around these binary oppositions and confrontations, however, phenomenological studies on place now advance to the higher order of six place triads including place interaction, place identity, place release, place realization, place intensification, and place creation, whereby the study of place progressively approaches the 'approximate' essence of place. Reflectively asking himself about the idea of 'place' in the high-mobility era, the author of this informative and insightful book submits an answer that place is still the fundamental sine qua non of human beings. However, this answer is more likely to be bounded by the binary opposition of space/place, and movement/rest accordingly. In this article, I suggest as an alternative and hopefully more promising answer a perspective of transcending this kind of a dead-end dichotomy and of performing 'place-making' through the mobilities themselves, while presenting a noticeable example of the manner in which research on popular narratives could begin from this perspective.

• FLOWER RESEARCH JOURNAL
• /
• v.18 no.1
• /
• pp.62-65
• /
• 2010

This study was carried out to estimate the size and exine pattern of pollen grains in seven species of the genus Lilium by using scanning electron microscope. Exine of pollen grains, which were all monad, took the prolate forms with a pollen aperture. However, there were various L/W ratio between length (L) and width (W) of pollen grains among selected Lilium species. The pollen of L. distichum was oblong shape which had the highest L/W ratio of 2.59. On the other hand, that of L. concolor var. partheneion was broadly elliptical shape close to circle which had the lowest L/W ratio of 1.82. The surface patterns of exine were reticulate in all Lilium species that have showed diverse forms in their lumina. Pollen length and width in L. lancifolium had the greatest value, 115.90 and $46.54{\mu}m$, respectively, in comparison with those of L. tsingtauense, 70.33 and $38.72{\mu}m$, respectively. Except L. distichum and L. leichtlinii var. maximowiczii which had a similar pollen length within standard errors, the others in Lilium species showed different sizes, respectively. Therefore, these results indicated that pollen length could be a better standard for the classification of Lilium species than exine surface patterns or pollen dissection area.