明石 Haskell 第1回

2012年10月28日に明石であった Haskell 入門ハンズオンの様子。 http://connpass.com/event/1045/
0
ザネリ @so_zaneli

acc=[], x=1 なので 1:[] で [1] ができる。 acc=[1], x=2 なので 2:[1] で [2,1]ができる。 acc=[2,1], x=3 なので 3:[2,1] で [3,2,1]ができる。 #AkashiHaskell

2012-10-28 14:28:50
第297654658185列 @akanehara

やっぱりghciだと型シグニチャつけないとDoubleになっちゃうみたい。 let { circleArea :: (Floating a) => a -> a; circleArea = (* pi) . sqrt } #AkashiHaskell

2012-10-28 14:29:11
くるくる @mkd214

プログラムを写すんじゃなくて、頭をつかう感じ!! #AkashiHaskell

2012-10-28 14:29:53
第297654658185列 @akanehara

まちがえた やっぱりghciだと型シグニチャつけないとDoubleになっちゃうみたい。 let { circleArea :: (Floating a) => a -> a; circleArea = (* pi) . (** 2) } #AkashiHaskell

2012-10-28 14:31:26
くるくる @mkd214

休憩後はミニ四駆ですか?? #AkashiHaskell

2012-10-28 14:33:55
第297654658185列 @akanehara

受講者に突如襲いかかるオフサイドルール #AkashiHaskell

2012-10-28 14:45:30
ザネリ @so_zaneli

ghci で複数行入力するための「:{」「:}」は初めて知った。 #AkashiHaskell

2012-10-28 14:45:36
くるくる @mkd214

Haskellではインデントを気をつけよう!! #AkashiHaskell

2012-10-28 14:45:49
だれでもないイカ @duxca

coffee> plus = (a)-> (b)-> a + b; coffee> add1 = (n)-> plus(1)(n) coffee> add1 1 add1 1 2 #AkashiHaskell

2012-10-28 14:51:53
ザネリ @so_zaneli

「:{」「:}」は 6.x の ghci では未対応っぽい。(僕のは 7.0.4 だった) #AkashiHaskell

2012-10-28 14:52:41
だれでもないイカ @duxca

function plus(a){ return function(b){ return a + b; }; }; function add1(n){ return plus(1)(n); }; add1(1);// ->2 #AkashiHaskell

2012-10-28 14:55:49
しょラー @shora_kujira16

debianはsqueezeでもghc6, ubuntuでは11.10から?ghc7

2012-10-28 14:58:14
第297654658185列 @akanehara

「明石 ラーメン」とかフグっても無駄です #AkashiHaskell

2012-10-28 15:05:29
にしかわささき @nishikawasasaki

Emacs の人は haskell-mode をいれて C-c C-l しましょう! #AkashiHaskell

2012-10-28 15:07:06
ザネリ @so_zaneli

「ghci <ソースファイル名>」で起動と同時にロードすることもできますね。 #AkashiHaskell

2012-10-28 15:08:00
だれでもないイカ @duxca

coffeeが懐かしい・・・どうしてJSを書かないといけないんだ

2012-10-28 15:08:04
第297654658185列 @akanehara

Person型のデータ構築子に自分の年齢書いてて軽く凹んだ #AkashiHaskell

2012-10-28 15:16:39
だれでもないイカ @duxca

class Person constructor: (@name, @age)-> age = (person)-> if a instanceof Person then a.age #AkashiHaskell

2012-10-28 15:24:35