タグ

2012年10月6日のブックマーク (4件)

  • Welcome to Eclim — eclim (eclipse + vim)

    Welcome to Eclim¶ The power of Eclipse in your favorite editor. Note (Aug. 03, 2024) Eclim has reached its end of life. The Language Server Protocol (LSP) and the various implementations are mature enough that eclim has become unnecessary. It has been a great run (nearly 20yrs!) and I'm grateful for everyone that helped out, from bug reports to patches, it's been awesome. What is it?¶ Eclim provid

    igrep
    igrep 2012/10/06
    vrapperrc書くのたるいんでこいつ使おう。何か間違った発想な気もするけど。
  • Haskell Chart パッケージでグラフ描画 - 捨てられたブログ

    先日『Lotka-Volterra モデルのシミュレーション』で Haskell を用いて数値シミュレーションを行いましたが,せっかく Haskell でシミュレーションしたにもかかわらず結果のグラフを R で描画するという残念な感じでした。調べてみると Chart というグラフ描画のパッケージを見つけましたのでその紹介[A]。 なお,記事は Haskell Advent Calendar 2011 の 9 つ目の記事にあたります。 Chart パッケージのインストール Ubuntu の場合, Chart パッケージは libghc-chart-dev パッケージを apt 経由でインストールしても良いのですが, GTK のモジュールがインストールされないためウィンドウにプロットすることができません。ウィンドウへのプロットが必要なら cabal を使い,そうでなければ apt が楽です。

    igrep
    igrep 2012/10/06
    これも覚えとこう。
  • GADTs使ってみた - Faith and Brave - C++で遊ぼう

    このエントリは、Haskell Advent Calendar 2011の参加記事です。 今回は、HaskellのGHC拡張であるGADTs(Generalized Algebraic Data Types : 一般化代数データ型)を調べて使ってみたという内容を書いてみました。 最初に、GADTsはGHC拡張なので、使用するには以下のようにして拡張を有効にする必要があります: {-#LANGUAGE GADTs #-} まずは構文的な違いを、Maybeを例にして見てみましょう。 通常の代数データ型では、Maybeは以下のように書きます: data Maybe a = Nothing | Just a GADTsでは以下のように書きます: data Maybe a where Nothing :: Maybe a Just :: a -> Maybe a 通常の代数データ型では、データコンス

    GADTs使ってみた - Faith and Brave - C++で遊ぼう
    igrep
    igrep 2012/10/06
    ほぉ。コンストラクタごとに型を付けると。
  • The Logic Lab: simulating simple circuits of logic gates

    Logic gates - logische poorten -teller paneel You need a Flash player to see the Logic Lab The LOGIC LAB is a application for simulating simple circuits of logic gates on the screen. Its an experimental project of freelance Flash Platform developer Kris Temmerman. For contact information and other cool flash projects visit his site: freelance RIA application developer logische schakelingen paneelt

    igrep
    igrep 2012/10/06
    なんだこれすごそう。