Gagallium : Parser Construction With Menhir: A Couple Appetizers
Le centre INRIA de Paris déménage ! INRIA Paris Center is moving ! Du 15 Juin au 28 Juin le site déménage dans ses nouveaux locaux. Aussi, toutes les ressources informatiques hébergées localement sont actuellement inaccessibles et notamment divers sites web. Le retour en ligne des sites est prévu pour les 19 ou 20 Juin 2024. From June 15 to June 28, the site will be moving to our new building. As
More type classes in OCaml
Author: Joel Björnson About the author: Joel has been enjoying functional programming ever since being introduced to Haskell at Chalmers University (Sweden). Since then he's been dabbling in F# and more recently OCaml. He's currently based in London, working at the intersection of functional programming and finance. As demonstrated in previous articles on this blog, OCaml comes with a rich module
Demystifying Type Classes
Introduction Dictionary passing Type classes as macros Intensional type analysis The pioneering work of Stefan Kaes Brief bibliography Canonical structures: (type-class) overloading resolution as logic programming Stretching Type Classes: Unusual applications and arguments about type classes in Haskell Introduction Computational abstractions -- higher-order functions, continuations, modules, proce
Programming and Computation
Types Metaprogramming Lambda-calculus Monads in Haskell and other languages Continuations and delimited control Streams Generic zipper and the zipper-based filesystem Many faces of fixed-point combinators Having an Effect There was still something left to discover in how to add and multiply Doubts about the concept of information and an elementary derivation of the Shannon entropy formula The curi
Dive into Algebraic Effects
Dive into Algebraic Effects びしょ〜じょ ML Days #2 September 16, 2018 �やること Algebraic Effects を伝道 Algebraic Effects is 何 Algebraic Effects が使える言語 Algebraic Effects の活用事例 研究のご紹介 先日 JSSST でポスター発表した内容を紹介シマス �目次 自己紹介 Algebraic Effects effect の型 デモ ポイント AE Implimentations Multicore OCaml 研究紹介 oneshot AE → oneshot s/r oneshot s/r → AC 課題、今後の予定 まとめ Dive into Algebraic Effects 自己紹介 Algebraic Effects effect
Introduction to opam for npm/yarn users
opam is the main package manager for OCaml. This is the equivalent of npm or yarn. opam is a command line tool to manipulate packages that are defined in opam files. Most of the opam packages are published on the opam repository which is the equivalent of the npm registry. This document presents the corresponding opam commands, files and configurations for the most common npm idioms. opam is now a
mcocaml_gallium
State of Multicore OCaml KC Sivaramakrishnan University of Cambridge OCaml Labs Outline • Overview of the multicore OCaml project • Multicore OCaml runtime design • Future directions Multicore OCaml Multicore OCaml • Add native support for concurrency and (shared-memory) parallelism to OCaml Multicore OCaml • Add native support for concurrency and (shared-memory) parallelism to OCaml • History ★ J
ReasonML News: the latest in ReasonML and its tools
The latest in ReasonML and its toolsA few ReasonML links every month, in your inbox Curated by Dr. Axel Rauschmayer and Johannes Weber.
The ReScript Programming Language
Fast, Simple, Fully Typed JavaScript from the FutureReScript is a robustly typed language that compiles to efficient and human-readable JavaScript. It comes with a lightning fast compiler toolchain that scales to any codebase size. module Button = { @react.component let make = (~count) => { let times = switch count { | 1 => "once" | 2 => "twice" | n => n->Int.toString ++ " times" } let text = `Cli
Breaking down FRP - Jane Street Tech Blogs
As anyone who has looked into functional reactive programming (FRP) knows, there are lots of competing approaches to it, and not a lot of conceptual clarity about how they relate to each other. In this post, I’ll try to shed some light, and in particular give you some guide posts for understanding how the different versions of FRP relate to each other. Plus, I’ll show some connections to a similar
Introducing Incremental
I’m pleased to announce the release of Incremental (well commented mli here), a powerful library for building self-adjusting computations, i.e., computations that can be updated efficiently when their inputs change. At its simplest, you can think of a self-adjusting computation as a fancy spreadsheet. In a spreadsheet, each cell contains either simple data, or an equation that describes how the va
OCamlでJavaScriptが幸せ - c4se記：さっちゃんですよ☆
ML Advent Calendar 2016 - Qiita 12/11 參加。 JavaScript と云[い]ふ言語に變換[へんかん]する言語は沢山[たくさん]在った。活溌[かっぱつ]に活動してゐるものは未[ま]だ多いものの、多勢はTypeScriptやElmに流れたやうだ。TypeScript の型 system は軈[やが]て ES.next に成[な]り JavaScript其[そ]の物に成るかもしれない。Elm は軈て ECMAScript で自然に FRP (Functional Reactive Programming) が行なへる機能が提案され役目を終へるだらう。OpalやHaste等[など]は其々[それぞれ]Ruby と Haskell と云ふ人氣[にんき]の在る言語を JavaScript實行[じっこう]機でも使へる tool として活溌に續[つづ]くだらう。 別の
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Use Reason in your React applications
Exploring ReasonML
Ocaml-multicore: report on a June 2018 development meeting in Paris
http://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/main-j.pdf
incremental_kernel/incremental_intf.ml at master · janestreet/incremental_kernel · GitHub
GitHub - janestreet/incremental: A library for incremental computations
多相型、推論、Ruby
OCamlでJavaScriptが幸せ
