Idris version 1.0 has been released. You can find it on hackage or from the download page. Documentation is available from docs.idris-lang.org. Thanks to everyone who has contributed, whether by providing code, documentation, testing, issue reports, or encouragement. You can find the names of the contributors in the source repository. What do we mean by “1.0”? Idris version 1.0 corresponds to the
タグ
- すべて
- ABC予想 (3)
- AMQP (5)
- API (34)
- AdventCalendar (5)
- Amazon (10)
- Amazon S3 (2)
- AngularJS (7)
- Apache (4)
- Apache Spark (3)
- AppSync (2)
- Apple (5)
- Atom (2)
- Backlog (2)
- Berkshelf (3)
- BoneCP (2)
- Breeze (2)
- CDN (4)
- COVID-19 (3)
- CSS (8)
- CSS3 (4)
- CTO (3)
- Chrome (4)
- Clean Architecture (2)
- CloudFront (2)
- Cookie (5)
- C言語 (2)
- DI (7)
- DIY (2)
- DIコンテナ (2)
- ECサイト (2)
- Excel方眼紙 (2)
- Finagle (2)
- Gatling (2)
- GitBucket (7)
- Go言語 (3)
- H2O (3)
- HTTP (15)
- HTTPS (7)
- HashiCorp (4)
- IE (3)
- IPv6 (3)
- IT (10)
- Immutable Infrastructure (3)
- IntelliJ IDEA (3)
- JAXA (3)
- JDBC (3)
- JSON Schema (4)
- Java9 (4)
- JavaScript (40)
- Lenovo (3)
- Let's Encrypt (2)
- Lightroom (3)
- MLlib (2)
- MQTT (4)
- Mackerel (3)
- Matz (2)
- MongoDB (6)
- Nintendo Switch (3)
- NoSQL (3)
- Numpy (2)
- OAuth (3)
- OAuth 2.0 (3)
- OAuth2 (2)
- OOP (2)
- OS X (7)
- OSS (2)
- OpenID (2)
- OpenSSL (3)
- Opscode (2)
- Oracle (4)
- PDF (3)
- Photon (2)
- PlayFramework (2)
- PostgreSQL (4)
- Programing (2)
- Publickey (3)
- Pull Request (4)
- QA (3)
- RDBMS (6)
- REST (6)
- RESTful (2)
- RFC (8)
- React Native (2)
- ReactNative (2)
- Reactive programming (2)
- Redmine (14)
- Redux (4)
- Ruby (36)
- SHARP (2)
- SNS (3)
- SVG (3)
- Scala (142)
- Scala.js (3)
- Spark (13)
- Spring (6)
- Spring Framework (2)
- TLS (6)
- TeX (5)
- TypeScript (6)
- Typesafe (2)
- UI (13)
- USB (2)
- UX (6)
- VR (2)
- WordPress (4)
- XMLSchema (2)
- ZOZO (4)
- ZeroMQ (3)
- adobe (2)
- agile (5)
- akka (17)
- android (4)
- ansible (4)
- aratana (2)
- architecture (7)
- aws (38)
- bash (4)
- benchmark (2)
- bigquery (2)
- bootstrap (4)
- chatwork (6)
- cheatsheet (3)
- chef (34)
- ci (7)
- circleci (2)
- cli (5)
- cloud (2)
- cloudstack (2)
- config (2)
- consul (3)
- container (2)
- cqrs (2)
- database (10)
- ddd (44)
- deploy (2)
- design (5)
- development (4)
- devise (3)
- devops (10)
- dns (4)
- docker (39)
- documentation (2)
- ec2 (2)
- electron (6)
- elixir (9)
- elm (25)
- emacs (8)
- erlang (14)
- fabric (4)
- facebook (5)
- firebase (4)
- fluentd (3)
- flux (6)
- flyway (3)
- font (3)
- framework (5)
- functional (5)
- gem (3)
- git (37)
- github (34)
- gitignore (2)
- glibc (2)
- go (19)
- golang (17)
- google (16)
- graphql (5)
- grpc (2)
- guide (2)
- gulp (2)
- haskell (23)
- hatena (3)
- heroku (7)
- homebrew (2)
- html5 (6)
- http2 (4)
- i18n (2)
- iPhone (2)
- iTerm (2)
- ibm (2)
- infrastructure (5)
- infrastructure as code (3)
- io.js (2)
- ionic (2)
- ios (8)
- jQuery (5)
- java (64)
- java8 (4)
- jenkins (6)
- json (20)
- junit (2)
- jvm (2)
- jwt (3)
- kafka (2)
- knife (2)
- kotlin (4)
- kubernetes (2)
- lambda (4)
- language (2)
- latex (3)
- library (3)
- lint (2)
- linux (12)
- liquibase (4)
- logging (2)
- mac (21)
- macOS (2)
- mail (9)
- markdown (9)
- maven (3)
- microservices (6)
- microsoft (7)
- migration (3)
- mime (3)
- mock (2)
- mongoid (3)
- monit (2)
- mysql (4)
- nginx (17)
- node.js (8)
- olympus (2)
- orchestration (2)
- orm (2)
- parsec (3)
- phoenix (2)
- php (8)
- plantuml (2)
- programming (7)
- python (30)
- python3 (2)
- qiita (9)
- rabbitmq (3)
- rails (20)
- rails3 (10)
- react (9)
- react.js (6)
- reactive (2)
- reactive streams (3)
- redis (3)
- reference (7)
- rspec (4)
- rust (6)
- s3 (3)
- scaladays (2)
- scaladays2014 (2)
- security (8)
- sensu (3)
- serf (3)
- serverless (8)
- serverspec (4)
- shell (2)
- slack (10)
- slick (6)
- smtp (10)
- specs2 (2)
- sql (2)
- ssl (9)
- stack (2)
- storage (2)
- streem (2)
- subversion (2)
- swagger (5)
- swift (5)
- tdd (8)
- terminal (3)
- test (2)
- tomcat (3)
- toml (2)
- unix (2)
- vagrant (14)
- vim (3)
- web (13)
- websocket (3)
- webサービス (22)
- webデザイン (10)
- wikipedia (2)
- windows (4)
- zsh (4)
- あとで読む (614)
- いじめ (2)
- これはひどい (61)
- はやぶさ2 (2)
- まとめ (13)
- みずほ銀行 (2)
- アイコン (4)
- アイデア (4)
- アクションカメラ (2)
- アジャイル (11)
- アップデート (2)
- アプリ (6)
- アメリカ (2)
- アラタナ (2)
- アルゴリズム (5)
- アンチパターン (6)
- アーキテクチャ (24)
- イノベーション (2)
- イラスト (2)
- インストール (2)
- インタビュー (2)
- インターネット (6)
- インフラ (21)
- ウォーターフォール (2)
- エイプリルフール (2)
- エラー (3)
- エンコード (2)
- エンジニア (74)
- エンジニアリング (3)
- オフィス (2)
- オブジェクト指向 (14)
- オープンソース (6)
- カメラ (12)
- カンファレンス (3)
- クックパッド (2)
- クラウド (2)
- グラフ (2)
- ゲーム (12)
- コマンド (2)
- コミットログ (2)
- コミュニケーション (18)
- コンテナ (4)
- コード (7)
- コードレビュー (4)
- コード解析 (2)
- コーヒー (6)
- コーヒーメーカー (3)
- サーバーレス (4)
- サービス (27)
- サービス終了 (2)
- システム (3)
- シャープ (2)
- スクラム (4)
- スタートアップ (4)
- スライド (5)
- セキュリティ (66)
- セッション (2)
- ソフトウェア (9)
- ソフトウェア開発 (3)
- ダイビング (2)
- チャット (2)
- チーム (22)
- チーム開発 (3)
- ツール (7)
- テクノロジー (2)
- テスト (24)
- デザイン (39)
- デザインパターン (3)
- デプロイ (3)
- データベース (9)
- ドキュメント (4)
- ドメイン (3)
- ドメイン駆動設計 (16)
- ドローン (2)
- ニコン (5)
- ネタ (65)
- ネット (2)
- ネットワーク (9)
- バージョン管理 (2)
- パフォーマンス (4)
- ビジネス (16)
- ビッグデータ (2)
- フォント (12)
- フリー素材 (5)
- フレームワーク (7)
- ブラウザ (4)
- ブラタモリ (2)
- ブログ (4)
- ブロックチェーン (2)
- プレゼンテーション (2)
- プログラミング (143)
- プログラミング言語 (5)
- プロジェクト (12)
- プロジェクト管理 (7)
- プロセス改善 (2)
- プロトコル (4)
- ベストプラクティス (2)
- マイクロサービス (2)
- マネジメント (11)
- マーケティング (7)
- ミステリ (2)
- メディア (9)
- メルカリ (2)
- メール (11)
- モナド (2)
- ヤマト運輸 (2)
- ユーザビリティ (4)
- ヨッピー (2)
- ライセンス (3)
- ライブラリ (4)
- リアクティブ (2)
- リスクマネジメント (2)
- リテラシー (2)
- リファクタリング (9)
- リファレンス (5)
- リモートワーク (5)
- リリース (8)
- レガシーコード (3)
- レスポンシブ (2)
- レビュー (4)
- 並行処理 (2)
- 中国 (3)
- 事例 (3)
- 事故 (5)
- 京大 (2)
- 京都大学 (2)
- 人材 (4)
- 人生 (9)
- 仕事 (65)
- 仕様 (5)
- 任天堂 (2)
- 企業 (16)
- 会社 (29)
- 保育所 (2)
- 健康 (4)
- 働き方 (3)
- 入門 (5)
- 写真 (16)
- 写真素材 (3)
- 勉強 (3)
- 勉強会 (4)
- 原発 (3)
- 品質 (4)
- 型 (6)
- 型クラス (5)
- 学習 (12)
- 宇宙 (3)
- 宮崎県 (7)
- 履歴書 (3)
- 広告 (3)
- 思想 (5)
- 戦略 (3)
- 技術 (35)
- 技術的負債 (7)
- 採用 (4)
- 撮影 (4)
- 政治 (6)
- 教育 (24)
- 数学 (31)
- 文化 (8)
- 文字コード (3)
- 日本 (13)
- 暗号 (3)
- 本 (6)
- 構成管理 (3)
- 機械学習 (11)
- 歴史 (9)
- 決済 (5)
- 法律 (4)
- 猫 (3)
- 環境 (3)
- 監視 (6)
- 社会 (21)
- 福祉 (3)
- 科学 (13)
- 素数 (3)
- 素材 (7)
- 組織 (17)
- 経営 (5)
- 考え方 (78)
- 脆弱性 (19)
- 自動化 (4)
- 著作権 (5)
- 行政 (6)
- 言語 (9)
- 設計 (40)
- 証明書 (4)
- 認証 (7)
- 議論 (5)
- 負荷テスト (3)
- 起業 (3)
- 運用 (12)
- 銀行 (3)
- 開発 (101)
- 開発環境 (3)
- 関数 (3)
- 関数型 (8)
- 関数型プログラミング (5)
- 関数型言語 (5)
- 電子書籍 (4)
- 音楽 (6)
- あとで読む (614)
- プログラミング (143)
- Scala (142)
- 開発 (101)
- 考え方 (78)
- エンジニア (74)
- セキュリティ (66)
- ネタ (65)
- 仕事 (65)
- java (64)
languageに関するmather314のブックマーク (2)
-
mather314 2017/04/04
面白そう- language
- Idris
リンク -
-
1
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
設定を変更しましたx