forked from voxoz/n2o.im
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathindex.html
178 lines (178 loc) · 8.86 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
<html>
<head>
<meta charset="utf-8" />
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<meta name="description" content="" />
<meta name="author" content="Maxim Sokhatsky" />
<link href="https://fonts.googleapis.com/css?family=Montserrat:900" rel="stylesheet">
<title>N2O エコ</title>
<link rel="stylesheet" href="https://synrc.space/synrc.css?v=5" />
</head>
<body>
<nav>
<a href='https://synrc.space/'>SYNRC</a>
<a href='https://o1.network'>O1</a>
<a href='https://o3.click'>O3</a>
<a href='https://o7.network'>O7</a>
</nav>
<header>
<h1>N2O エコ</h1>
</header>
<aside>
<article>
<section>
<h3>アブストラクト </h3>
<div>
N2O エコ 最小限のエンタープライズプロトコルスタッ
（Webフレームワーク、ビジネスプロセス管理、スケー
ラブルなデータストレージ）でWebSocketとMQTTの接
続性を提供します。 例として、3つのN2O実装が与え
られている（SML、Haskell、Erlang）。
<br><br>
</div>
<div class=logo style="padding:20px;margin-bottom:30px;"><center>
<img src="https://n2o.space/SML-Mono.svg?v=3" style="width:130px;margin-right:60px;">
<img src="https://n2o.space/Haskell-Mono.svg?v=3" style="width:100px;margin-right:60px;">
<img src="https://n2o.space/Erlang-Mono.svg?v=3" style="width:120px;">
</center></div>
<div>
2013—2018 © <a href="https://5ht.co/license.htm">仏教のライセンス</a>
</div>
</section>
<section>
<h3>著者へのアドバイス</h3>
<div>各言語、N2Oは、N2Oを最も自然にコンパクトに埋め込む
ように実装されています。 言語の基本ライブラリの間の
いくつかのレイヤーが必要な場合は、それを提供するこ
とができますが、できるだけゼロに減らす必要がありま
す。 場合によっては、ベースライブラリの一部をより良
い置き換えに置き換えることができます。 N2Oは、JavaScript、
Swift、Kotlinのクライアント言語の異なるセットで
通常実装されるクライアントコンパニオンライブラリ
を提供する必要があります。 すべてのことを正しく行
った場合、N2Oはどの言語でも500 LOCを超えることは
できません。 正しい方法は、同じコードベースを使用
してWebSocketと静的HTTPサーバーを実装することです。<br><br>
</div>
</section>
</article>
</aside>
<main>
<section>
<p>Tier 0 - 積極的に宣伝された言語（SML、Haskell、Erlang）：</p>
</section>
<section>
<a name=o1></a>
<h3><a href="https://o1.network">O1 エコ</a></h3>
<p> O1 エコは、標準ML N2O実装です。 標準MLは、正式に定義された操
作セマンティクスを持つ認証言語です。 ここでは、INetSock.TCPが
生成したアクセプタを持つ単純なCMLループです。 TCPサーバー内の
N2Oプロトコルを処理するのに十分シンプルです。 O1 エコは、基本
WebSocket接続と基本アプリケーションサーバー（N2O）を提供します。
</p>
<ul>
<li><a href="https://n2o.o1.network">o1/n2o</a> — N2O 0.11 ML</li>
</ul>
</section>
<section>
<a name=o3></a>
<h3><a href="https://o3.click">O3 エコ</a></h3>
<p>O3 エコは、Haskellプログラミング言語用のN2Oプロトコルを導入
しています。 WebSocketと静的HTTPサーバー（N2O）によって駆動
されるHTML5サンプル（SAMPLE）とともに、HaskellのNitro Web
Framework（NITRO）を完全に実装しています。
</p>
<ul>
<li><a href="https://n2o.o3.click">o3/n2o</a> — N2O 0.11 HS</li>
<li><a href="https://nitro.o3.click">o3/nitro</a> — NITRO 0.11</li>
<li><a href="https://sample.o3.click">o3/sample</a> — SAMPLE 0.11</li>
</ul>
</section>
<section>
<a name=o7></a>
<h3><a href="https://o7.network">O7 エコ</a></h3>
<p> O7 エコは、銀行、メッセージング、プラットフォーム
開発のためのエコシステム、フルスタック仕様、実装
を定義します。 アプリケーション、プロトコル、プロ
セス、サービス、およびストレージを拡張する方法
を指定します。 高速、低遅延MQTT、TCP、QUIC、UDP、
およびWebSocketアプリケーションに対応このバージ
ョンのN2O エコは、ビジネスプロセス管理（BPE）、
Nitro Webフレームワーク（NITRO）、WebSocketおよ
びMQTT接続性（N2O）、REST フレームワーク、高速で
シンプルなパッケージマネージャ（MAD）、API開発用
のタイプ駆動型BERTパーサジェネレータ、スケー
ラブルデータストレージ（KVX）などが含まれます。
</p>
<ul>
<li><a href="https://ws.n2o.space">o7/n2o</a> — N2O 5.11.1 MQTT WS</li>
<li><a href="https://kvx.n2o.space">o7/kvx</a> — KVX 5.11</li>
<li><a href="https://mad.n2o.space">o7/mad</a> — MAD 4.11</li>
<li><a href="https://bpe.n2o.space">o7/bpe</a> — BPE 3.11</li>
<li><a href="https://synrc.github.io/nitro">o7/nitro</a> — NITRO 3.10</li>
<li><a href="https://synrc.github.io/rest">o7/rest</a> — REST 5.10</li>
<li><a href="https://synrc.github.io/active">o7/active</a> — ACTIVE 4.11</li>
<li><a href="https://synrc.github.io/fs">o7/fs</a> — FS 4.10</li>
<li><a href="https://synrc.github.io/sh">o7/sh</a> — SH 2.11</li>
<li><a href="https://synrc.github.io/bert">o7/bert</a> — BERT 1.11.1</li>
<li><a href="https://review.n2o.space">o7/review</a> — REVIEW 1.11 TT</li>
<li><a href="https://sample.n2o.space">o7/sample</a> — REVIEW 1.11 WS</li>
<li><a href="https://mqtt.n2o.space">o7/mqtt</a> — N2O 5.11.1 TT</li>
</ul>
<br>
<p></p>
</section>
<section>
<p>Tier 1 - 実験的実装（Coq、Agda、Lean）：</p>
</section>
<section>
<a name=o2></a>
<h3><a href="#">O29 ECO</a></h3>
<p> O29 ECOはCoq N2Oの実装です。 Coq実装のユニークな特徴は、
O29 ECOがMLTT言語で実装されていることです。
</p>
<ul>
<li><a href="https://github.com/o29/n2o">o29/n2o</a> — N2O GL</li>
</ul>
</section>
<section>
<a name=o2></a>
<h3><a href="#">O4 ECO</a></h3>
<p> O4 ECOはAgda N2Oの実装です。 Agda実装のユニークな特徴は、
O4 ECOがMLTT言語で実装されていることです。
</p>
<ul>
<li><a href="https://github.com/o4/n2o">o4/n2o</a> — N2O AG</li>
</ul>
</section>
<!--section>
<a name=o4></a>
<h3><a href="#">O83 ECO</a></h3>
<p> O83 ECOは、錆N2Oの実装です。 実行時およびプログラミング言語で
のフルスタックが提示されています。優先度の高いタスクとスケ
ーラブルなタイマーを使用して低遅延のノンブロッキングゼロコピ
ーCASマルチキューを自動バランシングします。 これは、O言語
のインタプリタタスク間で5〜20nsのレイテンシというユニ
ークな機能を備えています。
</p>
<ul>
<li><a href="https://o83.github.io/platform.rs/">o83/kernel</a> — KERNEL</li>
</ul>
</section-->
<section>
<a name=o5></a>
<h3><a href="#">O53 ECO</a></h3>
<p> O53 ECOは将来のリーンN2Oの実装です。
</p>
<ul>
<li><a href="https://github.com/o53">o53/n2o</a> — N2O LE</li>
</ul>
<br><br>
</section>
</main>
<footer>
N2Oへの<span class="heart"> ❤ </span>をもって作られた
</footer>
</body>
</html>