歌舞伎座.tech #9 で使用したスライドです。JVM 版 Haskell であるプログラミング言語 Frege について、モナドを利用した Java ライブラリの呼び出し方に焦点を当てて紹介しています。なお、このプレゼンで触れ「なかった」話題についてはブログ記事 http://ccvanishing.hateblo.jp/entry/2016/03/22/020302 を参照のこと。Read less
タグ
- すべて
- .NET (51)
- 2ch (58)
- AI (297)
- AMD (15)
- API (54)
- ARM (43)
- AWS Lambda (18)
- ActiveRecord (17)
- Advent Calendar (28)
- Apple (97)
- C (93)
- C# (39)
- C++ (83)
- CI (68)
- COVID-19 (463)
- CPU (68)
- CSS (255)
- CSV (15)
- ChatGPT (94)
- Chrome (316)
- Chrome OS (21)
- Chromebook (21)
- C言語 (30)
- DB (84)
- DNS (41)
- DOM (15)
- Debian (17)
- ECMAScript (27)
- Edge (31)
- Eight (23)
- F# (15)
- FRP (23)
- Fintech (21)
- Firefox (108)
- Flash (41)
- GC (28)
- GMO (22)
- GPU (32)
- GTD (30)
- GUI (49)
- Git (259)
- Gmail (26)
- Google (455)
- Google Apps Script (18)
- Google Home (38)
- Google+ (23)
- GraphDB (16)
- GraphQL (52)
- IDE (41)
- Intel (34)
- IoT (96)
- JIT (15)
- Java (257)
- JavaScript (1309)
- Kubernetes (116)
- LGBT (35)
- LINE (57)
- LLM (127)
- LLVM (42)
- LaTeX (49)
- Lua (39)
- Mac (74)
- Mastodon (36)
- Microsoft (188)
- Monad (76)
- NHK (38)
- Neo4j (15)
- NoSQL (22)
- OCaml (46)
- OS (27)
- Oracle (46)
- P2P (21)
- PDF (44)
- PHP (38)
- PostgreSQL (96)
- PowerShell (45)
- PureScript (51)
- Qiita (27)
- R (29)
- RDB (26)
- RDBMS (21)
- REST (21)
- Raspberry Pi (16)
- Ruby (541)
- SEO (23)
- SIer (15)
- SQLite (19)
- SVG (37)
- Safari (23)
- Sansan (50)
- Selenium (29)
- Swift (48)
- TCP (28)
- TDD (18)
- TLS (19)
- Twitter (222)
- UI (48)
- UX (16)
- Unity (17)
- V8 (18)
- VR (38)
- Visual Studio (18)
- Visual Studio Code (53)
- WASI (91)
- Web API (37)
- WebRTC (21)
- WebSocket (18)
- Webデザイン (258)
- Windows (334)
- Windows 10 (59)
- XML (16)
- XSS (28)
- Yesod (39)
- YouTube (34)
- accessibility (49)
- amazon (74)
- android (440)
- aws (171)
- azure (38)
- bash (49)
- benchmark (19)
- bot (23)
- cabal (65)
- canvas (24)
- chromium (26)
- cli (114)
- clojure (80)
- cloud (81)
- conduit (22)
- cookie (21)
- coq (18)
- cui (17)
- cybozu (19)
- ddd (20)
- deno (15)
- devops (20)
- dhall (21)
- docker (245)
- dropbox (26)
- electron (26)
- elixir (22)
- elm (252)
- emacs (26)
- emoji (33)
- erlang (25)
- ethereum (19)
- excel (45)
- facebook (120)
- framework (37)
- gem (27)
- ghc (367)
- github (298)
- gitlab (51)
- go (91)
- golang (112)
- google cloud platform (38)
- haskell (3711)
- haskell-jp (40)
- heroku (28)
- html (166)
- html5 (110)
- http (58)
- http2 (28)
- https (23)
- iOS (141)
- iPad (19)
- iPhone (74)
- ie (41)
- iij (111)
- intellij (21)
- jQuery (33)
- jenkins (18)
- json (120)
- jvm (41)
- kindle (23)
- kintone (18)
- kotlin (84)
- language server protocol (20)
- lens (48)
- linux (384)
- lisp (33)
- markdown (47)
- microservices (22)
- moongift (29)
- mysql (133)
- neovim (106)
- news (344)
- nginx (16)
- nix (24)
- node (56)
- node.js (195)
- note (71)
- npm (54)
- oauth (17)
- oss (259)
- pandoc (18)
- perl (19)
- python (246)
- rails (189)
- react (176)
- redis (19)
- rspec (29)
- rust (484)
- scala (78)
- security (989)
- servant (42)
- serverless (43)
- shell (37)
- slack (95)
- sns (214)
- sony (20)
- sql (113)
- ssh (56)
- stack (95)
- svelte (30)
- systemd (18)
- test (17)
- tips (269)
- tmux (30)
- trouble (69)
- tutorial (28)
- typescript (228)
- ubuntu (110)
- unicode (43)
- unix (25)
- vim (373)
- vue.js (26)
- wasmer (26)
- webassembly (902)
- webpack (20)
- webサービス (902)
- いつか (321)
- いつか読む (21)
- お金 (30)
- かわいい (27)
- けものフレンズ (29)
- これはすごい (61)
- これはひどい (89)
- はてな (35)
- まとめ (256)
- アジャイル (33)
- アニメ (104)
- アプリ (56)
- アメリカ (181)
- アルゴリズム (118)
- イギリス (30)
- イベント (154)
- インターネット (124)
- インド (56)
- ウクライナ (43)
- エディタ (25)
- エネルギー (17)
- エロ (42)
- オブジェクト指向 (28)
- オリンピック (29)
- オープンソース (38)
- カルト宗教 (26)
- キーボード (21)
- グラフ (23)
- ゲーム (150)
- コミュニケーション (77)
- コンビニ (21)
- コーディングスタイル (17)
- サイボウズ (27)
- サーバ (39)
- サーバー管理 (31)
- スポーツ (52)
- スマホ (51)
- スマートフォン (59)
- セキュリティ (91)
- セクハラ (29)
- チャット (20)
- テスト (275)
- テレビ (47)
- デザイン (49)
- デバッグ (120)
- デマ (73)
- データベース (64)
- データ構造 (35)
- トランプ大統領 (27)
- ドキュメント (45)
- ドメイン (23)
- ネタ (573)
- ネット (20)
- ネットワーク (45)
- バグ (19)
- バージョン管理 (19)
- パスワード (30)
- パーサー (24)
- ビットコイン (33)
- ビルドツール (34)
- フォント (30)
- フリーソフト (20)
- ブラウザ (186)
- ブラック企業 (21)
- ブログ (36)
- ブロックチェーン (45)
- プラグイン (52)
- プリキュア (238)
- プレゼンテーション (33)
- プログラマ (29)
- プログラミング (307)
- プログラミング言語 (89)
- プロジェクト管理 (25)
- プロファイリング (20)
- マスコミ (90)
- マナー (20)
- マネジメント (34)
- マンガ (29)
- マーケティング (20)
- メディア (17)
- メルカリ (17)
- メール (45)
- モナド (34)
- ライセンス (18)
- ライブラリ (122)
- リモートワーク (29)
- ログ (38)
- ロシア (74)
- ローコード (67)
- ワクチン (57)
- 並列処理 (42)
- 並行処理 (37)
- 中国 (185)
- 中国語 (23)
- 乱数 (19)
- 人工知能 (37)
- 人生 (100)
- 仕事 (648)
- 企業 (147)
- 会社 (34)
- 例外 (37)
- 依存型 (22)
- 個人情報 (81)
- 健康 (78)
- 分散処理 (44)
- 労働 (243)
- 勉強会 (21)
- 動画 (51)
- 北朝鮮 (23)
- 医療 (177)
- 原発 (72)
- 図書館 (23)
- 圏論 (42)
- 圧縮 (28)
- 地図 (19)
- 地震 (26)
- 型 (68)
- 型レベルプログラミン (34)
- 声優 (25)
- 夏時間 (88)
- 大学 (55)
- 婚活 (78)
- 学問 (82)
- 学校 (49)
- 宗教 (33)
- 寄付 (31)
- 就活 (45)
- 差別 (70)
- 広告 (119)
- 形式手法 (16)
- 心理 (58)
- 心理学 (16)
- 思想 (25)
- 性 (50)
- 性犯罪 (17)
- 恋愛 (33)
- 戦争 (40)
- 手前味噌 (197)
- 投資 (54)
- 携帯 (21)
- 政治 (416)
- 教育 (348)
- 数学 (151)
- 文化 (74)
- 文字コード (28)
- 旅行 (25)
- 日本 (453)
- 日本語 (110)
- 映画 (16)
- 暗号 (51)
- 暗号通貨 (83)
- 最適化 (27)
- 本 (107)
- 東京 (27)
- 東京オリンピック (37)
- 東日本大震災 (65)
- 検索 (71)
- 機械学習 (150)
- 欲しい (74)
- 正規表現 (74)
- 歴史 (148)
- 法律 (158)
- 海外 (20)
- 漫画 (43)
- 災害 (68)
- 炎上 (42)
- 無線LAN (24)
- 犯罪 (161)
- 環境問題 (60)
- 生活 (48)
- 男女 (159)
- 画像 (159)
- 画像作成 (22)
- 画像処理 (54)
- 痴漢 (28)
- 監視 (29)
- 研究 (24)
- 社会 (71)
- 社会学 (26)
- 科学 (81)
- 税金 (45)
- 組織 (65)
- 経営 (44)
- 経済 (105)
- 結婚 (56)
- 統計 (82)
- 考え方 (368)
- 育児 (108)
- 自殺 (18)
- 自民党 (63)
- 自然言語処理 (28)
- 芸能 (23)
- 英語 (166)
- 著作権 (105)
- 行政 (61)
- 表現の自由 (42)
- 言葉 (54)
- 言語 (58)
- 言語処理系 (35)
- 設定 (17)
- 設計 (46)
- 詐欺 (48)
- 語学 (21)
- 調査 (17)
- 論文 (24)
- 警察 (38)
- 起業 (55)
- 車 (18)
- 転職 (28)
- 農業 (20)
- 遅延評価 (32)
- 選挙 (56)
- 金融 (25)
- 銀行 (22)
- 開発 (177)
- 関数型 (19)
- 関数型プログラミング (30)
- 防災 (31)
- 障害 (72)
- 電力 (53)
- 電子書籍 (71)
- 静的解析 (38)
- 韓国 (49)
- 音ゲー (16)
- 音声 (46)
- 音楽 (74)
- 食 (47)
- 香港 (19)
- 高速化 (156)
- haskell (3711)
- JavaScript (1309)
- security (989)
- webassembly (902)
- webサービス (902)
- 仕事 (648)
- ネタ (573)
- Ruby (541)
- rust (484)
- COVID-19 (463)
haskellとFregeに関するigrepのブックマーク (3)
-
igrep 2016/03/20
- haskell
- Frege
- JVM
リンク -
Frege: JVMのためのHaskellのような言語
ドイツ人数学者、Gottlob Frege氏から名付けられたFregeは、JVMのための純粋関数型の強力な型付き言語だ。FregeはHaskellと似ていて、「もっともHaskellらしいコードを修正せずに、または、見て分かる最小限の調整だけで動かせる。」 Fregeの開発者たちによると、Fregeは「パワー、単純さ、表現力の豊かさの組み合わせにおいて、類を見ないもの」である型システムをJVMに持ち込んだ。これにより、非正格 評価と型推論をサポートし、純粋性とデフォルトの不変性を可能にする。そのため、副作用は宣言された時のみ使うことができる。Fregeは、以下のようなHaskellの機能をほぼサポートしている。 ADTとパラメトリックポリモフィズムを用いた型クラス より高いランクの型 パターンマッチング リストの包含 do表記 ポイントフリースタイル モジュール functor、monoi
-
1
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
設定を変更しましたx