Temat: monads - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Monadic Tree Print
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/972906.pdf
Data publikacji:: 2014
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: functional programming
monads
Haskell
Opis:: Directed acyclic graphs and trees in particular belong to the most extensively used data structures. Visualizing them properly is a key to a success when developing complex algorithms that make use of them. Textual visualizations a la UNIX tree command is essential when the urge is to deal with large trees. Our aim was to design a library that would exploit this approach and to make an implementation of it for a purely functional programming language. The library uses monads to print directly into an output stream or to generate immutable Strings. This paper gives a detailed overview of the solution.
Źródło:: Journal of Applied Computer Science Methods; 2014, 6 No. 2; 147-157
1689-9636
Pojawia się w:: Journal of Applied Computer Science Methods
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Czy monady mają części? Witkiewicz i jego krytyka mereologii jako ontologii
Have Monads Any Parts? Witkiewicz on Mereology as Ontology
Autorzy:: Szachniewicz, Artur
Powiązania:: https://bibliotekanauki.pl/articles/1621979.pdf
Data publikacji:: 2017
Wydawca:: Uniwersytet Szczeciński. Wydawnictwo Naukowe Uniwersytetu Szczecińskiego
Tematy:: Witkiewicz
Leśniewski
mereology
monads
ontology
Opis:: This paper reconstructs Stanisław Ignacy Witkiewicz’s understanding of logic, accentuating the differences in his evaluation of logic and systems of ‘logistics’. Leśniewski’s theory of collective sets (mereology) exemplifies logistics as understood by Witkiewicz. I present an outline of Leśniewski’s nominalism, which entails a belief in a non-abstract nature of sets. I focus on these features of mereology that could have led Witkiewicz to interpreting it as an ontological system. Witkacy (Witkiewicz’s penname) was skeptical of the usefulness of formal systems (or logistics), and of mereology in particular, for the purposes of designing a unified ontological system describing essential properties of objects (the world). According to Witkiewicz, such formal systems assumed the role of ontology but severely lacked in philosophical justification. I argue that regardless of his nominalism and corporeal conception of individuals, mereology cannot be considered a formal theory of Witkiewicz’s monads.
Źródło:: Analiza i Egzystencja; 2017, 37; 79-99
1734-9923
2300-7621
Pojawia się w:: Analiza i Egzystencja
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Monadic Printing Revisited
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/108664.pdf
Data publikacji:: 2016
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: functional programming
monads
Haskell
polymorphism
Opis:: Expressive and clear implementation of monadic printing requires an amount of work to define and design proper abstractions to rely upon when performing the actual programming works. Our previous realization of tree printing library left us with a sense of lack with respect to these considerations. This is why we decided to re-design and re-implement the library with core algorithms based upon new, effective and expressive text printing and concatenation routines. This paper presents the results of our work.
Źródło:: Journal of Applied Computer Science Methods; 2016, 8 No. 1; 66-79
1689-9636
Pojawia się w:: Journal of Applied Computer Science Methods
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "monads" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język