Abstract

Author: master-q

index.html

@@ -41,15 +41,33 @@ <h1>Functional IoT</h1>
       </nav>
       <section>
 
-### UNDER CONSTRUCTION ###
-
 <h3>
 <a name="whatis" class="anchor" href="#whatis"><span class="octicon octicon-link"></span></a>What is Functional IoT?</h3>
 
-<p><a href="http://en.wikipedia.org/wiki/Internet_of_Things">The Internet of Things (or IoT for short)</a> refers to uniquely identifiable objects and their virtual representations in an Internet-like structure.</p>
+<p><a href="http://en.wikipedia.org/wiki/Internet_of_Things">The Internet of Things</a> (or IoT for short) refers to uniquely identifiable objects
+and their virtual representations in an Internet-like structure.
+Imagine IoT devices are:</p>
+
+<ul>
+<li>connected to the internet</li>
+<li>developed in a short time</li>
+<li>storing personal data</li>
+<li>secure</li>
+<li>more intelligence</li>
+<li>inexpensive</li>
+</ul>
+
+<p>C language can design the IoT devices such like that? No, can't. We need the language that is good for system programming with strong type,
+to develop IoT device more safety more drastic approach.</p>
+
+<p>The <b>Functional IoT</b> is a wrestling mat that strong typed languages fight on, to become the champion of system programming language.</p>
+
+<h3>
+<a name="whatis" class="anchor" href="#demovideo"><span class="octicon octicon-link"></span></a>Demo video</h3>
+<p>T.B.D.</p>
 
 <h3>
-<a name="lang" class="anchor" href="#lang"><span class="octicon octicon-link"></span></a>What language will be used?</h3>
+<a name="lang" class="anchor" href="#lang"><span class="octicon octicon-link"></span></a>What language will challenge?</h3>
 
 <h4><a href="http://ajhc.metasepi.org/">Ajhc</a> (Haskell)</h4>
 <h4><a href="http://www.ats-lang.org/">ATS</a> (ML)</h4>