[翻訳]Javaslangユーザガイド - Qiita
Java 8+で導入された関数型の機能をエンハンスするライブラリJavaslangに関する日本語の情報が少なかったので、Javaslangユーザガイドを日本語訳してみました。間違いや誤訳などあればご指摘ください。 Daniel Dietrich, Robert Winkler version 2.0.2, 2016-08-20 Translated by linzhixing, 2016-09-11 1. はじめに JavaslangはJava 8+用の関数型ライブラリです。永続データ構造や、関数型プログラミングで使われる制御構造を提供しています。 1.1. Javaslangを用いたJava 8での関数型データ構造 Java 8のラムダ(λ)式のおかげで、このライブラリのAPIを洗練したものにすることができました。ラムダ式はJavaの表現力を飛躍的に高めてくれます。 Javaslangは
![[翻訳]Javaslangユーザガイド - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/58de1b9ec2af333670c79b2edace11bb961b2a6f/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-9f5428127621718a910c8b63951390ad.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTkxNiZoPTMzNiZ0eHQ9JTVCJUU3JUJGJUJCJUU4JUE4JUIzJTVESmF2YXNsYW5nJUUzJTgzJUE2JUUzJTgzJUJDJUUzJTgyJUI2JUUzJTgyJUFDJUUzJTgyJUE0JUUzJTgzJTg5JnR4dC1jb2xvcj0lMjMyMTIxMjEmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9NTYmdHh0LWNsaXA9ZWxsaXBzaXMmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz1lZjgzOWIyNDYxZDFhMzFmOTQ3OTg2Yzc0MzBiNmZlOQ%26mark-x%3D142%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTYxNiZ0eHQ9JTQwbGluemhpeGluZyZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTM2JnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9YjRjM2RmNzIxYjRlNTFmOGJkZjlmNzEyMzJhNTlhNWU%26blend-x%3D142%26blend-y%3D491%26blend-mode%3Dnormal%26s%3Da3bef9dedb31fba600557ddc049661b0)
ATS-PL-SYS
What is ATS? ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS2 (ATS/Postiats) is written in ATS1 (ATS/Anai
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
