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

2017/05/19 2101 users エンジニアHub プログラミング言語 言語 キャリア コレ

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

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

2010/04/30 568 users kwatch グラフ アプリケーション Haskell 速度

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

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

2015/03/19 526 users サブセット アーキテクチャ 日記 学科 後期

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

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

2010/12/12 373 users 肩書き 定年 Haskell 試用期間 職業

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

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

2017/04/04 144 users een Haskell Scheme SML Scala

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

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

2021/12/12 125 users Qiita ゲームボーイエミュレータ

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

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

2017/09/09 105 users アセンブラ サブセット 並列 コンパイラ CPU実験

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

Coq を始めよう

2011/04/05 99 users Coq Haskell チュートリアル 性質 関数型言語

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

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

2012/06/15 89 users keigoi プログラマ ザク かけら 実務

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

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

2017/12/15 76 users サブセット 推論 エントリ Advent Calendar

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

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

2011/05/31 76 users スラマッパギ Scala すいー 戸松遥 Java

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

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

2013/12/09 59 users Ph.D Fun MORE you re no

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

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

2012/06/12 53 users haXe jsx みずぴー日記 実践編 文法

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

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

2013/07/24 52 users error Invalid Blog 順番 テスト駆動開発

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

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

2015/08/05 50 users プログラミング ａｃｃｕｍｕｌａｔｏｒ 基礎 引数 蓄積

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

GWでHaskell入門した - マルシテイア

2018/05/09 46 users Haskell マルシテイア 動機 後輩 ＧＷ

2018 - 05 - 09 GWでHaskell入門した 日記です。 GWの自由研究で Haskell 入門してた。 動機 一つに、同僚の影響がある。 弊社の社員は皆さまざまな言語を書く。 たまに「これは Haskell でいうと○○で〜〜」みたいな会話がされたりして、いつかはやらねばな〜と思っていた。 今年入ってきた後輩も Haskell とか Ocaml をバリバリやっていたらしい。 今のチ... 続きを読む

java-ja温泉が女人禁制であることについての一考察（R-18） - 歩きつづける　ゆり　咲きつづける

2012/02/24 44 users 女人禁制 ゆり R-18 Haskell Scala

第貳拾伍回チキチキjava-ja(python, ruby, javascript, Scala, node.js, Haskell, prolog, OCaml, Wicket, etc)温泉java-ja 温泉は2009年ごろから企画されている java-ja の人気イベントのひとつです。しかし私は参加したことがありません。なぜなら本イベントは「女人禁制」であり、私が戸籍上女性だからです。ここ... 続きを読む

LLVM でラムダ計算のコンパイラつくった

2014/01/08 42 users LLVM コンパイラ ラムダ計算 夢のまた夢 高階関数

LLVM でラムダ計算のコンパイラつくった¶ 本格的に言語をつくる前に，練習として，ちょっとしたラムダ計算のコンパイラをつくってみようと 思った．それができなければ，本格的なコンパイラなど夢のまた夢だろう．そういうわけで， OCaml と LLVM を使用して， ラムダ計算のコンパイラをつくった． ラムダ計算のコンパイラを実装するということは，オリジナルの言語のコンパイラに，高階関数を 実装するこ... 続きを読む

ソウルフル小話: 型付き関数型言語と C++ は同時に使ってはいけない - Oh, you `re no (fun _ → more)

2014/04/25 39 users Fun MORE you Haskell やまじ

OCaml, Haskell, C++いやまじで使っちゃいけないです。三年前こういうことがあったんです。 Haskell と C++ を使っているコードなんですが、 突然ビルドができなくなる。さっきまで上手く行っていたのに、意味不明な C++ のエラーがゴボゴボ出てくる。 git status や hg status してもそんなとこ何も触ってない。そもそも C++ なんか触ってねえし、俺触ってた... 続きを読む

HaskellとOCamlの型の違い - Togetter

2012/04/04 39 users Haskell lazy Togetter pure 型推論

完全な型推論よりも、型システムの表現力が重要である、という考えは多分OCamlとは相容れない。そこがOCamlとHaskellの決定的な差であって、PureとかLazyとかの違いはそれに比べれば割りとどうでもいい。 続きを読む

❄️frozen_string_literal - Misoca開発ブログ

2017/04/18 30 users Misoca開発ブログ mzp Misoca開発チーム

2017 - 04 - 18 ❄️frozen_string_literal こんにちは、mzpです。最近はBuckleScriptで、 OCaml を JavaScript に変換して遊んでいます。 先日、Misoca開発チームで frozen_string_literal を有効にするようにしたので、そのときの話を紹介したいと思います。 続きを読む

OCaml で LLVM -- 事始め - Oh, you `re no (fun _ → more)

2011/02/09 29 users 語弊 アーラ clang Apple 言語

clang とか LLVM とかこの頃よく聞きますよね。Apple が製品に結構使っているという話ですし、気になっている人もいるでしょう。私も LLVM、気になりました。要するに、プログラム内で Cみたいな言語(語弊がありますが)の構文ツリーを動的に生成して、それを、はいお願いと LLVM のエンジンに投げるとアーラ不思議、各アーキテクチャ用にいい感じで JIT コンパイルしてくれてスイスイ動く、... 続きを読む

抽象度の高い関数型言語プログラミングのスキルを身につけるための書籍が発売／「OCaml」を通じて関数型プログラミングを学べる『関数型言語で学ぶプログラミングの基本』【Book Watch/ニ

2024/02/22 25 users プログラミング 抽象度 関数型プログラミング 関数型言語 書籍

続きを読む

Grape+SwaggerでAPIのドキュメント作成を自動化した - Misoca開発ブログ

2016/12/22 24 users API Misoca開発ブログ ドキュメント作成 未知 言語

2016 - 12 - 22 Grape+SwaggerでAPIのドキュメント作成を自動化した こんにちは、Misoca開発チームのいっしーです。 11月からMisocaにJoinしました。 10年ほど東京にいたので、未知の土地に新鮮な気持ちでいます。 名古屋の好きなところは B級グルメ がたくさんあるところ、こわいところは学生時代に学んでいた 関数型言語 OCaml や 自然言語 の形式理論の話... 続きを読む

関数プログラミング入門 Haskellで学ぶ原理と技法 | オーム社eStore(β)

2012/11/21 24 users Haskell オーム社eStore モナド 技法 Scala

本書はHaskell、OCaml、F#、Scalaといった言語の普及により改めて注目される「関数プログラミング」の理論を体系的に学ぶ教科書“Introduction to Functional Programming using Haskell, Second Edition”（Prentice Hall, 1998）の翻訳です。 関数プログラミングにおける評価戦略、データ構造、計算量、型、モナド... 続きを読む