情報更新

last update 12/13 21:57

ツイート検索

 

@gakuzzzz
サイトメニュー
Twilogユーザー検索

Twilog

 

@gakuzzzz

がくぞ@gakuzzzz

Stats Twitter歴
3,582日(2010/02/23より)
ツイート数
26,771(7.4件/日)

ツイートの並び順 :

表示するツイート :

2019年12月13日(金)11 tweetssource

12月13日

@gakuzzzz

がくぞ@gakuzzzz

@kis 確かに。既存の最適化も相当研究されてるんでしょうしねー。ロボットだと稼働部の摩擦熱とかもありそうですしね

posted at 00:12:53

12月13日

@kis

きしだൠ(K8S(Kishidades))@kis

@gakuzzzz エントロピーの問題だから計算自体は熱を発するはずで、どんだけ熱を出すかは工学的な効率の問題のほうが大きくて、ここまで発達したシリコン回路にかなわない気がする。具体的には伝送で熱が発生しなくても受光やスイッチングで熱が発生するんじゃないでしょうか。想像だけど。

Retweeted by がくぞ

retweeted at 00:10:22

12月13日

@gakuzzzz

がくぞ@gakuzzzz

@orekyuu 自作クラスであれば、Converter使わずにDomainアノテーションで修飾する手も使えますが、クラスの定義とDomaの依存を切り離したいならCoverter祭になりますねー

posted at 00:06:24

2019年12月12日(木)21 tweetssource

12月12日

@gakuzzzz

がくぞ@gakuzzzz

@matarillo たしかに。たまたま直近でこのケースがあったので記憶に新しくつい書いてしまいましたが、例としては他の方が適切そうですね! ありがとうございます!

posted at 18:38:13

12月12日

@gakuzzzz

がくぞ@gakuzzzz

@matarillo 素朴に実装すると、型引数を変えるためにインスタンス生成が必要になりませんか? Javaだと無理やりキャストで動いてしまうのですが

posted at 18:10:19

12月12日

@gakuzzzz

がくぞ@gakuzzzz

型消去の適切な意味については なぎせさんのblogに譲るとして nagise.hatenablog.jp/entry/20160520

イレイジャ方式にはメリットも多いんですよねー。
例えば.NET系でOptionalのようなクラスを実装したとすると、emptyのmapで無駄なインスタンス生成するかハック的なコード書くみたいなのが必要になってきますし twitter.com/toliner_/statu

posted at 17:34:11

12月12日

@gakuzzzz

がくぞ@gakuzzzz

あれ?Scalaのブロック式と同じようなものってlispのprogn以外だとあんまり見ない?なんか勝手にすごく一般的なものと思っていたけど

posted at 14:40:31

12月12日

@gakuzzzz

がくぞ@gakuzzzz

ブリ会議ネタ案
・Collectors.teeing の話
・Scalaのtype safe builderパターンをJavaで再現する話
・returnの振る舞いをJavaとScalaとKotlinで比較する話

posted at 14:28:08

12月12日

@gakuzzzz

がくぞ@gakuzzzz

言語機構の策定側はこういうプロジェクトにも段階的に導入できるようにraw型の導入だったり互換性を保つよう非常に注意深く設計してたのに悲しい話ですよね…………。まぁ実際のプロジェクトはチームビルディングなりコード以外の制約も多々あるのでしょうがない所はしょうがないのですが…… twitter.com/irof/status/12

posted at 14:16:39

12月12日

@gakuzzzz

がくぞ@gakuzzzz

@kiris 同意。不必要な抽象化は型パズルだけじゃなくそれこそエンタープライズFizzBuzzみたいな複雑性も持ち込むのでもっと手前で排除すべき話ですねー

posted at 01:30:19

2019年12月11日(水)15 tweetssource

12月11日

@lotz84_

lotz△@lotz84_

事前に言っておきますがRecordDotSyntaxは三項演算子と同じようにみんなが参加しやすい議論だから燃えやすいのでお気をつけて!

Retweeted by がくぞ

retweeted at 16:47:56

12月11日

@gakuzzzz

がくぞ@gakuzzzz

RecordDotSyntax、OOP民の自分からすると取っつきやすそうに見えるのだけど、既存の . の関数合成と解離しすぎる気がして気になってしまう。既存の . のセマンティクスの延長上でうまく表現できたりするのだろうか?

posted at 16:45:40

12月11日

@gakuzzzz

がくぞ@gakuzzzz

型パズルと揶揄される事もあるようですが、型が合わないのはそこに意識できてない不正な状態が存在しているからですよ。筋肉を働かせて状態をつまびらかにすればスルスルと型は合っていきます。慣れると型から実装が導かれます。型を使いこなす筋肉つけましょう💪

posted at 16:20:12

2019年12月10日(火)11 tweetssource

12月10日

@gakuzzzz

がくぞ@gakuzzzz

@Kory__3 Software Transactional Memory をモナド化したものですね。スレッド2が更新しようとしてたときに既にスレッド1が書き換えてることが判明したらretry等を行い更新の原子性を担保するための仕組みですね

posted at 21:23:08

12月10日

@gakuzzzz

がくぞ@gakuzzzz

非JVM言語のコードをJavaに移植する作業してて、元コードもかなり丁寧に異常系のフォローをしてるのだけど、適切にOptional等を使うとそれでも漏れていた不正状態を検出できたりしてるので型で制約かけるの大事

posted at 17:59:42

このページの先頭へ