- Haskell-Cafe - Haskell.org

[ANN] saltine 0.0.1.0 released - Users urged to upgrade
by Max Amanshauser 28 Jul '17

28 Jul '17

Saltine is a Haskell binding to libsodium. === Thomas DuBuisson of Galois Inc. found a serious issue in saltine that can lead to data corruption. Security implications cannot be ruled out. All users are advised to upgrade to saltine 0.0.0.6 or above, which are not affected. Saltine requires libsodium 1.0.11 or higher. === Saltine 0.0.1.0 also features: * Support for detached signatures (contributed by Thomas DuBuisson) -- Cheers, Max.

1 0

Re: [Haskell-cafe] Static analysis engineering at Facebook (Clang/OCaml)
by Don Stewart 27 Jul '17

27 Jul '17

Link moved, apply here: https://www.facebook.com/careers/jobs/a0I1200000LT8aAEAT On Thu, Jul 27, 2017 at 12:39 PM, Shannon Sequeira < shannonsequeira(a)gmail.com> wrote: > Hi Don, the job link appears to be broken. > > Best, > Shannon Sequeira > > On 26 July 2017 at 13:11, Don Stewart <dons00(a)gmail.com> wrote: > >> The Infer static analysis team at Facebook is hiring. We have a >> functional programming engineering role in London to work on the open >> source Clang/C++ frontend to Infer. >> >> Infer is a static analysis suite for C++, Java and Objective C used by >> thousands of engineers at Facebook and elsewhere to find bugs. >> >> The role is a "compiler" role - working on the Clang AST to OCaml, and >> intermediate phases of Infer to improve our C++ analysis capabilities. Good >> FP engineering skills (e.g. Haskell or OCaml) are desirable. >> >> You should have a working knowledge of C++ semantics, language or >> compiler design or experience in a range of C++ projects. >> >> Infer: >> >> http://fbinfer.com/ >> >> Apply via: >> >> https://www.facebook.com/careers/jobs/a0I1200000LT8aA >> >> _______________________________________________ >> Haskell-Cafe mailing list >> To (un)subscribe, modify options or view archives go to: >> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe >> Only members subscribed via the mailman list are allowed to post. >> > >

1 0

GHC Platform-independent object files
by Hugo Pacheco 27 Jul '17

27 Jul '17

Hi cafe, I am wondering if there is any easy way to distribute a Haskell module/library in a platform-independent manner without revealing the source code, that can be seamlessly linked with GHC? I am thinking about some sort of GHC object files or any intermediate representation such as C,LLVM or Haskell Core. My use case would be to release a small utility module as part of a student assignment without revealing its source code to students. Thanks, hugo -- www.di.uminho.pt/~hpacheco

2 4

custom package for Verbosity, info, warn etc. in console programs
by Henning Thielemann 27 Jul '17

27 Jul '17

I have several command-line tools that support a verbosity flag. The Cabal library provides an appropriate data type and related reporting functions: https://hackage.haskell.org/package/Cabal-2.0.0.2/docs/Distribution-Verbosi… https://hackage.haskell.org/package/Cabal-2.0.0.2/docs/Distribution-Simple-… However, Cabal moves pretty fast (frequent version increments) and I do not need all the distribution stuff. Is there a package that provides only the Verbosity and reporting functionality?

1 0

Static analysis engineering at Facebook (Clang/OCaml)
by Don Stewart 26 Jul '17

26 Jul '17

The Infer static analysis team at Facebook is hiring. We have a functional programming engineering role in London to work on the open source Clang/C++ frontend to Infer. Infer is a static analysis suite for C++, Java and Objective C used by thousands of engineers at Facebook and elsewhere to find bugs. The role is a "compiler" role - working on the Clang AST to OCaml, and intermediate phases of Infer to improve our C++ analysis capabilities. Good FP engineering skills (e.g. Haskell or OCaml) are desirable. You should have a working knowledge of C++ semantics, language or compiler design or experience in a range of C++ projects. Infer: http://fbinfer.com/ Apply via: https://www.facebook.com/careers/jobs/a0I1200000LT8aA

1 0

ANN: (unofficial) nightly cabal-install builds for OSX
by Oleg Grenrus 26 Jul '17

26 Jul '17

Dear Haskellers, I set up a semi-automatic system to provide you with `cabal` head builds for OSX / macOS at: https://haskell.futurice.com/ As a single highlight, these builds are useful if you need to setup OSX CI; multi-travis-ghc [1] can be used almost as is, see [2]. Hopefully you find these useful! [1]: https://github.com/hvr/multi-ghc-travis [2]: https://github.com/futurice/haskell-futurice-site/commit/3d9b40c6c61788589d… Best regards, Oleg "phadej" Grenrus

1 0

ANN: stack-1.5.0 released
by Emanuel Borsboom 26 Jul '17

26 Jul '17

See https://haskellstack.org for installation and upgrade instructions. ## 1.5.0 Behavior changes: * `stack profile` and `stack trace` now add their extra RTS arguments for benchmarks and tests to the beginning of the args, instead of the end. See [#2399](https://github.com/commercialhaskell/stack/issues/2399) * Support for Git-based indices has been removed. Other enhancements: * `stack setup` allow to control options passed to ghcjs-boot with `--ghcjs-boot-options` (one word at a time) and `--[no-]ghcjs-boot-clean` * `stack setup` now accepts a `--install-cabal VERSION` option which will install a specific version of the Cabal library globally. * Updates to store-0.4.1, which has improved performance and better error reporting for version tags. A side-effect of this is that all of stack's binary caches will be invalidated. * `stack solver` will now warn about unexpected cabal-install versions. See [#3044](https://github.com/commercialhaskell/stack/issues/3044) * Upstream packages unpacked to a temp dir are now deleted as soon as possible to avoid running out of space in `/tmp`. See [#3018](https://github.com/commercialhaskell/stack/issues/3018) * Add short synonyms for `test-arguments` and `benchmark-arguments` options. * Adds `STACK_WORK` environment variable, to specify work dir. See [#3063](https://github.com/commercialhaskell/stack/issues/3063) * Can now use relative paths for `extra-include-dirs` and `extra-lib-dirs`. See [#2830](https://github.com/commercialhaskell/stack/issues/2830) * Improved bash completion for many options, including `--ghc-options`, `--flag`, targets, and project executables for `exec`. * `--haddock-arguments` is actually used now when `haddock` is invoked during documentation generation. * `--[no-]haddock-hyperlink-source` flag added which allows toggling of sources being included in Haddock output. See [#3099](https://github.com/commercialhaskell/stack/issues/3099) * `stack ghci` will now skip building all local targets, even if they have downstream deps, as long as it's registered in the DB. * The pvp-bounds feature now supports adding `-revision` to the end of each value, e.g. `pvp-bounds: both-revision`. This means that, when uploading to Hackage, Stack will first upload your tarball with an unmodified `.cabal` file, and then upload a cabal file revision with the PVP bounds added. This can be useful—especially combined with the [Stackage no-revisions feature](http://www.snoyman.com/blog/2017/04/stackages-no-revisions-field)&… a method to ensure PVP compliance without having to proactively fix bounds issues for Stackage maintenance. * Expose a `save-hackage-creds` configuration option * On GHC <= 7.8, filters out spurious linker warnings on windows See [#3127](https://github.com/commercialhaskell/stack/pull/3127) * Better error messages when creating or building packages which alias wired-in packages. See [#3172](https://github.com/commercialhaskell/stack/issues/3172). * MinGW bin folder now is searched for dynamic libraries. See [#3126](https://github.com/commercialhaskell/stack/issues/3126) * When using Nix, nix-shell now depends always on git to prevent runtime errors while fetching metadata * The `stack unpack` command now accepts a form where an explicit Hackage revision hash is specified, e.g. `stack unpack foo-1.2.3@gitsha1:deadbeef`. Note that this should be considered _experimental_, Stack will likely move towards a different hash format in the future. * Binary "stack upgrade" will now warn if the installed executable is not on the PATH or shadowed by another entry. * Allow running tests on tarball created by sdist and upload [#717](https://github.com/commercialhaskell/stack/issues/717). Bug fixes: * Fixes case where `stack build --profile` might not cause executables / tests / benchmarks to be rebuilt. See [#2984](https://github.com/commercialhaskell/stack/issues/2984) * `stack ghci file.hs` now loads the file even if it isn't part of your project. * `stack clean --full` now works when docker is enabled. See [#2010](https://github.com/commercialhaskell/stack/issues/2010) * Fixes an issue where cyclic deps can cause benchmarks or tests to be run before they are built. See [#2153](https://github.com/commercialhaskell/stack/issues/2153) * Fixes `stack build --file-watch` in cases where a directory is removed See [#1838](https://github.com/commercialhaskell/stack/issues/1838) * Fixes `stack dot` and `stack list-dependencies` to use info from the package database for wired-in-packages (ghc, base, etc). See [#3084](https://github.com/commercialhaskell/stack/issues/3084) * Fixes `stack --docker build` when user is part of libvirt/libvirtd groups on Ubuntu Yakkety (16.10). See [#3092](https://github.com/commercialhaskell/stack/issues/3092) * Switching a package between extra-dep and local package now forces rebuild (previously it wouldn't if versions were the same). See [#2147](https://github.com/commercialhaskell/stack/issues/2147) * `stack upload` no longer reveals your password when you type it on MinTTY-based Windows shells, such as Cygwin and MSYS2. See [#3142](https://github.com/commercialhaskell/stack/issues/3142) * `stack script`'s import parser will now properly parse files that have Windows-style line endings (CRLF) Thanks to all our contributors for this release: * Aayush Kapoor * Albert Netymk * Alexey Kuleshevich * Anders Kaseorg * Arash Rouhani * Bryan Richter * Dawei LIU * Dmitry Nikulin * Domen Kožar * Emanuel Borsboom * Felix Yan * Ivan Lazar Miljenovic * James Hamilton * Luke Murphy * Marcin Tolysz * Martin Kolinek * Mateusz Kowalczyk * Michael Sloan * Michael Snoyman * Niklas Hambüchen * Noah Doersing * Omari Norman * Paolo G. Giarrusso * Peter Stuart * Ryan Scott * Sergey Vinokurov * Sibi Prabakaran * Tej Chajed * Tim Dysinger * Tomáš Janoušek * Vassil Keremidchiev

1 0

Parallel QuickCheck testing with live counter
by Henning Thielemann 25 Jul '17

25 Jul '17

I like pretty much how QuickCheck counts the number of successful tests until it reports that all tests are performed. It gives me feedback on the difficulty of the tests quickly or how long the tests will still run. I also want to run tests in parallel on multiple computing cores. There are dozens of test frameworks now. I have only tried 'pqc' and 'tasty' so far, both of them only show completed test runs but no live counters. Is there a package that runs QuickCheck tests in parallel and shows test counts live?

1 0

Avoiding ad-hoc with yesod-form
by Yotam Ohad 24 Jul '17

24 Jul '17

Hello cafe, I have a custom data type: data Foo = Foo | Bar | Baz deriving (Show, Bounded, Enum) In my yesod app I need to have two forms, one that get two Foo and a second that recieve three Foo. From What I've seen online I need to create two new data types: data Foo2 = { foo1 :: Foo, foo2 :: Foo } data Foo3 = { foo1 :: Foo, foo2 :: Foo, foo3 :: Foo } This is tedious and very much ad-hoc. In my actual app it goes up to Foo6 :( Is there a better way to do it? This is how I defined the forms: foo2AForm :: AForm Handler Foo2 foo2AForm = Foo2 <$> areq (selectFieldList foos) "foo1" Nothing <*> areq (selectFieldList foos) "foo2" Nothing where foos:: [(Text, Role)] foos= map (pack . show &&& id) [minBound..] foo2Form :: Html -> MForm Handler (FormResult Foo2, Widget) foo2Form = renderTable teamAForm foo3AForm :: AForm Handler Foo3 foo3AForm = Foo3 <$> areq (selectFieldList foos) "foo1" Nothing <*> areq (selectFieldList foos) "foo2" Nothing <*> areq (selectFieldList foos) "foo3" Nothing where foos:: [(Text, Role)] foos= map (pack . show &&& id) [minBound..] foo3Form :: Html -> MForm Handler (FormResult Foo2, Widget) foo3Form = renderTable teamAForm Thanks

2 2

[Hiring] Part-time student job in Mannheim, Germany (remote possible)
by Dr. Jann Müller 24 Jul '17

24 Jul '17

We are working on a new approach to financial risk modelling based on recent research. Having obtained some initial funding, we are now looking for a developer to help us implement a prototype. The work will be mostly on the frontend using GHCJS and probably the miso framework (but we are open to other suggestions if you have previous experience in that space). - 10-20h per week at market rates - Flexible hours, remote work possible, but must be able to come to Mannheim for one day each month. Train tickets from anywhere in Germany will be paid for. - Start date: First week of October There is also a lot of potential for thesis projects, if you are interested in domain-specific languages, interpreters, or in dealing with uncertainty, please get in touch. Please send your inquiries and applications to jobs(a)lbrm.de<mailto:jobs@lbrm.de> Regards, Jann Müller

1 0