- Haskell-Cafe - Haskell.org

3 Fully funded PhD positions in Software Technology at Radboud University, Netherlands
by Peter Achten 20 Dec '21

20 Dec '21

-------------------------------------------------------------------------------------- 3 Fully funded PhD positions in Software Technology at Radboud University, Netherlands -------------------------------------------------------------------------------------- In the Software Technology group at Radboud University in Nijmegen, Netherlands, we are looking for enthusiastic and outstanding Computer Science or Mathematics students with a strong background in at least one of the following areas: * programming languages * compiler technology * code generation * runtime systems * High-Performance-Computing * Parallel Computing to strengthen our group. Our key driving force is the desire to combine programming language research with compiler technology and code generation techniques for creating practically applicable software tools. Our credo lies in HP3 technology: combining High-Productivity, High-Portability, and High-Performance. Long-term projects driven by our group include the Clean project (clean.cs.ru.nl), the SaC project (www.sac-home.org) and the iTask system (clean.cs.ru.nl/ITasks). Our current focal points are: *Gradual Programming*, *Swarm Computing*, *Heterogeneous High- Performance Computing*, *Sustainable and Energy-Efficient Computing*. With *Gradual Programming*, we aim to combine the flexibility of rapid prototyping with the type safety of strongly typed programming languages. We look into a radically new approach towards typing programming languages for increased productivity, correctness and sustainability. Please contact Peter Achten (P.Achten(a)cs.ru.nl) for details. *Swarm Computing* refers to the idea of being able to, from a single source, perform programming, controlling, and computation on a dynamic and hybrid collection of computational units varying from CPUs, GPUs, FPGAs, TPUs, to IoT devices. Currently, we are particularly interested in Swarm Computing for sustainable IoT utilisation. Please contact Pieter Koopman (pieter(a)cs.ru.nl) for details. In *Heterogeneous High-Performance Computing*, we are interested in the generation of code for swarm computing systems aiming for unprecedented levels of efficiency in terms of both, runtime and energy efficiency. This includes mainstream accelerators such as GPUs and FPGAs as well as novel architectures such as Cerebras’ new architecture (www.cerebras.net) This work will contribute to the new TEN-X initiative (mission10-x.org) Please contact Sven-Bodo Scholz (SvenBodo.Scholz(a)ru.nl) for details. We offer: * a gross monthly salary starting from €2,434 in the first year, step-wise increasing to €3,111 in the fourth year. * a 4 year full-time contract, subject to a successful performance evaluation after 18 months. * a stimulating work environment with excellent Dual Career and Family Care Services. = How to apply = Applications should consist of a single pdf-file containing your CV, a cover letter explaining your motivation, and a letter of reference. We will consider applications as they arrive until the positions are filled. The deadline for applications is January 31 2022. Please send your application to: SvenBodo.Scholz(a)ru.nl.

1 0

Package takeover request for oath
by Fumiaki Kinoshita 17 Dec '21

17 Dec '21

At the moment, oath is registered as a "reserved package name" (see https://mail.haskell.org/pipermail/libraries/2021-December/031524.html) and does not exist as an actual package. I'd like to upload a package with this name unless there's a specific reason why I should not. My Hackage username is FumiakiKinoshita. Best regards,

3 6

install error: sym
by Gregory Guthrie 15 Dec '21

15 Dec '21

Seems like this is a package error? Sym\Perm\STAT.hs:13:8: error: File name does not match module name: Saw: `Sym.Perm.Stat' Expected: `Sym.Perm.STAT' Install log: PS C:\Users\guthrie\Desktop> cabal install sym Resolving dependencies... Build profile: -w ghc-8.10.2 -O1 In order, the following will be built (use -v for more details): - base-orphans-0.8.6 (lib) (requires download & build) - primitive-0.7.3.0 (lib) (requires download & build) - hashable-1.4.0.1 (lib) (requires download & build) - vector-0.12.3.1 (lib) (requires download & build) - sym-0.13.0 (lib) (requires download & build) Downloading base-orphans-0.8.6 Downloaded base-orphans-0.8.6 Downloading primitive-0.7.3.0 Starting base-orphans-0.8.6 (lib) Downloaded primitive-0.7.3.0 Downloading vector-0.12.3.1 Starting primitive-0.7.3.0 (lib) Downloaded vector-0.12.3.1 Downloading hashable-1.4.0.1 Downloaded hashable-1.4.0.1 Downloading sym-0.13.0 Downloaded sym-0.13.0 Building base-orphans-0.8.6 (lib) Building primitive-0.7.3.0 (lib) Installing base-orphans-0.8.6 (lib) Completed base-orphans-0.8.6 (lib) Starting hashable-1.4.0.1 (lib) Building hashable-1.4.0.1 (lib) Installing primitive-0.7.3.0 (lib) Completed primitive-0.7.3.0 (lib) Starting vector-0.12.3.1 (lib) Installing hashable-1.4.0.1 (lib) Building vector-0.12.3.1 (lib) Completed hashable-1.4.0.1 (lib) Installing vector-0.12.3.1 (lib) Completed vector-0.12.3.1 (lib) Starting sym-0.13.0 (lib) Building sym-0.13.0 (lib) Failed to build sym-0.13.0. Build log ( C:\Users\guthrie\AppData\Roaming\cabal\logs\ghc-8.10.2\sym-0.13.0-6a5a01f540d09f303c049bc421a706632878562d.log ): Preprocessing library for sym-0.13.0.. Building library for sym-0.13.0.. Sym\Perm\STAT.hs:13:8: error: File name does not match module name: Saw: `Sym.Perm.Stat' Expected: `Sym.Perm.STAT' | 13 | module Sym.Perm.Stat | ^^^^^^^^^^^^^ cabal.exe: Failed to build sym-0.13.0. See the build log above for details. Dr. Gregory Guthrie

4 5

Error message??
by Gregory Guthrie 15 Dec '21

15 Dec '21

I don't understand the error here: -- ------------------------------------------ -- Find permutation by index iPerm :: Int -> [a] -> (Int,Int) iPerm k list = nPerm k $ length list where nPerm k n = divMod k (fact(n - 1)) -- indexPerm :: Int -> [a] -> [a] indexPerm _ [] = [] indexPerm g list = d :: indexPerm r (delete d list) -- line 19 *** where (q,r) = iPerm g list d = list !! q Adding a type signature for indexPerm changes the error (below), but seems to be the same basic issue. I thought I might need: indexPerm :: Eq a => Int -> [a] -> [a] to match the restriction on delete argument types, although I would have thought that would be inferred if needed, but it gives the same error message. ----------------------------------------------------------------------- Prelude> (compiling) [1 of 1] Compiling Main ( syntaxtest.hs, interpreted ) yntaxtest.hs:19:20: error: * Couldn't match expected type `indexPerm r (delete1 d1 list1)' with actual type `a' because type variables `indexPerm', `r', `delete1', `d1', `list1' would escape their scope These (rigid, skolem) type variables are bound by an expression type signature: forall (indexPerm :: * -> * -> *) r (delete1 :: * -> * -> *) d1 list1. indexPerm r (delete1 d1 list1) at syntaxtest.hs:19:25-51 * In the expression: d :: indexPerm r (delete d list) In an equation for `indexPerm': indexPerm g list = d :: indexPerm r (delete d list) where (q, r) = iPerm g list d = list !! q * Relevant bindings include d :: a (bound at syntaxtest.hs:21:10) list :: [a] (bound at syntaxtest.hs:19:13) indexPerm :: Int -> [a] -> [delete d list] (bound at syntaxtest.hs:18:1) | 19 | indexPerm g list = d :: indexPerm r (delete d list) | ^ | 19 | indexPerm g list = d :: indexPerm r (delete d list) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Failed, no modules loaded. ----------------------------------------------------------------------- (error with the explicit type signature) syntaxtest.hs:19:20: error: * Couldn't match expected type `indexPerm r (delete d list)' with actual type `a' `a' is a rigid type variable bound by the type signature for: indexPerm :: forall a. Int -> [a] -> [a] at syntaxtest.hs:17:1-30 * In the expression: d :: indexPerm r (delete d list) In an equation for `indexPerm': indexPerm g list = d :: indexPerm r (delete d list) where (q, r) = iPerm g list d = list !! q * Relevant bindings include d :: a (bound at syntaxtest.hs:21:10) list :: [a] (bound at syntaxtest.hs:19:13) indexPerm :: Int -> [a] -> [a] (bound at syntaxtest.hs:18:1) | 19 | indexPerm g list = d :: indexPerm r (delete d list) | ^ | 19 | indexPerm g list = d :: indexPerm r (delete d list) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Failed, no modules loaded. Gregory Guthrie

3 3

Fully (UK Home) Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2021-01-24)
by Achim D. Brucker 15 Dec '21

15 Dec '21

Several fully funded PhD scholarships for UK applicants are available in the Security and Trust of Advanced Systems Group [1] (Prof. Achim Brucker [2] and Dr. Diego Marmsoler [3]) at the Department of Computer Science of the University of Exeter, UK [4]. We are looking for enthusiastic and outstanding Computer Science or Mathematics students with a strong background in at least one of the following topics: * safety or security of (software) systems, * formal modelling or formal reasoning/verification, * program analysis or program verification, * language-based security * semantics of programming languages, * theorem proving, model checking, * cryptographic protocols, * distributed systems (e.g., blockchain), * specification-based testing, and * design and implementation of security architectures. This award provides annual funding to cover UK tuition fees and a tax-free stipend. For students who pay UK tuition fees the award will cover the tuition fees in full, plus at least £15,009 per year tax-free stipend. The studentship will be awarded on the basis of merit for 3.5 years of full-time study. Interested candidates should contact the potential supervisors Prof. Achim Brucker (a.brucker(a)exeter.ac.uk) or Dr. Diego Marmsoler (d.marmsoler(a)exeter.ac.uk) to discuss their application. For more details, please consult the official advertisements: * Compositional Verification of Smart Contracts in Isabelle: https://www.exeter.ac.uk/study/funding/award/?id=4326 * Formal Verification for Safety- or Security-Critical Systems: https://www.exeter.ac.uk/study/funding/award/?id=4328 * Software Engineering for Security- or Safety-Critical Systems: https://www.exeter.ac.uk/study/funding/award/?id=4329 * Open Call: https://www.exeter.ac.uk/study/funding/award/?id=4343 The closing date for applications is midnight on the 24th of January 2022. Best, Achim and Diego [1] http://emps.exeter.ac.uk/computer-science/research/cyber-security/ [2] https://www.brucker.ch/ [3] https://marmsoler.com/ [4] http://emps.exeter.ac.uk/computer-science/ -- Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking

1 0

Postdoc position - hardware acceleration of Haskell
by Rob Stewart 14 Dec '21

14 Dec '21

Hi haskell-cafe, I have an opening for a postdoc position at Heriot-Watt University in Edinburgh, on hardware acceleration of functional programming languages. In particular, Haskell. Candidates should have a background in hardware design and FPGA programming. Hardware engineering experience should include circuit design, developing processor architectures, memory hierarchies and/or instruction sets. Candidates should have some understanding of functional programming. Programming language implementation experience is desirable, but not essential. The role will involve developing a special purpose processor for Haskell, aimed at outperforming the throughput and energy performance of CPUs. The project has close industry ties in Ireland and the Netherlands. It is a three year project, starting in May 2022. The HAFLANG project: https://haflang.github.io Job details and application form: https://enzj.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX/j… The application deadline is 28th February 2022. Contact the PI, Rob Stewart, with inquiries (R.Stewart(a)hw.ac.uk) Please share this widely. -- Rob Stewart Assistant Professor of Computer Science Heriot-Watt University, Edinburgh W: https://www.macs.hw.ac.uk/~rs46

1 0

[CFP] Functional Conf 2022 online - have you got Haskell insights to share with the community?
by John Sinclair 13 Dec '21

13 Dec '21

Have you devised an innovative or novel application of Haskell? Have you solved a tricky problem using FP? This is a great opportunity to share what you've been working on. If it's related to functional programming, Functional Conf would love to hear from you! We are looking for deep technical topics related to Functional Programming. Learn more and submit your proposal here: https://confng.in/oVspOYAc <https://llink.to/?u=https:%2F%2Fsignal2domain.online%2Fclick%3Fredirect%3Dh…> Submissions close: 15 Jan 2022 Functional Conf is Asia's premiere functional programming conference. The event runs 24-26 March 2022 and due to COVID uncertainties will be held online. Over the course of 3 days, you'll get cutting edge insights from global thought leaders, practitioners and developers from prominent FP languages (this could be you!). At our last conference Edward Kmett who chairs the Haskell core libraries committee presented. The conference is designed to help attendees: - Understand the fundamental concepts of FP - Learn how others are leveraging FP to solve real world problems - Explore practical usages and gotchas in FP concepts from experts - Exchange real-world experience with your programing peers If you are just getting started with FP or work with it everyday, you'll love Functional Conf 2022! Here's a short video of past speakers sharing a little of their experience at Functional Conf: https://confng.in/EFX1sthg <https://llink.to/?u=https:%2F%2Fsignal2domain.online%2Fclick%3Fredirect%3Dh…> Submit your proposal here: https://confng.in/JzhW9cSX <https://llink.to/?u=https:%2F%2Fsignal2domain.online%2Fclick%3Fredirect%3Dh…> Hope to see you there! Best regards, John Sinclair and the Functional Conf Team

1 0

ImplicitParams in GHC 9.0.1
by ☂Josh Chia (謝任中) 13 Dec '21

13 Dec '21

Hi, I have the following code that builds successfully with "stack build" under GHC 8.10.7 but fails to build under GHC 9.0.1: https://github.com/jchia/ip-bug The compiler is switched by commenting/uncommenting the compiler line in stack.yaml. GHC 9.0.1 gives me the error I paste at the end. Is this expected (maybe as part of "simplified subsumtion" in https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.0#compiler-changes)? If so, how can the code be fixed? If not, is it a compiler bug? (This problem came up while using gi-gtk-3.0.38, where implicit params are used a lot). Josh /home/jchia/gh/ip-bug/src/Lib.hs:10:28: error: • Couldn't match type ‘(?self::Int) => Char’ with ‘Char’ Expected: Int -> Char -> Char Actual: Int -> ((?self::Int) => Char) -> Char • In the expression: foo In the expression: (let ?self = x in foo) :: Int -> Char -> Char In the expression: ((let ?self = x in foo) :: Int -> Char -> Char) x | 10 | bar x = ((let ?self = x in foo) :: Int -> Char -> Char) x | ^^^ /home/jchia/gh/ip-bug/src/Lib.hs:13:26: error: • Couldn't match type ‘(?self::Int) => Char’ with ‘Char’ Expected: Char -> Char Actual: ((?self::Int) => Char) -> Char • In the expression: foo x In the expression: let ?self = x in foo x In an equation for ‘baz’: baz x = let ?self = x in foo x | 13 | baz x = let ?self = x in foo x | ^^^^^

3 3

DataKinds and Data.Char
by Olaf Klinke 13 Dec '21

13 Dec '21

Dear Café, Question: Is DataKinds promotion of Char values possible, and if yes, how? I want to define a data type of text where a certain character has special meaning. I could say: data SpecialText = SpecialText Char Text but it would be favourable if the type system forbids combining texts with distinct special characters. data SpecialText char = SpecialText Text Ideally, we could use DataKinds to specialize the char phantom type parameter to a promoted Char value, but neither 'x' nor ''x' is accepted by GHC, presumably for good reasons. After all, 'x' is syntactic sugar for the real constructor of a Char value (which is what? Data.Data.toConstr 'x' yields 'x'.) One certainly can define data types symbolizing selected single Char values to use as the phantom type, but that means the library author decides which Chars the user can declare as special. Thanks Olaf

2 1

GHC debug plugin
by Daneel Yaitskov 12 Dec '21

12 Dec '21

Hi, I would like to enable stack traces at launch time and run program without HasCallStack overhead by default. I've got an idea to use GHC plugin which would duplicate all functions in modules with specified prefix. Duplicated functions should get disambiguating prefix (e.g. "debug") and HasCallStack constraint. Bodies of prefixed functions should be rewritten to use prefixed functions from matching modules (should be easy to do - hook just after renaming GHC phase when all names are fully qualified?). This way main function could choose "runLib" or "debugRunLib". Did anybody make something similar? -- Best regards, Daniil Iaitskov

2 2