fpiot.github.io/index.html at master · fpiot/fpiot.github.io · GitHub

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
<!doctype html>
<html>
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="chrome=1">
    <title>Functional IoT - Connect things by well-typed bridge.</title>
    <link rel="stylesheet" href="stylesheets/styles.css">
    <link rel="stylesheet" href="stylesheets/pygment_trac.css">
    <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.7.1/jquery.min.js"></script>
    <script src="javascripts/main.js"></script>
    <!--[if lt IE 9]>
      <script src="//html5shiv.googlecode.com/svn/trunk/html5.js"></script>
    <![endif]-->
    <meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no">

  </head>
  <body>
<div id="fb-root"></div>
<script>(function(d, s, id) {
  var js, fjs = d.getElementsByTagName(s)[0];
  if (d.getElementById(id)) return;
  js = d.createElement(s); js.id = id;
  js.src = "//connect.facebook.net/en_US/all.js#xfbml=1&appId=310889061205";
  fjs.parentNode.insertBefore(js, fjs);
}(document, 'script', 'facebook-jssdk'));</script>

      <header>
        <h1>Functional IoT</h1>
        <p>Connect things by well-typed bridge.</p>
      </header>

      <div id="banner">
        <span id="logo"></span>

        <a href="https://github.com/fpiot" class="button fork"><strong>View On GitHub</strong></a>
      </div><!-- end banner -->

    <div class="wrapper">
      <nav>
        <ul></ul>
      </nav>
      <section>

<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</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 strongly typed languages fight on, to become the champion of system programming language.</p>

<h3>
<a name="demovideo" class="anchor" href="#demovideo"><span class="octicon octicon-link"></span></a>Demo video</h3>
<iframe width="304" height="227" src="https://www.youtube.com/embed/5uPue0Jo1nc" frameborder="0" allowfullscreen></iframe>
<iframe width="405" height="227" src="https://www.youtube.com/embed/_Sx6GzuTm9k" frameborder="0" allowfullscreen></iframe>

<h3>
<a name="lang" class="anchor" href="#lang"><span class="octicon octicon-link"></span></a>What language will challenge?</h3>

<h4><a href="http://www.ats-lang.org/">ATS</a> (ML)</h4>
<h4><a href="http://repetae.net/computer/jhc/">jhc</a> (Haskell)</h4>
<h4><a href="http://www.rust-lang.org/">Rust</a> (similar to ML and C)</h4>

<h3>
<a name="hardware" class="anchor" href="#hardware"><span class="octicon octicon-link"></span></a>What hardware platform will be supported?</h3>

<h4><a href="http://en.wikipedia.org/wiki/ARM_Cortex-M">ARM Cortex-M</a></h4>
<ul>
<li>Spec: 32-bit,  RAM-size 1KiB~256KiB</li>
<li>Debugger: <a href="http://www.st.com/web/en/catalog/tools/FM146/CL1984/SC724/SS1677/PF251168">ST-LINK/V2</a> (<a href="https://github.com/texane/stlink">detail</a>), <a href="https://mbed.org/handbook/CMSIS-DAP">CMSIS-DAP</a> (<a href="https://github.com/mbedmicro/pyOCD">detail</a>)</li>
<li>Boards: <a href="http://www.seeedstudio.com/depot/FSM55-LED-Matrix-Display-p-2121.html">FSM-55</a>, <a href="http://mbed.org/platforms/mbed-LPC1768/">mbed LPC1768</a>, <a href="http://www.st.com/web/catalog/tools/FM116/SC959/SS1532/PF252419">STM32F4DISCOVERY</a></li>
</ul>

<h4><a href="http://en.wikipedia.org/wiki/TI_MSP430">TI MSP430</a></h4>
<ul>
<li>Spec: 16-bit,  RAM-size 128B~66KiB</li>
<li>Debugger: <a href="http://processors.wiki.ti.com/index.php/EZ-FET_lite">eZ-FET</a></li>
<li>Boards: <a href="http://www.ti.com/tool/MSP-EXP430FR5969">MSP-EXP430FR5969</a></li>
</ul>

<h4><a href="http://en.wikipedia.org/wiki/Atmel_AVR">Atmel AVR</a></h4>
<ul>
<li>Spec: 8-bit, Harvard architecture, RAM-size 64B~16KiB</li>
<li>Debugger: <a href="http://www.atmel.com/tools/avrdragon.aspx">AVR Dragon</a> (<a href="http://www.larsen-b.com/Article/315.html">detail</a>)</li>
<li>Boards: <a href="http://arduino.cc/en/Main/ArduinoBoardUno">Arduino Uno</a></li>
</ul>

<h3>
<a name="how-use" class="anchor" href="#how-use"><span class="octicon octicon-link"></span></a>How to use?</h3>

<ul>
<li><a href="https://travis-ci.org/fpiot/arduino-ats"><img src="https://travis-ci.org/fpiot/arduino-ats.svg" alt="Build Status" style="max-width:100%;vertical-align:middle;"></a> <a href="https://github.com/fpiot/arduino-ats">ATS programing on Arduino (Atmel AVR)</a></li>
<li><a href="https://travis-ci.org/fpiot/msp430-ats"><img src="https://travis-ci.org/fpiot/msp430-ats.svg" alt="Build Status" style="max-width:100%;vertical-align:middle;"></a> <a href="https://github.com/fpiot/msp430-ats">ATS programing on msp430 (TI MSP430)</a></li>
<li><a href="https://travis-ci.org/fpiot/mbed-ats"><img src="https://travis-ci.org/fpiot/mbed-ats.svg" alt="Build Status" style="max-width:100%;vertical-align:middle;"></a> <a href="https://github.com/fpiot/mbed-ats">ATS programing on mbed (ARM Cortex-M)</a></li>
<li><a href="https://travis-ci.org/fpiot/chibios-ats"><img src="https://travis-ci.org/fpiot/chibios-ats.svg" alt="Build Status" style="max-width:100%;vertical-align:middle;"></a> <a href="https://github.com/fpiot/chibios-ats">ATS programing on ChibiOS/RT</a></li>
<li><a href="https://travis-ci.org/fpiot/chopstx-ats"><img src="https://travis-ci.org/fpiot/chopstx-ats.svg" alt="Build Status" style="max-width:100%;vertical-align:middle;"></a> <a href="https://github.com/fpiot/chopstx-ats">ATS programing on Chopstx</a></li>
</ul>

<h3>
<a name="meetup" class="anchor" href="#meetup"><span class="octicon octicon-link"></span></a>Training and Meetup</h3>

<p>Planning <a href="http://fpiot.doorkeeper.jp/">monthly meetup</a> at <a href="https://en.wikipedia.org/wiki/Tokyo">Tokyo, Japan</a>.</p>

<h3>
<a name="donate" class="anchor" href="#donate"><span class="octicon octicon-link"></span></a>Donate to Functional IoT</h3>

<p><a href="https://www.patreon.com/bePatron?u=14024680" data-patreon-widget-type="become-patron-button">Become a Patron!</a><script async src="https://c6.patreon.com/becomePatronButton.bundle.js"></script></p>

<p><img src="images/donate_bitcoin_250x250.png" /><br><a href="bitcoin:1MLv5r1mCKb8W7qJGgPCTqT5qx5156ChQJ?label=Donate_fpiot"><i>1MLv5r1mCKb8W7qJGgPCTqT5qx5156ChQJ</i></a><br><a href="https://blockchain.info/address/1MLv5r1mCKb8W7qJGgPCTqT5qx5156ChQJ"><i>Who donated on Bitcoin?</i></a></p>

<h3>
<a name="license" class="anchor" href="#license"><span class="octicon octicon-link"></span></a>License</h3>

<ul>
<li>The project icon: <a href="https://www.flickr.com/photos/hugomf/398014474/">Copyright (C) 2007 Hugo Fernandes All Rights Reserved.</a> Licensed under a <a href="http://creativecommons.org/licenses/by-sa/2.0/">Creative Commons Attribution-ShareAlike 2.0 Generic License</a>.</li>
<li>This page header photo: <a href="http://www.flickr.com/photos/emrank/3074491752/">Copyright (C) 2008 Emran Kassim All Rights Reserved.</a> Licensed under a <a href="http://creativecommons.org/licenses/by/2.0/">Creative Commons Attribution 2.0 Generic License</a>.</li>
</ul>
      </section>
      <footer>
	<div class="fb-like-box" data-href="https://www.facebook.com/pages/Functional-Iot/429261740535822" data-colorscheme="light" data-show-faces="false" data-header="false" data-stream="false" data-show-border="true"></div>
	<div><a href="http://metasepi.org/"><img src="images/metasepi_logo_v1_100x100.png" alt="Metasepi logo"></a>
	  <p><small>Powered by <a href="http://metasepi.org/">Metasepi Project</a>.</small></p></div>
      </footer>
    </div>
    <!--[if !IE]><script>fixScale(document);</script><![endif]-->
              <script type="text/javascript">
            var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
            document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
          </script>
          <script type="text/javascript">
            try {
              var pageTracker = _gat._getTracker("UA-158383-13");
            pageTracker._trackPageview();
            } catch(err) {}
          </script>

  </body>
</html>