タグ

ブックマーク / qiita.com/takenobu-hs (2)

  • 「混ぜられない数」をHaskell/GHCの型を使って手軽につくる

    1. はじめに Haskell/GHCの型システムを使って、「混ぜることのできない数」のグループを手軽に作る方法を紹介します。 Haskellの基的な機能と、GHC拡張を1つだけ使用しています。 なお、ここで紹介する方法は、Don Stewartさんが昔に、"Haskell in the Large"という資料(現在、オリジナル資料はリンク切れ)で紹介していたものを元にしています。 また、記事で出てくるnewtype宣言やphantom型や数値型については、以下の記事などが参考になります。 すごいHで見落としがちだが実は重要な機能:newtype 当はすごい newtype で、出たー!幽霊型だー!(Phantom Type) Haskellらしさって?「型」と「関数」の基を解説! (数値型と型クラスについて簡単に) では、順に試しながら機能を追加していきます。 最初に基的な型

    「混ぜられない数」をHaskell/GHCの型を使って手軽につくる
  • HaskellでTensorFlow、を対話的に試してみる - Qiita

    はじめに TensorFlowのHaskell用バインディングがリリースされています。 格的に使用する場合はコンパイル方式を用いると思いますが、記事では、環境に慣れるために対話的に使用する方法について簡単に紹介します。 以下では、Linux(ubuntu 16.04LTS 18.04LTS)を用いた例を紹介します。 なお、Dockerはインストール済みであることを前提としています。 記事は、2017年8月時点 2018年8月時点の内容です。TensorFlowのHaskell用バインディングは開発中のため、今後、使い勝手が変わると思いますので注意してください。 以下は参考資料です。 * Haskell bindings for TensorFlow * Starting out with Haskell Tensor Flow 環境の準備 1. stackコマンドのインストール st

    HaskellでTensorFlow、を対話的に試してみる - Qiita
  • 1