はてブログ

はてなブックマーク新着エントリーの過去ログサイトです。



タグ OCaml

新着順 人気順 5 users 10 users 50 users 100 users 500 users 1000 users
 
(1 - 15 / 15件)
 

OCaml でゲームボーイエミュレータを書いた話 - Qiita

2021/12/12 このエントリーをはてなブックマークに追加 125 users Instapaper Pocket Tweet Facebook Share Evernote Clip Qiita ゲームボーイエミュレータ

はじめに 完成品は以下のページで試せます。 デモページ いくつかの homebrew ROM も一緒になっているのでいろいろ遊んでみてください。おすすめは「Bouncing ball」と「Tobu Tobu Girl」です。最近のスマホならだいたい安定して 60 FPS 出るはずなので、スマホでも遊べます。 レポジトリはこちらです。 スクリーンショ... 続きを読む

OCaml でも採用されているレベルベースの多相型型推論とは - はやくプログラムになりたい

2017/12/15 このエントリーをはてなブックマークに追加 76 users Instapaper Pocket Tweet Facebook Share Evernote Clip サブセット 推論 エントリ Advent Calendar

2017 - 12 - 16 OCaml でも採用されているレベルベースの多相型型推論とは 型推論 OCaml 言語実装 Advent Calendar 2017 の16日目の記事です. GoCaml という OCaml のサブセットな言語を実装していて,多相型の 型推論 を実装するために論文を読んだり OCaml の実装をちょっと追ったりしていたので,その知識を整理する意味でこのエントリを書いて... 続きを読む

CPU実験:マルチコアで並列実行するまで(コンパイラ係目線) - eguchishi

2017/09/09 このエントリーをはてなブックマークに追加 105 users Instapaper Pocket Tweet Facebook Share Evernote Clip アセンブラ サブセット 並列 コンパイラ CPU実験

2017 - 09 - 09 CPU実験:マルチコアで並列実行するまで(コンパイラ係目線) CPU実験が終わって半年ですが、忘れる前にやったことを書き残しておこうと思います。 並列化ーー CPU実験 全体 4人程のチームで、自作CPU、 コンパイラ 、 アセンブラ 、シュミレータ等を作り、最終的には 高級言語 ( mincaml という Ocaml のサブセット)で書かれたプログラム( レイトレー... 続きを読む

いま学ぶべき第二のプログラミング言語はコレだ! 未来のために挑戦したい9つの言語とその理由 - エンジニアHub|若手Webエンジニアのキャリアを考える!

2017/05/19 このエントリーをはてなブックマークに追加 2101 users Instapaper Pocket Tweet Facebook Share Evernote Clip エンジニアHub プログラミング言語 言語 キャリア コレ

2017 - 05 - 19 いま学ぶべき第二のプログラミング言語はコレだ! 未来のために挑戦したい9つの言語とその理由 業務に必要なだけではなく、コンピュータによって問題解決できていない分野を切り開き、エンジニアとして戦っていくため、刺激的な第二プログラミング言語に挑戦しましょう。Rust、Go、Erlang、Elixir、Clojure、Scheme、OCaml、Haskell、Scalaを紹... 続きを読む

関数型プログラマからみたRust | κeenのHappy Hacκing Blog

2017/04/04 このエントリーをはてなブックマークに追加 144 users Instapaper Pocket Tweet Facebook Share Evernote Clip een Haskell Scheme SML Scala

C++からRustに入った人あたりから「関数型言語から来た人のRustの感想を知りたい」とたまに言われるのでいつかブログ書こうか。 — κeen (@blackenedgold) 2017年4月3日 イントロ 私はRustをやる前にはCommon LispやSMLを主に使っていましたが、仕事ではScalaを使っていましたし他にもOCamlやSchemeやClojureやATS2やHaskellなど... 続きを読む

『プログラミングの基礎』読書日誌-19日目- - akimachoのはてなブログ

2015/08/05 このエントリーをはてなブックマークに追加 50 users Instapaper Pocket Tweet Facebook Share Evernote Clip プログラミング accumulator 基礎 引数 蓄積

2015-03-19 『プログラミングの基礎』読書日誌-19日目- OCaml 読書 関数プログラミング プログラム はじめに 今回は,第16章 情報の蓄積です.この章をもって,一区切りになります. アキュムレータ アキュムレータ(accumulator)とは,欠落している情報を補うために導入される引数のことをいいます.各辞書を尋ねてみると以下のような意味のようです.ウィズダム英和辞典によると, ... 続きを読む

自作CPU向けCコンパイラをつくってOS動かした話 (CPU実験まとめ) - kw-udonの日記

2015/03/19 このエントリーをはてなブックマークに追加 526 users Instapaper Pocket Tweet Facebook Share Evernote Clip サブセット アーキテクチャ 日記 学科 後期

2015-03-19 自作CPU向けCコンパイラをつくってOS動かした話 (CPU実験まとめ) 僕の学科では伝統的に3年の後期に半年かけてCPU実験というものをおこなう。 班で自作のアーキテクチャを設計・実装し、FPGA基板上でMinCaml(OCamlのサブセット)でかかれた課題用レイトレーシングプログラムが動けば単位がもらえるというものである。 レイトレ完動後には、その高速化にはげむもよし、余... 続きを読む

金融と OCaml - Oh, you `re no (fun _ → more)

2013/12/09 このエントリーをはてなブックマークに追加 59 users Instapaper Pocket Tweet Facebook Share Evernote Clip Ph.D Fun MORE you re no

OCaml関数型言語というと金融で流行っている、特に OCaml と言えば金融御用達関数型言語として語られることも多い。金融業界に関数型言語を持ち込み成功した最初の二社 LexiFi とJane Street Capital は共に OCaml を採用し、そして二社とも今日成功しているからだ。今回はそのうち LexiFi について話したい。私が Ph.D を取った後、一年間、産業ポスドクとしてお世... 続きを読む

プログラムを書く順番とテスト駆動開発について - Line 1: Error: Invalid Blog('by Esehara' )

2013/07/24 このエントリーをはてなブックマークに追加 52 users Instapaper Pocket Tweet Facebook Share Evernote Clip error Invalid Blog 順番 テスト駆動開発

2013-07-24 プログラムの書き方の順番とテスト駆動開発について 下の本を読んでいた。 プログラミングの基礎 (Computer Science Library)作者: 浅井健一出版社/メーカー: サイエンス社発売日: 2007/03メディア: 単行本購入: 17人 クリック: 409回この商品を含むブログ (105件) を見る この本はどういう本かといえば、OCamlという、関数型言語と呼... 続きを読む

実務で使うOCaml - 泥臭い仕事をサクっとこなす方法 - keigoiの日記

2012/06/15 このエントリーをはてなブックマークに追加 89 users Instapaper Pocket Tweet Facebook Share Evernote Clip keigoi プログラマ ザク かけら 実務

プログラマが実務で出会うのは、問題が整理されたキレイな仕事ばかりではない。ソフトウェアの本質以外の部分でもプログラムを書く必要に迫られる。様々な開発方法論では抽象化されてしまう、今ここにいるソフトウェア開発者の悩みだ。今日は、私が仕事で書いたOCamlのコードを晒して、如何にOCamlがプログラマの仕事の道具として優れているかを主張する。このコードは、泥臭く、関数的でない、エレガントさのかけらもな... 続きを読む

JSXよりHaxeがイケてる5つの理由(実践編) もしくは Real World Haxe - みずぴー日記

2012/06/12 このエントリーをはてなブックマークに追加 53 users Instapaper Pocket Tweet Facebook Share Evernote Clip haXe jsx みずぴー日記 実践編 文法

JSXがリリースされて1週間ぐらい立ちました。ガシガシ進化が進んでてすごいですねー。おかげで、文法と適用範囲が似てるHaxeにも注目を集まっている気がします。なので、今日はそのHaxeを実際のプロジェクトに適用した事例について紹介したいと思います。題してReal World Haxeです。 プロジェクト概要プロジェクトの概要は、前にosiireさんがOCamlを使ったシステム開発まとめ - まぁ、... 続きを読む

@suer の Redmine プラグイン - FIXME OR DIE

2011/05/31 このエントリーをはてなブックマークに追加 76 users Instapaper Pocket Tweet Facebook Share Evernote Clip スラマッパギ Scala すいー 戸松遥 Java

プロフィール コードが汚くてなにがなんだか分からないところにコメントで FIXME OR DIE と書いて修正内容を記述しておいた。 次見た人がなおしてくれるだろう。そしてそれはきっと自分。 門前仲町で、日々レガシーコードと格闘する凄腕プログラマ(ホントはえすいー。 使用言語はRuby/Java/C#/Scala/OCamlなど。好きな言葉は『スラマッパギ』。 戸松遥が好き過ぎて生きるのが辛い。で... 続きを読む

Coq を始めよう

2011/04/05 このエントリーをはてなブックマークに追加 99 users Instapaper Pocket Tweet Facebook Share Evernote Clip Coq Haskell チュートリアル 性質 関数型言語

このチュートリアルでは定理証明支援系言語である Coq について解説をします。プログラムの性質を Coq で証明できるようになることが目標です。読者の前提知識としては OCaml や Haskell などの関数型言語でプログラミングできることを想定します。また、本文書において Coq のプログラムとの比較には Haskell と OCaml を用いますが、Haskell や OCaml を書いたこ... 続きを読む

経験15年のOCaml ユーザーが Haskell を仕事で半年使ってみた - Oh, you `re no (fun _ → more)

2010/12/12 このエントリーをはてなブックマークに追加 373 users Instapaper Pocket Tweet Facebook Share Evernote Clip 肩書き 定年 Haskell 試用期間 職業

Haskell今の会社に移って半年経ちました。めでたく試用期間終了です。といっても別に試用期間中に密かに首を切られるような事をしたとか、逆に試用期間が終わったからと言ってこれで定年までのうのうと働ける、という訳ではありません。未来は全く判りません。まあとにかく、一つ区切りがやってきました。 金融を知らないQuantsの仕事私の職業の肩書きには Quantitatitatitatitative とい... 続きを読む

プログラミング言語の速度とアプリケーションの速度がいかに関係ないかがわかるグラフ - kwatchの日記

2010/04/30 このエントリーをはてなブックマークに追加 568 users Instapaper Pocket Tweet Facebook Share Evernote Clip kwatch グラフ アプリケーション Haskell 速度

lang, ruby, python, php, java | 08:51 | まずは次の表をご覧あれ。これはプログラミング言語のベンチマークとして有名な Computer Language Benchmarks Game のベンチマーク結果。上にいくほど高速で、下に行くほど遅い言語になる。これを見れば、最速な言語は C/C++ であり、Java や Haskell や OCaml といった静的な... 続きを読む

 
(1 - 15 / 15件)