🆕 新着Qiita記事をお知らせします。​

​『OCamlでできるだけ型注釈を書かせずに済ませる』
https://qiita.com/dico_leque/items/899ec3fe7e7597c799e9 by @dico_leque @​Qiita

#ocaml_qiita

OCamlでできるだけ型注釈を書かせずに済ませる - Qiita

これはAdvent Calendarとか関係なくなんとなく書かれた記事です。 [ML系言語で型注釈が必要なケース - Qiita](https://qiita.com/mod_poppo/items/de3ef7965197dbbd...

🆕 新着Qiita記事をお知らせします。​

​『OCamlで書くPEG Parser Combinator』
https://qiita.com/ttada___/items/0f85de571f1e27fbd485 by @ttada___ @​Qiita

#ocaml_qiita #peg_qiita

OCamlで書くPEG Parser Combinator - Qiita

この記事は[IQ1の2枚目っ Advent Calendar 2019](https://adventar.org/calendars/4711)の19日目の記事です。 ---- みなさんもきっと書いたことないプログラミング言語を...

🆕 新着Qiita記事をお知らせします。​

​『Denoのバージョンマネージャーを作った話』
https://qiita.com/imbsky/items/5a5f424087a378d64e40 by @imbsky @​Qiita

#ocaml_qiita #reasonml_qiita #deno_qiita

Denoのバージョンマネージャーを作った話 - Qiita

dvm(Deno version manager)という比較的高速なDenoのバージョンマネージャーを作りました。fnmの全く実装の違うDeno版みたいなものです。 https://github.com/imbsky/dvm ## ...

🆕 新着Qiita記事をお知らせします。​

​『Algebraic Effectsの型入門(2) 多相エフェクト』
https://qiita.com/Nymphium/items/7ec2512fe85fe7aaebf4 by @nymphium @​Qiita

#ocaml_qiita #入門_qiita #型システム_qiita #algebraic_effects_qiita #koka_qiita

Algebraic Effectsの型入門(2) 多相エフェクト - Qiita

# はじめに これは[前回](https://qiita.com/Nymphium/items/6e9a8bb8d10b8ee145b3)の続きであり、[型 Advent Calendar 2019](https://qiita.co...

🆕 新着Qiita記事をお知らせします。​

​『MacでReasonのネイティブ開発環境を構築するメモ』
https://qiita.com/JunSuzukiJapan/items/a605efbd46d576a870d5 by @junsuzukijapan @​Qiita

#ocaml_qiita #reason_qiita #reasonml_qiita

MacでReasonのネイティブ開発環境を構築するメモ - Qiita

# bsb-nativeをインストールしておく。 [公式サイト](https://github.com/bsansouci/bucklescript) # プロジェクト作成 ```shell: $ bsb -init work...

🆕 新着Qiita記事をお知らせします。​

​『[OCaml] MetaOCaml で Merlin を使う方法と簡単な紹介』
https://qiita.com/keigoi/items/c9f43309312978acf05a by @keigoi @​Qiita

#ocaml_qiita #metaprogramming_qiita #metaocaml_qiita #多段階計算_qiita #multistageprogramming_qiita

[OCaml] MetaOCaml で Merlin を使う方法と簡単な紹介 - Qiita

MetaOCaml で merlin を使う方法について。(TL;DR) やり方は最後にあります。 # スクリーンショット こんな感じで MetaOCaml を使ってもモダンな感じで開発できるようになります。 ![Screen S...

🆕 新着Qiita記事をお知らせします。​

​『BER MetaOcamlで始めるメタプログラミング(MSP)』
https://qiita.com/moatom/items/1ceaa0758f5b87d89404 by @moatom @​Qiita

#ocaml_qiita #metaprogramming_qiita #metaocaml_qiita #多段階計算_qiita #multistageprogramming_qiita

BER MetaOcamlで始めるメタプログラミング(MSP) - Qiita

# 初めに  さて,皆さんメタプログラミングというと,どのようなイメージを抱くでしょうか. おそらく大半の人がC/C++のマクロやTemplateのようなものを思い浮かべると思います.しかし,BER MetaOcamlはOCamlを...

🆕 新着Qiita記事をお知らせします。​

​『BER MetaOcamlで始めるメタプログラミング(MSP)』
https://qiita.com/moatom/items/ead8bb832c0bfbb42d84 by @moatom @​Qiita

#ocaml_qiita #msp_qiita #metaocaml_qiita #多段階計算_qiita

BER MetaOcamlで始めるメタプログラミング(MSP) - Qiita

# 初めに  さて,皆さんメタプログラミングというと,どのようなイメージを抱くでしょうか. おそらく大半の人がC/C++のマクロやtemplateのようなものを思い浮かべると思います.しかし,BER MetaOcamlはOCamlを...

🆕 新着Qiita記事をお知らせします。​

​『ML系言語で型注釈が必要なケース』
https://qiita.com/mod_poppo/items/de3ef7965197dbbda761 by @mod_poppo @​Qiita

#haskell_qiita #ocaml_qiita #sml_qiita #型推論_qiita

ML系言語で型注釈が必要なケース - Qiita

ML系言語は型推論が得意なので基本的には型を書かなくてもコードを書けますが、状況によっては型注釈が必要になります。代表的なML系言語3つ(SML, OCaml, Haskell)について、それぞれ型注釈が必要になる(型注釈がないとコン...

🆕 新着Qiita記事をお知らせします。​

​『macOSでの camlimages 5.0.1 のビルドに失敗し、それを解決するまで』
https://qiita.com/hsjoihs/items/634db425eb77e324fd29 by @hsjoihs @​Qiita

#ocaml_qiita #macosx_qiita #libjpeg_qiita #satysfi_qiita #camlimages_qiita

macOSでの camlimages 5.0.1 のビルドに失敗し、それを解決するまで - Qiita

## 経緯 [SATySFi](https://github.com/gfngfn/SATySFi)を入れ直したら ``` $ opam install satysfi <><> Synchronising...