InfoQ ホームページ Haskell に関するすべてのコンテンツ
-
Sonatype LiftがFacebook Infer、Google ErrorProne等のコード分析ツールを統合
先頃リリースされたSonatype Liftは、開発者が開発パイプラインのさまざまなバグをできるだけ早く特定するのに役立つ25を超えるツールを含む統合コード分析プラットフォームを提供すると、Sonatypeは言います。InfoQは、詳細について、Sonatypeの製品イノベーション担当副社長であるStephen Magill氏と話をした。
-
Thrift for HaskellはRPCコードからバグを排除することを目的としている
もともとFacebookで作成され、現在はApacheの一部となっているThriftは、複数の言語で記述されたサービス間で大規模で効率的なRPCを実現することを目的としたインターフェイス定義言語（IDL）およびバイナリ通信プロトコルである。Facebookは最近hsthriftをオープンソース化した。これにより、HaskellプロジェクトでThriftを使用し、その依存型を利用して本番環境のバグを排除することができる。
-
新しいHaskellベースのWeb App Specification Languageがアルファ版でリリースされた
Web App Specification Language（Wasp）は最近アルファ版でリリースされた。これにより、開発者はより少ないコードで最新のWebアプリケーションを作成できるようになる。Elmと同じように、WaspはHaskellで書かれたドメイン固有言語である。シングルページアプリケーションのみを扱うElmとは異なり、Waspはマルチページアプリケーションもサポートする。アルファリリース版は現在、React/Node/Express/Prismaスタックを活用している。
-
Haskellの採用促進を目指すHaskell Foundationが発足、20万米ドルの資金を調達
Glasgow Haskell Compilerのリードデザイナを務めるSimon Peyton Jones氏が先頃、Haskell Foundationの設立を発表した。Haskell Foundationは、ツールやライブラリ、教育、研究といったHaskellのエコシステムのサポートを通じたHaskellの採用拡大を目的とする非営利組織であり、すでに企業スポンサから20万ドルの資金を集めている。
-
Haskell Web Framework IHPは、型安全と簡易なWeb開発を目指す
digitally inducedで作成されたIntegrated Haskell Platformは、Haskellの型安全性をサーバ側のレンダリングにもたらし、迅速な開発を実現する、独創的なフレームワークを目指している。InfoQは、digitally inducedのCEO Marc Scholten氏と話した。
-
Facebook Retrieを使用した大規模なHaskellコードベースのリファクタリング
Facebookは、自社のSigma不正行為防止ルールエンジンをリファクタリングするために、ツールをオープンソース化した。Retrieという名前のこのツールを使用すると、開発者はリライトを正規表現ではなくHaskell構文の方程式として記述することができる。
-
純粋関数のプロパティを記述するには - John Hughes氏のLambda Days 2020での講演より
HaskellとQuickcheckの共同設計者のひとりであるJohn Hughes氏が、先日のLamdba Days 2020で、プロパティ(property/特性)ベースのテストについて論じた。講演の中で氏は、プロパティを導入するための5つの戦略を紹介し、それぞれの効率性を比較した上で、結論としてメタモルフィック(Metamorphic)プロパティとモデルベースプロパティが高い効率性を見せたことを報告した。
-
Haskellの採用とユーザ満足度が向上
2018 Haskell User SurveyではHaskellのセキュリティ、品質、信頼性、保守性、高度な機能に対して非常に高い満足度が示されていると、FP CompleteのCEOであるAaron Contorer氏は記している。InfoQは今回、Haskellの現状と将来への展望について、氏と議論する機会を持つことができた。
-
Enterprise Conference 2017に見る新たなテクノロジ - 第2日目まとめ
第12回Emerging Technologies for the Enterprise Conferenceカンファレンスの第2日がフィラデルフィアで開催された。この2日間のイベントは、Blair MacIntyre氏(拡張現実の第一人者)とScott Hanselman氏(ポッドキャスタ、Microsoftプリンシパル・プログラムマネージャ)の基調講演に始まり、Kyle Daigle(GitHubエンジニアリングマネージャ)、Holden Karau(IBMプリンシパル・ソフトウェアエンジニア)、Karen Kinnear(Oracle JVMテクニカルリーダ)各氏による講演が行われた。
-
製品開発においてHaskellを使用した経験の振り返り
Haskellは、サーバサイド・ソフトウェアを構築する際の“秘密兵器に最も相応しい”とCarl Baatz氏(Better社の共同設立者)は述べている。 彼は、Haskellを製品に対して使用した4年間をまとめている。
-
Frege: JVMのためのHaskellのような言語
ドイツ人数学者、Gottlob Frege氏から名付けられたFregeは、JVMのための純粋関数型の強力な型付き言語だ。FregeはHaskellと似ていて、「もっともHaskellらしいコードを修正せずに、または、見て分かる最小限の調整だけで動かせる。」 InfoQは、Fregeの作者であるIngo Wechsung氏に話を聞いた。
-
C# 7への選択型の導入
MicrosoftでC#のプログラムマネージャを務めるMads Torgersen氏はC# 7の参照への選択型の導入についての提案を公開した。選択型はC#を安全にしnull参照例外を発生しにくくする。Torgersen氏曰く、C#はnull値を参照できるがゆえにnull参照例外が猛威をふるっている。
-
Exercism.ioでプログラムスキルを向上する
Exercism.ioは，フィードバックとディスカッションを通じて，プログラム言語における開発者のクラフトマンシップ向上を支援する。コードを書き，議論することによって，自身の問題解決能力を強化することができるコミュニティとツールである。InfoQでは，Exercismを生み出したKatrina Owen氏と，C++言語トラックで貢献したRichard Thomson氏にインタビューした。
-
PureScript:JavaScriptにコンパイルされるHaskellライクな言語
PureScriptはJavaScriptにコンパイルする，強い静的型付けを持った言語だ。 Haskellに影響され，Haskellで記述されたこの言語は，"非常に表現力のあるコードが記述可能でありながら"，JavaScriptへの変換後も"クリアで可読性のよい"ことを目標としている。さらに，作者のPhil Freeman氏によれば，JavaScriptをターゲットとする他の言語との相互運用性も提供する。
-
rest: HaskellのオープンソースRESTフレームワーク
Silkは先頃，"rest"という名称のHaskell用RESTフレームワークをオープンソースにした。happstackなどの一般的なWebフレームワーク上で動作させることが可能な，RESTサービス定義用のDSLを提供する。タイプセーフなURL，フォーマット形式の抽象化サポート，API仕様とビジネスロジックの明確な分離といった機能も備える。