September 2019 - Haskell

Call for Conference Grant Applications (Inclusiveness Target Countries)
by Ambrus Kaposi 05 Nov '19

05 Nov '19

Call for Conference Grant Applications The European research network on types for programming and verification (EUTypes COST Action, https://eutypes.cs.ru.nl) supports attendance of young researchers presenting work on type theory at international conferences via travel grants. The rules are described here: https://eutypes.cs.ru.nl/ConfGrants The main points are: * Only researchers from ITCs participating in the action are eligible. As of September 2017, the ITCs involved in EUTypes are: Bosnia and Herzegovina, Czechia, Estonia, Hungary, Lithuania, Macedonia, Poland, Portugal, Romania, Serbia, Slovenia. * Only PhD students and Early Career Investigators (researchers whose PhD degree is at most 8 years old) are eligible. * The grantee must give a talk or present a poster on the topic of type theory. Applications have to be submitted through the e-COST system: https://e-services.cost.eu/conferencegrant Please inform researchers in your country who might be interested. Many thanks, Ambrus Kaposi EUTypes conference grant coordinator

1 6

CFP - The 4th International Workshop on Agent-based Modeling and Applications with SARL (SARL-20)
by Yazan Mualla 25 Oct '19

25 Oct '19

CALL FOR PAPERS The 4th International Workshop on Agent-based Modeling and Applications with SARL (SARL-20) ------------------------------------------------------------------------------------------- In conjunction with the 11th International Conference on Ambient Systems, Networks, and Technologies ANT 2020 and the European SarlCon 2020 April 6 - 9, 2020, Warsaw, Poland. http://www.multiagent.fr/Conferences:SARL20 ------------------------------------------------------------------------------------------- Description =========== Research on Agents and Multi-Agent Systems has matured during the last decade and many effective applications of this technology are now deployed. SARL-20 provides an international forum to present and discuss the latest scientific developments and their effective applications, to assess the impact of the approach, and to facilitate technology transfer. SARL workshop was born with the SARL agent programming language, but the scientific results presented in SARL-20 are not restricted to SARL; other languages and agent platforms may be presented. SARL aims at providing the fundamental abstractions for dealing with concurrency, distribution, interaction, decentralization, reactivity, autonomy and dynamic reconfiguration. These high-level features are now considered as the major requirements for an easy and practical implementation of modern complex software applications. We are convinced that the agent-oriented paradigm holds the keys to effectively meet these features. Considering the variety of existing approaches and meta-models in the field of agent-oriented engineering and more generally multi-agent systems, our approach remains as generic as possible and highly extensible to easily integrate new concepts and features. The goal of SARL-20 is to provide a place where the different points of view on the modeling and the simulation with agent platforms and agent programming languages may be discussed. SARL-20 will be held in Warsaw, Poland (April 6 - 9, 2020) in conjunction with the 11th International Conference on Ambient Systems, Networks, and Technologies (ANT 2020) and the European SarlCon 2020. Topics ====== The main topics of the SARL-20 workshop are (but not restricted to): * Methods and Models: * Agent based Modeling and Simulation; * Agent programming language; * Agent based Simulation; * Agent oriented analysis and design methods; * Ontologies and theories about large urban systems; * Formal models of agent-based simulation; * Organizational models. * Applications: * Traffic/Transport; * Crowds; * Smart grids and smart buildings; * Land-Use; * Energy. Important Dates =============== * Submission deadline: December 15, 2019; * Notification: January 13, 2020; * Final date for camera-ready copy: February 10, 2020; * Workshop: April 6 - 9, 2020. Submission ========== All workshop accepted papers will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series online. The submitted paper must be formatted according to the guidelines of Procedia Computer Science, Elsevier. You are invited to submit full length papers in PDF format on EasyChair (https://www.easychair.org/conferences/?conf=sarl20) not exceeding 6 pages in length, in single-column format including diagrams and references while following the Procedia Computer Science guidelines. Papers that do not follow these guidelines may be rejected without consideration of their merits. All papers will be reviewed by at least two Program Committee members on the basis of technical quality, originality, clarity, and relevance to the track topics listed above. At least one author of each paper must attend the workshop to present the paper. Workshop Chairs =============== Stéphane GALLAND (Univ. de Technologie de Belfort-Montbéliard, France) Sebastian RODRIGUEZ (RMIT, Australia) Publicity Chair ================ Yazan MUALLA (Univ. de Technologie de Belfort-Montbéliard, France).

1 2

[EDI-2020] Call for workshop proposals: 3rd International Conference on Emerging Data and Industry 4.0. Warsaw, Poland (April 6-9, 2020)
by Wim Ectors 26 Sep '19

26 Sep '19

*************************************************************************** The 3rd International Conference on Emerging Data and Industry 4.0 (EDI40) Warsaw, Poland April 6-9, 2020 *************************************************************************** Conference Website: http://cs-conferences.acadiau.ca/EDI40-20/ Workshops: http://cs-conferences.acadiau.ca/EDI40-20/#workshop Important Dates - Workshops Proposals Due: October 15, 2019 - Paper Submission Due: November 15, 2019 - Acceptance Notification: January 13, 2020 - Camera-Ready Submission: February 10, 2020 EDI40 2020 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.910), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) EDI40 2019 will be held in Warsaw, Poland. Warsaw is the capital and largest city of Poland. The metropolis stands on the Vistula River in east-central Poland and its population is officially estimated at 1.770 million residents within a greater metropolitan area of 3.1 million residents, which makes Warsaw the 8th most-populous capital city in the European Union. The city limits cover 516.9 square kilometres (199.6 sq mi), while the metropolitan area covers 6,100.43 square kilometres (2,355.39 sq mi). Warsaw is an alpha global city, a major international tourist destination, and a significant cultural, political and economic hub. Its historical Old Town was designated a UNESCO World Heritage Site. EDI40 2019 will be held in conjunction with the 11th International Conference on Ambient Systems, Networks and Technologies (ANT, http://cs-conferences.acadiau.ca/ant-20/) Conference Tracks - Benefits of Industry 4.0 - Big Data and Analytics - Cloud Computing - Cognitive Computing - Computational Intelligence - Cyber-Physical Systems (CPS) - Fog Computing and Edge Computing - Internet of Everything (IoE) - Standards for IoT Application Integration - The New Business Models in Industry 4.0 - General Track: Digitalization Startegies Committees General Chair Danny Hughes, CTO VeraSense NV, Belgium Program Chairs Jamal Bentahar, Concordia University, Canada Haroon Malik, Marshall University, USA Local Chair Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chair Stephane Galland, UTBM, France Program Advisory Committee Reda Alhajj, University of Calgary, Canada Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Mohamed Younis, University of Maryland Baltimore County, USA International Journals Chair Michael Sheng, Macquarie University, Australia Publicity Chairs Wim Ectors, Hasselt University, Belgium Faouzi Kammoun, Ecole SupÃ©rieure PrivÃ©e d'IngÃ©nierie et de Technologies, Tunis Aneta Poniszewska-MaraÅ„da, Lodz University of Technology, Poland Technical Program Committee http://cs-conferences.acadiau.ca/EDI40-20/#programCommittees International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Nik Bessis, Edge Hill University, UK David Taniar, Monash University, Australia Steering Committee Chair and Founder Elhadi Shakshuki, Acadia University, Canada Sent via Mail Merge <https://chrome.google.com/webstore/detail/mail-merge-with-attachmen/nifmcbj…>

1 0

[ABMTRANS-2020] 9th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications. Warsaw, Poland (April 6-9, 2020)
by Wim Ectors 26 Sep '19

26 Sep '19

The 11th International Conference on Ambient Systems, Networks and Technologies (ANT) Warsaw, Poland April 6-9, 2020 Conference Website: http://cs-conferences.acadiau.ca/ant-20/ Workshops: http://cs-conferences.acadiau.ca/ant-20/#workshop Tutorials: http://cs-conferences.acadiau.ca/ant-20/#tutorial Important Dates - Workshops Proposals Due: October 15, 2019 - Paper Submission Due: November 15, 2019 - Acceptance Notification: January 13, 2020 - Camera-Ready Submission: February 10, 2020 ANT 2020 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the special issues of: - Journal of Ambient Intelligence and Humanized Computing (IF: 1.910), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) ANT 2020 will be held in Warsaw, Poland. Warsaw is the capital and largest city of Poland. The metropolis stands on the Vistula River in east-central Poland and its population is officially estimated at 1.770 million residents within a greater metropolitan area of 3.1 million residents, which makes Warsaw the 8th most-populous capital city in the European Union. The city limits cover 516.9 square kilometres (199.6 sq mi), while the metropolitan area covers 6,100.43 square kilometres (2,355.39 sq mi). Warsaw is an alpha global city, a major international tourist destination, and a significant cultural, political and economic hub. Its historical Old Town was designated a UNESCO World Heritage Site. ANT 2020 will be held in conjunction with the 3rd International Conference on Emerging Data and Industry 4.0 (EDI40, http://cs-conferences.acadiau.ca/edi40-20/) Conference Tracks - Agent Systems, Intelligent Computing and Applications - Big Data and Analytics - Cloud Computing - Context-awareness and Multimodal Interfaces - Emerging Networking, Tracking and Sensing Technologies - Human Computer Interaction - Internet of Things - Mobile Networks, Protocols and Applications - Modelling and Simulation in Transportation Sciences - Multimedia and Social Computing - Service Oriented Computing for Systems & Applications - Smart, Sustainable Cities and Climate Change Management - Smart Environments and Applications - Systems Security and Privacy - Systems Software Engineering - Vehicular Networks and Applications - General Track Committees General Chairs Atta Badii, University of Reading, UK Albert Zomaya, The University of Sydney, Australia Program Chairs Hossam Hassanein, Queen's University, Canada Ansar-Ul-Haque Yasar, IMOB â€“ Hasselt University, Belgium Local Chair Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chair Stephane Galland, UTBM, France Program Vice Chairs Boulmakoul Azedine, Hassan II University, Morocco Nik Bessis, Edge Hill University, UK Kechar Bouabdellah, Oran 1 Ahmed BenBella University, Algeria Samia Bouzefrane,CEDRIC Lab Conservatoire National des Arts et MÃ©tiers, France Robertas Damasevicius, Kaunas University of Technology, Lithuania Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Salem Gharbia, University College Dublin, Ireland Jason Jaskolka, Carleton University, Canada Faouzi Kammoun, Ecole SupÃ©rieure PrivÃ©e d'IngÃ©nierie et de Technologies, Tunis Natalia Kryvinska, University of Vienna, Austria Flavio Lombardi, Roma Tre University of Rome, Italy Vuk Marojevic, Mississippi State University, USA Haroon Malik, Marshall University, USA Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France Aneta Poniszewska-MaraÅ„da, Lodz University of Technology, Poland Stefan Schulte, TU Wien, Austria Miguel Sepulcre, Miguel Hernandez University of Elche, Spain Khaled Shaaban, Qatar University, Qatar Yves Vanrompay, Hasselt University, Belgium Publicity Chairs Wim Ectors, Hasselt University, Belgium Joanna Ochelska-Mierzejewska, Lodz University of Technology, Poland Josep-Maria Salanova, CERTH, Greece International Journals Chair Michael Sheng, Macquarie University, Australia Advisory Committee Reda Alhajj, University of Calgary, Canada Sajal K. Das, The University of Texas at Arlington, USA Erol Gelenbe, Imperial College, UK Ibad Kureshi, Inlecomm Systems, Belgium Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Katia Sycara, Carnegie Mellon University, USA Peter Thomas, Manifesto Research, Australia International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Paul Davidsson, Malmo University, Sweden David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/ant-20/#programCommittees Steering Committee Chair and Founder of ANT Elhadi Shakshuki, Acadia University, Canada Sent via Mail Merge <https://chrome.google.com/webstore/detail/mail-merge-with-attachmen/nifmcbj…>

1 0

FM'19 - 2nd Call for Participation
by Renato Neves 26 Sep '19

26 Sep '19

3rd World Congress on Formal Methods Porto, October 7-11, 2019 http://formalmethods2019.inesctec.pt/ @formalmethods19 ______________________________________________________________ *** Apologies for cross-posting *** ______________________________________________________________ *** FM Week News: Tony Hoare's keynote (Oct 8) jointly organized by UTP'19, LOPSTR'19, MPC'19, PPDP'19 and RV'19 will mark the 50th anniversary (October 1969) of the publication of "An Axiomatic Basis for Computer Programming”. ______________________________________________________________ The FM'19 World Congress on Formal Methods will take place at the Alfandega do Porto Congress Center, Porto, October 7-11, 2019, under the motto "The Next 30 Years". Registration is open at https://bit.ly/2JfdBjO as follows: . Early – until Sep 10 (AoE) . Late – from Sep 11 until Oct 5 (AoE) . On site – from Oct 6 to Oct 11 (AoE) Further to the Industry day, Tool Exhibition, Doctoral Symposium (and a social event on Oct 10), FM'19 involves more than 30 parallel events (symposia, conferences, workshops and tutorials) spreading over several FM related areas: . FM 2019 – 23rd International Symposium on Formal Methods . LOPSTR 2019 – 29th International Symposium on Logic-Based Program Synthesis and Transformation . MPC 2019 – 13th International Conference on Mathematics of Program Construction . PPDP 2019 – 21st International Symposium on Principles and Practice of Declarative Programming . RV 2019 – 19th International Conference on Runtime Verification . SAS 2019 – 26th International Static Analysis Symposium . TAP 2019 – 13th International Conference on Tests and Proofs . UTP 2019 – 7th International Symposium on Unifying Theories of Programming . VECoS 2019 – 13th International Conference on Verification and Evaluation of Computer and Communication Systems . AFFORD 2019 – Practical Formal Verification for Software Dependability . DALI 2019 – 2nd Workshop on Dynamic Logic: New Trends and Applications . DataMod 2019 – 8th International Symposium “From Data to Models and Back (DataMod)” . FMAS 2019 – Formal Methods for Autonomous Systems . FMBC 2019 – Workshop on Formal Methods for Blockchains . FMIS 2019 – 8th Formal Methods for Interactive Systems Workshop . FMTea 2019 – Formal Methods Teaching Workshop and Tutorial . F-IDE 2019 – 5th Workshop on Formal Integrated Development Environment . HFM 2019 – History of Formal Methods . NSAD 2019 – 8th International Workshop on Numerical and Symbolic Abstract Domains . OpenCERT 2019 – 9th Int. Workshop on Open Community approaches to Education, Research and Technology . OVT 2019 – 17th Overture Workshop . REFINE 2019 – 19th Refinement Workshop . RPLA 2019 – Reversibility in Programming, Languages, and Automata . SASB 2019 – 10th International Workshop on Static Analysis and Systems Biology . TAPAS 2019 – 10th Workshop on Tools for Automatic Program Analysis . ALLOY – Formal software design with Alloy and Electrum (Tutorial) . CbC – The Correctness by Construction Approach to Programming (Tutorial) . FM4BioMed – Formal Methods for BioMedicine (Tutorial) . FRAMA-C-IoT – Formal Verification of IoT Software with Frama-C (Tutorial) . KEYMAERA X – Modular Formal Verification of Cyber-Physical Systems with KeYmaera X (Tutorial) . MLFV – ML + FV = ♥? A Gentle Introduction to the use of Machine Learning within Formal Verification Tools (Tutorial) . SRV – Stream-based Runtime Verification (Tutorial) As a whole, the FM'19 congress will bring together a distinguished group of 40+ world-top guest speakers whose short bios can be found at https://bit.ly/2Io2Lsh. The FM'19 organizers thank all corporations that have been so kind to sponsor the Congress – please see the 'Sponsor FM'19' gallery at https://bit.ly/2CrKnMA. For more information, please visit the following pages of the FM'19 website: . FM Week - https://bit.ly/2zsyCUu . Accepted papers - https://bit.ly/2YtIp9Y (updated as data arrive from event chairs; currently: 344 papers involving 750 authors) . Call for participation - https://bit.ly/2JfdBjO . Registration page - https://bit.ly/2NTR9SR . Venue - https://bit.ly/2MdNCMu . Accommodation - https://bit.ly/2OuHXEu . Getting to Porto - https://bit.ly/2ykguKN . Social program - https://bit.ly/2JfdBjO . Weather forecast - https://bit.ly/2SLOKZ5 (or https://bit.ly/2YjeEo3 for more details) Contact: contactfm2019(a)inesctec.pt We are also on Twitter: @formalmethods19 _____________________________________________________________ *** Welcome to FM'19 *** *** Welcome to PORTO *** *** Welcome to Portugal *** ______________________________________________________________

1 1

ANNOUNCE: mmsyn2 -- a new library instead of deprecated mm2
by olexandr543＠yahoo.com 24 Sep '19

24 Sep '19

Hello! I made mm2 deprecated because of collision with other names (see e. g.: MM2 | | | | MM2 Mm2 is a short form for square megameter, also an international unit of area. | | | ). Now its successor is named mmsyn2 (mmsyn2: The library that can be used for optimization of multiple (Ord a) => a -> b transformations | | | | mmsyn2: The library that can be used for optimization of multiple (Ord a... Install via `cabal install mmsyn2`. | | | ). I made some optimization improvements while benchmark testing, but the last one is not yet complete and ready at the moment. Therefore, I left the documentation (except some minor corrections) and work on testing. Best regards,Oleksandr Zhabenko. вівторок, 24 вересня 2019 р., 22:37:03 GMT+3, Олександр Жабенко <olexandr576(a)yahoo.com> написав: Hello! I made mm2 deprecated because of collision with other names (see e. g.: MM2 | | | | MM2 Mm2 is a short form for square megameter, also an international unit of area. | | | ). Now its successor is named mmsyn2 (mmsyn2: The library that can be used for optimization of multiple (Ord a) => a -> b transformations | | | | mmsyn2: The library that can be used for optimization of multiple (Ord a... Install via `cabal install mmsyn2`. | | | ). I made some optimization improvements while benchmark testing, but the last one is not yet complete and ready at the moment. Therefore, I left the documentation (except some minor corrections) and work on testing. Best regards,Oleksandr Zhabenko.

1 0

Re: [Haskell] ANNOUNCE: mm2: The library that can be used for optimization of multiple (Ord a) => a -> b transformations
by olexandr543＠yahoo.com 21 Sep '19

21 Sep '19

I did not check the code for 'case ... of ...' constuction in GHC, my intention comes from the explanations how this construction works in Haskell in some teaching materials.So, definitely I should do more exploratory work. Nevertheless, the type signatures and sorting is realized for rather general situation and can be therefore preferable for some situations. Best regards,Oleksandr Zhabenko. субота, 21 вересня 2019 р., 21:07:25 GMT+2, Олександр Жабенко <olexandr576(a)yahoo.com> написав: I did not check the code for 'case ... of ...' constuction in GHC, my intention comes from the explanations how this construction works in Haskell in some teaching materials.So, definitely I should do more exploratory work. Nevertheless, the type signatures and sorting is realized for rather general situation and can be therefore preferable for some situations. Best regards,Oleksandr Zhabenko. субота, 21 вересня 2019 р., 20:59:03 GMT+2, olexandr543(a)yahoo.com <olexandr543(a)yahoo.com> написав: Yes, you can use IntMap. It needs another dependency and the complexity choice as O(log (min (n, W))) where W is a number of bits in a representing key, used for mapping. For me, it is rather hard to solve whether it can be better, because it raises another problem of efficient binary representation of the keys. While working on the topic, I found out that may be the most efficient will be hashing (for lookup it can be used e. g. Cuckoo hashing) and there is a library in Haskell for it.Data.HashTable.IO Using it, you can write something like: {-# LANGUAGE ScopedTypeVariables #-} module Main where import qualified Data.HashTable.IO as I import Data.Maybe (fromJust,isJust) import System.Environment (getArgs) main :: IO () main = do args <- getArgs let a = [([z,t],x) | x <- ['a'..'d'], z <- ['f'..'t'], t <- ['a'..'p'], [x,z,t] <= "fnf"] b :: I.CuckooHashTable String Char <- I.fromList a c <- I.lookup b ("kn") let d1 u = do d <- I.lookup b u print c if isJust d then putStrLn . show . fromJust $ d else putStrLn "Nothing" return () if null args then d1 "fa" else d1 (head $ args) | | | | Data.HashTable.IO | | | so it works. And the library documentation says that a complexity of Cuckoo hash lookup is about O(1), but with hashing there are questions of ratio of fulfilling the buckets and collisions. So, my library having the very generic constraints can be used instead. Best regards,Oleksandr Zhabenko. субота, 21 вересня 2019 р., 21:52:18 GMT+3, olexandr543(a)yahoo.com <olexandr543(a)yahoo.com> написав: Yes, you can. It needs another dependency and the complexity choice as O(log (min (n, W))) where W is a number of bits in a representing key, used for mapping. For me, it is rather hard to solve whether it can be better, because it raises another problem of efficient binary representation of the keys. While working on the topic, I found out that may be the most efficient will be hashing (for lookup it can be used e. g. Cuckoo hashing) and there is a library in Haskell for it.Data.HashTable.IO Using it, you can write something like: {-# LANGUAGE ScopedTypeVariables #-} module Main where import qualified Data.HashTable.IO as I import Data.Maybe (fromJust,isJust) import System.Environment (getArgs) main :: IO () main = do args <- getArgs let a = [([z,t],x) | x <- ['a'..'d'], z <- ['f'..'t'], t <- ['a'..'p'], [x,z,t] <= "fnf"] b :: I.CuckooHashTable String Char <- I.fromList a c <- I.lookup b ("kn") let d1 u = do d <- I.lookup b u print c if isJust d then putStrLn . show . fromJust $ d else putStrLn "Nothing" return () if null args then d1 "fa" else d1 (head $ args) | | | | Data.HashTable.IO | | | so it works. And the library documentation says that a complexity of Cuckoo hash lookup is about O(1), but with hashing there are questions of ratio of fulfilling the buckets and collisions. So, my library having the very generic constraints can be used instead. Best regards,Oleksandr Zhabenko. субота, 21 вересня 2019 р., 21:34:38 GMT+3, Henning Thielemann <lemming(a)henning-thielemann.de> написав: On Sat, 21 Sep 2019, olexandr543--- via Haskell wrote: > My library that can help to optimize using 'case ... of ...' construction if there are multiple (more than at > least 5) variants. > mm2: The library that can be used for optimization of multiple (Ord a) => a -> b transformations Isn't this a problem you would solve using Data.Map?

1 0

Re: [Haskell] ANNOUNCE: mm2: The library that can be used for optimization of multiple (Ord a) => a -> b transformations
by olexandr543＠yahoo.com 21 Sep '19

21 Sep '19

Yes, you can use IntMap. It needs another dependency and the complexity choice as O(log (min (n, W))) where W is a number of bits in a representing key, used for mapping. For me, it is rather hard to solve whether it can be better, because it raises another problem of efficient binary representation of the keys. While working on the topic, I found out that may be the most efficient will be hashing (for lookup it can be used e. g. Cuckoo hashing) and there is a library in Haskell for it.Data.HashTable.IO Using it, you can write something like: {-# LANGUAGE ScopedTypeVariables #-} module Main where import qualified Data.HashTable.IO as I import Data.Maybe (fromJust,isJust) import System.Environment (getArgs) main :: IO () main = do args <- getArgs let a = [([z,t],x) | x <- ['a'..'d'], z <- ['f'..'t'], t <- ['a'..'p'], [x,z,t] <= "fnf"] b :: I.CuckooHashTable String Char <- I.fromList a c <- I.lookup b ("kn") let d1 u = do d <- I.lookup b u print c if isJust d then putStrLn . show . fromJust $ d else putStrLn "Nothing" return () if null args then d1 "fa" else d1 (head $ args) | | | | Data.HashTable.IO | | | so it works. And the library documentation says that a complexity of Cuckoo hash lookup is about O(1), but with hashing there are questions of ratio of fulfilling the buckets and collisions. So, my library having the very generic constraints can be used instead. Best regards,Oleksandr Zhabenko. субота, 21 вересня 2019 р., 21:52:18 GMT+3, olexandr543(a)yahoo.com <olexandr543(a)yahoo.com> написав: Yes, you can. It needs another dependency and the complexity choice as O(log (min (n, W))) where W is a number of bits in a representing key, used for mapping. For me, it is rather hard to solve whether it can be better, because it raises another problem of efficient binary representation of the keys. While working on the topic, I found out that may be the most efficient will be hashing (for lookup it can be used e. g. Cuckoo hashing) and there is a library in Haskell for it.Data.HashTable.IO Using it, you can write something like: {-# LANGUAGE ScopedTypeVariables #-} module Main where import qualified Data.HashTable.IO as I import Data.Maybe (fromJust,isJust) import System.Environment (getArgs) main :: IO () main = do args <- getArgs let a = [([z,t],x) | x <- ['a'..'d'], z <- ['f'..'t'], t <- ['a'..'p'], [x,z,t] <= "fnf"] b :: I.CuckooHashTable String Char <- I.fromList a c <- I.lookup b ("kn") let d1 u = do d <- I.lookup b u print c if isJust d then putStrLn . show . fromJust $ d else putStrLn "Nothing" return () if null args then d1 "fa" else d1 (head $ args) | | | | Data.HashTable.IO | | | so it works. And the library documentation says that a complexity of Cuckoo hash lookup is about O(1), but with hashing there are questions of ratio of fulfilling the buckets and collisions. So, my library having the very generic constraints can be used instead. Best regards,Oleksandr Zhabenko. субота, 21 вересня 2019 р., 21:34:38 GMT+3, Henning Thielemann <lemming(a)henning-thielemann.de> написав: On Sat, 21 Sep 2019, olexandr543--- via Haskell wrote: > My library that can help to optimize using 'case ... of ...' construction if there are multiple (more than at > least 5) variants. > mm2: The library that can be used for optimization of multiple (Ord a) => a -> b transformations Isn't this a problem you would solve using Data.Map?

1 0

ANNOUNCE: mm2: The library that can be used for optimization of multiple (Ord a) => a -> b transformations
by olexandr543＠yahoo.com 21 Sep '19

21 Sep '19

Hello! My library that can help to optimize using 'case ... of ...' construction if there are multiple (more than at least 5) variants.mm2: The library that can be used for optimization of multiple (Ord a) => a -> b transformations Best regards,Oleksandr Zhabenko.

4 3

Re: [Haskell] ANNOUNCE: mm2: The library that can be used for optimization of multiple (Ord a) => a -> b transformations
by olexandr543＠yahoo.com 21 Sep '19

21 Sep '19

Hello! Matthew, no, I don't benchmark this library, it should be more sufficient theoretically because it uses binary search rather than linear, and the first one is known to be more efficient. I used the similar technique for writing code for my project mm1. There I firstly used case but then manually made optimization using case and guards and if-then-else. You can see it for different releases for mm1. The manually optimized program being added additional functionality after optimizing were a little more efficient, but it should be mentioned that most time while it is running the espeak and sox being worked, so I think it should be more efficient for such situations. | | | | | | | | | | | OleksandrZhabenko/mm1 Program that reads Ukrainian text using eSpeak and SoX. - OleksandrZhabenko/mm1 | | | I can try to do benchmarking, but it needs some time in advance. Thank you for your advice! Best regards,Oleksandr Zhabenko. субота, 21 вересня 2019 р., 21:26:35 GMT+3, Олександр Жабенко <olexandr576(a)yahoo.com> написав: Hello! Matthew, no, I don't benchmark this library, it should be more sufficient theoretically because it uses binary search rather than linear, and the first one is known to be more efficient. I used the similar technique for writing code for my project mm1. There I firstly used case but then manually made optimization using case and guards and if-then-else. You can see it for different releases for mm1. The manually optimized program being added additional functionality after optimizing were a little more efficient, but it should be mentioned that most time while it is running the espeak and sox being worked, so I think it should be more efficient for such situations. | | | | | | | | | | | OleksandrZhabenko/mm1 Program that reads Ukrainian text using eSpeak and SoX. - OleksandrZhabenko/mm1 | | | I can try to do benchmarking, but it needs some time in advance. Thank you for your advice! Best regards,Oleksandr Zhabenko. субота, 21 вересня 2019 р., 20:04:32 GMT+2, olexandr543(a)yahoo.com <olexandr543(a)yahoo.com> написав: Hello! Matthew, no, I don't benchmark this library, it should be more sufficient theoretically because it uses binary search rather than linear, and the first one is known to be more efficient. I used the similar technique for writing code for my project mm1. There I firstly used case but then manually made optimization using case and guards and if-then-else. You can see it for different releases for mm1. The manually optimized program being added additional functionality after optimizing were a little more efficient, but it should be mentioned that most time while it is running the espeak and sox being worked, so I think it should be more efficient for such situations. | | | | | | | | | | | OleksandrZhabenko/mm1 Program that reads Ukrainian text using eSpeak and SoX. - OleksandrZhabenko/mm1 | | | I can try to do benchmarking, but it needs some time in advance. Thank you for your advice! Best regards,Oleksandr Zhabenko. субота, 21 вересня 2019 р., 15:46:38 GMT+2, Matthew Pickering <matthewtpickering(a)gmail.com> написав: Have you benchmarked this library? I don't see how using a vector can be any faster than using a case. On Sat, 21 Sep 2019, 14:00 olexandr543--- via Haskell, <haskell(a)haskell.org> wrote: Hello! My library that can help to optimize using 'case ... of ...' construction if there are multiple (more than at least 5) variants.mm2: The library that can be used for optimization of multiple (Ord a) => a -> b transformations Best regards,Oleksandr Zhabenko. _______________________________________________ Haskell mailing list Haskell(a)haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

2 1