The primary haskell.org domain, www.haskell.org, is hosted on a system which seems to have lost one of its RAID disks completely.
We were planning on moving this machine in the next few weeks to new infrastructure, but we are now expediting this plan and will be doing it ASAP.
As we move this server, both the webserver and the mailing system will be going down. Please don't be alarmed if your emails aren't delivered or things go quiet. Many services will continue to work, but we do realize this will be upsetting for many.
You can follow the progress on #haskell-infrastructure on Freenode, and see updates on https://status.haskell.org
If you need to download something like a GHC binary or Haskell Platform package, you can use https://downloads.haskell.org in the mean time, which is a new service we were hoping to announce more officially soon, but is already working today.
Unfortunately we cannot give an expected time of completion for the move, but we'll try to keep people well informed through IRC or something like Reddit.
Thankssubmitted by aseipp
[link] [3 comments]
At the same time, Flow is a gradual type system. Any parts of your program that are dynamic in nature can easily bypass the type checker, so you can mix statically typed code with dynamic code.
Flow also supports a highly expressive type language. Flow types can express much more fine-grained distinctions than traditional type systems. For example, Flow helps you catch errors involving null, unlike most type systems.
Once more we have the GHC Weekly news! This one is a bit late due to Austin being in limbo unexpectedly for a few days last week. (The next one will of course come again on Friday to keep things straight.)
With that out of the way, let's see what exactly is going on:
- The STABLE freeze is happening at the end of this week! That means if you have something you want to get in, try to get people aware of it! Austin (yours truly) has a backed up review queue it would seem, but hopes to clear a bunch of it out before then.
- Simon and Gergo started a whole bunch of discussion about type signatures for pattern synonyms. There is a surprising amount of content to talk about here for something that might seem simple: https://www.haskell.org/pipermail/ghc-devs/2014-November/007066.html
- Herbert Valerio Riedel has finally landed integer-gmp2, AKA Phab:D86, which implements a complete overhaul of the integer-gmp library. This library will be switched on by default in GHC 7.10.1, which means the integer-gmp library version will have a super-major bump (version 188.8.131.52). This is the beginning of a longer-term vision for more flexible Integer support in GHC, as described by Herbert on the design page: https://ghc.haskell.org/trac/ghc/wiki/Design/IntegerGmp2 This implementation also fixes a long standing pain point where GHC would hook GMP allocations to exist on the GHC heap. Now GMP is just called to like any FFI library.
- Jan Stolarek made a heads up to help out GHC newcomers: if you see a ticket that should be easy, please tag it with the newcomer keyword! This will let us have a live search of bugs that new developers can take over. (Incidentally, Joachim mentions this is the same thing Debian is doing in their bug tracker): https://www.haskell.org/pipermail/ghc-devs/2014-November/007313.html
- Merijn Verstraaten has put forward a proposal for more flexible literate style Haskell file extensions. There doesn't seem to be any major opposition, just some questions about the actual specification and some other ramifications: https://www.haskell.org/pipermail/ghc-devs/2014-November/007319.html
- Facundo Domínguez posed a question about CAFs in the GC, which Jost Berthold was fairly quick to reply to: https://www.haskell.org/pipermail/ghc-devs/2014-November/007353.html
- Adam Gundry, Eric Seidel, and Iavor Diatchki have grouped together to get a new, unexpected feature into 7.10: type checking plugins. Now, GHC will be able to load a regular Haskell package as a plugin during the compilation process. Iavor has a work-in-progress plugin that solves constraints for type-level natural numbers using a SMT solver. The code review from everyone was published in Phab:D489.
- Austin opened up a discussion about the future of the Haskell98 and Haskell2010 packages, and the unfortunate conclusion is it looks like we're going to drop them for 7.10. Austin has some rationale, and there was some followup in the mailing list thread too: https://www.haskell.org/pipermail/ghc-devs/2014-November/007357.html
Closed tickets this week include: #9785, #9053, #9513, #9073, #9077, #9683, #9662, #9646, #9787, #8672, #9791, #9781, #9621, #9594, #9066, #9527, #8100, #9064, #9204, #9788, #9794, #9608, #9442, #9428, #9763, #9664, #8750, #9796, #9341, #9330, #9323, #9322, #9749, #7381, #8701, #9286, #9802, #9800, #9302, #9174, #9171, #9141, #9100, #9134, #8798, #8756, #8716, #8688, #8680, #8664, #8647, #9804, #8620, #9801, #8559, #8559, #8545, #8528, #8544, #8558
Hi! We are Silk and we are working on an awesome product (we think) and could really use some help developing our software. Our product is written as a pretty conventional client/server web architecture of which the backend is entirely written in Haskell. and a tiny bit of node.js, but please don't tell anyone
We are looking for an experienced Haskell developer with a great engineering mindset and a good feeling for high level software design. Besides helping to improve our current backend we might put you to work on some interesting new challenges. Mostly in the area of graph databases and query language design, machine learning for our suggestion engines, and distributed process management. Of course many new projects may come up in the future.
This is a full time position in our Amsterdam office and we're currently not looking for remote workers. Ideally we are looking for someone from within the EU, because that simplifies the hiring process significantly. We might be willing to make exceptions on this rule in exceptional cases.
Please let us know if you're interested!submitted by sfvisser
[link] [21 comments]
- Darcs has received two grants from the Google Summer of Code program, as part of the umbrella organization Haskell.org. Alejandro Gadea will work on history reordering:
- Marcio Diaz will work on the cache system:
- Repository cloning to remote ssh hosts has been present for years as darcs put. This feature has now a more efficient implementation:
- issue851 Dan Frumin
- interactive mode for whatsnew
- issue1066 Guillaume Hoffmann
- clone to ssh URL by locally cloning then copying by scp
- issue1268 Guillaume Hoffmann
- enable to write darcs init x
- issue1416 Ale Gadea
- put log files in tempdir instead of in working dir.
- issue1987 Marcio Diaz
- Garbage collection for inventories and patches.
- issue2263 Ale Gadea
- Option --set-scripts-executable is not properly documented
- issue2345 Dan Frumin
- solution using cabal's checkForeignDeps
- issue2357 Dan Frumin
- switching to regex-compat-tdfa for unicode support
- issue2365 Guillaume Hoffmann
- correctly copy pristine in no-working-dir clones
- issue2367 Guillaume Hoffmann
- rename amend-record to amend, make --unrecord more visible
- issue2379 Guillaume Hoffmann
- only use packs to copy pristine when up-to-date
- We are in the feature freeze period of darcs 2.10:
- Our two Summer of Code projects ended up two months ago. Marcio and Ale's code will be part of the upcoming new stable version of darcs. In case you missed them, here are the latest posts of Marcio for his project:
- Ale's posts:
- issue1514 Guillaume Hoffmann
- send --minimize-context flag for send
- issue1624 Marcio Diaz
- bucketed cache.
- issue2153 Andreas Brandt
- allow skipping backwards through depended-upon patches
- issue2249 Mateusz Lenik
- Rename isFile to isValidLocalPath and WorkRepoURL to WorkRepoPossibleURL
- issue2380 Owen Stephens
- allow darcs mv into known, but deleted in working, file
- issue2403 Ganesh Sittampalam
- need to avoid moving the rebase patch to the end
- issue2409 Ganesh Sittampalam
- implement darcs rebase apply
I have been meaning to get into haskell on my machine for a while but cannot find a good tutorial that explains the structure and syntax of the language that appeals to complete novices like myself. please post.submitted by EndGameLoot
[link] [6 comments]