[フレーム]
はてなブックマークアプリ

サクサク読めて、
アプリ限定の機能も多数!

アプリで開く

気に入った記事をブックマーク

  • 気に入った記事を保存できます
    保存した記事の一覧は、はてなブックマークで確認・編集ができます
  • 記事を読んだ感想やメモを書き残せます
  • 非公開でブックマークすることもできます
適切な情報に変更

エントリーの編集

loading...

エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。

タイトルガイドライン

このページのオーナーなので以下のアクションを実行できます

タイトル、本文などの情報を
再取得することができます
コメントを非表示にできます コメント表示の設定

ブックマークしました

ここにツイート内容が記載されます https://b.hatena.ne.jp/URLはspanで囲んでください

Twitterで共有

ONにすると、次回以降このダイアログを飛ばしてTwitterに遷移します

101users がブックマーク コメント 5

ガイドラインをご確認の上、良識あるコメントにご協力ください

0 / 0
入力したタグを追加

現在プライベートモードです 設定を変更する

おすすめタグタグについて

よく使うタグ

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

101 users zenn.dev/konn

ガイドラインをご確認の上、良識あるコメントにご協力ください

0 / 0
入力したタグを追加

現在プライベートモードです 設定を変更する

おすすめタグタグについて

よく使うタグ

はてなブックマーク

はてなブックマークで
関心をシェアしよう

みんなの興味と感想が集まることで
新しい発見や、深堀りがもっと楽しく

ユーザー登録

アカウントをお持ちの方はログインページ

記事へのコメント5

  • 注目コメント
  • 新着コメント
kakkun61
自分もちょっとだけ触ったけど、これはめちゃくちゃ使い込んでるな

その他
mumei-0
"ある資源(メモリなど)が高々一回だけ消費されるという事実を型レベルで表現できるものです。"

その他
zyzy
Haskell界隈がまた面白くなってきてる

その他
lbtmplz
ああなんか興味深いことを言っている...

その他
ooblog
#Haskell #線形論理 #線形型 「GHC9.0系~Linear Haskell~LinearTypes言語拡張~引数を何回使うか~重複度1と、無制限を表す重複度ωを扱う~必ず一回消費しないと型エラー~きっかり一回~リソースが必ず解放され~中間形式が外に漏れない」

その他

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

リンクを埋め込む

以下のコードをコピーしてサイトに埋め込むことができます

プレビュー
アプリのスクリーンショット
いまの話題をアプリでチェック!
  • バナー広告なし
  • ミュート機能あり
  • ダークモード搭載
アプリをダウンロード

関連記事

usersに達しました!

さんが1番目にブックマークした記事「Haskell は Rust ...」が注目されています。

気持ちをシェアしよう

ツイートする

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

追記:いくらなんでもあまりにも長いので、配列演算に焦点を絞ってより「Rustっぽさ」の気持ちを強調し... 追記:いくらなんでもあまりにも長いので、配列演算に焦点を絞ってより「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-展

ブックマークしたユーザー

  • xiangze2025年05月19日 xiangze
  • petite_blue2024年12月20日 petite_blue
  • techtech05212024年06月16日 techtech0521
  • nna7742024年01月09日 nna774
  • kakkun612023年10月09日 kakkun61
  • sanko04082023年10月07日 sanko0408
  • m2ym2023年10月05日 m2ym
  • zu22023年10月04日 zu2
  • mumei-02023年10月03日 mumei-0
  • kuwadgi2023年10月03日 kuwadgi
  • balaem2023年10月02日 balaem
  • ggkuron2023年10月02日 ggkuron
  • noritada2023年10月02日 noritada
  • hhironyon2023年10月02日 hhironyon
  • barlog2023年10月02日 barlog
  • okishima_k2023年10月02日 okishima_k
  • hitsujibane2023年10月02日 hitsujibane
  • havanap2023年10月02日 havanap
すべてのユーザーの
詳細を表示します

ブックマークしたすべてのユーザー

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

同時期にブックマークされた記事

いま人気の記事 - 企業メディア

企業メディアをもっと読む

はてなブックマーク

公式Twitter

はてなのサービス

Copyright © 2005-2025 Hatena. All Rights Reserved.
設定を変更しましたx

AltStyle によって変換されたページ (->オリジナル) /