このアカウントは、notestockで公開設定になっていません。

プロプライエタリなので

うーん……ﾊﾟｲﾖｮﾝか……

厄介オタクなのでﾊﾟｲﾖｮﾝを勉強しようとしている人を観測するとウーンとなってしまう(いや好きにすればいい)

自分が天才かつ超人だと思わないのであれば静的型付き言語をやった方がいいと思います(一発打ちきりスクリプトであればともかく)

スクリプト言語はスクリプト言語であって、最初の勉強はちゃんと制約を表現できる言語でやるのがいいと思っている(さてここで何を最初に学ぶか戦争が始まります)

コンパイラの気持ちになるには訓練が必要なので、最初は高階の型や関数のない C から入って、習得できたら C++ なりｼﾞｬｯｳﾞｧなり Rust なり使ってみれば良いでしょうと思っている

C は初学者に向かないなどと言う人は沢山いるけど、 C さえ書けない状態で他の言語を学んだとして、どこまで本質的な理解や正しいメンタルモデルを作れるのかは甚だ疑問

Haskell はじめ関数型言語を最初に学んだ超人がどういったメンタルモデルを持つのかは知らないし、そういう人はもしかすると一生 C を知らずによろしいコードを書けるかもしれないけど(私はそっちのルートでやってないのでわからん)

BASIC か……確かにあれは相当プリミティブっぽいし最初に弄るには悪くないのかもしれない？

わたし「あんしぐねっど」

まずは読みから、わかる……

でも脆弱性を「きじゃくせい」と読むのは恥ずかしいからね(そもそも「脆弱」は専門用語ですらない)

https://mastodon.cardina1.red/@lo48576/100388989497076428
こういう語彙の歪みが発生したりするので、言葉を知りすぎるのも善し悪し

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

どこまでとは違うけど、未定義動作全般を気にするようになったら初級者は脱しているかなという感じ

最低限の基準で言うなら、構造体とかポインタとか諸々使えるのと、ヒープから取ってきたメモリを正しく扱えるのと、外部ライブラリを使えるとかの辺り？

外部ライブラリというのは、つまり綺麗にモジュール化された機能やデータ群について、初期化・処理・破棄の一連の流れを正しく把握して利用できるか、みたいなところ

zlib とか使ってみると API というものの勉強になるし実用性あるのではと思います

あと分割コンパイルとライブラリのリンクもか

関数ポインタ(やそのテーブル)とか可変長引数とか擬似的オブジェクト指向は中級以上ですよね

これらはガッツリ C で複雑な機能を実装して他人に使わせたりなどする場合には理解が必要だと思うけど、自分用のアプリケーションを書くときに必須かといえばそんなことは(通常)ないので

あと未定義動作(全般)を気にするのも、安全性への配慮や移植性への意識や規格準拠意識の芽生えだと思うし、これも初心者を脱したサインかなという個人的な意見

なんだかんだで他の言語からも C のライブラリを呼び出す (FFI) ことがままあるし、 C の素朴なライブラリの仕組みを意識できるのは他の言語を使う上でも役立てられる知識だと思う

このアカウントは、notestockで公開設定になっていません。

・鳥のコミュニティについて fediverse で愚痴る人が多い
・ Mastodon にライトユーザを取り込もうとする人が多い

ここから予想される帰結な

はっきり言えば、人に絡みがちなアホの流入によるコミュニティの環境悪化は fediverse で再現してほしくないし、 Mastodon などをそういったアホにおすすめしたくない

Mastodon にユーザが増えないことには仕方がないと言う人は結構いるように思うが、鳥を見ながら同じ事をもう一度言えるか試してみてほしい

そういえば Mastodon のプロファイルページにリストされる投稿が白地白文字で最悪の visibility になっているのは、一体なんなんでしょう

Redesign public profiles and toots by Gargron · Pull Request #8068 · tootsuite/mastodon
https://github.com/tootsuite/mastodon/pull/8068

ここから発生してるのかな？

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

どうやらアセットがいくつか、何故かロードされてないっぽくて謎

assets:precompile してみたけど駄目なので謎

どうも application.scss へのマッピング自体が検出できてないし、本当に webpack とかが成功したのかさえ謎

コンテナの中に直撃して assets:precompile してみるか……

先にコンテナ全消去からの〜を試す

わかったぞ、 /public のパーミッションが 991:991 になってなかった

chown -R 991:991 public
してからリトライ

このアカウントは、notestockで公開設定になっていません。

変わらなかった、もうあきらめるわ

エラーで落ちても悔しくないコードであれば Python とかの動的型付きスクリプト言語で書けばいいと思います

機械学習が「落ちても悔しくない」ものなのか知らないけど……

エラーと向き合うコードを動的型付きで書く人の気持ちはわからん

このアカウントは、notestockで公開設定になっていません。

答: 扱えてない

はい炎上

や、まじで書いてる人は扱えてるつもりかもしれないのに私の環境で無限に苦しめられたりとかあるし、タイムゾーン関係なんか開発者の環境と開発の瞬間の日時でテストするにも限界があるんだから、それこそ静的解析でカバーすべき領域だと思うんですけどね

このアカウントは、notestockで公開設定になっていません。

や、使ってみると結構いいですよ

chrono::offset::TimeZone - Rust
https://docs.rs/chrono/0.4.5/chrono/offset/trait.TimeZone.html#method.from_local_date

たとえばこれ、 LocalResult<Date<Self>> (なお Self は TimeZone)
を返すんですが

chrono::offset::LocalResult - Rust
https://docs.rs/chrono/0.4.5/chrono/offset/enum.LocalResult.html

夏時間とかの関係で、変換元と変換先のタイムゾーンの組み合わせによっては「2通りの表現がありうる」とか逆に「表現できない」という場合がありえるんですよ。
こういうの、型で明示されてコンパイル時に扱いの正しさが検査されるとすごく有り難くないですか

逆に同じような機能を動的型付き言語で提供しようとしたとき、(たとえドキュメントをちゃんと読んでいたとしても)うっかりしたユーザがそういったケースを無視して再現不可能なバグを埋め込む未来が容易に想像できませんか

あるいは日時関係だと「タイムゾーンなしで保持されている日時データが、 UTC 表現なのかローカル表現なのか」みたいな例もあるし、結局「人間が注意すべき検査を機械に委託する」というのが静的型付き言語の強さなので

規約で縛らず型で縛れ、みたいな

このアカウントは、notestockで公開設定になっていません。

まあそうなんですが、つまるところ日時に限らず一般論として、ライブラリとかそこそこ以上の規模のコードは動的型付きで書くには並々ならぬ知能を要求されるし素直に静的型付き言語を使ってほしいという気持ち

このアカウントは、notestockで公開設定になっていません。

tzdata と和暦の話は……

このアカウントは、notestockで公開設定になっていません。

あと動的型付き言語のライブラリのリファレンスとか見ると「returns string」などと何度も何度も執拗に書いてあったりするし、それ型で表現しちゃ駄目だったん？ みたいな気持ちに

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

どういう型の値を受け入れるかには制限があるのに、どういう型の値も渡せてしまう(そして実行時エラーになる)というのが致命的なので……

簡潔に言えば、「間違っていることがわかるプログラムは実行できるべきでない」ということであって、動的型付き言語は(通常)そこが致命的

ヤバい状況でエラーが出るのはそれはそうで、型付けの強さには関係ないんですよ(普通は)

暗黙のキャストが暴れ回る言語のことはスルーしてください(手に負えないので)

このアカウントは、notestockで公開設定になっていません。

崖に向かって一直線な道を走らされているような気分になるんですよね。崖だとわかってるなら事前にその道塞いどいてくれよという

崖に落ちるよりは、手前に置いてあるフェンスにぶつかってそもそも道を走れない方が安全だよねというお気持ちです

まあ動的なあれこれも利用価値はあるわけですが、少なくともデフォルトの選択ではない(危険度が高いので)

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

明示的であることと曖昧さなく解釈できることは近いし、どちらも重要

で、後者はだいたい機械可読性と近いので、自然言語でドキュメントに書いてあったところで「それ暗黙みたいなもんやん」としか思えない

人間が概念を正確に記号化しようとする試みでもある

(まあ記号化できたところで検査ができるかは別の話だけど)

テストで戻り値の型を検査してるの見るとさすがにつらくなるので、この際漸進的型付けでもいいから型検査という文明の恩恵をもっと活用してほしい

なんと言えばいいのか、「奇数と奇数を足し合わせると偶数になります！」というのを証明一発で済ますのが静的型付きの型検査だとすると、動的型付き言語でテスト書いて戻り値の型を確認してるのは「とにかく奇数を沢山用意して実際足してみる」みたいな小学生じみたことをしているように見える

このアカウントは、notestockで公開設定になっていません。

ｼﾞｬｳﾞｧの配列はどうしてああなった……みたいな話はよく聞く

よく聞くというか、そういう話題が割と出る界隈にいるので雑談する

型理論†わかる†勢ヤバすぎる

何十年分追い掛ければわかれるんだ……

このアカウントは、notestockで公開設定になっていません。

なるほど言われてみるとなかなか的確

かも

型理論わかりてえな……

IDE を言語処理系(として必須のツール)の枠に含めることに異議を持っている勢です(老害)

Windows の使用をやめて以降、 vim / neovim 以外でコードを書いたことがほとんどない

Scheme だろうが Java だろうが関係ねえ、コードを書こうと思ったとき既に脳内にモノは出来てるんだよ(過言)

私が i3 と tmux と vim と、その上でカスタマイズされたキーバインド群を使って作業をしている中で、ある言語を使うからといってその環境に介入してこられたり乗り換えを強いられると不愉快なので

なんだろう、コーディング環境は生活空間なので、 IDE がないとマトモに書けない言語というのにはプライバシー侵害相当の嫌悪感がある(「部屋にインターネッツに公開される webcam を付けないと遊べないゲームだよ！」みたいな？)

IDE が提供してくれるのって結局 interactiveness でしかなくて、「それバッファリングして私がそうしたいタイミングで見せてくれるんじゃ駄目なの？」という気持ちになります

たとえば tmux のウィンドウのひとつでファイル変更監視からの自動ビルドをかけつつ、もうひとつのウィンドウで vim 全画面にしてファイル編集していても、何も困らないわけですよ

そこで「IDE は賢いからその場でエラーがわかるよ！」と言われても、「いやそれはショートカット一発でわかるから自分のタイミングで見るわ」としか

テキストエディタでテキストを書く、それはそう

だいたい関数を呼ぼうと思ったとき、既に型ってわかってません？(呼ぼうとする前に調べるし、名前を覚えていたら型もだいたい覚えている)

名前がわからなければ、(より適切な機能があるかもしれないし)リファレンスを眺めて全貌を把握しようとするので、「特定の関数の詳細を名前から自動で教えてくれる」というのは正直そんなに欲しくないかも

メンタルモデルができていないものを迂闊に使わないようにしている、と言えばいいのか

@cobodo あー

そういうややこしいデザインになっている関数はだいたい複数あるものなので、既に傍らで一覧を開いてるかな

常にドキュメントを即座に開ける状況で進捗しているので

このアカウントは、notestockで公開設定になっていません。

なるほど

意図してないのに勝手に動くものが嫌いという私の好みが駄目という結論っぽい

「私が聞いてないことに答えるな、鬱陶しい」という意識が強く働くのがよくない

気持ちとしては、 web ページをスクロールするとﾇｯと下から出てくる広告とか「役に立ちましたか？」みたいなフォームのような気持ちで見ている

実際私も neovim で Language server 使ってますね(でも preview window とかはブチギレ対象なので完全無効化している)

実のところ ctags とかをまともに使ったことがないのです

検査は(勝手に表示されないだけで)常にバックグラウンドで常時行われているので、うーん (エラーメッセージがエディタ画面に表示されるのが嬉しいというのであれば、まあわからなくもない(個人的にはそんなに嬉しくもない))

このアカウントは、notestockで公開設定になっていません。

まあなんだかんだで世の中の少ならかぬ言語は vim だけで書けるし、困ったことはそんなにない

許せないのは、ビルドスクリプトが IDE とベッタリなケースですね

このアカウントは、notestockで公開設定になっていません。

そういえばこういうのも動的型付き(そのもののせいというわけではないけど)の弊害か…… (私が ctags とか使わないので気付かなかった)

さすがにカーネルの関数を追い掛けるときは使ったことあるけど、そのくらいしかないかな

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

ｲﾝﾃﾘｼﾞｪｰｱｲﾃﾞｬ(ｳｯ

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

これは不思議なんですが、皆さん javac のブートストラップどうやってるんですか

gcc のバイナリは手元に最初からあるにしても、 icedtea のバイナリって普通手元になくないですか

このアカウントは、notestockで公開設定になっていません。

なるほど(白目)

いや真理

これは追い追いブログに書こうと思ってnヶ月が過ぎ去ったんですが、 gcc-5 の gcj から icedtea-7 をビルドして、 icedtea-7 から icedtea-8 をビルドしたときはさすがにつらかった

！！

しらなかった

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

機械可読性は人間にとっても大事

嫌いじゃない

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

これすきかも

まてこれ nsfw 垢じゃなかった

このアカウントは、notestockで公開設定になっていません。

#オデッセイ そのうち原作読みたい

hot stuff は草生える #オデッセイ

火星の人〔新版〕(上) (ハヤカワ文庫SF) | アンディ・ウィアー, 小野田和子 |本 | 通販 | Amazon
https://www.amazon.co.jp/%E7%81%AB%E6%98%9F%E3%81%AE%E4%BA%BA%E3%80%94%E6%96%B0%E7%89%88%E3%80%95-%E4%B8%8A-%E3%83%8F%E3%83%A4%E3%82%AB%E3%83%AF%E6%96%87%E5%BA%ABSF-%E3%82%A2%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BB%E3%82%A6%E3%82%A3%E3%82%A2%E3%83%BC/dp/4150120439

#オデッセイ おもしろかった

ユーモアが自然で笑えたのでそれもよかった

笑わせるところで「ここは面白いところです！」みたいな鬱陶しい演出を入れてこないので

このアカウントは、notestockで公開設定になっていません。