@naka_aki_spl 高階関数の「実現(実装)方法」としてはcallbackを使うでしょうけど、あくまでラムダ計算から来ている考え方であり、高階関数は「callbackを応用した技術」ではないと思いますよ。
posted at 13:02:59
| Stats | Twitter歴 4,166日（2009/01/11より） |
ツイート数 101,451（24.3件/日） |
表示するツイート :
2020年06月05日(金)1 tweetsource
2020年06月01日(月)4 tweetssource
@nagise つらいのは、まさにすでにSupplierやらFunctionやらが入ってしまっていて、今更関数型を入れるのがあまりよくない気がするという点ですね。
posted at 15:29:37
@nagise 引数なしのコンストラクタであればそんな感じですね(ただし、考えているのは() -> SomeClassみたいな、FunctionalInterfaceとは別のものですが)。
引数アリでも例えばnew SomeClass(int, int)なら、(int, int) -> SomeClassみたいな関数型が使えるような。
posted at 15:28:30
@nagise 型クラスまで持ってくる必要があるかどうかは微妙ですね。Javaに入れるとなるとJVMレベルでの変更が欲しくなりますし・・・
個人的には、汎用的な関数型(a -> bみたいな)さえ入ればよかったのでは、という気がしています。今から入れるのはこれもつらいかも？
posted at 15:21:41
@nagise コンストラクタはstaticメソッドの特殊なものととらえると、欲しいのはstaticに対するinterfaceですね。Scalaはそもそもstaticをなくしてobjectで解決した。
posted at 15:03:33
2020年05月02日(土)1 tweetsource
@nagise doの場合はappendだからdo_なのかな、って思いました
posted at 10:45:43
2020年04月02日(木)2 tweetssource
@hattrickn COBOL忘れません！
posted at 19:16:23
@hattrickn COBOL Tシャツありがとうございました(と、皆さんにもお伝えください)。昨日さっそく会社に着ていきました。今日はシンプルな黒いTシャツを着ていきました。
posted at 19:12:50
2020年03月24日(火)2 tweetssource
@tadsan 四月以降、名古屋で継続勉強会やります多分。コロナと自分の予定次第。
posted at 22:47:03
@tadsan したい！
posted at 22:34:38
2020年03月02日(月)1 tweetsource
きょん＠アジャイルコーチ、システムアーキテクト@kyon_mm
【転職活動始めます】チームでの移籍先を探しています
いろんな可能性を探しています。お気軽にご連絡いただけると嬉しいです。
https://www.kikan47.org/post/%E3%83%81%E3%83%BC%E3%83%A0%E3%81%A7%E3%81%AE%E7%A7%BB%E7%B1%8D%E5%85%88%E3%82%92%E6%8E%A2%E3%81%97%E3%81%A6%E3%81%84%E3%81%BE%E3%81%99…
Retweeted by ふ''れいす
retweeted at 09:39:59
2020年02月13日(木)1 tweetsource
@gakuzzzz ガード節による早期returnはelseを書いても書かなくても同じ挙動であり、「elseのないifは必ず副作用が存在」は言い過ぎだと思うんですがどうでしょうか。
posted at 10:06:25
2019年11月09日(土)3 tweetssource
@kmizu @yume_piece1010 @kis @gakuzzzz C#ではできますし、実際そうなっていますよ。
posted at 15:00:20
@kmizu です
posted at 13:56:06
@kmizu 属性(.net)で反対のものを指定できるようなものは作ったことあります。Enabledに対して[<NotProperty("Disabled")>]みたいな。
posted at 11:51:44
2019年05月27日(月)5 tweetssource
先輩たちと飲み。
初っ端っからすごいの出てきちゃったぞ。 https://pic.twitter.com/QzQ9xEwDd4
Retweeted by ふ''れいす
retweeted at 13:06:19
すでに当たり前のものだ、という意見は受け付けません！
posted at 09:49:28
Javaという超メジャー言語で継続って言葉が出てきたの、実際に継続ではないにしてもすごくないですか。継続もいつか当たり前のものになるんでしょうかね。何それ胸アツ。
posted at 09:48:59
継続は「残りの処理を表す概念(値)」なので、Project LoomのContinuationはいわゆる継続とは別の何かです。偽継続。
posted at 08:59:22
@skrb @SlideShare 継続は「処理の中断/再開のための仕組み」ではないので、wait-notifyAllを継続というのはやはり間違いだと思います。継続でできることの一つとして、処理の中断/再開があるというだけです。(17ページ)
posted at 08:20:55
2019年05月26日(日)6 tweetssource
(限定)継続したいなら、ResetとかPromptだろうけど、あの内側で継続が取り出せるわけでもなく。
posted at 23:40:48
FiberScopeとかFiberBlockとかだろうか。わからん。
posted at 23:38:16
project loomのContinuationがやっぱりContinuationじゃない。なんと言えばいいんだアレは。
posted at 23:35:15
power assertじゃないんだよ欲しいのは。付いててもいいけど、お前じゃないんだ欲しいのは。
posted at 23:29:53
わかりみしかない
posted at 23:28:58
Kota Mizushima (on a diet)@kmizu
基本的には賛成なんだけど、power assertだけだとテスト失敗時に「どこで」失敗したかはわかるけど、「なぜ」失敗したかわかりにくいのイマイチだと思ってる。英語ぽさはどうでもいいけど、語彙が足りない気がするというか。 https://twitter.com/xuwei_k/status/1131747775257800705…
Retweeted by ふ''れいす
retweeted at 23:28:42
2019年05月23日(木)7 tweetssource
勘でしか喋ってないんだけど、有限状態機械で限定継続を表現できないの、再帰関数の限定継続を表現できないとかで証明できたりしないんですか。
Retweeted by ふ''れいす
retweeted at 21:59:00
F#さん、コンピュテーション式に手を入れるなら変換ルールの仕様バグもついでに直してくれないかな・・・
posted at 20:11:27
最近はF#どころか、インターネッツのない世界で素のvscodeとcsc使ってCOBOLパーサー手書きマン
posted at 20:01:15
@cannorin それはそれとして、ステートマシン機構が入るのは激アツですね！
posted at 19:59:51
少なくとも、shift/resetのanswer type modificationを今のF#に組み込むのはたぶんないし、限定継続(というかshift/reset)のすべての力をF#で、ってことにはならなさそう
posted at 19:59:06
ステートマシンは限定継続そのものなのか？よくわからん
posted at 19:56:21
最近COBOLを勉強している(パーサーを書いている)んだけど、結構面白い言語ですね。メモリ表現に対するパターンマッチのよるデストラクトのような機能を備えている。
posted at 19:43:49
2019年05月20日(月)6 tweetssource
連絡遅れてすみません。明日の #kstudy ですが、出張のため延期します。来週も出張なので、最速で再来週です。
posted at 16:10:38
形式的に意味論が定義されていない言語は不安だから、SchemeかSMLやろう。Grassでも可(不可
posted at 13:32:38
みんなでISLISPやろう。国民全員でISLISP
posted at 13:30:16
ISLISPでもいいよ
posted at 13:27:12
COBOLは優れているのでCOBOLをやりましょう
posted at 13:25:32
つまりはCOBOLだな https://twitter.com/ogochan/status/1130325384442986496…
posted at 13:24:51
2019年05月17日(金)1 tweetsource
実践scala入門、共著であることの弊害なのかなんなのか、全体としてはあまりよくできていない。sealedの説明なくない？とかとか。
posted at 21:31:13
2019年05月13日(月)3 tweetssource
@iBotchME ボブおじさんのClean Architectureは、意図的なのか違うのかわからないけど、現実の問題に踏み込んでないんですよ。ボブおじさんへの期待値が高いので、この本をボブおじさんが書いたことが許せない・・・
posted at 10:53:38
#genbadeDDD だった
posted at 10:49:06
#genbaDDD なるイベントがあったみたいなんだけど、非同期やログに対する話題はあったのか気になる。非同期もログもドメインロジックを汚染しうると思うんだけど、DDDの現場ではどう立ち向かっているんだろう。
posted at 10:48:05
2019年05月12日(日)2 tweetssource
@iBotchME そこはそこで「フレームワークとドライバ」レイヤーだと思うのです。Databaseとか置いてありますし。
posted at 20:32:45
@kyon_mm 見直したい部分がいくつかあるんで、月曜日にみんなで考えてみるかな
posted at 11:28:27
2019年05月11日(土)3 tweetssource
ありがとうシュラク隊の展示、わからん人にはサッパリわからんだろうけど、わかる人には多分ガッツリ突き刺さると思うのでVガン好きな人はホント、みてください。 https://pic.twitter.com/3Aomc1nQi7
Retweeted by ふ''れいす
retweeted at 20:36:04
層をまたいでアクセスするからそういうことになるんだろう。「常に外側から内側の層にしかアクセスしない」だけでは足りなくて、「常に外側からひとつ内側の層にしかアクセスしない」としたほうがいい。
posted at 20:27:29
Clean Architecture、P.202でインターフェイスアダプターの説明に「データベースがSQLデータベースであれば、すべてのSQLはこのレイヤーに限定する必要がある」ってあるのに、P.204の典型的なシナリオの説明ではユースケース層と思われる部分にある。おい。
posted at 20:25:02
2019年05月10日(金)1 tweetsource
@kmizu ですね。
posted at 10:04:34
2019年05月09日(木)1 tweetsource
in/outは反変で逆転するとわかりにくいから+/-の方が好き https://twitter.com/kmizu/status/1126428182331187200…
posted at 20:52:37
