Haskellã€Scalaã€MLã€Scheme：ã‚ãªãŸãŒæ¬¡ã«å¦ã¶é–¢æ•°åž‹è¨€èªž | POSTD
(編注：2016/7/27ã€é ‚ã„ãŸãƒ•ã‚£ãƒ¼ãƒ‰ãƒãƒƒã‚¯ã‚’å…ƒã«è¨˜äº‹ã‚’ä¿®æ£ã„ãŸã—ã¾ã—ãŸã€‚) å¦ç”ŸãŸã¡ã‹ã‚‰ã€æ¬¡ã«å¦ã¶è¨€èªžã¯ã©ã‚ŒãŒã„ã„ã®ã‹ã¨ã‚ˆãèžã‹ã‚Œã¾ã™ã€‚ITæ¥ç•Œã§åƒããŸã„人ã«ãŠè–¦ã‚ã™ã‚‹ã®ã¯ã€ç¾åœ¨ç››ã‚“ã«ä½¿ã‚ã‚Œã¦ã„る言語ã§ã™ã€‚C++ã€Javaã€C#ã¯ã‚‚ã¡ã‚ã‚“ã€Pythonã€Rubyã€PHPã€Perlãªã©ã‚‚挙ã’られるã§ã—ょã†ã€‚ 一方ã€å‘å¦ã®ãŸã‚ã¨ã„ã†äººã‚„ã€å¦è¡“ç ”ç©¶ã‚„èµ·æ¥ã«é–¢å¿ƒãŒã‚る人ã«ã¨ã£ã¦ã€æ¬¡ã®è¨€èªžã‚’é¸ã¶åŸºæº–ã¨ãªã‚‹ã®ã¯ã€å°±è·ã«æœ‰åˆ©ã‹ã§ã¯ãªã言語ã®è¡¨ç¾åŠ›ã§ã—ょã†ã€‚å¦è¡“ç ”ç©¶ã‚„èµ·æ¥æ´»å‹•ã‚’è¡Œã†ã«ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒžã¨ã—ã¦ã®èƒ½åŠ›ã‚’何å€ã«ã‚‚高ã‚ã‚‹å¿…è¦ãŒã‚ã‚Šã¾ã™ã€‚ãã—ã¦ã€ï¼ˆãŠãらã）確立ã•ã‚ŒãŸã‚³ãƒ¼ãƒ‰ãƒ™ãƒ¼ã‚¹ã‚’扱ã£ãŸçµŒé¨“ã¯ãªã„ã§ã—ょã†ã‹ã‚‰ã€æ‰‹å…ƒã«ã‚るタスクã«ã¨ã£ã¦æœ€é©ãªè¨€èªžã‚’自由ã«é¸ã¶ã“ã¨ãŒã§ãã¾ã™ã€‚ ã“ã®è¨˜äº‹ã§ã¯ã€å‹‰å¼·ã«é©ã—ãŸHaskellã€Scalaã€MLã€Schemeã¨ã„ã†4ã¤ã®è¨€èªžã‚’ã€ç§ã®å¥½ããªç‰¹å¾´ã‚„å‚考資料ã®ãƒªã‚¹ãƒˆã¨
A look at OCaml 4.08
Now that OCaml 4.08 has been released, let’s have a look at what was accomplished, with a particular focus on how our plans for 4.08 fared. I’ll mostly focus on work that we in the Jane Street Tools & Compilers team were involved with, but we are just some of the contributors to the OCaml compiler, and I’ll have a quick look at the end of the post at some of the other work that went into 4.08. In
OCamlã§48 Hour Schemeã‚’ã‚„ã£ã¦ã¿ã‚‹ã€€ãã®ï¼•ã€€ï¼ˆç¬¬ä¹ã€åç« ï¼‰ - Arantium Maestum
Write Yourself a Scheme in 48 Hoursã®æœ€å¾Œã®äºŒç« ã‚’ã‚„ã£ã¦ã„ã。入出力ã¨æ¨™æº–ライブラリ作æˆã€‚ 第ä¹ç« ：入出力 stdin, stdoutやファイルã«å¯¾ã™ã‚‹å…¥å‡ºåŠ›ã‚’実装ã™ã‚‹ã€‚ github.com 例ã«ã‚ˆã£ã¦ã€ŒHaskellã ã¨ãƒ¢ãƒŠãƒ‰ãŒå‡ºç¾ã—ã¦ã„ã‚ã„ã‚åž‹ã‚’é ‘å¼µã‚‰ãªã„ã¨ã„ã‘ãªã„ã‘ã©OCamlã ã‹ã‚‰ãƒ»ãƒ»ãƒ»ã€ã¨ã„ã†æ¡ˆä»¶ã€‚ Haskellã§ã¯IOモナド型ã®ãŸã‚ã«æ–°ã—ã„IOFuncå¼ã‚’用æ„ã—ãŸã‚Šã—ã¦ã„ã‚‹ãŒã€OCamlã ã¨æ™®é€šã«ä»Šã¾ã§é€šã‚ŠPrimitiveFuncã«æ”¾ã‚Šè¾¼ã‚“ã§ã„ã‘る。 type expt = (* çœç•¥ *) | PortIn of in_channel | PortOut of out_channel ã¨å…¥å‡ºåŠ›ç”¨ã®channelをラップã—ãŸPortIn/PortOutå¼ã¯ç”¨æ„ã™ã‚‹ã€‚ã‚ã¨ã¯Ioモジュールã§ãれを使ã†é–¢æ•°ã‚’定義ã—ã€primitives.mlã§
自作OCamlコンパイラã§ã‚»ãƒ«ãƒ•ãƒ›ã‚¹ãƒˆã—㟠- molecular coordinates
æ¦‚è¦ ã“ã“最近作ã£ã¦ã„ãŸOCaml*1コンパイラmlml*2ã§ã‚»ãƒ«ãƒ•ãƒ›ã‚¹ãƒˆã‚’é”æˆã—ã¾ã—ãŸã€‚ﾔｯﾀｰ github.com mlmlã«ã¯ä»¥ä¸‹ã«ä»£è¡¨ã•ã‚Œã‚‹ã‚ˆã†ãªã€OCamlã®åŸºæœ¬çš„ãªæ©Ÿèƒ½ãŒå®Ÿè£…ã•ã‚Œã¦ã„ã¾ã™ã€‚ å†å¸°é–¢æ•° ヴァリアントã€ãƒ¬ã‚³ãƒ¼ãƒ‰ パターンマッムカリー化 モジュール ã¾ãŸã€å¤šå°‘ã®æ¨™æº–ライブラリも実装ã•ã‚Œã¦ã„ã¾ã™ã€‚ mlmlã®ç‰¹å¾´ ã»ã¼ãƒ•ãƒ«ã‚¹ã‚¯ãƒ©ãƒƒãƒ 今回LLVMやパーサジェãƒãƒ¬ãƒ¼ã‚¿ã«é ¼ã‚‰ãªã„コンパイラã¥ãりを体験ã™ã‚‹ã®ãŒç›®çš„ã®ä¸€éƒ¨ã ã£ãŸã®ã§ã€çµæžœçš„ã«ãƒ•ãƒ«ã‚¹ã‚¯ãƒ©ãƒƒãƒã‚‰ã—ãã“ã¨*3ã«ãªã‚Šã¾ã—ãŸã€‚OCamlã®æ¨™æº–ライブラリ以外ã®å¤–部ライブラリを使用ã—ã¦ãŠã‚‰ãšã€å—å¥è§£æžå™¨ãƒ»æ§‹æ–‡è§£æžå™¨ã¯æ‰‹æ›¸ãã§ã™ã€‚ OCamlã§æ›¸ã‹ã‚Œã¦ã„ã‚‹ セルフホストã—ãŸã®ã§ãã‚Œã¯ãã†ãªã‚“ã§ã™ãŒã€OCamlã§æ›¸ã‹ã‚Œã¦ã„ã¾ã™ã€‚ ã¾ãŸã€è¨€èªžå‡¦ç†ç³»ã‚’書ãå ´åˆãƒ©ãƒ³ã‚¿ã‚¤ãƒ ライブラリã¯C言語ã§ç”¨æ„ã—ã¦ãƒªãƒ³ã‚¯ã™ã‚‹å ´åˆãŒå¤šã„ã¨æ€ã„ã¾ã™ãŒ
Optimizing Pattern Matching
Optimizing Pattern Matching Fabrice Le Fessant, Luc Maranget INRIA Roquencourt, B.P. 105, 78153 Le Chesnay Cedex, France (Email: {Fabrice.Le_fessant, Luc.Maranget}@inria.fr) Abstract: We present improvements to the backtracking technique of pattern-matching compilation. Several optimizations are introduced, such as commutation of patterns, use of exhaustiveness information, and control flow optimi
How configurator reads C constants
Dune comes with a library to query OS-specific information, called configurator. It is able to evaluate C expressions and turn them into OCaml value. Surprisingly, it even works when compiling for a different architecture. How can it do that? A CD-ROM problem Let’s take an old school example: suppose we want to eject a CD-ROM drive. On Linux, the way to do that is to open the device file such as /
GitHub - revery-ui/revery: Native, high-performance, cross-platform desktop apps - built with Reason!
Today, Electron is one of the most popular tools for building desktop apps - using an HTML, JS, CSS stack. However, it has a heavy footprint in terms of both RAM and CPU - essentially packing an entire browser into the app. Even with that tradeoff, it has a lot of great aspects - it's the quickest way to build a cross-platform app & it provides a great development experience - as can be testified
Haskell厨を6å¹´ã‚„ã£ã¦ã‚‹ä¿ºãŒOCamlを仕事ã§2ヶ月使ã£ã¦ã¿ãŸ - keigoiã®æ—¥è¨˜
Haskell Advent Calendar jp 2010ã®ãŸã‚ã®ã‚¨ãƒ³ãƒˆãƒªã§ã™ï¼ˆ17日目）． 6日目㮠id:camlspotterã•ã‚“㮠経験15å¹´ã®OCaml ユーザー㌠Haskell を仕事ã§åŠå¹´ä½¿ã£ã¦ã¿ãŸ ã«å¯¾ã™ã‚‹ã‚«ã‚¦ãƒ³ã‚¿ãƒ¼ï¼ˆã«ãªã£ã¦ã‚‹ã‹ã©ã†ã‹åˆ†ã‹ã‚‰ãªã„ã§ã™ãŒï¼‰ã¿ãŸã„ãªæ„Ÿã˜ã§ã™ï¼Ž è¿‘ãã¦é ã„隣人：Haskellã¨OCaml OCamlã¯Haskellã¨é•ã£ã¦å‰¯ä½œç”¨ãŒã‚り，更ã«HM型推論をもã¤ãŸã‚プãƒã‚°ãƒ©ãƒžã¯æœ¬è³ªçš„ãªéƒ¨åˆ†ã®è¨˜è¿°ã«æ³¨åŠ›ã—ã¤ã¤ï¼Œã‚³ãƒ¼ãƒ‰ã®ãƒãƒ¥ãƒ¼ãƒ‹ãƒ³ã‚°ã‚‚ã§ãる． ã¤ã¾ã‚ŠåƒãHaskellプãƒã‚°ãƒ©ãƒžãŒã‚·ãƒªã‚¢ã‚¹ãªã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚’書ã時ã«ä½¿ãˆã‚‹ã»ã¨ã‚“ã©å”¯ä¸€ã®é¸æŠžè‚¢ã ．ã—ã‹ã—，åŒã˜é™çš„型付ã‘ã®é–¢æ•°åž‹è¨€èªžã§ã‚ã‚ŠãªãŒã‚‰ï¼ŒOCamlã¨Haskellã®è¦‹ãŸç›®ã¯ã‹ãªã‚Šç•°ãªã‚‹ï¼Ž ã“ã®è¨˜äº‹ã§ã¯ï¼Œ Haskellプãƒã‚°ãƒ©ãƒžãŒOCamlを使ã„始ã‚ã‚‹ã¨ï¼Œã©ã†ã„ã†ãƒˆãƒ©ãƒƒãƒ—ã«ãƒãƒžã‚‹ã‹ã‚’書ã． ãªã‹ã§ã‚‚，
Our current OCaml best practices, part 1
Our current OCaml best practices, part 1 It is useful to review your way to work every now and then In the developer world one of the most distinguishing facts about Issuu is that we use the OCaml programming language in production. We’ve been using it successfully for many years now and have developers specifically move to Denmark to work with us on OCaml code bases! In all of these years, the OC
OCamlã§æ£è¦è¡¨ç¾ã‚’微分ã™ã‚‹ - fetburner.core
僕ã®æ‰€å±žã™ã‚‹ç ”究室ã§ã¯æ¯Žå¹´Software Foundationsã®è¼ªè¬›ã‚’ã‚„ã£ã¦ã„ã‚‹ã‚“ã§ã™ãŒï¼ŒBrzozowski derivativeã«åŸºã¥ã„ã¦æ£è¦è¡¨ç¾ã‚¨ãƒ³ã‚¸ãƒ³ã‚’実装ã—，ã‚ã¾ã¤ã•ãˆCoqã§æ¤œè¨¼ã—ã¦ã—ã¾ãŠã†ã¨ã„ã£ãŸç·´ç¿’å•é¡ŒãŒè¿½åŠ ã•ã‚Œã¦ã„ã¦å¤§å¤‰èˆˆå‘³æ·±ã‹ã£ãŸã§ã™ï¼Ž 折角practicalãªãƒ—ãƒã‚°ãƒ©ãƒ を書ã„ãŸã®ã«Coqã®ä¸ã«é–‰ã˜è¾¼ã‚ã¦ãŠãã®ã‚‚勿体ãªã„ã§ã™ã—， OCamlã§åŒæ§˜ã®æ£è¦è¡¨ç¾ã‚¨ãƒ³ã‚¸ãƒ³ã‚’実装ã—，実行速度を見ã¦ã¿ã‚ˆã†ã¨æ€ã„ã¾ã™ï¼Ž *1 2018/12/16 Brzozowski derivativeã®å®šç¾©ã«èª¤ã‚ŠãŒã‚ã£ãŸãŸã‚ä¿®æ£ Brzozowski derivativeã¨ã¯ï¼Ÿ ã‚ã‚‹æ£è¦è¡¨ç¾ãŒå—ç†ã™ã‚‹è¨€èªžã®å…ˆé ã‹ã‚‰ï¼Œæ–‡å—ã‚’å–り除ã„ã¦å¾—られる言語 *2ã‚’å—ç†ã™ã‚‹æ£è¦è¡¨ç¾ã‚’Brzozowski derivativeã¨ã„ã„，以下ã®ã‚ˆã†ã«systematicã«æ±‚ã‚られã¾ã™ï¼Ž ã‚ã‚‹æ£è¦è¡¨ç¾ãŒç©ºæ–‡å—列を
ML_Day#2を開催ã—ã¾ã—㟠- type t (* void *)
ML Day#2を開催ã—ã¾ã—ãŸã€‚ ML勉強会ã¨ã„ã†åå‰ã«ã—ã¦ã„ãŸã¨ãã‹ã‚‰æ•°ãˆã¦é€šç®—4回目ã§ã™ã€‚ 今回もドワンゴã•ã‚“ã®ã‚»ãƒŸãƒŠãƒ¼å®¤ã‚’ãŠå€Ÿã‚Šã—ã¾ã—ãŸã€‚ ã“ã®è¦æ¨¡ã®ã‚»ãƒŸãƒŠãƒ¼å®¤ãŒä¾¿åˆ©ã«åˆ©ç”¨ã§ãã‚‹ã®ã¯æœ¬å½“ã«åŠ©ã‹ã‚Šã¾ã™ã€‚ 発表ã®ç´¹ä»‹ ç™ºè¡¨æž 6 + LTæž 5ã®ã‚ã‚ã›ã¦11ã‚‚ã®ç™ºè¡¨ãŒã‚ã‚Šã¾ã—ãŸã€‚発表者ã®çš†æ§˜ã«æ„Ÿè¬ã§ã™ã€‚ ä»–ã®ã‚³ãƒŸãƒ¥ãƒ‹ãƒ†ã‚£ã ã¨å‰²ã¨ç™ºè¡¨è€…ã®ç¢ºä¿ã«è‹¦åŠ´ã—ã¦ãŠã‚‰ã‚Œã‚‹ã‚ˆã†ã§ã™ãŒML勉強会ã‹ã‚‰ã‚ã¾ã‚Šå›°ã£ãŸã“ã¨ãŒã‚ã‚Šã¾ã›ã‚“。 以下ã®ç´¹ä»‹ã¯ç§ã®ç†è§£ã§ã™ã®ã§ä½•ã‹è¨‚æ£ãŒã‚ã£ãŸã‚‰ãƒ„イã¨ã‹ã§æŒ‡æ‘˜ãã ã•ã„。。。 ラベルãªã—オプション引数ã®ãŸã‚ã®åž‹ã‚·ã‚¹ãƒ†ãƒ ã¨åž‹æŽ¨è«– unlabeled-opt-args.pdf - Google ドライブ 最åˆã¯SATYSFIã§ãŠé¦´æŸ“ã¿ã®@bd_gfngfnã•ã‚“ã®ç™ºè¡¨ã§ã—ãŸã€‚ ã“ã®ç™ºè¡¨ã¯SATYSFIå‘ã‘ã«ã€ã‚ªãƒ—ション引数ã®ãŸã‚ã®åž‹ã‚·ã‚¹ãƒ†ãƒ ã¨åž‹æŽ¨è«–を考ãˆã¦ã¿ãŸã¨ã„ã†è©±ã§ã—ãŸã€‚ Latex
Introduction to OCaml | Hacker News
OCaml is a great language. We looked really seriously at using it at my startup for some critical things a while ago, when the company was very young, because some of the team knew it and we were inheriting a small code base in it. Ultimately immaturity of tooling (eg ocamlp4 vs ppx) and near total lack of library support killed it for us. (We ultimately went with C++.) Good luck trying to use gRP
type holyshared = Engineer<mixed>
TypeORMã§ã¯ QueryRunner ã®ãƒ—ãƒãƒ‘ティã‹ã‚‰pgã®Pool インスタンスã«ã‚¢ã‚¯ã‚»ã‚¹ã™ã‚‹ã“ã¨ãŒã§ãã¾ã™ã€‚ pgã®Pool インスタンスã‹ã‚‰ã¯ãƒ—ールã®çŠ¶æ…‹ã‚’確èªã§ãるプãƒãƒ‘ティãŒã‚ã‚Šã¾ã™ã€‚ totalCount - プールã«ã‚るコãƒã‚¯ã‚·ãƒ§ãƒ³ã®ç·æ•° idleCount - コãƒã‚¯ã‚·ãƒ§ãƒ³ãƒ—ールã«ã‚る空ãコãƒã‚¯ã‚·ãƒ§ãƒ³æ•° waitingCount - 接続待ã¡ã®ã‚³ãƒã‚¯ã‚·ãƒ§ãƒ³æ•° ã“ã®ãƒ—ãƒãƒ‘ティをãƒã‚°ã«å‡ºåŠ›ã—ã¦ãŠãã“ã¨ã§ã€ãƒ—ールã®ã‚µã‚¤ã‚ºã‚’調整ã™ã‚‹ç›®å®‰ã«ã™ã‚‹ã“ã¨ãŒã§ãã¾ã™ã€‚ QueryRunner㯠Repositoryã€EntityManagerãªã©ã‹ã‚‰å‚ç…§ã§ãã‚‹ãŸã‚ã€ãƒã‚°ã®å‡ºåŠ›ç‰¹ã«å›°ã‚‰ãªã„ã¯ãšã§ã™ã€‚ import { DataSource } from "typeorm"; import { Pool } from "pg"; const dataSource = new DataSou
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
LaurentMazare - Repositories
Building on MacOS · Issue #350 · xyb3rt/sxiv
Accelerating Self-Play Learning in Go
Arithmetic by zehnpaard · Pull Request #4 · zehnpaard/kaleidoscope-ocaml-menhir · GitHub
zehnpaardã•ã‚“ã®ãƒ„イート: "ã“ã®Menhir資料勉強ã«ãªã‚‹ãªã€‚shift/reduce conflictã¨ãã®è§£æ±ºã«ã¤ã„ã¦ã€ã‘ã£ã“ã†åŸºæœ¬çš„ãªã¨ã“ã‚を説明ã—ã¦ãã‚Œã¦ã‚‹ https://t.co/lTFO2hymwO"
Lympã§OCamlã‹ã‚‰Pythonを呼ã³å‡ºã™
GitHub - dbousque/lymp: Use Python functions and objects from OCaml
{{#tags}}- {{label}}
{{/tags}}