- Haskell-Cafe - Haskell.org

[CFP]Agile and Functional Data Pipelines workshop
by mgajda＠mimuw.edu.pl 20 Dec '20

20 Dec '20

Dear Friends, The emerging interest in the rigorous and agile data science and functional ETL pipelines has driven the developments of many new libraries, frameworks and methodologies. We invite industry practitioners and academics to present their latest work on agile functional data pipelines as a workshop at the EDI'2021 conference. Call for papers =============== The following would be accepted: - Exposures of methodologies for building agile functional data pipelines - Presentations of frameworks used for data pipelines in industry and academia - Experience reports from building of data pipelines in industry and academia - Benchmarks and optimization of agile data pipeline frameworks - Solutions to data integration and exchange problems within ETL pipelines. In particular, we encourage: - Agile functional data methodologists - Authors of ETL frameworks, streaming libraries and databases, reactive streaming, streaming benchmarks, high-performance workflow engines - Position papers on the use of agile and functional data methodologies - Descriptions of environments for interactive and live programming with data - Benchmarks of state-of-the-art solutions for agile functional data pipelines. Details at https://afdp.github.io Important dates =============== Abstract registration deadline : December 27th, 2020 (extended) Submission deadline : January 3rd, 2020 (extended) Acceptance notification : January 12th 2021 Final manuscripts : January 23rd, 2021 Presentation at the conference : March 23rd-26th 2021 Submission instructions ======================= Original, unpublished papers are solicited for presentation at the AFDP workshop. Prospective authors are invited to submit papers (electronically, PDF only) that are no longer than 6 pages for full papers, including all figures and references. For work-in-progress, we also solicit extended abstracts for presentations. The submitted paper must be formatted according to the guidelines of Procedia Computer Science. All accepted papers will be published in Procedia Computer Science. Location ======== This workshop will be held as a part of [The 4th International Conference on Emerging Data and Industry 4.0 (EDI40)](http://cs-conferences.acadiau.ca/EDI40-21/) held on March 23 - 26, 2021 in Warsaw, Poland. -- Best regards Michał

1 0

[TFPIE'21] Second Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February 2021 (with Lambda Days 2021 & TFP 2021)
by Peter Achten 18 Dec '20

18 Dec '20

----------------------------------- TFPIE 2021 2nd Call for papers ----------------------------------- https://wiki.tfpie.science.ru.nl/TFPIE2021#TFPIE_2021 (February 16 2021, co-organized with TFP 2021 and Lambda Days 2021) Because of the covid pandemic, the events are online this year. The goal of the International Workshops on Trends in Functional Programming in Education is to gather researchers, professors, teachers, and all professionals that use or are interested in the use of functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and work in progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. TFPIE 2021 welcomes submissions in the above mentioned areas. This year many teaching programmes have had to make a rapid transition to online teaching, and we explicitly solicit papers that explore this area of teaching functional programming. Topics of interest include, but are not limited to: - FP and beginning CS students - FP and Computational Thinking - FP and Artificial Intelligence - FP in Robotics - FP and Music - Advanced FP for undergraduates - FP in graduate education - Engaging students in research using FP - FP in Programming Languages - FP in the high school curriculum - FP as a stepping stone to other CS topics - FP and Philosophy - The pedagogy of teaching FP - FP and e-learning: MOOCs, automated assessment etc. - Best Lectures - more details below In addition to papers, we are requesting best lecture presentations. What's your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees. The length of the presentation should be comparable to that of a paper. On top of the lecture itself, the presentation can also provide commentary on the lecture. Submissions Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via easychair at the following link: https://easychair.org/conferences/?conf=tfpie2021 After the workshop, presenters are invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC. Dates - Submission deadline: January 11 2021, Anywhere on Earth. - Notification: January 15 2021 - Workshop: February 16 2021 - Submission for formal review: April 20 2021, Anywhere on Earth. - Notification of full article: June 7 2021 - Camera ready: July 1st 2021 Program Committee - Peter Achten, Radboud University, Netherlands (chair) - Edwin Brady, University of St Andrews, UK - Laura Castro, Universidade da Coruña, Spain - Stephen Chang, University of Massachusetts Boston, USA - Youyou Cong, Tokyo Institute of Technology, Japan - Matthew Flatt, University of Utah, USA - Seth Fogarty, Trinity University, USA - Alex Gerdes, University of Gothenburg, Sweden - Gabriele Keller, Utrecht University, Netherlands - Prabhakar Ragde, University of Waterloo, Canada - Melinda Tóth, Eötvös Loránd University, Budapest, Hungary Registration TFPIE is part of Lambda Days. Please visit the Lambda Days 2021 pages when registration information becomes available. Only papers that have been presented at TFPIE may be submitted to the post-reviewing process. Information on Lambda Days is available at https://www.lambdadays.org/lambdadays2021 Information on TFP is available at http://tfp2021.org

1 0

Re: [Haskell-cafe] Intermediate Modern Haskell
by Johannes Waldmann 18 Dec '20

18 Dec '20

Hi, when I was in a similar situation two years ago (an advanced course, after something basic) I had this list of topics https://imweb.imn.htwk-leipzig.de/~waldmann/edu/modul/seminar/fkps/ This was not a lecture but "Seminar", meaning that students give talks. Not all topics were actually presented - depending on number, and preferences, of participants. Meanwhile, I would probably add something on Foldable (cf. Section 7 of https://arxiv.org/abs/1808.08329) and I do plan to use https://thinkingwithtypes.com/ next time. Best regards, Johannes. PS: overview of my basic course: https://imweb.imn.htwk-leipzig.de/~waldmann/talk/17/wflp/ with that regard - on your list of topics: "Basic: ... algebraic data types" - comes last - good heavens! For me, it's first. See also Joachim's CIS 194. "likely cover: ... recursion schemes" - by all means do! Second lecture of basic course! Full marks for Brent's version of CIS194 https://www.cis.upenn.edu/~cis194/spring13/lectures.html

2 1

PhD studentships in Robotics (Edinburgh Center for Robotics)
by Ekaterina Komendantskaya 17 Dec '20

17 Dec '20

Dear colleagues, Edinburgh Center for Robotics has published a fresh call for PhD scholarship applications. There will be space for verification and programming language research: see item 3: *" explainable AI, certification, verification, safety, security, multi-agent interactions;"* It is an ideal opportunity for PhD students who wish to apply their knowledge in Programming Languages and Verification to the growing field of Robotics and Autonomous systems research. See below the official advert and contact me directly if you need more information. *************************************** The Edinburgh Centre of Robotics is offering exciting PhD Studentships <https://www.edinburgh-robotics.org/projects-list> for September 2021 through the EPSRC Centre for Doctoral Training in Robotics and Autonomous Systems (CDT-RAS). A limited number of industry PhD placements may also be available and information about these opportunities is posted here <https://www.edinburgh-robotics.org/industry-studentships>. *Closing date 29**th** January 2021* Heriot-Watt University and the University of Edinburgh are jointly offering an exciting opportunity to study a PhD through an innovative 4-year PhD training programme, drawing on our extensive experience with postgraduate teaching and research supervision in the area of Robotics and Autonomous Systems. The Centre's goal is to train innovation-ready robotics researchers to be part of a multi-disciplinary team, focusing on *Safe Interaction for Robotics.* PhD candidates specialise in one of the following four areas, whilst gaining a deep understanding of technical aspects and theoretical foundations: 1. *Physical Interactions**: *control, actuation, compliance, sensing, mapping, planning, embodiments, swarms; 2. *People Interactions*: human-robot interaction, affective robotics, smart spaces, human-robot teaming, collaborative decision-making, cobots, multimodal interfaces; 3. *Self-Interactions*: condition monitoring, prognosis, explainable AI, certification, verification, safety, security, multi-agent interactions; 4. *Interaction Enablers*: vision, embedded and parallel computing, novel and soft fabrication methods, optimisation, (transparent) machine learning, deep reinforcement learning and other AI techniques inc. natural language processing (NLP). Achieving impact with robotics also requires non-technical skills, for example an understanding of technology translation, creativity and entrepreneurial processes. These are an essential component of the CDT programme, captured in the #Cauldron <https://www.edinburgh-robotics.org/content/cauldron> training programme. Why join us? · Flexible programme structure allows students to tailor courses to match research area of interest in year one, ensuring students have a strong general grounding in responsible research, current theory, methods and applications as a solid foundation for their PhD research. · Cohort approach with activities including group projects and away days encourages peer support and cross fertilisation of ideas. · Opportunity for international placement in prestigious research laboratory in year three. · Bespoke #Cauldron training programme to provide non-technical skills such as understanding of technology translation, creativity, and entrepreneurial processes. · Gateway seminars with prestigious speakers. · Fund to seed innovation. · Fully funded posts available paying stipend and Home fees, limited posts for overseas students More information on PhD placements and how to apply: www.edinburgh-robotics.org/apply *************** Prof. Ekaterina Komendantskaya Department of Computer Science School of Mathematical and Computer Sciences Earl Mountbatten Building [ building 21, office G26 ] Heriot-Watt University Edinburgh, UK, EH14 4AS +44 (0)131 451 8283 http://www.macs.hw.ac.uk/~ek19/ http://www.laiv.ac.uk

1 0

Compilers written in Haskell that generate assembly
by Vanessa McHale 17 Dec '20

17 Dec '20

Hi all, Have any of you written compilers or backends that generate assembly? Lots of projects seem to "end" at LLVM. I have a project (https://hackage.haskell.org/package/kempe) where I used something like maximal munch and a linear register allocator, but I was wondering if there was anything more sophisticated out there! So far I've found http://hackage.haskell.org/package/linearscan-hoopl also Cheers, Vanessa McHale

6 6

Question on optimization
by Todd Wilson 17 Dec '20

17 Dec '20

Dear Cafe, In code of the form case as ++ bs of [] -> ... x:xs -> ... under what circumstances is the overhead of cons-cell creation for the elements of `as` that would happen in an eager language avoided? Always? Is the answer the same if `f` is defined by simple list recursion and we call `f (as ++ bs)`? What if `f` is defined in a different module (or comes from the Prelude)? I know that questions of this type can be answered in specific cases by looking at the (intermediate) code generated by the compiler, but more generally, are there some succinct principles that everyday programmers can hang on their cubicle walls that summarize a lot of what they can expect from the compiler in terms of optimizations? Todd Wilson

2 4

"Natural" polymorphism for n*(n+1)/2
by M Douglas McIlroy 17 Dec '20

17 Dec '20

Some nominally rational functions, e.g n*(n+1)/2, yield integer values for integer arguments. I seek either a way to wrap such a function so it has type Num a => a->a or a convincing argument that it can't be done. Doug

7 15

Teaching High-School one-semester FP (using Haskell)
by Zachi Baharav 17 Dec '20

17 Dec '20

Dear mighty Haskell list, I am a high-school teacher in the US (California, Palo Alto). We have an advanced CS course that students can take after completing the AP-CS-A (in Java). This is usually Juniors and Seniors, after at least 2 or 3 courses of coding (Python+Java). Traditionally, I've done a potpourri of subjects, mostly search algorithms as applied to 'games'. Of course a little bit of data-structure comes in, and each year we did some 'other' interesting subject (like halftoning, barcodes, and so on) and investigated and implemented algorithms there. THIS year, for the second half, I would like us to do Functional-Programming. From what I have seen, my students over the years tend to write more and more convoluted codes, electing first to search on stackOverFlow for some similar pattern, rather than think and find a concise and clean solution. I think FP would supply them with a new way of thinking, which will help with whatever they will write later on. I've been coding with Haskell for about 7 years, so feel ok leading the class. The question: I have many books on Haskell (i think 'all', but who knows. Haskell, Real world Haskell, Learn you a haskell for great good, programming in haskell, and many more). ---> I am looking for something more hands-on and 'fun' for HS students. may i say the buzzword 'project based', or maybe better 'problem based' for our case. Something that I could teach a little, and then we can solve a bunch of problems, and teach a little more, and so on. It doesn't have to be a Book!! Just an outline of a course someone did with associated bunch of problems would be awesome. We have 18 weeks in a semester. My thought right now (if I don't find anything) is to relyon Euler project early problems. These are often clean and simple in Haskell. Or otherwise some CSES problems (which we've done in Java). Ok, long enough email. If you have material and can share here, great! If you have material and want to reach out privately, please do ( zbaharav(a)kehillah.org) If you have a good pointer, that would be appreciated. Thanks in advance for any help! Zachi (Dr. Zachi Baharav, HS teacher (after 20 years in Industry and academia))

11 14

Psa : perhaps time for maintainers to start migrating off Travis ci
by Carter Schonwald 16 Dec '20

16 Dec '20

Hey everyone: it looks like, from my perspective and experiences, that Travis ci should perhaps now be viewed as not open source friendly. Or even converging on hostile? 1) crazy long queue times/ latency for oss ci actions to run 2) very low concurrency on oss builds. 3) very low build build minute caps for oss that require high touch customer support contact to adjust. I’ve started moving my own projects slowly to gh actions for now, though there’s also gitlab ci , src hut and other options that may suit different folks. There’s definitely some ways to keep on having the clever cabal caching we know and love that folks like the Haskell-ci folks and others have hacked out for Travis be available on other platforms, though I don’t think there’s consolidated docs for those yet ? Def seen it discussed though. https://github.com/haskell-CI/haskell-ci/issues/411 Heres a url to my dupe ticket where I share an example naive use of the setup Haskell gh actions Config, definitely not perfect. But kinda amazing to have Mac and Linux and windows ci all in one ! :)

7 14

error: ghcide must be compiled with same GHC version as the project
by Dennis Raddle 15 Dec '20

15 Dec '20

I'm trying to use the Haskell extension with VS Code which, is my understanding, uses ghcide. When I built ghcide, I had the resolver in the stack.yaml set to "nightly-2020-09-02". Associated with this is GHC 8.10.2. When I first created my project I had the resolver set to something like lts-14.20. Associated with this is GHC something like 8.6.5. Later I changed my project resolver to nightly-2020-09-02, same as ghcide. But I'm still getting this error. Perhaps I haven't properly rebuilt my project using the new resolver? Dennis

1 0