サクサク読めて、
アプリ限定の機能も多数！
アプリで開く
●はてなブックマークって？
●アプリ・拡張の紹介
●ユーザー登録
●ログイン
●ログアウト
igrep
id:igrep
●
25,981
ブックマーク
●
-
お気に入り
●
-
お気に入られ
タグ
●すべて
●
.NET
(51)
●
2ch
(58)
●
AI(249)
●
API
(53)
●
ARM
(42)
●
AWS Lambda
(18)
●
ActiveRecord
(17)
●
Advent Calendar
(28)
●
Apple
(95)
●
C(84)
●
C#
(36)
●
C++
(81)
●
CI(64)
●
COVID-19
(454)
●
CPU
(62)
●
CSS
(237)
●
CSV
(15)
●
ChatGPT
(89)
●
Chrome
(305)
●
Chrome OS
(20)
●
Chromebook
(18)
●
C言語
(30)
●
DB(80)
●
DNS
(37)
●
Debian
(17)
●
ECMAScript
(26)
●
Edge
(31)
●
Eight
(23)
●
F#
(15)
●
FRP
(23)
●
Fintech
(21)
●
Firefox
(106)
●
Flash
(42)
●
GC(25)
●
GMO
(37)
●
GPU
(29)
●
GTD
(27)
●
GUI
(43)
●
Git
(255)
●
Gmail
(26)
●
Google
(443)
●
Google Apps Script
(17)
●
Google Home
(38)
●
Google+
(23)
●
GraphDB
(15)
●
GraphQL
(51)
●
IDE
(38)
●
Intel
(34)
●
IoT
(95)
●
Java
(255)
●
JavaScript
(1237)
●
Kubernetes
(116)
●
LGBT
(34)
●
LINE
(55)
●
LLM
(89)
●
LLVM
(41)
●
LaTeX
(49)
●
Lua
(38)
●
Mac
(71)
●
Mastodon
(36)
●
Microsoft
(185)
●
Monad
(76)
●
NHK
(38)
●
Neo4j
(15)
●
NoSQL
(22)
●
OCaml
(44)
●
OS(26)
●
Oracle
(47)
●
P2P
(20)
●
PDF
(42)
●
PHP
(38)
●
PostgreSQL
(87)
●
PowerShell
(44)
●
PureScript
(51)
●
Python
(233)
●
Qiita
(27)
●
R(29)
●
RDB
(24)
●
RDBMS
(21)
●
REST
(21)
●
Raspberry Pi
(16)
●
Ruby
(539)
●
SEO
(23)
●
SIer
(15)
●
SQLite
(17)
●
SVG
(37)
●
Safari
(22)
●
Sansan
(50)
●
Selenium
(28)
●
Swift
(45)
●
TCP
(27)
●
TDD
(18)
●
TLS
(19)
●
Twitter
(216)
●
UI(40)
●
UX(16)
●
Unity
(16)
●
V8
(18)
●
VR(37)
●
Visual Studio
(18)
●
Visual Studio Code
(52)
●
WASI
(79)
●
Web API
(36)
●
WebRTC
(21)
●
WebSocket
(18)
●
Webデザイン
(237)
●
Windows
(325)
●
Windows 10
(59)
●
XML
(16)
●
XSS
(27)
●
Yesod
(39)
●
YouTube
(34)
●
accessibility
(42)
●
amazon
(74)
●
android
(436)
●
aws
(168)
●
azure
(38)
●
bash
(50)
●
benchmark
(16)
●
bot
(23)
●
cabal
(65)
●
canvas
(24)
●
chromium
(24)
●
cli
(113)
●
clojure
(80)
●
cloud
(81)
●
conduit
(22)
●
cookie
(20)
●
coq
(17)
●
cui
(17)
●
cybozu
(20)
●
ddd
(20)
●
devops
(20)
●
dhall
(21)
●
docker
(241)
●
dropbox
(25)
●
eclipse
(15)
●
electron
(25)
●
elixir
(21)
●
elm
(252)
●
emacs
(26)
●
emoji
(33)
●
erlang
(25)
●
eta
(15)
●
ethereum
(19)
●
excel
(44)
●
facebook
(118)
●
framework
(37)
●
gem
(27)
●
ghc
(367)
●
github
(290)
●
gitlab
(51)
●
go(90)
●
golang
(100)
●
google cloud platform
(37)
●
hash
(15)
●
haskell
(3701)
●
haskell-jp
(40)
●
heroku
(28)
●
html
(152)
●
html5
(110)
●
http
(58)
●
http2
(28)
●
https
(23)
●
iOS
(137)
●
iPad
(19)
●
iPhone
(74)
●
ie(38)
●
iij
(108)
●
intellij
(21)
●
jQuery
(33)
●
jenkins
(18)
●
json
(117)
●
jvm
(41)
●
kindle
(23)
●
kintone
(18)
●
kotlin
(84)
●
language server protocol
(18)
●
lens
(48)
●
linux
(375)
●
lisp
(29)
●
markdown
(45)
●
microservices
(22)
●
mixi
(15)
●
moongift
(29)
●
mysql
(128)
●
neovim
(102)
●
news
(344)
●
nginx
(16)
●
nix
(24)
●
node
(53)
●
node.js
(186)
●
note
(71)
●
npm
(53)
●
oauth
(17)
●
oss
(250)
●
pandoc
(18)
●
perl
(19)
●
rails
(186)
●
react
(149)
●
redis
(19)
●
rspec
(29)
●
rust
(467)
●
scala
(77)
●
security
(948)
●
servant
(42)
●
serverless
(42)
●
shell
(35)
●
slack
(94)
●
sns
(200)
●
sony
(20)
●
sql
(107)
●
ssh
(55)
●
stack
(95)
●
svelte
(27)
●
systemd
(18)
●
test
(17)
●
tips
(269)
●
tmux
(29)
●
trouble
(68)
●
tutorial
(28)
●
typescript
(199)
●
ubuntu
(109)
●
unicode
(40)
●
unix
(24)
●
vim
(368)
●
vue.js
(26)
●
wasmer
(24)
●
webassembly
(841)
●
webpack
(20)
●
webサービス
(893)
●
いつか
(318)
●
いつか読む
(21)
●
お金
(30)
●
かわいい
(25)
●
けものフレンズ
(29)
●
これはすごい
(59)
●
これはひどい
(88)
●
はてな
(35)
●
まとめ
(254)
●
アジャイル
(33)
●
アニメ
(102)
●
アプリ
(56)
●
アメリカ
(168)
●
アルゴリズム
(117)
●
イギリス
(30)
●
イベント
(152)
●
インターネット
(117)
●
インド
(53)
●
ウクライナ
(40)
●
エディタ
(25)
●
エネルギー
(17)
●
エロ
(42)
●
オブジェクト指向
(28)
●
オリンピック
(28)
●
オープンソース
(38)
●
カルト宗教
(25)
●
キーボード
(18)
●
グラフ
(23)
●
ゲーム
(135)
●
コミュニケーション
(73)
●
コンビニ
(21)
●
コーディングスタイル
(17)
●
コードレビュー
(15)
●
サイボウズ
(26)
●
サーバ
(38)
●
サーバー管理
(31)
●
スポーツ
(51)
●
スマホ
(49)
●
スマートフォン
(58)
●
セキュリティ
(92)
●
セクハラ
(28)
●
チャット
(20)
●
テスト
(265)
●
テレビ
(46)
●
デザイン
(48)
●
デバッグ
(119)
●
デマ
(64)
●
データベース
(65)
●
データ構造
(35)
●
トランプ大統領
(26)
●
ドキュメント
(45)
●
ドメイン
(22)
●
ネタ
(567)
●
ネット
(20)
●
ネットワーク
(45)
●
バグ
(19)
●
バージョン管理
(19)
●
パスワード
(29)
●
パーサー
(24)
●
ビットコイン
(33)
●
ビルドツール
(33)
●
フォント
(28)
●
フリーソフト
(20)
●
ブラウザ
(166)
●
ブラック企業
(21)
●
ブログ
(34)
●
ブロックチェーン
(45)
●
プラグイン
(52)
●
プリキュア
(238)
●
プレゼンテーション
(30)
●
プログラマ
(29)
●
プログラミング
(296)
●
プログラミング言語
(86)
●
プロジェクト管理
(25)
●
プロファイリング
(20)
●
マスコミ
(86)
●
マナー
(20)
●
マネジメント
(31)
●
マンガ
(29)
●
マーケティング
(20)
●
メディア
(17)
●
メルカリ
(17)
●
メール
(41)
●
モナド
(34)
●
ライセンス
(16)
●
ライブラリ
(119)
●
リモートワーク
(27)
●
ログ
(37)
●
ロシア
(72)
●
ローコード
(65)
●
ワクチン
(54)
●
並列処理
(40)
●
並行処理
(35)
●
中国
(178)
●
中国語
(20)
●
乱数
(18)
●
人工知能
(37)
●
人生
(99)
●
仕事
(632)
●
企業
(138)
●
会社
(34)
●
例外
(36)
●
依存型
(21)
●
個人情報
(79)
●
健康
(76)
●
分散処理
(43)
●
労働
(234)
●
勉強会
(21)
●
動画
(51)
●
北朝鮮
(22)
●
医療
(172)
●
原発
(69)
●
図書館
(21)
●
圏論
(42)
●
圧縮
(26)
●
地図
(18)
●
地震
(22)
●
型
(63)
●
型レベルプログラミン
(33)
●
声優
(23)
●
夏時間
(86)
●
大学
(54)
●
婚活
(77)
●
学問
(81)
●
学校
(48)
●
宗教
(32)
●
寄付
(30)
●
就活
(44)
●
差別
(68)
●
広告
(117)
●
形式手法
(16)
●
心理
(54)
●
心理学
(16)
●
思想
(25)
●
性
(50)
●
性犯罪
(16)
●
恋愛
(33)
●
戦争
(39)
●
手前味噌
(188)
●
投資
(53)
●
携帯
(21)
●
政治
(394)
●
教育
(341)
●
数学
(146)
●
文化
(74)
●
文字コード
(27)
●
旅行
(24)
●
日本
(443)
●
日本語
(103)
●
暗号
(51)
●
暗号通貨
(82)
●
最適化
(27)
●
本
(106)
●
東京
(27)
●
東京オリンピック
(37)
●
東日本大震災
(65)
●
検索
(68)
●
機械学習
(144)
●
欲しい
(74)
●
正規表現
(71)
●
歴史
(141)
●
法律
(149)
●
海外
(20)
●
漫画
(43)
●
災害
(65)
●
炎上
(42)
●
無線LAN
(24)
●
犯罪
(153)
●
環境問題
(57)
●
生活
(46)
●
男女
(156)
●
画像
(158)
●
画像作成
(18)
●
画像処理
(49)
●
痴漢
(28)
●
監視
(29)
●
研究
(23)
●
社会
(71)
●
社会学
(26)
●
科学
(79)
●
税金
(42)
●
組織
(60)
●
経営
(42)
●
経済
(104)
●
結婚
(55)
●
統計
(79)
●
考え方
(365)
●
育児
(104)
●
自殺
(18)
●
自民党
(63)
●
自然言語処理
(28)
●
芸能
(23)
●
英語
(162)
●
著作権
(102)
●
行政
(61)
●
表現の自由
(40)
●
言葉
(54)
●
言語
(58)
●
言語処理系
(34)
●
設定
(17)
●
設計
(43)
●
詐欺
(44)
●
語学
(21)
●
調査
(17)
●
論文
(24)
●
警察
(38)
●
起業
(55)
●
車
(18)
●
転職
(27)
●
農業
(19)
●
遅延評価
(31)
●
選挙
(54)
●
金融
(24)
●
銀行
(22)
●
開発
(176)
●
関数型
(19)
●
関数型プログラミング
(29)
●
防災
(26)
●
障害
(68)
●
電力
(52)
●
電子書籍
(71)
●
静的解析
(38)
●
韓国
(49)
●
音声
(44)
●
音楽
(73)
●
食
(46)
●
香港
(19)
●
高速化
(144)
●
haskell
(3701)
●
JavaScript
(1237)
●
security
(948)
●
webサービス
(893)
●
webassembly
(841)
●
仕事
(632)
●
ネタ
(567)
●
Ruby
(539)
●
rust
(467)
●
COVID-19
(454)
関連タグで絞り込む (3)
●
Java
●
JVM
●
プログラミング
タグの絞り込みを解除
関数型と言語に関するigrepのブックマーク (2)
●
3 users
●
code.google.com
●テクノロジー
Code Archive Skip to content Google About Google Privacy Terms
igrep
2011/08/20
●Java
●JVM
●言語
●関数型
●
13 users
●
ja.wikipedia.org
●テクノロジー
Lazy K︵れいじーけー︶は組み込み関数が3つしかない、純粋関数型言語である。似た言語として、同じような表記をする、非純粋関数型言語であるUnlambdaがある。 概要[編集] 純粋関数型言語として、チューリング完全でありながら、絶対必要なエッセンスだけを抜き出したプログラミング言語である。遅延評価を行う。使用するにも、処理系を実装するにも、コンビネータ論理の知識が必要である。 標準入力をプログラムである関数の引数として受け取る。ただし、標準入力は1バイトごとのチャーチ数︵英語版︶のスコットエンコードされたリストとしてエンコードされ、出力も同様に1バイトごとのチャーチ数のスコットエンコードされたリストとなる。 Lazy K にてUnlambda を実装した場合、Unlambda でUnlambda を実装した場合に比べて約1/10のソースサイズで収まる。 組み込み関数[編集] Has
igrep
2011/08/17
●関数型
●プログラミング
●言語
1
お知らせ
ランキング
今週のはてなブックマーク数ランキング︵2024年7月第2週︶
お知らせ
はてなブックマーク透明性レポート︵2024年2月-2024年4月︶
ランキング
今週のはてなブックマーク数ランキング︵2024年7月第1週︶
もっと読む
公式Twitter
●@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
●@hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
●総合
●一般
●世の中
●政治と経済
●暮らし
●学び
●テクノロジー
●エンタメ
●アニメとゲーム
●おもしろ
●アプリ・拡張機能
●開発ブログ
●ヘルプ
●お問い合わせ
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●公式アカウント
●ホットエントリー
●はてなブログ
●はてなブログPro
●人力検索はてな
●はてなブログ タグ
●はてなニュース
●ソレドコ
Copyright © 2005-2024 Hatena. All Rights Reserved.
設定を変更しましたx
Google Code Archive - Long-term storage for Google Code Project Hosting.
Lazy K - Wikipedia