Downloaded 11 times
![AgendaAgendaAgendaAgendaAgenda
☆ [1] Demo☆ [1] Demo☆ [1] Demo☆ [1] Demo☆ [1] Demo
☆ [2] What is Ajhc?☆ [2] What is Ajhc?☆ [2] What is Ajhc?☆ [2] What is Ajhc?☆ [2] What is Ajhc?
☆ [3] What is Metasepi?☆ [3] What is Metasepi?☆ [3] What is Metasepi?☆ [3] What is Metasepi?☆ [3] What is Metasepi?
☆ [4] What is compiler to build OS☆ [4] What is compiler to build OS☆ [4] What is compiler to build OS☆ [4] What is compiler to build OS☆ [4] What is compiler to build OS
☆ [5] How to use Ajhc☆ [5] How to use Ajhc☆ [5] How to use Ajhc☆ [5] How to use Ajhc☆ [5] How to use Ajhc
☆ [6] Ajhc project overview☆ [6] Ajhc project overview☆ [6] Ajhc project overview☆ [6] Ajhc project overview☆ [6] Ajhc project overview
☆ [7] Ajhc project status☆ [7] Ajhc project status☆ [7] Ajhc project status☆ [7] Ajhc project status☆ [7] Ajhc project status](https://image.slidesharecdn.com/20131006oschiroshimaajhc-131006215020-phpapp02/75/Metasepi-team-meeting-Ajhc-Project-Overview-3-2048.jpg)
![[1] Demo[1] Demo[1] Demo[1] Demo[1] Demo
☆ RSS reader running on mbed (ARM).☆ RSS reader running on mbed (ARM).☆ RSS reader running on mbed (ARM).☆ RSS reader running on mbed (ARM).☆ RSS reader running on mbed (ARM).
☆ Show reddit articles on LCD display.☆ Show reddit articles on LCD display.☆ Show reddit articles on LCD display.☆ Show reddit articles on LCD display.☆ Show reddit articles on LCD display.
☆ You can watch the movie following.☆ You can watch the movie following.☆ You can watch the movie following.☆ You can watch the movie following.☆ You can watch the movie following.
http://bit.ly/mbedmovhttp://bit.ly/mbedmovhttp://bit.ly/mbedmovhttp://bit.ly/mbedmovhttp://bit.ly/mbedmov](https://image.slidesharecdn.com/20131006oschiroshimaajhc-131006215020-phpapp02/75/Metasepi-team-meeting-Ajhc-Project-Overview-4-2048.jpg)
![[2] What is Ajhc?[2] What is Ajhc?[2] What is Ajhc?[2] What is Ajhc?[2] What is Ajhc?
http://ajhc.metasepi.org/http://ajhc.metasepi.org/http://ajhc.metasepi.org/http://ajhc.metasepi.org/http://ajhc.metasepi.org/
☆ Ajhc := A fork of jhc☆ Ajhc := A fork of jhc☆ Ajhc := A fork of jhc☆ Ajhc := A fork of jhc☆ Ajhc := A fork of jhc
☆ jhc := John's Haskell Compiler☆ jhc := John's Haskell Compiler☆ jhc := John's Haskell Compiler☆ jhc := John's Haskell Compiler☆ jhc := John's Haskell Compiler
☆ http://repetae.net/computer/jhc/☆ http://repetae.net/computer/jhc/☆ http://repetae.net/computer/jhc/☆ http://repetae.net/computer/jhc/☆ http://repetae.net/computer/jhc/
☆ Jhc outputs binary that has low-
memory-footprint and runs fast.
☆ Jhc outputs binary that has low-
memory-footprint and runs fast.
☆ Jhc outputs binary that has low-
memory-footprint and runs fast.
☆ Jhc outputs binary that has low-
memory-footprint and runs fast.
☆ Jhc outputs binary that has low-
memory-footprint and runs fast.
☆ Good for embedded software.☆ Good for embedded software.☆ Good for embedded software.☆ Good for embedded software.☆ Good for embedded software.](https://image.slidesharecdn.com/20131006oschiroshimaajhc-131006215020-phpapp02/75/Metasepi-team-meeting-Ajhc-Project-Overview-8-2048.jpg)
![[3] What is Metasepi?[3] What is Metasepi?[3] What is Metasepi?[3] What is Metasepi?[3] What is Metasepi?
http://metasepi.org/http://metasepi.org/http://metasepi.org/http://metasepi.org/http://metasepi.org/
☆ Unix-like OS designed by strong type.☆ Unix-like OS designed by strong type.☆ Unix-like OS designed by strong type.☆ Unix-like OS designed by strong type.☆ Unix-like OS designed by strong type.
☆ Using ML or more strong type lang.☆ Using ML or more strong type lang.☆ Using ML or more strong type lang.☆ Using ML or more strong type lang.☆ Using ML or more strong type lang.
Haskell http://www.haskell.org/Haskell http://www.haskell.org/Haskell http://www.haskell.org/Haskell http://www.haskell.org/Haskell http://www.haskell.org/
OCaml http://caml.inria.fr/OCaml http://caml.inria.fr/OCaml http://caml.inria.fr/OCaml http://caml.inria.fr/OCaml http://caml.inria.fr/
MLton http://mlton.org/MLton http://mlton.org/MLton http://mlton.org/MLton http://mlton.org/MLton http://mlton.org/
. . . and suchlike.. . . and suchlike.. . . and suchlike.. . . and suchlike.. . . and suchlike.](https://image.slidesharecdn.com/20131006oschiroshimaajhc-131006215020-phpapp02/75/Metasepi-team-meeting-Ajhc-Project-Overview-10-2048.jpg)
![[4] What is compiler to build OS[4] What is compiler to build OS[4] What is compiler to build OS[4] What is compiler to build OS[4] What is compiler to build OS
☆ Need strong type.☆ Need strong type.☆ Need strong type.☆ Need strong type.☆ Need strong type.
☆ Need flexibility such as C language.☆ Need flexibility such as C language.☆ Need flexibility such as C language.☆ Need flexibility such as C language.☆ Need flexibility such as C language.
☆ Create it if there are not!☆ Create it if there are not!☆ Create it if there are not!☆ Create it if there are not!☆ Create it if there are not!
☆ From scratch? No thank you...☆ From scratch? No thank you...☆ From scratch? No thank you...☆ From scratch? No thank you...☆ From scratch? No thank you...
☆ Look for our compiler base.☆ Look for our compiler base.☆ Look for our compiler base.☆ Look for our compiler base.☆ Look for our compiler base.](https://image.slidesharecdn.com/20131006oschiroshimaajhc-131006215020-phpapp02/75/Metasepi-team-meeting-Ajhc-Project-Overview-16-2048.jpg)
![[5] How to use Ajhc[5] How to use Ajhc[5] How to use Ajhc[5] How to use Ajhc[5] How to use Ajhc
Case of Ubuntu 12.04 amd64.Case of Ubuntu 12.04 amd64.Case of Ubuntu 12.04 amd64.Case of Ubuntu 12.04 amd64.Case of Ubuntu 12.04 amd64.
$ sudo apt-get install haskell-platform libncurses5-dev gcc m4
$ cabal update
$ export PATH=$HOME/.cabal/bin/:$PATH
$ cabal install ajhc
$ which ajhc
/home/USER/.cabal/bin/ajhc
$ echo 'main = print "hoge"' > Hoge.hs
$ ajhc Hoge.hs
$ ./hs.out
"hoge"
$ sudo apt-get install haskell-platform libncurses5-dev gcc m4
$ cabal update
$ export PATH=$HOME/.cabal/bin/:$PATH
$ cabal install ajhc
$ which ajhc
/home/USER/.cabal/bin/ajhc
$ echo 'main = print "hoge"' > Hoge.hs
$ ajhc Hoge.hs
$ ./hs.out
"hoge"
$ sudo apt-get install haskell-platform libncurses5-dev gcc m4
$ cabal update
$ export PATH=$HOME/.cabal/bin/:$PATH
$ cabal install ajhc
$ which ajhc
/home/USER/.cabal/bin/ajhc
$ echo 'main = print "hoge"' > Hoge.hs
$ ajhc Hoge.hs
$ ./hs.out
"hoge"
$ sudo apt-get install haskell-platform libncurses5-dev gcc m4
$ cabal update
$ export PATH=$HOME/.cabal/bin/:$PATH
$ cabal install ajhc
$ which ajhc
/home/USER/.cabal/bin/ajhc
$ echo 'main = print "hoge"' > Hoge.hs
$ ajhc Hoge.hs
$ ./hs.out
"hoge"
$ sudo apt-get install haskell-platform libncurses5-dev gcc m4
$ cabal update
$ export PATH=$HOME/.cabal/bin/:$PATH
$ cabal install ajhc
$ which ajhc
/home/USER/.cabal/bin/ajhc
$ echo 'main = print "hoge"' > Hoge.hs
$ ajhc Hoge.hs
$ ./hs.out
"hoge"
You can use on Windows or Mac OS X.You can use on Windows or Mac OS X.You can use on Windows or Mac OS X.You can use on Windows or Mac OS X.You can use on Windows or Mac OS X.](https://image.slidesharecdn.com/20131006oschiroshimaajhc-131006215020-phpapp02/75/Metasepi-team-meeting-Ajhc-Project-Overview-22-2048.jpg)
![[6] Ajhc project overview[6] Ajhc project overview[6] Ajhc project overview[6] Ajhc project overview[6] Ajhc project overview](https://image.slidesharecdn.com/20131006oschiroshimaajhc-131006215020-phpapp02/75/Metasepi-team-meeting-Ajhc-Project-Overview-24-2048.jpg)
![[7] Ajhc project status[7] Ajhc project status[7] Ajhc project status[7] Ajhc project status[7] Ajhc project status
Following functions developed by us.Following functions developed by us.Following functions developed by us.Following functions developed by us.Following functions developed by us.
☆ Install with cabal.☆ Install with cabal.☆ Install with cabal.☆ Install with cabal.☆ Install with cabal.
☆ Support compiling on Windows.☆ Support compiling on Windows.☆ Support compiling on Windows.☆ Support compiling on Windows.☆ Support compiling on Windows.
☆ GC eating low memory.☆ GC eating low memory.☆ GC eating low memory.☆ GC eating low memory.☆ GC eating low memory.
☆ Support thread.☆ Support thread.☆ Support thread.☆ Support thread.☆ Support thread.
☆ Shape reentrant.☆ Shape reentrant.☆ Shape reentrant.☆ Shape reentrant.☆ Shape reentrant.](https://image.slidesharecdn.com/20131006oschiroshimaajhc-131006215020-phpapp02/75/Metasepi-team-meeting-Ajhc-Project-Overview-33-2048.jpg)
Uploaded byKiwamu Okabe
Metasepi team meeting: Ajhc Project Overview
The document discusses an Ajhc project overview meeting. It includes an agenda for the meeting which covers a demo of Ajhc running on ARM hardware, explanations of what Ajhc and Metasepi are, how to use Ajhc to build operating systems, and status updates on the Ajhc project. Ajhc is a Haskell compiler forked from jhc that aims to produce low-memory binaries suitable for embedded software. Metasepi is a Unix-like operating system being developed using a strongly typed language like Haskell to improve reliability.
More Related Content
![Automating Your Workflow with Gulp.js - php[world] 2016](https://cdn.slidesharecdn.com/ss_thumbnails/1hdltk6qyioyapbnbsuw-signature-ffa82ea34fcd60983c97ee8b9ba271b32b08a69dc912d673db21bd57dfcf8768-poli-161117191138-thumbnail.jpg?width=640&height=640&fit=bounds)
![Rise of the Machines: PHP and IoT - php[world] 2016](https://cdn.slidesharecdn.com/ss_thumbnails/2jzpbkqsquo5mxu7oudb-signature-8467784fc5aedfdbd5a9c94ce69651a7e0d34611ca4200017484ea2690e83d3c-poli-161116170421-thumbnail.jpg?width=640&height=640&fit=bounds)
Similar to Metasepi team meeting: Ajhc Project Overview
Metasepi team meeting: Ajhc Project Overview
- 1. Metasepi team meeting: AjhcProject Overview Metasepi team meeting: Ajhc Project Overview Metasepi team meeting: Ajhc Project Overview Metasepi team meeting: Ajhc Project Overview Metasepi team meeting: Ajhc Project Overview Kiwamu OkabeKiwamu OkabeKiwamu OkabeKiwamu OkabeKiwamu Okabe
- 2. Who am I?Whoam I?Who am I?Who am I?Who am I? ☆ http://www.masterq.net/☆ http://www.masterq.net/☆ http://www.masterq.net/☆ http://www.masterq.net/☆ http://www.masterq.net/ ☆ Twitter: @master_q☆ Twitter: @master_q☆ Twitter: @master_q☆ Twitter: @master_q☆ Twitter: @master_q ☆ Organizer of Metasepi project☆ Organizer of Metasepi project☆ Organizer of Metasepi project☆ Organizer of Metasepi project☆ Organizer of Metasepi project ☆ A developer of Ajhc Haskell compiler☆ A developer of Ajhc Haskell compiler☆ A developer of Ajhc Haskell compiler☆ A developer of Ajhc Haskell compiler☆ A developer of Ajhc Haskell compiler ☆ A Debian Maintainer☆ A Debian Maintainer☆ A Debian Maintainer☆ A Debian Maintainer☆ A Debian Maintainer ☆ 10 years' experience in developing OS using NetBSD. ☆ 10 years' experience in developing OS using NetBSD. ☆ 10 years' experience in developing OS using NetBSD. ☆ 10 years' experience in developing OS using NetBSD. ☆ 10 years' experience in developing OS using NetBSD.
- 3. AgendaAgendaAgendaAgendaAgenda ☆ [1] Demo☆[1] Demo☆ [1] Demo☆ [1] Demo☆ [1] Demo ☆ [2] What is Ajhc?☆ [2] What is Ajhc?☆ [2] What is Ajhc?☆ [2] What is Ajhc?☆ [2] What is Ajhc? ☆ [3] What is Metasepi?☆ [3] What is Metasepi?☆ [3] What is Metasepi?☆ [3] What is Metasepi?☆ [3] What is Metasepi? ☆ [4] What is compiler to build OS☆ [4] What is compiler to build OS☆ [4] What is compiler to build OS☆ [4] What is compiler to build OS☆ [4] What is compiler to build OS ☆ [5] How to use Ajhc☆ [5] How to use Ajhc☆ [5] How to use Ajhc☆ [5] How to use Ajhc☆ [5] How to use Ajhc ☆ [6] Ajhc project overview☆ [6] Ajhc project overview☆ [6] Ajhc project overview☆ [6] Ajhc project overview☆ [6] Ajhc project overview ☆ [7] Ajhc project status☆ [7] Ajhc project status☆ [7] Ajhc project status☆ [7] Ajhc project status☆ [7] Ajhc project status
- 4. [1] Demo[1] Demo[1]Demo[1] Demo[1] Demo ☆ RSS reader running on mbed (ARM).☆ RSS reader running on mbed (ARM).☆ RSS reader running on mbed (ARM).☆ RSS reader running on mbed (ARM).☆ RSS reader running on mbed (ARM). ☆ Show reddit articles on LCD display.☆ Show reddit articles on LCD display.☆ Show reddit articles on LCD display.☆ Show reddit articles on LCD display.☆ Show reddit articles on LCD display. ☆ You can watch the movie following.☆ You can watch the movie following.☆ You can watch the movie following.☆ You can watch the movie following.☆ You can watch the movie following. http://bit.ly/mbedmovhttp://bit.ly/mbedmovhttp://bit.ly/mbedmovhttp://bit.ly/mbedmovhttp://bit.ly/mbedmov
- 5. Demo hardwareDemo hardwareDemohardwareDemo hardwareDemo hardware Architecture: ARM Cortex-M3Architecture: ARM Cortex-M3Architecture: ARM Cortex-M3Architecture: ARM Cortex-M3Architecture: ARM Cortex-M3 RAM size: 64kBRAM size: 64kBRAM size: 64kBRAM size: 64kBRAM size: 64kB IO: Ethernet, LED, LCD, SD Card, USB host/device, Serial IO: Ethernet, LED, LCD, SD Card, USB host/device, Serial IO: Ethernet, LED, LCD, SD Card, USB host/device, Serial IO: Ethernet, LED, LCD, SD Card, USB host/device, Serial IO: Ethernet, LED, LCD, SD Card, USB host/device, Serial
- 6. Demo softwareDemo softwareDemosoftwareDemo softwareDemo software github.com/ajhc/demo-cortex-m3github.com/ajhc/demo-cortex-m3github.com/ajhc/demo-cortex-m3github.com/ajhc/demo-cortex-m3github.com/ajhc/demo-cortex-m3
- 7. Demo source codeDemosource codeDemo source codeDemo source codeDemo source code demo-cortex-m3 `-- mbed-nxp-lpc1768 |-- BuildShell <= Compile enviroment |-- build | `-- mbed.ld <= Linker Sscript |-- external | `-- mbed | `-- LPC1768 | `-- GCC_ARM | `-- libmbed.a <= mbed library (compiled) |-- linux_install |-- samples | `-- Haskell_Http | |-- EthernetInterface <= TCP/IP protocol stack | |-- c_extern.h | |-- dummy4jhc.c <= C lanuage stub for Haskell | |-- hs_src | | `-- *.hs <= Haskell source code | |-- main.c <= C language main function | `-- mbed-rtos <= mbed-rtos OS `-- src `-- gcc4mbed.c demo-cortex-m3 `-- mbed-nxp-lpc1768 |-- BuildShell <= Compile enviroment |-- build | `-- mbed.ld <= Linker Sscript |-- external | `-- mbed | `-- LPC1768 | `-- GCC_ARM | `-- libmbed.a <= mbed library (compiled) |-- linux_install |-- samples | `-- Haskell_Http | |-- EthernetInterface <= TCP/IP protocol stack | |-- c_extern.h | |-- dummy4jhc.c <= C lanuage stub for Haskell | |-- hs_src | | `-- *.hs <= Haskell source code | |-- main.c <= C language main function | `-- mbed-rtos <= mbed-rtos OS `-- src `-- gcc4mbed.c demo-cortex-m3 `-- mbed-nxp-lpc1768 |-- BuildShell <= Compile enviroment |-- build | `-- mbed.ld <= Linker Sscript |-- external | `-- mbed | `-- LPC1768 | `-- GCC_ARM | `-- libmbed.a <= mbed library (compiled) |-- linux_install |-- samples | `-- Haskell_Http | |-- EthernetInterface <= TCP/IP protocol stack | |-- c_extern.h | |-- dummy4jhc.c <= C lanuage stub for Haskell | |-- hs_src | | `-- *.hs <= Haskell source code | |-- main.c <= C language main function | `-- mbed-rtos <= mbed-rtos OS `-- src `-- gcc4mbed.c demo-cortex-m3 `-- mbed-nxp-lpc1768 |-- BuildShell <= Compile enviroment |-- build | `-- mbed.ld <= Linker Sscript |-- external | `-- mbed | `-- LPC1768 | `-- GCC_ARM | `-- libmbed.a <= mbed library (compiled) |-- linux_install |-- samples | `-- Haskell_Http | |-- EthernetInterface <= TCP/IP protocol stack | |-- c_extern.h | |-- dummy4jhc.c <= C lanuage stub for Haskell | |-- hs_src | | `-- *.hs <= Haskell source code | |-- main.c <= C language main function | `-- mbed-rtos <= mbed-rtos OS `-- src `-- gcc4mbed.c demo-cortex-m3 `-- mbed-nxp-lpc1768 |-- BuildShell <= Compile enviroment |-- build | `-- mbed.ld <= Linker Sscript |-- external | `-- mbed | `-- LPC1768 | `-- GCC_ARM | `-- libmbed.a <= mbed library (compiled) |-- linux_install |-- samples | `-- Haskell_Http | |-- EthernetInterface <= TCP/IP protocol stack | |-- c_extern.h | |-- dummy4jhc.c <= C lanuage stub for Haskell | |-- hs_src | | `-- *.hs <= Haskell source code | |-- main.c <= C language main function | `-- mbed-rtos <= mbed-rtos OS `-- src `-- gcc4mbed.c
- 8. [2] What isAjhc?[2] What is Ajhc?[2] What is Ajhc?[2] What is Ajhc?[2] What is Ajhc? http://ajhc.metasepi.org/http://ajhc.metasepi.org/http://ajhc.metasepi.org/http://ajhc.metasepi.org/http://ajhc.metasepi.org/ ☆ Ajhc := A fork of jhc☆ Ajhc := A fork of jhc☆ Ajhc := A fork of jhc☆ Ajhc := A fork of jhc☆ Ajhc := A fork of jhc ☆ jhc := John's Haskell Compiler☆ jhc := John's Haskell Compiler☆ jhc := John's Haskell Compiler☆ jhc := John's Haskell Compiler☆ jhc := John's Haskell Compiler ☆ http://repetae.net/computer/jhc/☆ http://repetae.net/computer/jhc/☆ http://repetae.net/computer/jhc/☆ http://repetae.net/computer/jhc/☆ http://repetae.net/computer/jhc/ ☆ Jhc outputs binary that has low- memory-footprint and runs fast. ☆ Jhc outputs binary that has low- memory-footprint and runs fast. ☆ Jhc outputs binary that has low- memory-footprint and runs fast. ☆ Jhc outputs binary that has low- memory-footprint and runs fast. ☆ Jhc outputs binary that has low- memory-footprint and runs fast. ☆ Good for embedded software.☆ Good for embedded software.☆ Good for embedded software.☆ Good for embedded software.☆ Good for embedded software.
- 9. Why need Ajhc?Whyneed Ajhc?Why need Ajhc?Why need Ajhc?Why need Ajhc? ☆ GHC is de facto standard on Haskell.☆ GHC is de facto standard on Haskell.☆ GHC is de facto standard on Haskell.☆ GHC is de facto standard on Haskell.☆ GHC is de facto standard on Haskell. ☆ GHC := Glasgow Haskell Compiler☆ GHC := Glasgow Haskell Compiler☆ GHC := Glasgow Haskell Compiler☆ GHC := Glasgow Haskell Compiler☆ GHC := Glasgow Haskell Compiler ☆ http://www.haskell.org/ghc/☆ http://www.haskell.org/ghc/☆ http://www.haskell.org/ghc/☆ http://www.haskell.org/ghc/☆ http://www.haskell.org/ghc/ ☆ Why need another Haskell compiler?☆ Why need another Haskell compiler?☆ Why need another Haskell compiler?☆ Why need another Haskell compiler?☆ Why need another Haskell compiler? ☆ To develop kernel named "Metasepi".☆ To develop kernel named "Metasepi".☆ To develop kernel named "Metasepi".☆ To develop kernel named "Metasepi".☆ To develop kernel named "Metasepi".
- 10. [3] What isMetasepi?[3] What is Metasepi?[3] What is Metasepi?[3] What is Metasepi?[3] What is Metasepi? http://metasepi.org/http://metasepi.org/http://metasepi.org/http://metasepi.org/http://metasepi.org/ ☆ Unix-like OS designed by strong type.☆ Unix-like OS designed by strong type.☆ Unix-like OS designed by strong type.☆ Unix-like OS designed by strong type.☆ Unix-like OS designed by strong type. ☆ Using ML or more strong type lang.☆ Using ML or more strong type lang.☆ Using ML or more strong type lang.☆ Using ML or more strong type lang.☆ Using ML or more strong type lang. Haskell http://www.haskell.org/Haskell http://www.haskell.org/Haskell http://www.haskell.org/Haskell http://www.haskell.org/Haskell http://www.haskell.org/ OCaml http://caml.inria.fr/OCaml http://caml.inria.fr/OCaml http://caml.inria.fr/OCaml http://caml.inria.fr/OCaml http://caml.inria.fr/ MLton http://mlton.org/MLton http://mlton.org/MLton http://mlton.org/MLton http://mlton.org/MLton http://mlton.org/ . . . and suchlike.. . . and suchlike.. . . and suchlike.. . . and suchlike.. . . and suchlike.
- 11. Why need Metasepi?Whyneed Metasepi?Why need Metasepi?Why need Metasepi?Why need Metasepi? ☆ We have already Linux or Windows.☆ We have already Linux or Windows.☆ We have already Linux or Windows.☆ We have already Linux or Windows.☆ We have already Linux or Windows. ☆ But the developers are suffering.☆ But the developers are suffering.☆ But the developers are suffering.☆ But the developers are suffering.☆ But the developers are suffering. ☆ If use the kernel changed by you,☆ If use the kernel changed by you,☆ If use the kernel changed by you,☆ If use the kernel changed by you,☆ If use the kernel changed by you, ☆ you will get many runtime error.☆ you will get many runtime error.☆ you will get many runtime error.☆ you will get many runtime error.☆ you will get many runtime error. ☆ Difficult even to reproduce it.☆ Difficult even to reproduce it.☆ Difficult even to reproduce it.☆ Difficult even to reproduce it.☆ Difficult even to reproduce it.
- 12. Doesn't OSS havegood quality?Doesn't OSS have good quality?Doesn't OSS have good quality?Doesn't OSS have good quality?Doesn't OSS have good quality? ☆ "The Cathedral and the Bazaar"☆ "The Cathedral and the Bazaar"☆ "The Cathedral and the Bazaar"☆ "The Cathedral and the Bazaar"☆ "The Cathedral and the Bazaar" ☆ "Given enough eyeballs, all bugs are shallow." ☆ "Given enough eyeballs, all bugs are shallow." ☆ "Given enough eyeballs, all bugs are shallow." ☆ "Given enough eyeballs, all bugs are shallow." ☆ "Given enough eyeballs, all bugs are shallow." http://cruel.org/freeware/cathedral.htmlhttp://cruel.org/freeware/cathedral.htmlhttp://cruel.org/freeware/cathedral.htmlhttp://cruel.org/freeware/cathedral.htmlhttp://cruel.org/freeware/cathedral.html ☆ But if you develop your own product reusing OSS... ☆ But if you develop your own product reusing OSS... ☆ But if you develop your own product reusing OSS... ☆ But if you develop your own product reusing OSS... ☆ But if you develop your own product reusing OSS...
- 13. Low quality outof OSS umbrellaLow quality out of OSS umbrellaLow quality out of OSS umbrellaLow quality out of OSS umbrellaLow quality out of OSS umbrella
- 14. Type safetyType safetyTypesafetyType safetyType safety ☆ Less runtime errors.☆ Less runtime errors.☆ Less runtime errors.☆ Less runtime errors.☆ Less runtime errors. ☆ "数理科学的バグ撲滅方法論のすすめ"☆ "数理科学的バグ撲滅方法論のすすめ"☆ "数理科学的バグ撲滅方法論のすすめ"☆ "数理科学的バグ撲滅方法論のすすめ"☆ "数理科学的バグ撲滅方法論のすすめ" http://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248230/http://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248230/http://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248230/http://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248230/http://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248230/
- 15. Kernel desperately wantstypeKernel desperately wants typeKernel desperately wants typeKernel desperately wants typeKernel desperately wants type ☆ Kernels are developed with C lang.☆ Kernels are developed with C lang.☆ Kernels are developed with C lang.☆ Kernels are developed with C lang.☆ Kernels are developed with C lang. ☆ Error on user space => SEGV☆ Error on user space => SEGV☆ Error on user space => SEGV☆ Error on user space => SEGV☆ Error on user space => SEGV ☆ Error on kernel space => halt!☆ Error on kernel space => halt!☆ Error on kernel space => halt!☆ Error on kernel space => halt!☆ Error on kernel space => halt! ☆ Should design kernel with the greatest care. ☆ Should design kernel with the greatest care. ☆ Should design kernel with the greatest care. ☆ Should design kernel with the greatest care. ☆ Should design kernel with the greatest care. ☆ C language is safe?☆ C language is safe?☆ C language is safe?☆ C language is safe?☆ C language is safe?
- 16. [4] What iscompiler to build OS[4] What is compiler to build OS[4] What is compiler to build OS[4] What is compiler to build OS[4] What is compiler to build OS ☆ Need strong type.☆ Need strong type.☆ Need strong type.☆ Need strong type.☆ Need strong type. ☆ Need flexibility such as C language.☆ Need flexibility such as C language.☆ Need flexibility such as C language.☆ Need flexibility such as C language.☆ Need flexibility such as C language. ☆ Create it if there are not!☆ Create it if there are not!☆ Create it if there are not!☆ Create it if there are not!☆ Create it if there are not! ☆ From scratch? No thank you...☆ From scratch? No thank you...☆ From scratch? No thank you...☆ From scratch? No thank you...☆ From scratch? No thank you... ☆ Look for our compiler base.☆ Look for our compiler base.☆ Look for our compiler base.☆ Look for our compiler base.☆ Look for our compiler base.
- 17. Want POSIX freecompilerWant POSIX free compilerWant POSIX free compilerWant POSIX free compilerWant POSIX free compiler Programs to print "hoge" on terminal.Programs to print "hoge" on terminal.Programs to print "hoge" on terminal.Programs to print "hoge" on terminal.Programs to print "hoge" on terminal. Measurement value is smaller, dependence on POSIX is small. Measurement value is smaller, dependence on POSIX is small. Measurement value is smaller, dependence on POSIX is small. Measurement value is smaller, dependence on POSIX is small. Measurement value is smaller, dependence on POSIX is small.
- 18. Jhc output hasonly 20 undefJhc output has only 20 undefJhc output has only 20 undefJhc output has only 20 undefJhc output has only 20 undef $ nm hs.out | grep "U " U _IO_putc@@GLIBC_2.2.5 U __libc_start_main@@GLIBC_2.2.5 U _setjmp@@GLIBC_2.2.5 U abort@@GLIBC_2.2.5 U ctime@@GLIBC_2.2.5 U exit@@GLIBC_2.2.5 U fflush@@GLIBC_2.2.5 U fprintf@@GLIBC_2.2.5 U fputc@@GLIBC_2.2.5 U fputs@@GLIBC_2.2.5 U free@@GLIBC_2.2.5 U fwrite@@GLIBC_2.2.5 U getenv@@GLIBC_2.2.5 U malloc@@GLIBC_2.2.5 U memset@@GLIBC_2.2.5 U posix_memalign@@GLIBC_2.2.5 U realloc@@GLIBC_2.2.5 U setlocale@@GLIBC_2.2.5 U sysconf@@GLIBC_2.2.5 U times@@GLIBC_2.2.5 $ nm hs.out | grep "U " U _IO_putc@@GLIBC_2.2.5 U __libc_start_main@@GLIBC_2.2.5 U _setjmp@@GLIBC_2.2.5 U abort@@GLIBC_2.2.5 U ctime@@GLIBC_2.2.5 U exit@@GLIBC_2.2.5 U fflush@@GLIBC_2.2.5 U fprintf@@GLIBC_2.2.5 U fputc@@GLIBC_2.2.5 U fputs@@GLIBC_2.2.5 U free@@GLIBC_2.2.5 U fwrite@@GLIBC_2.2.5 U getenv@@GLIBC_2.2.5 U malloc@@GLIBC_2.2.5 U memset@@GLIBC_2.2.5 U posix_memalign@@GLIBC_2.2.5 U realloc@@GLIBC_2.2.5 U setlocale@@GLIBC_2.2.5 U sysconf@@GLIBC_2.2.5 U times@@GLIBC_2.2.5 $ nm hs.out | grep "U " U _IO_putc@@GLIBC_2.2.5 U __libc_start_main@@GLIBC_2.2.5 U _setjmp@@GLIBC_2.2.5 U abort@@GLIBC_2.2.5 U ctime@@GLIBC_2.2.5 U exit@@GLIBC_2.2.5 U fflush@@GLIBC_2.2.5 U fprintf@@GLIBC_2.2.5 U fputc@@GLIBC_2.2.5 U fputs@@GLIBC_2.2.5 U free@@GLIBC_2.2.5 U fwrite@@GLIBC_2.2.5 U getenv@@GLIBC_2.2.5 U malloc@@GLIBC_2.2.5 U memset@@GLIBC_2.2.5 U posix_memalign@@GLIBC_2.2.5 U realloc@@GLIBC_2.2.5 U setlocale@@GLIBC_2.2.5 U sysconf@@GLIBC_2.2.5 U times@@GLIBC_2.2.5 $ nm hs.out | grep "U " U _IO_putc@@GLIBC_2.2.5 U __libc_start_main@@GLIBC_2.2.5 U _setjmp@@GLIBC_2.2.5 U abort@@GLIBC_2.2.5 U ctime@@GLIBC_2.2.5 U exit@@GLIBC_2.2.5 U fflush@@GLIBC_2.2.5 U fprintf@@GLIBC_2.2.5 U fputc@@GLIBC_2.2.5 U fputs@@GLIBC_2.2.5 U free@@GLIBC_2.2.5 U fwrite@@GLIBC_2.2.5 U getenv@@GLIBC_2.2.5 U malloc@@GLIBC_2.2.5 U memset@@GLIBC_2.2.5 U posix_memalign@@GLIBC_2.2.5 U realloc@@GLIBC_2.2.5 U setlocale@@GLIBC_2.2.5 U sysconf@@GLIBC_2.2.5 U times@@GLIBC_2.2.5 $ nm hs.out | grep "U " U _IO_putc@@GLIBC_2.2.5 U __libc_start_main@@GLIBC_2.2.5 U _setjmp@@GLIBC_2.2.5 U abort@@GLIBC_2.2.5 U ctime@@GLIBC_2.2.5 U exit@@GLIBC_2.2.5 U fflush@@GLIBC_2.2.5 U fprintf@@GLIBC_2.2.5 U fputc@@GLIBC_2.2.5 U fputs@@GLIBC_2.2.5 U free@@GLIBC_2.2.5 U fwrite@@GLIBC_2.2.5 U getenv@@GLIBC_2.2.5 U malloc@@GLIBC_2.2.5 U memset@@GLIBC_2.2.5 U posix_memalign@@GLIBC_2.2.5 U realloc@@GLIBC_2.2.5 U setlocale@@GLIBC_2.2.5 U sysconf@@GLIBC_2.2.5 U times@@GLIBC_2.2.5
- 19. Jhc is translatorto C languageJhc is translator to C languageJhc is translator to C languageJhc is translator to C languageJhc is translator to C language
- 20. Easy to crossbuildEasy to cross buildEasy to cross buildEasy to cross buildEasy to cross build
- 21. Survive burning outSurviveburning outSurvive burning outSurvive burning outSurvive burning out Let's develop in dogfooding style. (The method is called "Snatch".) Let's develop in dogfooding style. (The method is called "Snatch".) Let's develop in dogfooding style. (The method is called "Snatch".) Let's develop in dogfooding style. (The method is called "Snatch".) Let's develop in dogfooding style. (The method is called "Snatch".)
- 22. [5] How touse Ajhc[5] How to use Ajhc[5] How to use Ajhc[5] How to use Ajhc[5] How to use Ajhc Case of Ubuntu 12.04 amd64.Case of Ubuntu 12.04 amd64.Case of Ubuntu 12.04 amd64.Case of Ubuntu 12.04 amd64.Case of Ubuntu 12.04 amd64. $ sudo apt-get install haskell-platform libncurses5-dev gcc m4 $ cabal update $ export PATH=$HOME/.cabal/bin/:$PATH $ cabal install ajhc $ which ajhc /home/USER/.cabal/bin/ajhc $ echo 'main = print "hoge"' > Hoge.hs $ ajhc Hoge.hs $ ./hs.out "hoge" $ sudo apt-get install haskell-platform libncurses5-dev gcc m4 $ cabal update $ export PATH=$HOME/.cabal/bin/:$PATH $ cabal install ajhc $ which ajhc /home/USER/.cabal/bin/ajhc $ echo 'main = print "hoge"' > Hoge.hs $ ajhc Hoge.hs $ ./hs.out "hoge" $ sudo apt-get install haskell-platform libncurses5-dev gcc m4 $ cabal update $ export PATH=$HOME/.cabal/bin/:$PATH $ cabal install ajhc $ which ajhc /home/USER/.cabal/bin/ajhc $ echo 'main = print "hoge"' > Hoge.hs $ ajhc Hoge.hs $ ./hs.out "hoge" $ sudo apt-get install haskell-platform libncurses5-dev gcc m4 $ cabal update $ export PATH=$HOME/.cabal/bin/:$PATH $ cabal install ajhc $ which ajhc /home/USER/.cabal/bin/ajhc $ echo 'main = print "hoge"' > Hoge.hs $ ajhc Hoge.hs $ ./hs.out "hoge" $ sudo apt-get install haskell-platform libncurses5-dev gcc m4 $ cabal update $ export PATH=$HOME/.cabal/bin/:$PATH $ cabal install ajhc $ which ajhc /home/USER/.cabal/bin/ajhc $ echo 'main = print "hoge"' > Hoge.hs $ ajhc Hoge.hs $ ./hs.out "hoge" You can use on Windows or Mac OS X.You can use on Windows or Mac OS X.You can use on Windows or Mac OS X.You can use on Windows or Mac OS X.You can use on Windows or Mac OS X.
- 23. Detail of usageDetailof usageDetail of usageDetail of usageDetail of usage Please read "Ajhc User's Manual".Please read "Ajhc User's Manual".Please read "Ajhc User's Manual".Please read "Ajhc User's Manual".Please read "Ajhc User's Manual". ☆ ajhc.metasepi.org/manual.html☆ ajhc.metasepi.org/manual.html☆ ajhc.metasepi.org/manual.html☆ ajhc.metasepi.org/manual.html☆ ajhc.metasepi.org/manual.html Also you can read in Japanese.Also you can read in Japanese.Also you can read in Japanese.Also you can read in Japanese.Also you can read in Japanese. ☆ ajhc.metasepi.org/manual_ja.html☆ ajhc.metasepi.org/manual_ja.html☆ ajhc.metasepi.org/manual_ja.html☆ ajhc.metasepi.org/manual_ja.html☆ ajhc.metasepi.org/manual_ja.html
- 24. [6] Ajhc projectoverview[6] Ajhc project overview[6] Ajhc project overview[6] Ajhc project overview[6] Ajhc project overview
- 25. Hackage DBHackage DBHackageDBHackage DBHackage DB
- 26. User's ManualUser's ManualUser'sManualUser's ManualUser's Manual
- 27. Source code hostingat githubSource code hosting at githubSource code hosting at githubSource code hosting at githubSource code hosting at github
- 28. Build test onTravis CIBuild test on Travis CIBuild test on Travis CIBuild test on Travis CIBuild test on Travis CI
- 29. Demo movies atyoutubeDemo movies at youtubeDemo movies at youtubeDemo movies at youtubeDemo movies at youtube
- 30. Demo code alsoat githubDemo code also at githubDemo code also at githubDemo code also at githubDemo code also at github ☆ github.com/ajhc/demo-cortex-m3☆ github.com/ajhc/demo-cortex-m3☆ github.com/ajhc/demo-cortex-m3☆ github.com/ajhc/demo-cortex-m3☆ github.com/ajhc/demo-cortex-m3 ☆ github.com/ajhc/demo-android-ndk☆ github.com/ajhc/demo-android-ndk☆ github.com/ajhc/demo-android-ndk☆ github.com/ajhc/demo-android-ndk☆ github.com/ajhc/demo-android-ndk ☆ github.com/metasepi/chibios-arafura☆ github.com/metasepi/chibios-arafura☆ github.com/metasepi/chibios-arafura☆ github.com/metasepi/chibios-arafura☆ github.com/metasepi/chibios-arafura
- 31. Bug tracker atgithubBug tracker at githubBug tracker at githubBug tracker at githubBug tracker at github
- 32. Hacking Guide Book(writing)Hacking Guide Book (writing)Hacking Guide Book (writing)Hacking Guide Book (writing)Hacking Guide Book (writing) github.com/ajhc/ajhc-hacking-guidegithub.com/ajhc/ajhc-hacking-guidegithub.com/ajhc/ajhc-hacking-guidegithub.com/ajhc/ajhc-hacking-guidegithub.com/ajhc/ajhc-hacking-guide
- 33. [7] Ajhc projectstatus[7] Ajhc project status[7] Ajhc project status[7] Ajhc project status[7] Ajhc project status Following functions developed by us.Following functions developed by us.Following functions developed by us.Following functions developed by us.Following functions developed by us. ☆ Install with cabal.☆ Install with cabal.☆ Install with cabal.☆ Install with cabal.☆ Install with cabal. ☆ Support compiling on Windows.☆ Support compiling on Windows.☆ Support compiling on Windows.☆ Support compiling on Windows.☆ Support compiling on Windows. ☆ GC eating low memory.☆ GC eating low memory.☆ GC eating low memory.☆ GC eating low memory.☆ GC eating low memory. ☆ Support thread.☆ Support thread.☆ Support thread.☆ Support thread.☆ Support thread. ☆ Shape reentrant.☆ Shape reentrant.☆ Shape reentrant.☆ Shape reentrant.☆ Shape reentrant.
- 34. Application on bootloaderApplicationon bootloaderApplication on bootloaderApplication on bootloaderApplication on bootloader gitorious.org/metasepi/netbsd-arafuragitorious.org/metasepi/netbsd-arafuragitorious.org/metasepi/netbsd-arafuragitorious.org/metasepi/netbsd-arafuragitorious.org/metasepi/netbsd-arafura
- 35. Application without OSApplicationwithout OSApplication without OSApplication without OSApplication without OS github.com/ajhc/demo-cortex-m3github.com/ajhc/demo-cortex-m3github.com/ajhc/demo-cortex-m3github.com/ajhc/demo-cortex-m3github.com/ajhc/demo-cortex-m3
- 36. Application on tinyOSApplication on tiny OSApplication on tiny OSApplication on tiny OSApplication on tiny OS github.com/metasepi/chibios-arafuragithub.com/metasepi/chibios-arafuragithub.com/metasepi/chibios-arafuragithub.com/metasepi/chibios-arafuragithub.com/metasepi/chibios-arafura
- 37. Application on AndroidNDKApplication on Android NDKApplication on Android NDKApplication on Android NDKApplication on Android NDK github.com/ajhc/demo-android-ndkgithub.com/ajhc/demo-android-ndkgithub.com/ajhc/demo-android-ndkgithub.com/ajhc/demo-android-ndkgithub.com/ajhc/demo-android-ndk
- 38. What's comming next?What'scomming next?What's comming next?What's comming next?What's comming next? ☆ Support more Haskell libraries.☆ Support more Haskell libraries.☆ Support more Haskell libraries.☆ Support more Haskell libraries.☆ Support more Haskell libraries. ☆ Own package manager.☆ Own package manager.☆ Own package manager.☆ Own package manager.☆ Own package manager. ☆ Implement MVar.☆ Implement MVar.☆ Implement MVar.☆ Implement MVar.☆ Implement MVar. ☆ Clang backend.☆ Clang backend.☆ Clang backend.☆ Clang backend.☆ Clang backend. ☆ Application on iOS?☆ Application on iOS?☆ Application on iOS?☆ Application on iOS?☆ Application on iOS? ☆ Benchmark.☆ Benchmark.☆ Benchmark.☆ Benchmark.☆ Benchmark. ☆ Write NetBSD driver with Ajhc.☆ Write NetBSD driver with Ajhc.☆ Write NetBSD driver with Ajhc.☆ Write NetBSD driver with Ajhc.☆ Write NetBSD driver with Ajhc.
- 39. PR: Call ForArticlesPR: Call For ArticlesPR: Call For ArticlesPR: Call For ArticlesPR: Call For Articles ☆ http://www.paraiso-lang.org/ikmsm/☆ http://www.paraiso-lang.org/ikmsm/☆ http://www.paraiso-lang.org/ikmsm/☆ http://www.paraiso-lang.org/ikmsm/☆ http://www.paraiso-lang.org/ikmsm/ ☆ Fanzine of functional programming.☆ Fanzine of functional programming.☆ Fanzine of functional programming.☆ Fanzine of functional programming.☆ Fanzine of functional programming. ☆ About Haskell or OCaml or . . .☆ About Haskell or OCaml or . . .☆ About Haskell or OCaml or . . .☆ About Haskell or OCaml or . . .☆ About Haskell or OCaml or . . . ☆ Article about Ajhc in C84 book.☆ Article about Ajhc in C84 book.☆ Article about Ajhc in C84 book.☆ Article about Ajhc in C84 book.☆ Article about Ajhc in C84 book. ☆ Call me if you read it!☆ Call me if you read it!☆ Call me if you read it!☆ Call me if you read it!☆ Call me if you read it! http://www.paraiso-lang.org/ikmsm/books/c85.htmlhttp://www.paraiso-lang.org/ikmsm/books/c85.htmlhttp://www.paraiso-lang.org/ikmsm/books/c85.htmlhttp://www.paraiso-lang.org/ikmsm/books/c85.htmlhttp://www.paraiso-lang.org/ikmsm/books/c85.html