Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.
近状報告
2016/09/18
自己紹介
• 鈴木颯介
• 15歳
• なんかよくわからないけど広報
近状報告
イベント
• 8月18~26にLife is Tech!に参加
• HTML Conference2016に参加
• HaskellDay 2016に参加
最近やっとること
Haskell
• 特になにもやってないです
• ただ参照透過性云々とか、純粋関数型言語の話
が好きです。
Android
• Android端末持ってないけどなんとなくLiTで
Androidコース受けてみたらはまった。
• Javaの冗長な文法が好きじゃないのでKotlinで書
くことが多い。
• 実は最近はそこまでやってない
Angular2
• HTML Conferenceに参加してみてAngular2やっ
てみたくなった
• とりあえずクイックスタートガイド的なやつと
チュートリアル
frege
• ネタです。
• JVM上で動作するHaskellだと思ってくれればい
いです。
• まず開発環境を構築するのがめんどくさいので
ほとんど手をつけてないです
frege
• Haskellの標準ライブラリはほとんどそのまま使えま
す。
• JVM言語なのでJavaのライブラリも全部使えます。
• 遅延評価です。純粋関数型言語です。
• Haskellよろしくの強い型システムとHindley-Miln...
frege
• HaskellのHello,World!
frege
• fregeのHello, World!
frege
• Javaは副作用だらけですが、fregeは純粋関数型
言語です。
• Javaの副作用のあるコードをfregeの純粋性を保
ちつつ呼び出したい。
• JavaのBigIntegerみたいなイミュータブルなやつはそのままfrege
の型になります。
Javaみたいに . でメソッドを呼び出します。
Haskellの関数合成ではないです
入出力を行う感じなやつは割とそのまま
IO モナドになります
readは読み込んだ文字数を返すメソッドです
インスタンスの破壊的更新など、入出力はないけど
副作用がある場合はSTモナドになります。
STモナドはIOモナドのように入出力はできない
変数の更新を行うためのモナド
runSTでSTモナドにくるまれていない値を取り出せる
frege
• fregeは現状では実用性に欠ける言語。
• JetBrainsあたりが買収してくれればいいなぁ
• IntteliJが対応してくれるとみんな救われます
• ※今回使ったサンプルコード、動作確認してな
いです。
Upcoming SlideShare
Loading in …5
×

第一回tento.tech定例会

355 views

Published on

第一回の定例会のスライドです

Published in: Technology
  • Be the first to comment

  • Be the first to like this

第一回tento.tech定例会

  1. 1. 近状報告 2016/09/18
  2. 2. 自己紹介 • 鈴木颯介 • 15歳 • なんかよくわからないけど広報
  3. 3. 近状報告
  4. 4. イベント • 8月18~26にLife is Tech!に参加 • HTML Conference2016に参加 • HaskellDay 2016に参加
  5. 5. 最近やっとること
  6. 6. Haskell • 特になにもやってないです • ただ参照透過性云々とか、純粋関数型言語の話 が好きです。
  7. 7. Android • Android端末持ってないけどなんとなくLiTで Androidコース受けてみたらはまった。 • Javaの冗長な文法が好きじゃないのでKotlinで書 くことが多い。 • 実は最近はそこまでやってない
  8. 8. Angular2 • HTML Conferenceに参加してみてAngular2やっ てみたくなった • とりあえずクイックスタートガイド的なやつと チュートリアル
  9. 9. frege • ネタです。 • JVM上で動作するHaskellだと思ってくれればい いです。 • まず開発環境を構築するのがめんどくさいので ほとんど手をつけてないです
  10. 10. frege • Haskellの標準ライブラリはほとんどそのまま使えま す。 • JVM言語なのでJavaのライブラリも全部使えます。 • 遅延評価です。純粋関数型言語です。 • Haskellよろしくの強い型システムとHindley-Milner アルゴリズムがベースの型推論
  11. 11. frege • HaskellのHello,World!
  12. 12. frege • fregeのHello, World!
  13. 13. frege • Javaは副作用だらけですが、fregeは純粋関数型 言語です。 • Javaの副作用のあるコードをfregeの純粋性を保 ちつつ呼び出したい。
  14. 14. • JavaのBigIntegerみたいなイミュータブルなやつはそのままfrege の型になります。 Javaみたいに . でメソッドを呼び出します。 Haskellの関数合成ではないです
  15. 15. 入出力を行う感じなやつは割とそのまま IO モナドになります readは読み込んだ文字数を返すメソッドです
  16. 16. インスタンスの破壊的更新など、入出力はないけど 副作用がある場合はSTモナドになります。 STモナドはIOモナドのように入出力はできない 変数の更新を行うためのモナド runSTでSTモナドにくるまれていない値を取り出せる
  17. 17. frege • fregeは現状では実用性に欠ける言語。 • JetBrainsあたりが買収してくれればいいなぁ • IntteliJが対応してくれるとみんな救われます • ※今回使ったサンプルコード、動作確認してな いです。

×