Reasonでcss-modules - Qiita
Flowの中身を知るために最近OCamlに入門したものです。 昨日Reasonを初めてちゃんと触ってみて、強く良さを感じたので一コマ埋めさせてもらいました。 さて、ReasonにはOCamlの方言でありながらJavaScriptの既存のエコシステムにそのまま相乗り出来るという特徴があります。 そもそもbsbコマンドで生成されるプロジェクトはWebpackを用いてバンドルされていますし、文法からも既存のJavaScriptの世界観から無理なく入門してこれるように気を使われていることが分かります。 （試しに手元のReasonファイルをJavaScriptファイルとして解釈させてみても、大抵シンタックスハイライトが壊れません） これによって、普段のアプリケーション開発で使っているような仕組みをほぼそのまま使うことが可能なようです。 今回はcss設計の救世主であるcss-modulesをReaso
"type t" とは何か - Qiita
Reason で書かれたコードを見ていると、ところどころで type t という一文字の型名を目にします。例えばこういうの:
ParcelでReasonMLを体験する - Qiita
facebookが開発しているOCamlライクなAltJSである ReasonML という言語があります。 強力な型、イミュータブルを特徴としていて、堅牢なフロントエンドを書くときに良さそうです。 公式のチュートリアルがあるのですが、Node.jsでの動作が主軸で、フロントエンドの開発については詳しく触れられていません。 https://reasonml.github.io/docs/en/quickstart-javascript.html ありがたいことにParcelがReasonMLに対応しているので、設定ファイルなしでReasonMLを体験できます！ 動作確認環境 OS: Archlinux Node.js: v8.9.4 npm: v5.6.0 インストール 適当なディレクトリを作成して、 bs-platform(ReasonMLのビルドツール) parcel-bundler を
ReasonML雑感 - Qiita
facebook製プログラミング言語 JavaScript、バイナリ両方にコンパイル可能 OCamlとJavaScriptのエコシステムが利用できる 強力な型付けとイミュータブルが特徴 2018/02/21 時点で最新バージョンは3.0.4 BuckleScript OCamlのJavaScriptバックエンド Bloomberg社製 ReasonMLはBuckleScriptに乗っかっている 2018/02/21 時点で最新バージョンは2.2.0 アーキテクチャ https://github.com/facebook/reason/tree/master/src より引用 構文 パターンマッチ ファンクター(Module Functions) パイプ演算子 module IntPairs = { type t = (int, int); let compare = ((x0, y0),
ReasonMLのFunctor(Module Function)を使って文字列のサブタイプを表現してみる - Qiita
概要 ReasonML/OCamlには、Functor(Module Function)と呼ばれる機能があります。 その名の通り、moduleを受け取ってmoduleを返すことができます。 うまく使うと、複数のmoduleの共通機能をまとめることができそうです。 Set.Make Functor 標準ライブラリのSet.Makeが好例なので、こちらを見て雰囲気をつかむと良いと思います。 https://reasonml.github.io/api/Set.html ただし、2018/03/11時点ではOCamlの構文でしたので、Reason3でコンパイルする場合は修正が必要です。 以下は自分の記事ですが、Reason3に修正したソースコードになります。 https://qiita.com/soebosi/items/57f96ff029f2910c57d5#%E6%A7%8B%E6%96%
Reason-ReactでFormを扱うときにハマったこと - Qiita
https://reasonml.github.io/reason-react/ ReasonMLでReactを利用することができるのですが、通常のReactの感覚でFormを扱おうとしたら、いくらかハマったので、それをまとめました。 Formを操作するサンプル 完成形はこちらです。 Beltを使っているので、こちらの記事も参考にしてください。 https://qiita.com/soebosi/items/404e035b74636ee8b406 open Belt; type state = { name: string, nameArray: array(string), }; type action = | AddName(string) | ChangeText(string); let s_ = ReasonReact.stringToElement; let a_ = Rea
BuckleScript から ReasonReact を使う - Qiita
BuckleScript は OCaml を JavaScript にトランスパイルする AltJS です。 いわゆる関数型 AltJS の一角で、 Elm や PureScript などに近い存在です。 ReasonML もまた、関数型 AltJS の一種で、 OCaml の型システムと JavaScript に近い文法を持つ独特な AltJS です。 この言語は現在のところ、 JavaScript に直接トランスパイルされるのではなく、一旦 OCaml にトランスパイルされた後、 BuckleScript 経由で JavaScript になります。 つまり、本当は AltJS ではなく AltOCaml なのですね。 そういうわけで、 ReasonML から BuckleScript の機能を使う事もできます。 さて、その ReasonML なのですが、かなり独特な文法をしています。
BuckleScriptに入門しました - Qiita
BuckleScriptに入門しました 最近、フロントエンドを久しぶりに書く必要に駆られたのですが、その際に前から気になっていた BuckleScript を触ってみて入門してみました。 Bucklescriptとは 公式的には A backend for the OCaml compiler which emits JavaScript. とのことです。大元は、Bloomberg社（JaneStreetと同じく？OCamlの大口ユーザー）で作成されていたものだそうです。特徴として 型安全（OCamlだからね！） ハイクォリティなdead code elimination OCamlからの生成時のみならず、bundler（Google closure-compilerとか）でもdead code eliminationがやりやすいようなソースを出すそうです Offline optimiza
📚Reason/BuckleScriptを書くときに参考にする資料 - Qiita
過去に遡って、Reason ML Advent Calendar の2日目を書く。 初めのほうなので、参考になる資料をリストアップする。 Awesome ReasonML 各プラットフォームにあるAwesome XXXのReason版。主要なサイトへのリンクやサンプルアプリケーションへのリンクがある。 発表資料へのリンクもあって参考になる。特にDawn of ReasonがReasonのモチベーションが簡潔にまとまっていてよかった。 が初期の資料らしく、紹介されているプロジェクトの一部はすでにdeprecatedになっていたりする。 reasonml-community 各ライブラリのBuckleScriptのバインディングがまとめられている。 axiosやreactといったよく使うライブラリのバンディングが紹介されている。 reasonml-communityという名前なのに、Reaso
BuckleScript ではじめる SPA 入門 - Qiita
関数型 AltJS である BuckleScript と、それを使って SPA を作る方法を簡単にご紹介します。 想定読者 OCaml の基本的な文法を知っている JavaScript か TypeScript で React を使った事がある Facebook 開発の、 OCaml をもとにした AltJS です。 トランスパイラは OCaml のコンパイラを改造して作られているので、ほぼそのまま OCaml が動きます。 基本的な文法 公式サイトにおまかせします。 しかし、見て分かる通り OCaml そのままです。 それもそのはず、 BuckleScript は「 OCaml 風の AltJS 」 ではなく 、「 OCaml コードを JavaScript に変換するトランスパイラ」だからです。 なので、 OCaml をご存知の方には何の追加の説明も要らないでしょう。 インターオペ A
BuckleScript BeltをReasonMLから使ってみた - Qiita
Belt BeltというBuckleScriptの標準ライブラリが開発されています。 https://bucklescript.github.io/bucklescript/api/Belt.html （2018/04/09時点では、ベータ版です） もちろんReasonMLのバックエンドはBuckleScriptなので、ReasonMLから利用することができます！ ReasonMLから触ってみたので、簡単なまとめと感想をメモしておきたいと思います。 各APIの使用方法については細かく触れずに、おおまかな方向性だけをまとめます。 構成モジュール Id Array SortArray MutableQueue MutableStack List Range Set Map MutableSet MutableMap HashSet HashMap Option といったモジュールが用意されてい
Coq のカリー・ハワード同型周辺について - Qiita
Coq のカリー・ハワード同型周辺についてメモ．間違いあればご指摘ください． Coq と CoC Coq は元々，Thierry Coquand 氏により提案された Calculus of Constructions (CoC) という型システムの実装として生まれました． その後 CoC は，帰納的データ型などが追加された Calculus of Inductive Constructions (CIC) に拡張され，現在の Coq は CIC の実装となっています． CoC/CIC は，基本的には型システムを定義しただけのものなのですが，実は Coq の証明システムはこの型システムがベース となっています． これは一体どういうことか，次からの節で，直観的な例を通して見ていくことにします． プログラム ≈ 証明 一般に，プログラムの型システムは，次の図みたいな推論木を組み立ててプログラムの
BuckleScript (+ webpack)を使いNode.jsやブラウザ上でOCamlを動かす - Qiita
BuckleScript（BS）は、JavaScriptコードをターゲットにするOCamlコンパイラ。コンパイルが高速で、読みやすく簡潔なJavaScriptを出力し、簡潔なFFI（OCamlとJSの相互接続）が特徴とのこと。読みやすく簡潔なJSという点でHaskellライクなAltJSであるPureScriptと近い系統といえる。 公式マニュアルの情報を読んで使ってみたが、実際に上手くいくまでに少し試行錯誤があったので、忘れないうちに覚え書き。JSビルドのベストプラクティスもOCamlのエコシステムも中途半端な知識しかないので、ツッコミ歓迎です。 全体の流れ OCaml ---------[BuckleScriptコンパイラ]-----> 複数のJSファイル (CommonJSモジュール) ---[Webpack]--> バンドル・minifyされた単一ファイルのJS
facebook/reason と BuckleScript で JavaScript の関数を呼び出すパターン - Qiita
とくに新出のトランスパイラだと、バインディングが少ないので、いかにしてFFI叩くかが勝負になる 参考: https://bloomberg.github.io/bucklescript/Manual.html let add a b => a + b; Js.log "this is console.log"; Js.log(add 3 4); /* function call */ external imul : int => int => int = "Math.imul" [@@bs.val]; Js.log(imul 3 4); /* function call with unit */ external now : unit => int = "Date.now" [@@bs.val]; Js.log(now()); /* new */ external create_date:
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
標準ライブラリどうする？ - Qiita
JavaScript のデータ (Js.t) から不要なプロパティを取り除く - Qiita
呼び出し可能なモジュールのバインディング - Qiita
私的コーディングスタイル - Qiita
OCamlで文字列をintに - Qiita
http://twitter.com/i/web/status/992905470120726529