InfoQ Homepage Haskell Content on InfoQ
-
Sonatype Lift Integrates Facebook Infer, Google ErrorProne, and Other Code Analyzers
Recently launched Sonatype Lift provides a unified code analysis platform that includes over 25 tools to help developers identify a wide range of bugs in their development pipelines as soon as possible, says Sonatype. InfoQ has spoken with Stephen Magill, VP of product innovation at Sonatype, to learn more.
-
Thrift for Haskell Aims to Eliminate Bugs from RPC Code
Originally created at Facebook and now part of Apache, Thrift is an interface definition language and binary communication protocol aimed to enable efficient RPC at scale across services written in multiple languages. Facebook has recently open sourced hsthrift, which makes it possible to use Thrift in Haskell projects and take advantage of its dependent types to eliminate bugs in production.
-
New Haskell-Based Web App Specification Language Released in Alpha
The Web App Specification Language (Wasp) was recently released in alpha to help developers write modern web applications with less code. Just like Elm, Wasp is a domain-specific language written in Haskell. Unlike Elm, which only addresses single-page applications, Wasp also supports multi-page applications. The alpha release leverages a React/Node/Express/Prisma stack.
-
New Haskell Foundation to Foster Haskell Adoption, Raises $200,000 USD
Simon Peyton Jones, lead designer of the Glasgow Haskell compiler, recently announced the establishment of the Haskell Foundation. The Haskell Foundation is a non-profit organization dedicated to broadening the adoption of Haskell, by supporting its ecosystem of tools, libraries, education, and research. The foundation already gathered $200,000 in funding from corporate sponsors.
-
Refactoring Large Haskell Codebases Using Facebook Retrie
Facebook has open-sourced the tool they use to refactor their own Sigma anti-abuse rule engine. Named Retrie, this tool allows developers to describe rewrites as equations in Haskell syntax rather than regular expressions.
-
Haskell Web Framework IHP Aims to Make Web Development Type-Safe and Easy
Created at digitally induced, the Integrated Haskell Platform aims to be an opinionated framework bringing Haskell type-safety to server side rendering combined with fast development. InfoQ has spoken with digitally induced CEO Marc Scholten.
-
A Guide to Writing Properties of Pure Functions - John Hughes at Lambda Days 2020
John Hughes, co-designer of Haskell and Quickcheck, recently discussed property-based testing at Lambda Days 2020. Hughes presented in his talk five different strategies for coming up with properties and compared their effectiveness. Metamorphic and model-based properties reportedly show high effectiveness.
-
Haskell Adoption and User Satisfaction Growing
The 2018 Haskell User Survey shows very high satisfaction with Haskell’s security, quality, reliability, maintainability, and advanced capabilities, writes FP Complete’s CEO Aaron Contorer. InfoQ has taken the chance to speak with him about Haskell’s current and future landscape.
-
Emerging Technologies for the Enterprise Conference 2017: Day Two Recap
Day Two of the 12th annual Emerging Technologies for the Enterprise Conference was held in Philadelphia. This two-day event included keynotes by Blair MacIntyre (augmented reality pioneer) and Scott Hanselman (podcaster), and featured speakers Kyle Daigle (engineering manager at GitHub), Holden Karau (principal software engineer at IBM), and Karen Kinnear (JVM technical lead at Oracle).
-
Retrospective: Haskell in Production
Haskell might be “the closest thing to a secret weapon” when building server-side software, writes Better co-founder Carl Baatz, summarizing their four-year journey using Haskell in production.
-
Haskell Can Now Do Strict Evaluation by Default
A new Strict language extension to Haskell aims to make it easier to use Haskell for code that is meant to be mostly strict, i.e., evaluated in a non-lazy manner. The feature was recently merged into GHC’s git HEAD and will be included in GHC’s next release.
-
A Proposal to Add Option Types for References to C# 7
Mads Torgersen, C# language program manager at Microsoft, has recently outlined a proposal for the introduction of option types for references in C# 7. Option types are meant as a means to make the language safer and reduce the occurrence of null reference exceptions, which, as Torgersen says, are rampant in C# since any reference type can reference a null value.
-
Frege: a Haskell-like Language for the JVM
Frege, named after the German mathematician Gottlob Frege, is a purely functional, strongly typed language for the JVM that is so similar to Haskell that “most idiomatic Haskell code will run unmodified or with only minimal, obvious adaptions”. InfoQ has spoken with Ingo Wechsung, Frege’s creator.
-
Microsoft Open Sources Cross-platform Serialization Library – Bond
Last month, without any official announcement, Microsoft open sourced Bond - a performant serialization system developed and deployed across dozens of mission-critical, high-scale infrastructure projects internally at Microsoft.
-
Improve your Programming Skills with Exercism.io
Exercism.io helps developers to increases their craftsmanship in a language through feedback and discussion. It’s a community and tool where developers can write code and discuss it to strengthen their problem-solving skills. InfoQ did an interview with the creator of exercism Katrina Owen and with Richard Thomson who contributed the C++ language track for exercism.