おすすめHaskellプロジェクト作成方法(ほぼ)2021年版
はじめに （あともう少しで）あけましておめでとうございます。 この記事では2020年12月31日時点での私のおすすめの最新のHaskellプロジェクトの作成方法をまとめます。 Haskellの環境構築はstackを使うものとcabalを使うものの２種類があります。 歴史的にはcabalの不便さを改善したのがstackですが、現在はcabalも進化して 不便さは大幅に解消されているため、筆者の好みでcabalによる環境構築をまとめます。 ツールのインストール ghcup ghcupはGHCとcabalとHLSをバージョン管理してくれるインストーラです。 インストールガイド を参考にインストールしてください。 バージョン確認 ghcupをインストールしたら $ ghcup list Tool Version Tags Notes ✗ ghc 7.10.3 base-4.8.2.0 ✗ ghc
「サイゼリヤで1000円あれば最大何kcal摂れるのか」をSMTソルバー(Z3)で解いてみた。 - Qiita
前書き サイゼリヤ1000円ガチャをつくってみた(Heroku + Flask + LINEbot) 「サイゼリヤで1000円あれば最大何kcal摂れるのか」を量子アニーリング計算(Wildqat)で解いてみた。 完全に二番煎じですが、古典コンピューターが好きなので、個人的に古典コンピューター最強のなんだかよく分からないけどよく分からないものをよく分からないうちに解いてくれるソフト、z3を使ってサイゼリア問題を解いてみました。 問題 サイゼリヤのメニューを重複無しで合計1000円以下になるように選んだときに、最大の総カロリーになるようなメニューの組み合わせを求めよ。 サイゼリヤのメニューは https://github.com/marushosummers/Saizeriya_1000yen こちらを使わせて使わせて頂きました。メニューは100種類ぐらいみたいで、カロリーは整数値で、プロコ
Haskell+LLVM構成で作る自作コンパイラ - Qiita
Haskellのパーサコンビネータmegaparsecと、コンパイラ基盤であるLLVMを使って、コンパイラを作ってみます。モチベーションとしてはコンパイラはC/C++を使って作るのが定番ですが、型の恩恵を受けながら開発したいなあということでHaskellでも作れないか調べてみました。 コンパイラ作成の流れ パーサコンビネータのMegaparsecで四則演算のパーサを作成します。 LLVM IR構築のライブラリであるllvm-hs-pureでLLVM IRのコードへ変換するコンパイラを作成します。 簡単な式をコンパイルしてLLVMのインタープリタlliで実行します。 LLVMのコンパイラllcでアセンブラを生成してgccでバイナリまで生成します。 環境 あらかじめ以下をインストールしておいてください。 stack 1.9.3 Haskell 8.6.5 LLVM 9.0.0 コマンドラインで
Megaparsec tutorial from IH book (翻訳)
Posted on July 14, 2019 translated by Wataru Yamada authored by Mark Karpov Last Updated October 11, 2020 Great original post: Megaparsec tutorial from IH book この Megaparsec のチュートリアルは、元々は Intermediate Haskell という本の１つの章のために書かれました。 ここ一年で本が進展していないため、 他の著者は私がスタンドアロンのチュートリアルとしてテキストを公表し、 人々が少なくとも私たちの仕事のこの部分から恩恵を受けることができるようにする ことに同意しました。 ParsecT と Parsec モナド 文字 とバイナリストリーム モナディック構文とアプリカティブ構文 Eof による入力の強制消
Haskell に IDE はないのか？──独断と偏見による Haskell の IDE 十年史
答え：Haskell に IDE はずっとある、今ならHLS使え（内容を読む気がないようという人向けの答え） はじめに 2021年2月現在、Haskell の IDE 環境は Haskell Language Server (HLS) の登場により劇的な進化を遂げていますが、日本の Haskell コミュニティではその前身の Haskell IDE Engine (HIE) の情報がまだ氾濫しており、十分な周知に至っていない現状があります。 本稿では、こうした現状を打破すべく、2021 年 2 月現在の Haskell の IDE 環境を取り巻く現状と、そこに至るまでの歴史を完全に独断と偏見で紹介します。より多くの人に HLS の存在を周知し、皆さんの Haskell Life の一助となれば幸いです。また、HLS の前身である HIE は必ずしも快適に動作するとは言い難かったため、HLS
Haskellで実装された MySQL ドライバ mysql-haskell を試してみた - Qiita
HaskellでMySQLを使う時、僕はよくmysql-simpleを使っています。このライブラリはすごく簡単に使えるので重宝しているのですが更新が止まってたりいろいろ不満も多いです。先日Redditを眺めていたらCのライブラリのFFIではなく1からHaskellで実装したMySQLドライバが話題になっていたのでさっそく試してみました。 Pure haskell mysql driver winterland1989/mysql-haskell READMEにはmysql-simpleに不満なところが3つ挙げられています。 プリペアドステートメントとバイナリプロトコルがサポートされていない FFIのせいで並列処理に限界がある レプリケーションプロトコルのサポートがない mysql-haskellはこれらの問題を解決することをモチベーションにしています。 パフォーマンスに関してもREADME
型付けは難しい
ベン・フィードラーのブログより。 型検査と型推論 型検査とは、あるプログラミング言語で与えられたプログラムを実行し、すべての変数や式が正しい型を持っているかどうかを調べるプロセスです。例えば、文字列は文字列に代入され、算術式は数値のみを使用するなどです。一部の言語では型推論を提供しており、コンパイラに自分で正しい型を見つけるタスクも提供します。言語の特徴に応じて、型検査と型推論の問題は、些細なものから決定不能なものまで様々です。 一般的な用語 完全性 正しく入力されたプログラムを全てチェックできれば、タイプチェッカーは完了です。 健全性 正しく型付けされたプログラムのみを受け付けるものであれば、型検査は健全です。 決定可能性 任意の入力に対して、その入力が問題を満足するかどうかを有限時間で計算できる場合、決定問題は決定可能です。決定可能な問題の例としては、素数判定や充足可能性などがあります
Haskellの子供たち
Owenのブログより。 もし、私が4年前にタイムスリップして、昔の自分にHaskellが輝きを失い始めていると言ったら、私はそれを信じないでしょう。私はHaskellで育ち、カテゴリ理論への欲求はHaskellによって刺激され、私の最大のプログラミング・プロジェクトはHaskellであり、Haskellを使った会社で働くのが夢でした。 しかし今では、以前ほどHaskellに興奮していないことに気が付きました。何が変わったのでしょうか? いくつか要因があると思います。主な要因の1つは、Haskellが本当に得意としているプログラミングの種類だと思います。つまり、抽象的で正しいインタフェースを作ることは、私にとって興味のあるタイプのプログラミングではないと言うことです。キャリアとしてソフトウェアに携わりたいと思ったとき、自分を繰り返さないようにする素晴らしい機能を持った言語はとても役に立ちまし
HIW 2018・Haskell Symposium 2018に行ってきた | IIJ Engineers Blog
日本Haskellユーザーグループ（愛称 Haskell-jp）発起人の一人にして、Haskell-jpで一番のおしゃべり。 HaskellとWebAssemblyとプリキュアとポムポムプリンをこよなく愛する。 HIW 2018・Haskell Symposium 2018 とは HIW 2018 (Haskell Implementors’ Workshop 2018)とHaskell Symposium 2018は、ICFP (International Conference on Functional Programming)という関数型プログラミングについての国際会議に併設された、Haskell専門のワークショップと国際会議です。 Haskell Symposiumは投稿されたHaskell全般についての論文の発表会です。 一方HIWは、名前通りのHaskellの実装（主にGHC）
Haskell で楽しい Web スクレイピング - Qiita
Haskell で Web スクレイピングしてみたらすごく楽しかったのでご紹介します. Scalpel Scalpel は Haskell のスクレイピングライブラリです. 著名なパーサコンビネータである parsec に影響を受けており, 宣言的・モナディックにスクレイピングスクリプトを書くことができます. 本記事では, Scalpel でのスクレイピングの実装例を紹介しながら, モナディックな記述の裏側, Alternative, MonadPlus 型クラスを利用した解析器の仕組み を説明したいと思います. スクレイピングしてみる (基本編) 弊社の Qiita AdventCalendar の投稿一覧をスクレイピングしてみましょう. スクレイピング結果例 こんな感じの結果を得ようと思います. Just [ masahixixi: 競馬における脆弱性を追求してみようと思った話~準備編
「栄光のグラスゴーHaskellコンパイルシステム利用の手引き」について
これは、GHCのマニュアルであるThe Glorious Glasgow Haskell Compilation System User's Guideの非公式な日本語訳です。 翻訳の正確さについては無保証であり、実際あやしいところがいくつかあります。また、内容が最新版を反映していない可能性がかなりあります。バージョン番号に注意してください。 ライセンスは原文のものと同じとします。したがって再配布にあたって訳者の名前を添える必要はありません。 質問、誤りの指摘、およびそれ以外の改善案を歓迎します。掲示板に書きこんで下さい。メールでも構いません。 基本的に、誤りの修正や訳語の変更は最新版のみに行い、以前の版に遡っては修正しません。 xmlの原文はgithubにあります。 www.kotha.net バージョン 最新版置き場 7.8.2 7.6.2 7.6.1 7.4.2 7.4.1 7.2.
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://www.ieice.org/publications/conference-FIT-DVDs/FIT2014/data/pdf/O-025.pdf
GitHub - nushio3/learn-haskell
日本Haskellユーザーグループ - Haskell-jp