2. Who am I ?
☆ http://www.masterq.net/
☆ Twitter: @master_q
☆ Organizer of Metasepi Project
☆ A developer of Ajhc Haskell compiler
☆ A Debian Maintainer
☆ 10 years' experience in developing
OS using NetBSD
3. Kick off workshop at Nagoya !
Functional MCU programing workshop
☆ At Nagoya
☆ Meeting minutes
http://metasepi.org/posts/2014-01-05-mbed_fp_0.html
☆ Now planning the next workshop...
4. Why functional lang for MCU?
☆ Internet of Things (IoT)
☆ We will live in IoT world
☆ Can't debug IoT device on the field
☆ Should avoid runtime error
☆ We need strong type !
7. Cross compiler: (A)jhc
http://ajhc.metasepi.org/
☆ Language: Haskell
☆ Haskell language is major !
☆ Need GC heap = Need more memory
☆ Experience running on MCU
ARM Cortex-M
https://github.com/ajhc/demo-cortex-m3
8. Cross compiler: ATS
http://www.ats-lang.org/
☆ Language: ML
☆ Optional GC = Need low memory
☆ No experience running on MCU
☆ Document translated into Japanese
http://jats-ug.metasepi.org/
9. Cross compiler: Rust
http://www.rust-lang.org/
☆ Language: Own syntax like C or JS
☆ Optional GC = Need low memory
☆ Experience running on MCU
ARM Cortex-M
https://github.com/neykov/armboot
☆ Developing by Mozilla
☆ @pirapira knows the detail of it
19. On FRDM-KL46Z
Use project at https://github.com/0xc0170/kinetis_klxx_gcc.
$ sudo ./src/openocd -f tcl/board/frdm-kl46z.cfg
--snip-cortex_m reset_config sysresetreq
Info : CMSIS-DAP: FW Version = 1.0
Info : SWCLK/TCK = 0 SWDIO/TMS = 1 TDI = 0 TDO = 0 nTRST = 0
nRESET = 1
Info : DAP_SWJ Sequence (reset: 50+ '1' followed by 0)
Info : CMSIS-DAP: Interface ready
Info : clock speed 100 kHz
Info : IDCODE 0x0bc11477
Info : MKL46Z256VLL4.cpu: hardware has 2 breakpoints, 2 watchpoints
Info : accepting 'gdb' connection from 3333
Warn : Cannot communicate... target not halted.
Error: auto_probe failed
Error: Connect failed. Consider setting up a gdb-attach event for
the target to prepare.
Error: attempted 'gdb' connection rejected
X(
20. Be a hacker such as ねむいさん
http://nemuisan.blog.bai.ne.jp/
☆ OpenOCD hacker
☆ There is his patch at following URL
http://nemuisan.blog.bai.ne.jp/?eid=192848#OPENOCD
21. Functional programming fanzine
☆ http://www.paraiso-lang.org/ikmsm/
☆ About Haskell or OCaml or . . .
☆ About Ajhc in C84 book
☆ About Android app with Haskell in
C85 book
☆ Call me if you read it!
http://www.paraiso-lang.org/ikmsm/books/c85.html