ghc-8.0.2, ghc-8.2.1で挙動確認しています。 Haskellでの多相性には主にparametric polymorphismとad-hoc polymorphismがありますが、そちらに関してはHaskell入門1をお読みください。 ここではghc-8.0あたりから導入された新しい多相性、levity polymorphismについて軽く説明します。 advancedな話題なのでHaskell入門を読んでいる途中の方は分からなくても気にしないでください。 概要 関数呼び出しの際にヒープを指しているポインタ、例えばリストのようなものと、倍精度浮動小数点数を渡す時には使われるレジスタは異なったりします。それらをパラメトリック多相で一緒に扱うコードを生成することはできません。この問題の簡単な解決方法は全てをヒープにアロケートされた値として扱うことです。そうすることによって全ての
Experimental mobile haskell hackage overlay This hackage overlay is designed to provide patched packages with patches specifically for use with mobile haskell cross compilers (iOS/Android/Raspberry Pi...) repository hackage.mobilehaskell url: http://hackage.mobilehaskell.org/ secure: True root-keys: 8184c1f23ce05ab836e5ebac3c3a56eecb486df503cc28110e699e24792582da 81ff2b6c5707d9af651fdceded5702b9a6
So far we have built a Haskell Cross Compiler for Raspberry Pi, as well as a Haskell Cross Compiler for Android. To round this off, we will build a cross compiler for iOS as well. With the WWDC signaling the end of 32bit devices and the last 32bit devices are the iPad (4th gen) and iPhone 5/iPhone 5C, we will only build the 64bit cross compiler. Note that what Apple calls arm64 is called aarch64 e
Simon Marlow Software Engineer at Facebook in London Co-developer of the Glasgow Haskell Compiler Twitter: @simonmar Github: simonmar Email: marlowsd@gmail.com LinkedIn: Simon Marlow Hotswapping Haskell October 17, 2017 This is a guest post by Jon Coens. Jon worked on the Haxl project since the beginning in 2013, and nowadays he works on broadening Haskell use within Facebook. From developing code
As mentioned in the September Edition of What is New in Cross Compiling Haskell, I’ve been working on producing binary distributions of cross compilers, so that installing a cross compiler becomes almost as trivial as installing a GHC binary distribution. A word of caution is in order. These are rather experimental builds, and realistically I expect there to be a few issues, that will arise. I’d s
日本語でHaskellについて議論するsubredditです。日本Haskellユーザーグループ(通称 Haskell-jp)が作成しました。 投稿するページの言語は問いませんが、日本語での議論を推奨しています。 Discuss anything about programming language Haskell in Japanese. Created by Japan Haskell User Group (a.k.a. Haskell-jp). We recommend discussion in Japanese (But English page links are welcome)
PatternSynonymsは、その名の通り、パターンの別名である。GHC 7.8.1 で導入された。GHC 7系のPatternSynonymsは、モジュール内に閉じて入れば何の問題もなかったが、モジュールの外へexportする際は、patternキーワードが必要であり、構成子らしくなかった。 {-# LANGUAGE PatternSynonyms #-} module A (Foo, pattern Zero) where newtype Foo = Foo Int pattern Zero :: Foo pattern Zero = Foo 0 GHC 8 からは、patternキーワードが不要となり、構成子らしくなった。 {-# LANGUAGE PatternSynonyms #-} module A (Foo(Zero)) where newtype Foo = Foo I
種の仕組みとそれに付随する言語拡張についてPosted by mizunashi-mana on September 18, 2017 Haskellには種(kind)という仕組みがあります。大雑把に言ってしまえば、「型の型」を実現する仕組みです。この仕組みについて、あまり情報が出回っていないようなので、解説記事を残しておこうと思います。なお、前編と後編に分かれていて、この記事は後編になります。前編はこちらになります。 この記事は、Ladder of Functional Programming (日本語訳)の FIRE LUBLINE(ADVANCED BEGINNER) を対象に、Part 1の続きとして、種に付随するGHC言語拡張やパッケージを紹介するものです。 なお、特に断らない限り、対象としてGHC8系を設定しています。stackを使ってる方はresolverをLTS Haske
type family が injective だと何が嬉しいんだろう（理解してないだけ） — lotz (@lotz84_) 2017年9月3日 tl;dr 型族を逆にたどって型推論ができるので型を明示的に書かなくて良い場面が増える GHC8の新しい機能 Injective type families について、名前は前から知ってたもののイマイチどういうものか理解しておらず、Twitterで呟いたところ優しいHaskellerの方々に助けていただき理解することができたので自分でまとめ直してみようと思いこの記事を書いています。 2018/03/11 追記 ryota-ka氏が分かりやすくて実用的な例をまとめてくれたのでこちらも参考にしてください TypeFamilyDependencies の実用的な例を考える Type Family Type family（型族）は型と型の間の関係を記述
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
