タグ

2023年10月1日のブックマーク (5件)

  • Haskell は Rust になれるのか?──2023年の Linear Haskell 体験記

    追記:いくらなんでもあまりにも長いので、配列演算に焦点を絞ってより「Rustっぽさ」の気持ちを強調した姉妹編を書きました。手っ取り早く雰囲気を掴みたい方はこちらもどうぞ。 TL;DR GHC 9.0 から Haskell に入った線型型(Linear Types)の機能を一部割とガッツリ使ってみたので、Linear Haskell の現在の使い心地と将来の展望を報告するよ。 使おうと思えば使える段階にあるけれど、一部バグもあるし、まだ言語機能面で実装が追い付いていない部分もあって、快適に書けるようになるにはもうちょっと掛かるよ。それでも実用しようと思えばできるレベルにあるよ。 RustのようになるにはLinear Constraintsに期待。 更新履歴 2023/12/15 11:45 姉妹編へのリンク追加。 2023/10/01 12:30 線型性を納得してくれない場合の \eta-展

    Haskell は Rust になれるのか?──2023年の Linear Haskell 体験記
  • 「男オタクの界隈には自浄作用が無い」って言ってた人って今どうしてるんだろう

    追記 何かめちゃくちゃ荒れててびっくりした 最初に言ったけど当に煽りでも何でもなく疑問だっただけだから、ムキになられても困るんよ。ごめんて あと男オタクの界隈には自浄作用があるなんて一言も書いてないよ。健全性を感じるってだけ 追記終わり 煽りでも何でもなくて純粋に気になる 今ジャニオタとか宝塚オタが暴れ回ってて、界隈の人たちは止めるでもなく諫めるでもなく、そもそも関心事体無いっぽいんよね(もしくは同調圧力で無言を貫いているか) ああいうのを見てどう思うんだろう 界隈の中で議論が巻き起こる男オタクの方が健全性を感じてしまうのは俺だけのかな?

    「男オタクの界隈には自浄作用が無い」って言ってた人って今どうしてるんだろう
    kirakking
    kirakking 2023/10/01
    ネット上の有象無象の集団なんて自浄作用が無くて当然、有ったらとても偉いのですごく褒めましょう、程度。
  • 「そういう“くくり方”もあるのか!」と驚いたり,フワっとした条件でも好みのゲームを探せたりするSteamタグガイド

    「そういう“くくり方”もあるのか!」と驚いたり,フワっとした条件でも好みのゲームを探せたりするSteamタグガイド ライター:june PCゲーム配信プラットフォームのSteamは,もはやゲーマーに欠かせない存在となっているが,あまりに巨大なため,何も情報がないところから自分好みのゲームを探すのには少々手間がかかる。 Steamの検索で,「タイプ」を「ゲーム」に絞ってみると,ヒットするのは9万以上。また,独自の手法でSteamのユーザーデータを収集し,公開しているSteamSpy(外部リンク)によると,2022年の1年間にリリースされた作品は1万を超えており,その傾向からすると,タイトルの数は今後もかなりのペースで増えていきそうだ。 もちろん,Steamのストアには「RPG」「アクション」「アドベンチャー」などのカテゴリが用意されているし,タイトル検索では,対応言語や対応プレイヤー数,価

    「そういう“くくり方”もあるのか!」と驚いたり,フワっとした条件でも好みのゲームを探せたりするSteamタグガイド
    kirakking
    kirakking 2023/10/01
    創造的な評価方法としてのオリタグ。面白い。
  • カプコンの名作RPG『ブレス オブ ファイア』がブラウザから無料で遊べる。『魔界村』『超魔界村』とともに「カプコンタウン」のレトロゲームズコーナーに追加

    カプコンの名作RPG『ブレス オブ ファイア』がブラウザから無料で遊べる。『魔界村』『超魔界村』とともに「カプコンタウン」のレトロゲームズコーナーに追加 9月29日(金)、「カプコンタウン」のレトロゲームズコーナーに『ブレス オブ ファイア』と『魔界村』、『超魔界村』の3作品が追加された。いずれも無料でブラウザからプレイすることができる。 「カプコンタウン」は、カプコン40周年を記念してつくられた“デジタル観光地”。カプコンから生まれたさまざまなタイトルの原画や設定資料といった展示を見たり、昔懐かしいゲームで遊べたりと、さまざまなコンテンツを通してカプコンの歴史を体験することができる。 このたび『ブレス オブ ファイア』など3作品が追加されたのは、カプコンタウン内のレトロゲームズコーナー。すでに『ロックマン』や『ストリートファイターII』などが並んでいた中に、新たにくわわった形だ。 📢#

    カプコンの名作RPG『ブレス オブ ファイア』がブラウザから無料で遊べる。『魔界村』『超魔界村』とともに「カプコンタウン」のレトロゲームズコーナーに追加
    kirakking
    kirakking 2023/10/01
    説明書完備なところが良いね。今となってはチュートリアルとゲーム内ヘルプに外部説明書は取って代わられたので。説明書や攻略本にだけ描かれえた装備もいいなあ。
  • NHKまで「一番」を「1番」と書くようになってしまった

    副詞としての「一番」は熟語である。「ビールが一番好き」「こういう日はビールが一番」などには、漢数字を使うべきだ。 助数詞として「番」が添えられる場合、たとえばバッターの打順などであれば算用数字の「1番」でかまわない。 このふたつの簡単な見分け方は、数字の部分を他の数に置き換えても意味が通るかどうか。 たとえば、「ビールが2番好き」と言うことはない。 数字を含む熟語に算用数字を混ぜる誤用が近年増えている。というか、テレビにテロップが多用されるようになった頃から多い。 中でも「1番」は誤用の目立つ言葉の筆頭だったのだが、とうとうNHKまでこの誤用を平気で電波に乗せるようになってしまった。同じ日の同じニュース番組内で「第3者」という誤用もやらかしていたので、この日のテロップ係がかなり意識低い系だったものと思われる。「第三者」も「二人称」などと同じくそれじたいがひとつの熟語であるので、算用数字を使

    NHKまで「一番」を「1番」と書くようになってしまった
    kirakking
    kirakking 2023/10/01
    AI字幕だと文脈に考慮すんのかな。Macで変換すると、何か漢数字を避けられることが多い気がする。