The most inspiring green screen you will ever see
August 13, 2014, 10:22 pm April 22, 2017 android, apple, FRP, functional programming, functional reactive programming, game programming, games, haskell, ios, iphone, Open Source, reactive, yampa While Haskell, Idris and other Functional Programming (FP) languages enable writing elegant code, the road to production is, well, bumpy. Writing code for industrial environments has added costs that make
Metasepi作戦会議 第9回 議事録 - Metasepi
Table of contents 発表資料 発表音声 旅の情報 (名古屋) 交通 宿 朝、温泉に入りたい スタバでもくもく マルツパーツ 会議の雰囲気 Metasepi作戦会議 第9回を mbedではじめる関数型マイコンプログラミング講習会β というのをやってみたでゲソ。 みんなは 「モノのインターネット」(IoT：Internet of Things) という言葉を聞いたことがあるでゲソ？ 古くはユビキタス社会と呼ばれていたでゲソが、それの別名が最近付けられたのでゲソ。 バスケットボールのようなこれまでなんの変哲もない物体にもマイコンを搭載して、 データー収集をしたりインテリジェントな応答を返させたりしようというのでゲソ。 「モノのインターネット」製造業への経済効果は2850億ドル――ガートナー なのだそうで、金額はともかくとしても注目されている分野であることには違いないでゲソ。 この
めたせぴ2013☆ゆく年くる年 - Metasepi
Table of contents 2012年12月 2013年1月 2013年2月 2013年3月 2013年4月 2013年5月 2013年6月 2013年7月 2013年8月 2013年9月 2013年10月 2013年11月 2013年12月 2013年まとめ 2014年はどんな年？ この記事は Haskell Advent Calendar 2013 - Qiita [キータ] の12/21(土曜)分じゃなイカ。 今年はワシにとって激動の年だったでゲソ。 Metasepiプロジェクトが本格的に稼動して、 Ajhc Haskellコンパイラ という最初の製品を出荷できたでゲソ。 今年一年を振り返って、ついでに来年の願望や妄想をしてみなイカ？ また何をするのにどれぐらい工数がかかったのか覚えておくと後で役に立つかもしれないでゲソ。 2012年12月 去年何をしていたかというとGHCの
簡約!? λカ娘 Rock!の紹介とHaskell製Androidアプリの解説 - Metasepi
Table of contents Haskellで書いたAndroid NDKアプリってどんな感じ？ CubeVertices.hsファイルについて glVertexPointerとglColorPointerの呼び出し AndroidEngine型の状態変更 全てをつなげる簡易フレームワーク この記事は Android Advent Calendar 2013 - Qiita [キータ] の12/17(火曜)分じゃなイカ。 だいぶ息切れしてきた関数型プログラミングの本 簡約!? λカ娘 Rock! がコミックマーケット85 3日目 西地区 す-03a で出るでゲソ。みんな買ってほしいでゲソ! 第1章 λカ娘探索2? 第2章 僕のカノジョはスナッチャー # <= コレ書いた がもくじで、 @master_q は第2章を書いたらしいでゲソ。 この記事では Android NDK に付属して
How to rewrite the OS using C by strong type
This document outlines a plan to rewrite an operating system kernel using the C programming language with strong typing. It discusses problems that arise from using C like buffer overruns and page faults in the kernel. It proposes using techniques like algebraic data types and type classes to add flexibility without weak types. It presents existing strongly typed OSes and why they have not seen wi
組込向けHaskellコンパイラAjhc / POSIX依存から脱出しよう編
2. 私は誰？私は誰？私は誰？私は誰？私は誰？ ☆ Twitter: @master_q☆ Twitter: @master_q☆ Twitter: @master_q☆ Twitter: @master_q☆ Twitter: @master_q ☆ Metasepiプロジェクト主催☆ Metasepiプロジェクト主催☆ Metasepiプロジェクト主催☆ Metasepiプロジェクト主催☆ Metasepiプロジェクト主催 ☆ Ajhc Haskellコンパイラ開発者☆ Ajhc Haskellコンパイラ開発者☆ Ajhc Haskellコンパイラ開発者☆ Ajhc Haskellコンパイラ開発者☆ Ajhc Haskellコンパイラ開発者 ☆ Debian Maintainer☆ Debian Maintainer☆ Debian Maintainer☆ Debian Maintai
Ajhc - Haskell everywhere
*** We are closing Ajhc project. *** Metasepi Arafura iteration is closed. We decided to use ATS Programming Language for our next iteration. After merging Ajhc's Context Local Heap into jhc, this project will be shutdown. Please use jhc instead of Ajhc. The jhc-components may be useful, if you can't build original jhc. History of Ajhc Haskell compiler Please read Metasepi Foundation report in Jap
Developing iPhone applications in Haskell — a tutorial (13 February 2011)
13 February 2011 (programming haskell iphone) (5 comments) I couldn't find a step-by-step tutorial explaining the process of developing iOS applications in Haskell, so after finally getting "Hello World" to run on an iPhone, I decided to write this tutorial. I should also credit Lőry, who did the iOS side of the work. The basic overview of what we're going to do in this tutorial is the following:
jhc
Jhc Haskell Compiler How to install The Manual jhc is a haskell compiler which aims to produce the most efficient programs possible via whole program analysis and other optimizations. Using Jhc See the Installation Page for information about downloading and installing jhc. For information on running jhc, see The User's Manual. Join the jhc mailing list for jhc discussion, announcements, and bug re
Haskell の "printf" デバグ - Inemuri nezumi diary(2007-05-11)
_ Haskell の "printf" デバグ StateモナドとかIORefとか使うプログラムだと、実行時中に中身を覗きたくなる。ある人が unsafePerformIO で print するとか言うので、それはちょっと待てと。Haskell がその手のデバグがしにくいので、他の言語に移るというのは、ちょっとだけ待ってほしい。 Haskell には Debug.Trace というモジュールがあって、その中の trace :: String -> a -> a は、IO を気にせずに文字列を標準エラー出力に出せるのですよ。 import "Debug.Trace" main = trace "Good morning" $ print "Hello, world" zsh% runghc TracingHello.hs 1> out.txt 2> err.txt zsh% cat out
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Metasepi team meeting #6: "Snatch-driven development"
GitHub - ajhc/ajhc-hacking-guide: Ajhc Hacking Guide book
[Haskell] ANNOUNCE: jhc 0.6.1