Unison | A friendly, statically-typed, functional programming language from the future · Unison programming language
Distributed programming No more writing encoders and decoders at every network boundary. Say where you want computations to run and it happens 🔮 — Dependencies are deployed on the fly. Learn More Refactoring Your codebase is always live and typechecks, even in the middle of a refactoring. Unison has structured refactoring sessions, not a big misleading list of type errors. Learn More Durable stor
大規模ソフトウェアを手探る
括弧内は投稿日. 新しいものを上に書き足します. (過去ログ), (過去レポ) (投稿日 2023/10/04) 2023年度版ホームページ開設 テキスト テキスト GDBを使えるようになろう. 動画版 vscodeの場合 Globalを使おう. 動画版 Windowsで開発するのはおすすめしない. 仮想マシンにLinuxを入れるのを推奨します 補足資料: uftraceについての紹介ブログ uftrace 紹介編 gnumericへ適用編 教科書執筆後, 補足資料として執筆 (自分も教科書の代わりにブログを書いてみた). 参考: uftraceが上手く行かないときの代わりになるかもしれないツール libitrace 説明スライド イントロ (説明予定: 第1回) Gitについて (説明予定: 第2〜3回), イントロスライド 提出物について (説明予定: 後半) レポートその他の提出手続
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Exercise Platform for the OCaml MOOC
