October 2018 - Haskell-Cafe

[JOB] Haskell job opportunity at RELEX Solutions in Helsinki, Finland
by Mats Rauhala 02 Oct '18

02 Oct '18

Would you like to get paid for writing Haskell? And do you live in Europe, preferably in Helsinki, Finland? If yes, please read on. RELEX Solutions is Europe's fastest growing provider of integrated retail and supply chain planning solutions. We are looking for a few Haskell developers to join our small, but impactful group of Haskellers to develop our internal tools. In this position you will be exposed to various technologies, such as Haskell, Servant, Elm, GHCJS, Terraform, Ansible, Nix, RHEL/CentOS, AWS etc. Your own interests are influential in what your daily work will consist of. Your main responsiblities will be some mix of development, operations and support of and around our coordination system. Interested in applying? Follow the link: https://relex.recruiterbox.com/jobs/fk01gjr/ Full remote for this position is negotiable, but you should be able to be present at the Helsinki office at least for a couple of weeks, preferably longer. Details of your contract are largely negotiable. Please note that the available position will be filled as soon as suitable candidates are found, so don't wait too long ;). I'm also available for questions: - 'masser' at functionalprogramming slack - 'MasseR' at freenode - 'mats.rauhala(a)gmail.com' email or on this mailing list. -- Mats Rauhala

2 1

Internship at Tsuru
by Mikhail Baykov 02 Oct '18

02 Oct '18

Hi Cafe Tsuru Capital is looking for interns. Haskell knowledge is required, experience with pricing futures/options would be nice but not necessary. Located in Tokyo, company language is English. Casual environment, nice monitors and a big coffee machine. Duration 3-4 months, starting at your convenience. We will help you with visa and looking for a place to stay. There's some salary. Details how to apply are on our website. https://www.reddit.com/r/haskell/comments/9knxtu/tsuru_is_looking_for_more_… Feel free to ask questions here, in email or #tsurucapital on freenode.

1 0

Natural Deduction
by Yasuaki Kudo 02 Oct '18

02 Oct '18

Hi, I have already sent similar questions to other forums but am still looking. Would you please advise where I can find a good explanation of Natural Deduction? I have been reading the link below so far. http://www.cs.cmu.edu/~fp/courses/atp/handouts/ch2-natded.pdf Cheers! Yasu

1 0

ANN: hledger-1.11 released
by Simon Michael 01 Oct '18

01 Oct '18

Short announcement this quarter. Pleased to announce the release of hledger 1.11 on schedule! Thanks to release contributors Joseph Weston, Dmitry Astapov, Gaith Hallak, Jakub Zárybnický, Luca Molteni, and SpicyCat. stack users will need to get a copy of hledger source and do stack install from there, due to the recent GHC 8.6 release. cabal install hledger-1.11 should work normally. From http://hledger.org/release-notes.html#hledger-1.11 <http://hledger.org/release-notes.html#hledger-1.11> : hledger 1.11 The default display order of accounts is now influenced by the order of account directives. Accounts declared by account directives are displayed first (top-most), in declaration order, followed by undeclared accounts in alphabetical order. Numeric account codes are no longer used, and are ignored and considered deprecated. So if your accounts are displaying in a weird order after upgrading, and you want them alphabetical like before, just sort your account directives alphabetically. Account sorting (by name, by declaration, by amount) is now more robust and supported consistently by all commands (accounts, balance, bs..) in all modes (tree & flat, tabular & non-tabular). close: new –opening/–closing flags to print only the opening or closing transaction files: a new command to list included files prices: query arguments are now supported. Prices can be filtered by date, and postings providing transaction prices can also be filtered. rewrite: help clarifies relation to print –auto (#745) roi: a new command to compute return on investment, based on hledger-irr test: has more verbose output, more informative failure messages, and no longer tries to read the journal csv: We use a more robust CSV lib (cassava) and now support non-comma separators, eg –separator ‘;’ (experimental, this flag will probably become a CSV rule) (#829) csv: interpolated field names in values are now properly case insensitive, so this works: fields …,Transaction_Date,… date %Transaction_Date journal: D (default commodity) directives no longer break multiplier amounts in transaction modifiers (AKA automated postings) (#860) journal: “Automated Postings” have been renamed to “Transaction Modifiers”. journal: transaction comments in transaction modifier rules are now parsed correctly. (#745) journal: when include files form a cycle, we give an error instead of hanging. upper-case day/month names in period expressions no longer give an error (#847, #852)

1 1