[Haskell] ETAPS 2021 2nd joint call for papers

** JOINT CALL FOR PAPERS 24th European Joint Conferences on Theory and Practice of Software ETAPS 2021 Luxembourg, Luxembourg, 27 March-1 April 2021

[Haskell] PEPM 2021 - Second Call for Papers

-- CALL FOR PAPERS -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2021 === * Website : https://popl21.sigplan.org/home/pepm-2021 * Time: 18th--19th

[Haskell] Workshops Proposals - The 4th International Conference on Emerging Data and Industry 4.0 (EDI40)

The 4th International Conference on Emerging Data and Industry 4.0 (EDI40) Warsaw, Poland March 23 - 26, 2021 http://cs-conferences.acadiau.ca/EDI40-21/ Important Dates: - Workshops Proposals Due: October 1, 2020 EDI40-2021 organizing committee invites proposals for workshops. The main

[Haskell] Workshops Proposals - The 12th International Conference on Ambient Systems, Networks and Technologies (ANT-2021)

The 12th International Conference on Ambient Systems, Networks and Technologies (ANT-2021) Warsaw, Poland March 23 - 26, 2021 http://cs-conferences.acadiau.ca/ant-21/ Important Dates: - Workshops Proposals Due: October 1, 2020 ANT-2021 organizing committee invites proposals for

Exchange "ar" prefix in ghc build

Hi, I'm trying to add L4Re as a new OS to GHC and I'm already struggling a bit with the setup. I added l4re to a few places that seem to make sense (in aclocal.m4:296/2165, in config.sub:1371, in compiler/GHC/Platform.hs:132 and in libraries/ghc-boot/GHC/Platform/ArchOS.hs:99/156). Now I wanted

[Haskell] PL / compilers team lead role with Standard Chartered in Warsaw

Hi all, I've advertised this elsewhere before, but the role is still open so I thought I'd advertise it to the Haskell and Types mailing lists, as it may interest some of you. My employer, Standard Chartered, is hiring a "Senior Manager, Model Programming Team Leader" to create a new team in

Re: [Haskell] Haskell tutors required!

Yes, you've located last year's syllabus! Go well, -- P . \ Philip Wadler, Professor of Theoretical Computer Science, . /\ School of Informatics, University of Edinburgh . / \ and Senior Research Fellow, IOHK . http://homepages.inf.ed.ac.uk/wadler/ On Tue, 8 Sep 2020 at 21:20, Howard B.

[Haskell] Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21)

INVITATION FOR PAPERS AND TALKS The 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) http://www.ciad-lab.fr/the-3rd-european-forum-for-the-sarl-users-and-developers-eusarlcon21/ --- In conjunction with: *

[Haskell] CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21)

CALL FOR PAPERS The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21) http://www.ciad-lab.fr/the-5nd-international-workshop-on-agent-based-modeling-and-applications-with-sarl-sarl-21/

Re: [Haskell] Haskell tutors required!

Hi, I am intrigued by the opportunity, but I wonder if I am up to the task. To help me decide, I have this question: Is the syllabus for the course similar to the most recent presentation ( https://www.learn.ed.ac.uk/webapps/blackboard/content/listContent.jsp?course_id=_73477_1_id=_3873901_1 )?

[Haskell] EDI40-2021 CfPs: The 4rd International Conference on Emerging Data and Industry 4.0 (March 23-26, 2021, Warsaw, Poland)

Call for Papers *** The 4th International Conference on Emerging Data and Industry 4.0 (EDI40) Warsaw, Poland March 23-26, 2021 *** Conference

[Haskell] ANT-2021 CfPs: The 12th International Conference on Ambient Systems, Networks and Technologies (March 23-26, 2021, Warsaw, Poland)

Call for Papers The 12th International Conference on Ambient Systems, Networks and Technologies (ANT) Warsaw, Poland March 23-26, 2021 Conference Website: http://cs-conferences.acadiau.ca/ant-21/ Workshops: http://cs-conferences.acadiau.ca/ant-21/#workshop Tutorials:

[Haskell] FLOPS 2020: Call for (free) Participation

(Apologies for multiple copies of this announcement. Please circulate.) CALL FOR PARTICIPATION 15th International Symposium on Functional and Logic Programming (FLOPS 2020) September 14-16, 2020, Online

[Haskell] Haskell tutors required!

Edinburgh is one of a few places in the world that teaches functional programming to first-year students, specifically Haskell. This year, our Haskell course for first-year's will be delivered remotely. Last year's class was 400 students, this year we expect more. In the past we've had trouble

[Haskell] BOPL / PPDP 2020 call for participation (register until 3 Sep)

CALL FOR PARTICIPATION: BOPL 2020 Bologna Federated Conference on Programming Languages September 7-10, 2020 Online at https://bopl.cs.unibo.it Registration deadline: September 3, 2020 Registration fee: 30 euros. The Bologna Federated Conference on Programming Languages brings together four

Re: Does newByteArray clear?

On 27/08/2020 02.56, Bertram Felgenhauer via Glasgow-haskell-users wrote: > David Feuer wrote: >> I'm looking to play around with an array-based structure with >> sub-linear worst-case bounds. Array is pretty awkward in that context >> because creating a new one takes O(n) time to initialize it.

Re: Does newByteArray clear?

Thanks! I'm still going to feel free to pretend I get arrays for free :-). I'm guessing I'll get some reused ones from the Haskell allocator, and the OS is of course free to do clearing work on another core. It'd be awfully nice to have a way to get "incrementally-cleared" arrays of pointers, but

Re: Does newByteArray clear?

David Feuer wrote: > I'm looking to play around with an array-based structure with > sub-linear worst-case bounds. Array is pretty awkward in that context > because creating a new one takes O(n) time to initialize it. Is that > all true of newByteArray, or can I get one with arbitrary garbage in

Does newByteArray clear?

I'm looking to play around with an array-based structure with sub-linear worst-case bounds. Array is pretty awkward in that context because creating a new one takes O(n) time to initialize it. Is that all true of newByteArray, or can I get one with arbitrary garbage in it for cheap?

[Haskell] First and Only Call for Participation for IFL 2020 (Implementation and Application of Functional Languages)

Hello, Please, find below the first and final call for participation for IFL 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL ===

[Haskell] [EDI40-2021] CFP: 4th International Conference on Emerging Data and Industry 4.0. Warsaw, Poland (March 23-26, 2021)

*** The 4th International Conference on Emerging Data and Industry 4.0 (EDI40) Warsaw, Poland March 23-26, 2021 *** Conference Website:

Haskell Implementors' Workshop lightning talks

Hello everyone, The Haskell Implementors' Workshop will be held this Friday, August 28th, colocated with virtual ICFP. As usual, we will have a number of slots for lightning-talks. These are five-minute-long talks where you can present libraries, language extension ideas, plugins, tools...

[Haskell] Call for participation: BOPL 2020 (LOPSTR, Microservices, PPDP, WFLP)

CALL FOR PARTICIPATION: BOPL 2020 Bologna Federated Conference on Programming Languages September 7-10, 2020 Online at https://bopl.cs.unibo.it Registration deadline: September 3, 2020 Registration fee: 30 euros. The Bologna Federated Conference on Programming Languages brings together four

[Haskell] ANT-2021 CfPs: The 12th International Conference on Ambient Systems, Networks and Technologies (March 23-26, 2021, Warsaw, Poland)

Call for Papers The 12th International Conference on Ambient Systems, Networks and Technologies (ANT) Warsaw, Poland March 23-26, 2021 Conference Website: http://cs-conferences.acadiau.ca/ant-21/ Workshops: http://cs-conferences.acadiau.ca/ant-21/#workshop Tutorials:

Re: What does freezing an array really do?

On August 20, 2020 7:08:06 PM EDT, David Feuer wrote: >So I guess this is to avoid having to check the closure type on each >mutation to see if the array needs to be added to the mutable list? > Correct. -- Sent from my Android device with K-9 Mail. Please excuse my brevity.

Re: What does freezing an array really do?

So I guess this is to avoid having to check the closure type on each mutation to see if the array needs to be added to the mutable list? On Thu, Aug 20, 2020, 6:12 PM Bertram Felgenhauer via Glasgow-haskell-users wrote: > David Feuer wrote: > > I know that a frozen array doesn't have to be

Re: What does freezing an array really do?

David Feuer wrote: > I know that a frozen array doesn't have to be searched for elements in > a younger generation, but how does it differ from an unfrozen array > that hasn't been mutated since the last collection? Frozen arrays are not put on the mutable list once they're clean (meaning they

What does freezing an array really do?

I know that a frozen array doesn't have to be searched for elements in a younger generation, but how does it differ from an unfrozen array that hasn't been mutated since the last collection? David ___ Glasgow-haskell-users mailing list

[Haskell] Third Call for Participation: ICFP 2020

= Third Call for Participation ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming and affiliated events

[Haskell] Certified Programs and Proofs (CPP) 2021: Final Call for Papers

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP 2021

[Haskell] 3rd Call for Papers: REBLS 20: Reactive and Event-Based Languages and Systems

Dear all, Apologies if you see this multiple times. Gentle reminder that the REBLS workshop will take place online. The deadline has been extended till next week. Cheers, Ivan CALL FOR PAPERS 7th Workshop on Reactive and Event-based Languages and Systems (REBLS 2020) co-located with the

Re: Linking completely statically

On 2020-08-12 10:15 a.m., Volker Wysk wrote: But it sounds quite complicated. What I have in mind isn't worth the trouble. I just wanted to have a statically linked version for inclusion in my backup and in my maintenance USB stick. I have an exe built by GHC in January 2014 (that's like GHC

[Haskell] PEPM 2021 - First Call for Papers

-- CALL FOR PAPERS -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2021 === * Website : https://popl21.sigplan.org/home/pepm-2021 * Time: 18th--19th

Re: Linking completely statically

Hi Thank you very much to Brandon, Tyson, Bardur, Thomas, Andreas, Aycan for your explanations. I thought that it probably was just another GHC argument or something like that. But it sounds quite complicated. What I have in mind isn't worth the trouble. I just wanted to have a statically

[Haskell] Third call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)

Hello, Please, find below the third call for draft papers for IFL 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL

Re: Linking completely statically

I was able to get static linking working recently using docker alpine images and ghcup to install GHC based on the musl library. The details are in my Stan fork [1]. This borrowed heavily from ShellCheck's static linking release system except it uses cabal v2-build instead of v1. [1] Script:

Re: Linking completely statically

Hi Volker, You may also want to check out ghc-musl project https://github.com/utdemir/ghc-musl which provides compiled docker images to build atatic executables for various ghc versions. Cheers, -- aycan > On Aug 11, 2020, at 5:59 AM, Volker Wysk wrote: > > Am Dienstag, den 11.08.2020,

Re: Linking completely statically

Am Dienstag, den 11.08.2020, 10:26 +0200 schrieb Herrmann, Andreas: > Hi Volker, Hi! > > Is it possible to link the remaining libraries statically too? > > Yes, it is possible to generate fully statically linked Haskell > binaries. Though it requires a bit of setup. For example the GNU C >

Re: Linking completely statically

Hi Volker, > Is it possible to link the remaining libraries statically too? > Yes, it is possible to generate fully statically linked Haskell binaries. Though it requires a bit of setup. For example the GNU C library glibc is not really intended for fully static linking, but you can use musl as

Re: Linking completely statically

On 10/08/2020 23.22, Tyson Whitehead wrote: > On Mon, 10 Aug 2020 at 03:12, Bardur Arantsson > wrote: > > Once you have that bit set up, you can copy *most* of the libraries > ..so's you're using to that folder on the install target and they'll be >

Re: Linking completely statically

On Mon, 10 Aug 2020 at 03:12, Bardur Arantsson wrote: > Once you have that bit set up, you can copy *most* of the libraries > .so's you're using to that folder on the install target and they'll be > loaded from there. (Copying libc.so is ill advised, but most of the > others will work just fine.

Re: Linking completely statically

Am Montag, den 10.08.2020, 09:11 +0200 schrieb Bardur Arantsson: > On 09/08/2020 14.50, Volker Wysk wrote: > > Hi! > > > > I know of the command line argument "-static". But this only > > affects > > the Haskell libraries. I want to link some programs completely > > statically, no external

Re: Linking completely statically

On 09/08/2020 14.50, Volker Wysk wrote: > Hi! > > I know of the command line argument "-static". But this only affects > the Haskell libraries. I want to link some programs completely > statically, no external libraries needed. > > When just linking with "-static" I still have those dynamically

[Haskell] MSFP 2020 (Monday August 31st and Tuesday September 1st) - Call for Participation

Eighth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Monday 31st August and Tuesday 1st September 2020, online https://msfp-workshop.github.io/msfp2020/ ** Due to the COVID-19 pandemic, MSFP 2020 will now be held as a virtual meeting ** ** Registration deadline: Tuesday

Re: Linking completely statically

Am Sonntag, den 09.08.2020, 09:53 -0400 schrieb Brandon Allbery: > If you are obeying all the necessary restrictions on glibc, or you > are > using a different libc such as musl which is designed for static > linking, then "-Wl,-static" should be sufficient. Doing this with > glibc will likely

Re: Linking completely statically

Am Sonntag, den 09.08.2020, 08:59 -0400 schrieb Brandon Allbery: > Linux is not friendly to static linking, and you would need to either > package or match exact versions of things like the nss and locale > libraries that are dynamically loaded at runtime and don't show up in > ldd. This

Re: Linking completely statically

Linux is not friendly to static linking, and you would need to either package or match exact versions of things like the nss and locale libraries that are dynamically loaded at runtime and don't show up in ldd. This limitation comes from glibc and is documented in its manual. On Sun, Aug 9, 2020,

Linking completely statically

Hi! I know of the command line argument "-static". But this only affects the Haskell libraries. I want to link some programs completely statically, no external libraries needed. When just linking with "-static" I still have those dynamically linked things: desktop ~/bin $ ldd sicherung

[ANNOUNCE] Glasgow Haskell Compiler 8.10.2 released

Hello all, The GHC team is happy to announce the release of GHC 8.10.2. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/8.10.2/ GHC 8.10.2 fixes a number of issues in present in GHC 8.10.1 including: * Fixes a bug in process creation on

[Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.2 released

Hello all, The GHC team is happy to announce the release of GHC 8.10.2. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/8.10.2/ GHC 8.10.2 fixes a number of issues in present in GHC 8.10.1 including: * Fixes a bug in process creation on

[Haskell] Call for Tutorial Participation: ICFP 2020

CALL FOR TUTORIAL PARTICIPATION ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming August 23 - 28, 2020 Virtual https://icfp20.sigplan.org/

[Haskell] Second Call for Participation: ICFP 2020

= Second Call for Participation ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming and affiliated events

[Haskell] SPLASH 2020 Combined Call for Workshop Submissions

SPLASH 2020 Combined Call for Workshop Submissions == Following its long-standing tradition, SPLASH will host a variety of workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas,

[Haskell] ETAPS 2021 1st joint call for papers

** JOINT CALL FOR PAPERS 24th European Joint Conferences on Theory and Practice of Software ETAPS 2021 Luxembourg, Luxembourg, 27 March-1 April 2021

[Haskell] Final Call for Tutorials, Discussions, and Social Events: ICFP 2020

FINAL CALL FOR TUTORIAL, DISCUSSION, AND SOCIAL EVENT PROPOSALS ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming August 23 - 28, 2020 Virtual

GHC formally discontinuing 32-bit Windows support?

tl;dr. Unless someone speaks up, GHC will formally discontinue its (currently-broken) support for 32-bit Windows in 8.12. Hi everyone, As some have noticed, recent GHC releases' support for 32-bit Windows support can be generously described as "unreliable". This has been due to a

[ANNOUNCE] GHC 8.8.4 is now available

Hello everyone, The GHC team is proud to announce the release of GHC 8.8.4. The source distribution, binary distributions, and documentation are available at https://downloads.haskell.org/~ghc/8.8.4 Release notes are also available [1]. This release fixes a handful of issues affecting

[Haskell] PhD / Postdoc position (Uni Amsterdam) in programming language technology for adaptive cyber-physical systems

At the Parallel Computing Systems (PCS) group at the Informatics Institute (IvI) of the University of Amsterdam (UvA) we are looking for a PhD candidate or postdoctoral researcher in the area of programming language technology, compilation and run-time systems for adaptively morphing

[Haskell] Second call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)

Hello, Please, find below the second call for draft papers for IFL 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL

[Haskell] Awardees of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science - 2020

The Vienna Center for Logic and Algorithms of TU Wien (VCLA) has the pleasure to announce the recipients of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science. The highly successful fifth edition of the VCLA International

[Haskell] Call for Participation: ICFP 2020

= Call for Participation ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming and affiliated events

[Haskell] WFLP 2020: 2nd CFP and Extended Deadlines

Due to multiple requests, the deadlines are extended so that you can still submit papers (also work-in-progress papers)! === WFLP 2020: 2nd Call for Papers (Deadline Extension) === 28th International

[Haskell] Haskell, Then and Now. Got Questions? Ask them here!

IOHK Cardano Virtual Summit continues. Today's sessions include: *16.00 (UK time) Fri 3 Jul* *Haskell, then and now: What is the future for **functional programming languages?* Prof Simon Peyton-Jones, Prof John Hughes, Prof Philip Wadler, Dr Kevin Hammond, Dr Duncan Coutts. You can submit

[Haskell] Cardano Virtual Summit 2020

Cardano Virtual Summit 2020 takes place today and tomorrow. Some talks that may be of interest: *16.00 Thu 2 Jul* *An overview of IOHK research* Prof Aggelos Kiayias, Prof Elias Koutsoupias, Prof Alexander Russell, Prof Phil Wadler. *18.30 Thu 2 Jul* *Architecting the internet: what I would have

[Haskell] 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN)

** The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020) Date: November 2-5, 2020 Location: Madeira, Portugal Website: http://cs-conferences.acadiau.ca/euspn-20/

[Haskell] TERMGRAPH 2020: Call for (Online) Participation

=== Call for (Online) Participation TERMGRAPH 2020 Eleventh International Workshop on Computing with Terms and Graphs 5 July, 2020

[Haskell] [HIW'20] Third Call for Talks

Hello everyone, Haskell Implementors Workshop is calling for talk proposals. Co-located with ICFP, HiW is an ideal place to describe a Haskell library, a Haskell extension, compiler, works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. The

[Haskell] [CFP] 1st Workshop on Cyber Forensics & Advanced Threat Investigations in Emerging Networks

1st International Workshop on Cyber Forensics and Advanced Threat Investigations in Emerging Networks (CFATI 2020) CFATI 2020 will be held in conjunction with the 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020) which is co-organized on November

[Haskell] Call for Tutorial Proposals: ICFP 2020

CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming August 23 - 28, 2020 Virtual https://icfp20.sigplan.org/

[Haskell] ETAPS 2020 afternoon, online, 2 July 2020, call for participation

[There will be no physical ETAPS in Dublin this autumn. Instead, on 2 July 2020, we will hold an online ETAPS 2020 afternoon. The authors of papers accepted to the main conferences of ETAPS 2020 will get an opportunity to present their work at ETAPS 2021 in Luxembourg.] The ETAPS EC and ETAPS

[Haskell] The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020)

*** Apologies for cross-posting *** ** The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020) Date: November 2-5, 2020 Location: Madeira, Portugal Website:

[Haskell] PhD position(s) in Structural and Algorithmic Aspects of Preference-based Problems in Social Choice - Vienna, Austria - Deadline: July 31, 2020

PhD POSITION(S) PROJECT Structural and Algorithmic Aspects of Preference-based Problems in Social Choice STARTING DATE: Negotiable LOCATION: Vienna, Austria INSTITUTION: Algorithms and complexity group at the Faculty of Informatics, Technische Universität Wien (Vienna University of

[Haskell] First call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)

Hello, Please, find below the final call for draft papers for IFL 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL

[Haskell] Call for Submissions: ICFP Student Research Competition

ICFP 2020 Student Research Competition Call for Submissions ICFP invites students to participate in the Student Research Competition, which will be held virtually alongside the main conference, in order to present their research and receive feedback from prominent members of the

[Haskell] 12 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) - fully funded - Vienna, Austria - Deadline: 12 June 2020

== == TU Wien (Vienna University of Technology) TU Graz (Graz University of Technology), and JKU Linz (Johannes Kepler University), are seeking highly qualified PhD candidates

[Haskell] [CFP] 1st Workshop on Cyber Forensics and Advanced Threat Investigations

1st International Workshop on Cyber Forensics and Advanced Threat Investigations in Emerging Networks (CFATI 2020) https://cfati.conceptechint.net/index.html in conjunction with EUSPN-2020 conference Nov 2 - 5, 2020 , Madeira, Portugal Important dates Paper Submission: 30th June, 2020

[Haskell] Postdoc position at University of Bristol in functional programming

Dear Haskellers, The programming languages group at Bristol has an open postdoc position in the area of functional programming. Haskell programmers are particularly welcome! Best regards, Meng Meng Wang, PhD (Oxon) Senior Lecturer in Programming Languages International Director, SCEEM School

[Haskell] Reminder: The Chalmers Online Functional Programming Seminar Series (THIS WEEK: Nadia Polikarpova)

The *Chalmers Online Functional Programming Seminar Series * is organized by the Chalmers Functional Programming Group, as a way to exploit the fact that so many of us in the FP community are already meeting and working online these days. Our aim is to bring the people in

Re: [Haskell-community] Haskell language API copyright status?

Was Miranda a closed license? > On May 24, 2020, at 11:30 AM, Brandon Allbery wrote: > > As a historical note, the openness of the Haskell spec was a reaction > to the licensing of the research language Miranda and as such was > quite intentional. > > On 5/24/20, Nicholas Papadonis

Re: [Haskell-community] Haskell language API copyright status?

As a historical note, the openness of the Haskell spec was a reaction to the licensing of the research language Miranda and as such was quite intentional. On 5/24/20, Nicholas Papadonis wrote: > Thank you! That puts the language in a better position in regards to being > open for anyone to use.

Re: [Haskell-community] Haskell language API copyright status?

Thank you! That puts the language in a better position in regards to being open for anyone to use. LICENSE: "The authors and publisher intend this Report to belong to the entire Haskell community, and grant permission to copy and distribute it for any purpose, provided that it is reproduced in

Re: [Haskell-community] Haskell language API copyright status?

See the (very open) license of the Haskell Report https://www.haskell.org/onlinereport/haskell2010/ On Sun, May 24, 2020 at 11:16 AM Nicholas Papadonis < nick.papadonis...@gmail.com> wrote: > Hi Folks, > > You may be aware of Oracle vs. Google in regards to the Java API being > copyrighted. The

[Haskell-community] Haskell language API copyright status?

Hi Folks, You may be aware of Oracle vs. Google in regards to the Java API being copyrighted. The case is still in progress. When the Haskell language was created, including any books on it, the authors became the copyright holder for the language API that one uses to code with. Is anyone

[Haskell] [CFP] Smart Healthcare Services in Internet of Healthcare Things

Dear Colleagues, A Special Issue "Smart Healthcare Services in Internet of Healthcare Things" in the International Journal of Environmental Research and Public Health (ISSN 1660-4601). This special issue belongs to the section "Health Care Sciences & Services".

[Haskell] Workshop on Functional Art, Music, Modeling, and Design (FARM) -- performance call

--- PERFORMANCE CALL The ACM SIGPLAN Workshop on Functional Art, Music, Modeling, and Design (FARM) at the International Conference on Functional Programing (ICFP) is seeking audio/visual works that utilize functional

[Haskell] New Journal: Journal of Cyber Forensics and Advanced Threat Investigations

New Journal: Journal of Cyber Forensics and Advanced Threat Investigations Dear Cybersecurity Researcher, Red || Yellow || Blue Practitioner, The Journal of Cyber Forensics and Advanced Threat Investigations is an international open-access journal that publishes original research,

[Haskell] Announcement: The Chalmers Online Functional Programming Seminar Series (TODAY: Benjamin Pierce!)

The *Chalmers Online Functional Programming Seminar Series * is organized by the Chalmers Functional Programming Group, as a way to exploit the fact that so many of us in the FP community are already meeting and working online these days. Our aim is to bring the people in

Re: [ANNOUNCE] Glasgow Haskell Compiler 8.10.1 released

On Sun, 17 May 2020 at 10:18, Jens Petersen wrote: > Is it intentional that the text library in 8.10.1 is older than the one in > 8.8? > Ben pointed me at https://gitlab.haskell.org/ghc/ghc/issues/17956 in irc. Thanks, Jens ___ Glasgow-haskell-users

[Haskell] The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020)

** The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020) Date: November 2-5, 2020 Location: Madeira, Portugal Website: http://cs-conferences.acadiau.ca/euspn-20/

Re: [ANNOUNCE] Glasgow Haskell Compiler 8.10.1 released

Hi, late question, I just noticed: Is it intentional that the text library in 8.10.1 is older than the one in 8.8? (1.2.3.2 vs 1.2.4.0 ) Thanks, Jens ___

[Haskell] Postdoctoral position on Web/database programming languages at Edinburgh LFCS

Hi, We are now accepting applications for a postdoctoral position in Web/database programming languages. The position is for 24 months, starting on September 1, 2020 or earlier. Funding is provided by a €1.99M Consolidator Grant from the European Research Council on the project: "Skye: A

[Haskell] Fully funded PhD in Networking and Communication Technology at the University of Vienna, Austria ***Deadline: June 7, 2020***

The Communication Technologies group of the University of Vienna is looking for a motivated student interested in pursuing a PhD on developing the foundations of the next generation of reliable networks: networks which are highly automated, and verify and correct themselves autonomously,

[Haskell] SPLASH 2020: Combined Call for Contributions

/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'20) Chicago, USA Sun 15 - Fri 20 November 2020 https://2020.splashcon.org/

Re: [Haskell-cafe] Decorating exceptions with backtrace information

On Tue, 12 May 2020 at 17:30, Henning Thielemann < lemm...@henning-thielemann.de> wrote: > From your list of examples I deduce that the proposal is about programming > errors. But we have HasCallStack for that one. How does the proposal > improve or alter the HasCallStack solution? And how does

[Haskell] [HIW'20] Second Call for Talks

Hello everyone, Haskell Implementors Workshop is calling for talk proposals. Co-located with ICFP, HiW is an ideal place to describe a Haskell library, a Haskell extension, compiler, works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. The

Re: [Haskell-cafe] Decorating exceptions with backtrace information

Am 12.05.20 um 23:29 schrieb Henning Thielemann: > A stack overflow sounds like unlimited recursion and thus like a > programming error. Perhaps it was just one recursion to many? Computer memory is limited. Heap overflow is also quite possible even with a program that is provably terminating. I

Re: [Haskell-cafe] Decorating exceptions with backtrace information

On Fri, 8 May 2020, Ben Gamari wrote: Henning Thielemann writes: We are talking about the HasCallStack stack traces, yes? How is their emission addressed by extending exceptions with stack traces? HasCallStack stack traces are one type of backtrace that the proposal supports. However,

Re: [Haskell-cafe] Decorating exceptions with backtrace information

On Fri, 8 May 2020, Ben Gamari wrote: We can debate whether partial functions like `fromJust` should exist; however, the fact of the matter is that they do exist and they are used. That's not my point. I say: fromJust on Nothing is a programming error, ok. We must debug this. HasCallStack

Re: [Haskell-cafe] Decorating exceptions with backtrace information

On Fri, 8 May 2020, Niklas Hambüchen wrote: What are "unintended exceptions"? What is an example of an "unintended exception"? A recent example from my production server: hPutBuf: resource vanished (Broken pipe) Ok, I lookup the Haddock comment of hPutBuf and it says: "This operation

[Haskell] PPDP 2020 deadline extension

UPDATE: extended deadlines! Abstract deadline: Mon 18 May 2020 AoE Paperdeadline: Fri 22 May 2020 AoE Submissions at: https://easychair.org/conferences/?conf=ppdp2020 PPDP 2020 Call For Papers = The 22nd International Symposium on Principles and Practice of

<    5   6   7   8   9   10   11   12   13   14   >