[B! ocaml] l-_-llのブックマーク

l-_-ll id:l-_-ll

ocamlに関するl-_-llのブックマーク (14)

Real World OCaml
Functional programming for the masses2nd Edition (Oct 2022) Yaron Minsky Yaron Minsky joined Jane Street in 2003, where he started out developing quantitative trading strategies, going on to found the firm's quantitative research group. He introduced OCaml to the company and managed the transition to using OCaml for all of its core infrastructure, turning Jane Street into the world's largest indus
l-_-ll 2023/02/20
ocaml
リンク
OCaml の let と let rec はなぜ別扱いになっているのか、決定版、もしくは OCaml 暦十何年だったか忘れたけど仕事で Haskell を一年使ってみた - camlspotter’s blog
はじめに断っておくが、全部Pros/Consのあるデザインチョイスなので、こうじゃなきゃいけないってことではない。ただ、 OCaml はこの選択をした、そいう事だ。前回の「経験15年の OCaml ユーザーが Haskell を仕事で半年使ってみた」 http://d.hatena.ne.jp/camlspotter/20101212/1292165692 のような易しい文章ではないのでわからない人はとことん判らないだろう。まあ勘弁して欲しい。あと、面倒だろうが、読む人は全部常体を敬体にして最後に「と思います」をつけて読んでくれ。ください、と思います。 Shadowing は便利であると思っている OCaml の let は非再帰なので以前定義された名前に別の値の束縛をオーバーライドできる。OCaml の人はこれが便利だと思っており皆普通に使っている。詳しくは http://d.hat
l-_-ll 2022/08/16
関数型プログラミング

ocaml

Haskell
リンク
型推論に関する最近の話題への雑感 - Qiita
前置き「型システム入門入門」という記事を書いているのですが、形式的な話を持ち込まずに、型システムに対する直観をうまく説明するのに苦労しています。そこで、ちょっとした息抜きに、最近思っていたことを書いてみることにしました。言い訳をするわけではありませんが、あえて誇張している箇所もあります。ただ、明らかな誤りはなるべくしないようにしているつもりなので、ツッコミは歓迎します。最近「型推論」を持った言語が増えている最近、静的型付き言語では、いわゆる「型推論」1 を持った言語が多く出てきています。また、既存の言語に型推論を追加したものも少なくありません。2000年以降の実用言語で、そのような型推論を持った言語をリストアップしてみます。 C# (3.0以降） Java (10以降） C++ （C++ 11以降） Swift Scala Kotlin Go Rust これを見る限り、主要な言語の多
l-_-ll 2019/10/25
Computer-Science

関数型プログラミング

ocaml
リンク
初心者が書いた OCaml 入門
This domain may be for sale!
l-_-ll 2018/07/08
ocaml
リンク
F# Manual
F# is similar to the Caml programming language family, and was partially inspired by OCaml. However, the F# compiler implementation is a new re-implementation of a Caml-style language, and some relatively minor differences in the implemented languages exist, much as relatively minor differences exist between "Caml Light" and "OCaml". One of the explicit aims of F# is to make it feasible to cross-c
l-_-ll 2017/05/19
F#

ocaml
リンク
http://blog.ezyang.com/2010/10/ocaml-for-haskellers/
l-_-ll 2017/04/07
関数型言語

haskell

ocaml
リンク
Haskell for OCaml programmers
Note The latest version of this document can be found online at https://dr-knz.net/haskell-for-ocaml-programmers.html. Alternate formats: Source, PDF. Prologue Why write a new post when a clever reader could simply “read Edward’s post backwards”? It’s about the different audience, really. My experience is that programmers well-versed in Haskell, or who learn Haskell as first language, tend to have
l-_-ll 2017/04/07
haskell

ocaml

関数型言語
リンク
関数型プログラマのためのRust | POSTD
この投稿はEdward Z. Yangが2010年に書いた OCaml for Haskellers 、私自身が今年頭に書いた Haskell for OCaml programmers の流れに沿っています。目次プロローグなぜRustを学ぶべきか直接対応が可能なものトレイト：Rustの型クラスアドホックなオブジェクトとメソッド安全な参照寿命と記憶域、そして管理オブジェクトオブジェクトの共有：RcとArc マクロとメタプログラミングリテラル謝辞参照 Copyright and licensing 注 : この記事の最新版は下記サイトで見られます。 http://science.raphael.poss.name/rust-for-functional-programmers.html 他のフォーマット： Source , PDF プロローグ C言語プログラマのための
l-_-ll 2017/04/07
関数型言語
リンク
Real World OCaml が出ました - camlspotter’s blog
一昨年から少しずつ書かれていた OCaml プログラミングの本、 Real World OCaml (以下 RWO)がついに public beta になり公開されました。 ( https://realworldocaml.org/beta1/en/html/ ) 版元の O'Reilly ではこのベータ版の状態の e-book が今なら安く手に入ります。完全版には後から無料でアクセスできるようになるそうです。( http://shop.oreilly.com/product/0636920024743.do ) ！！！！！安く買いたい人は http://shop.oreilly.com/category/deals/early-release.do?code=WKERRLS をよく読んでね！！！！！この本は、今まで外に伝わりづらかった OCaml プログラミングの最前線の一面を伝
l-_-ll 2016/04/19
ocaml

プログラミング
リンク
[OCaml]Yahoo financeから株式情報を取得する
Ruby,Lisp,Emacs,Clojure.OCaml,Haskell,Raspberry Piのメモ HTTPクライアントでコンテンツを取得する方法、正規表現モジュールを使って文字列を抽出する方法が分かったので、サンプルプログラムとして、Yahoo financeから株式情報を取得する処理を書いてみた。 open Core.Std (* 指定した株式コード、市場の株式情報をYahoo financeから取得する。 *) let get_yahoo_stock_info code market = let module C = Http_client.Convenience in let url = Printf.sprintf "http://stocks.finance.yahoo.co.jp/stocks/detail/?code=%s.%s" code market in C
l-_-ll 2016/04/18
ocaml

投資
リンク
数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH（クロステック）
筆者住井英二郎「プログラミング言語理論」という研究分野がある。この分野の研究者たちは，「ML」「Haskell」「Scheme」あるいは「λ計算」「π計算」（円周率計算のことではない）など，多くのプログラマにとっては聞いたこともない言語やモデルについて，日夜研究している。ただ，そのような言語は「難しい」「役に立たない」などと思われがちだ。この連載では，こうしたプログラミング言語やソフトウエア科学の様々な研究を，できるだけ普通のプログラマやエンジニアにもわかりやすく（どちらかといえば理論よりも実用に重点をおいて）紹介していく。更新は毎月第2水曜日（1月のみ第3水曜日）
l-_-ll 2015/04/03
ocaml

#まとめ

関数型言語
リンク
OCamlチュートリアル – OCaml
You can explore the OCaml documentation, Platform Tools, guides, exercises, and books to enhance your knowledge.
l-_-ll 2015/03/25
ocaml
リンク
OCaml入門の手引 | POSTD
OCamlを学ぶには、まず何から手を付けたらいいでしょうか？　あなたなら何をしますか？私はこれまで、恐らく10数回はOCamlを覚えようとしました。そして手を付けては諦め、また付けては諦めの繰り返しで、ついには数えるのをやめてしまったくらいです。でも、今回は続いています。ひょっとすると、コミュニティそのものに何か根本的な変化があったのかもしれません。私にとって功を奏したのが実際は何だったのか、以下に考察してみたいと思います。役に立つ本は？『 Real World OCaml （以下、RWO）』がお勧めです。というよりも、それ以外にお勧めはありません。RWOは、私の生涯の中でも1、2を争うことができるくらいのコンピュータ言語解説書です。ちなみに、その他にも解説書はありますが、大体が不正確な内容を含んでいるか、あるいはフランス語で書かれているかなので、読まない方がいいでしょ
l-_-ll 2014/08/15
ocaml
リンク
「強い型付け」「弱い型付け」って言葉を知った!
[追記] この記事は2014年、私が文系大学生の頃、手探りでプログラミングを独学し始めた頃の記事です。温かい気持ちで見ていただけたら幸いです。ーー !! おことわり !! このブログには、いわゆる「技術記事」は一切ありません!!!(書きたくても書けない) ただの「勉強記録ノート」です!!! プログラミング初学者の勉強記録ノートです!「日記」です!! 生暖かい目で見ていただけたらさいわいですヽ(；▽；)ノ Index “型のありがたみ”を覗く “型付けの弱い世界”を知る動的型付けと静的型付け型付けによる比較 “型付け”と”型変換” 強い型付けと弱い型付けまとめ追記 (あとで読むリストなど) Introduction よくTwitterのタイムラインで「型安全」という言葉を見ます。でも、その意味を私は全く分かっていませんでした…そもそも「型安全」という言葉は「安全な型」を指す(だ
l-_-ll 2014/03/20
_unread_

プログラミング
リンク
1