#meta_programming search results

まあ、6.14 では quasi-quote で [$pads| ...blah... |] ではなく [pads| ...blah... |] を使う、ということを覚えておけば問題ないと思います。 #meta_programming


ついに、Template Haskell で pattern quote を使えるようになったみたいですね!! http://bit.ly/cWSFFu #meta_programming


清純派コンパイルタイム・プログラマーは書き換え規則(RULES 指示文)を使いましょう。やれることは制限されますが、状態を持ちませんし、型検査もされます。 #meta_programming #haskell


あっ、前者は機能に対する変更であって、文法に対する変更ではないですね。 #meta_programming


JSR308 http://types.cs.washington.edu/jsr308/ とか理念は非常に素晴らしいし実用的にも非常に良いと思うのだけど、Javaプログラムでごりごり拡張型チェッカ書いてね、とか萎えるわけです。 #meta_programming


GHC 6.12.1で入ったアノテーションは内部で Template Haskell が使えるので、GHCならアノテーションで副作用を起こすことも可能なわけです。素晴らしいですねっ☆! http://bit.ly/70cthJ #meta_programming #haskell


今回の機能拡張に対する test example を見て思いました。何これ? http://bit.ly/cFb1nN http://bit.ly/drSU5M #meta_programming


.。oO( Haskell で quasi-quote(リーダーマクロ)を使っている人なんて、そんなにいないでしょうし…… ) #meta_programming


(段階制御(phase control)がどうのこうのというのは、言わない約束です♥ #meta_programming #haskell


それだったら、Javaの型システムをそれなりに熟知してないとチェッカー書けないじゃん。もっと普通のプログラマにもチェッカー(やコードジェネレータ)を書けるような仕組みを!と思うのです。 #meta_programming


一方、Haskeller は Template Haskell を使った。 http://twitter.com/shelarcy/status/6627496085 #meta_programming #haskell


これでもう、論文に書いてあるのに GHC に実装されていない、と言われなくて済みますね。(ただし、GHC Current (HEAD) または 6.14 以降に限る) #meta_programming


.NET Frameworkなんかも最近は、Expression Treeなんかを扱えたりして、よりメタプログラミングを重視する方向に向かっているのではないかとかなんとか。 #meta_programming


Hey #fsharp, tomorrow at 21:00 CET I will go live on Twitch again to tackle a new #meta_programming project: generating type-safe F# clients from OpenAPI v3 specs Following the steps of Snowflaqe which has worked great both on @FableCompiler and #dotnet See you then 😄


"Nemerleのマクロは非常に強力で、コンパイル時でも実行時に行えるあらゆる事(計算はもちろんのこと、入出力、ネットワークIO、GUIなど)を行える" http://bit.ly/5Jmaka #meta_programming #nemerle


……いや、用途的には型族(Type Famileis)とか関数従属性(Functional Dependencies)とかの型レベルのものの方が良さそうですね。そちらはそちらで頭を掻き毟りそうですが。 #meta_programming #haskell


@h_sakurai それはそうですね。Lispのマクロと.NETのExpression Treeを比較対照にしたつもりはなくて、単に.NETもメタプログラミングをより簡易にできる方向に動いてるんじゃね?という例のつもりでした。 #meta_programming


あと、この間紹介した quasi-quote に対する議論の結果を受けて、quasi-quote を利用するための文法が変更されました。変更内容はさっきの URI と、以下の URI に載っています。 http://bit.ly/9Efceg #meta_programming


@kis アノテーションのような機構そのものが必要という点に関して異論は無いです。むしろ、もっとアノテーション的なもの(プログラムにメタデータを付加する仕組み)は使われるべきだと思っています。 #meta_programming


Today at 22:00 CET will do another live coding session to continue building 🌴Hawaii 🌴 tune in and say hi :) Thinking of refactoring the types generator to use mutually recursive functions, so that will be an interesting exercise🤔 #fsharp



After exploring a couple of APIs, I might have underestimated the flexibility of the OpenAPI specifications compared to the GraphQL specs and now starting to understand why dev tools generating static types struggle with a consistent approach #fsharp #meta_programming #hawaii


Hey #fsharp, tomorrow at 21:00 CET I will go live on Twitch again to tackle a new #meta_programming project: generating type-safe F# clients from OpenAPI v3 specs Following the steps of Snowflaqe which has worked great both on @FableCompiler and #dotnet See you then 😄


#ruby #hoots inherited included method_added singleton_method_added #meta_programming


今回の機能拡張に対する test example を見て思いました。何これ? http://bit.ly/cFb1nN http://bit.ly/drSU5M #meta_programming


.。oO( Haskell で quasi-quote(リーダーマクロ)を使っている人なんて、そんなにいないでしょうし…… ) #meta_programming


まあ、6.14 では quasi-quote で [$pads| ...blah... |] ではなく [pads| ...blah... |] を使う、ということを覚えておけば問題ないと思います。 #meta_programming


あっ、前者は機能に対する変更であって、文法に対する変更ではないですね。 #meta_programming


あと、この間紹介した quasi-quote に対する議論の結果を受けて、quasi-quote を利用するための文法が変更されました。変更内容はさっきの URI と、以下の URI に載っています。 http://bit.ly/9Efceg #meta_programming


これでもう、論文に書いてあるのに GHC に実装されていない、と言われなくて済みますね。(ただし、GHC Current (HEAD) または 6.14 以降に限る) #meta_programming


ついに、Template Haskell で pattern quote を使えるようになったみたいですね!! http://bit.ly/cWSFFu #meta_programming


RT: 清純派コンパイルタイム・プログラマーは書き換え規則(RULES 指示文)を使いましょう。やれることは制限されますが、状態を持ちませんし、型検査もされます。 #meta_programming #haskell (via @shelarcy)


……いや、用途的には型族(Type Famileis)とか関数従属性(Functional Dependencies)とかの型レベルのものの方が良さそうですね。そちらはそちらで頭を掻き毟りそうですが。 #meta_programming #haskell


(段階制御(phase control)がどうのこうのというのは、言わない約束です♥ #meta_programming #haskell


No results for "#meta_programming"
No results for "#meta_programming"
Loading...

Something went wrong.


Something went wrong.


United States Trends