早く、頭ん中ほじくり出してプログラム生成してくれ
早く、頭ん中ほじくり出してプログラム生成してくれ
「まだ静的型付けに消耗してるの？今は型なし言語で少数チームの時代だよ？」
vs
「まだ実装に消耗してるの？今は静的型から実装自動生成の時代だよ？」
多分フロントメインで着手する頃にはだいぶ変わってるかもだが、こういうフロント持つ言語作りたみ。ま、とりあえずはフロントの機能は落としてバックエンドメインで作っていく予定だけど
ちなみにGoにはゲームボーイ向けのCコンパイラに入力するためのCコードを出力する非公式なコンパイラがある。
時代は 64bit、仮想メモリ空間が 1TB 以下のやつに用はない ()
ちょっと待って🖐️ そのプログラミング言語、ゲームボーイでも快適に動きますか？（？）
serde_json のせいで純粋な serialize ライブラリになれなかった serde さん。JSON parser としてお世話になった (良い子は真似しちゃダメなやつ)
でも最近は copilot が全部 derive してくれる
rust-analyzer と derive は確かに便利
確かにたまに Rust 推しの人結構いる
なんでｳｪﾋﾞ系にあんなに持て囃されてるのかはマジでわからん (あまり界隈が近くないため)
何があっても「C++ の苦しみよりマシ」で許容できてしまうわけで、言語がどうというよりもユーザの方が訓練されすぎている
C++ でしっかり苦しめば誰だって Rust 激推しになる
Fediverse リアクション絵文字ライセンス、誰かまとめてなかったっけ。ブックマークしとけばよかった
ま、現状の型システムは色々な研究の果てにあるものなのでよくできてると思うけど、言語屋としては型システムが一番バランスがいいみたいな思考停止はしたくないよな
たまに生えてる、Ruby とか JavaScript の何受け取って何するか全く分からんキメラ関数な
ま、JavaScript で満足ならそれでもいいんじゃないですかね。型がついてても実装読みに行かなきゃいけないことはあるしね
ただ、型があることで書き方を制限されると、割と補完がつきやすいようにしか書けないというのはあって、そこはプログラム書きたいマン・ライブラリ利用マンからすれば単に気持ちよさが阻害されてるだけのように感じるかもだが、結構恩恵受けてるのではというのは思う。逆にたまにある TypeScript で無理やり型つけてる definitely typed のやつは微妙だよな感ある。あれは、何の役に立ってるんだ
ま、真面目な話、静的解析がそれなりに強ければそこまで型いらんと個人的には思うが、型があることにより体験が変わることは結構ある。後、言語実装やとしては、パフォーマンス出すにはそれなりに静的情報が欲しいというのはある。TypeScript は知らん
高階論理妥当性の決定不能性、うっ...
型が邪魔なんじゃない、実装が邪魔なんだよなあ
なぜ実装に型がつくという発想でいるのか。型から実装が作られてくれ
Twitter は型の話題でいっぱい。みんな実装好きだな
