Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

タグ

2016年2月18日のブックマーク (5件)

  • 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

    Unison | A friendly, statically-typed, functional programming language from the future · Unison programming language
    Nnwww
    Nnwww 2016/02/18
    純粋関数型言語とそれ専用のセマンティクスを解するエディタとそれらのAPI等を提供するバックエンドをまとめたプラットフォームを開発するらしい。関数型云々は開発環境がネックになってるから良い試みかも
  • Introducing Incremental

    I’m pleased to announce the release of Incremental (well commented mli here), a powerful library for building self-adjusting computations, i.e., computations that can be updated efficiently when their inputs change. At its simplest, you can think of a self-adjusting computation as a fancy spreadsheet. In a spreadsheet, each cell contains either simple data, or an equation that describes how the va

    Introducing Incremental
    Nnwww
    Nnwww 2016/02/18
    SACはFRPとセマンティクスが異なる --- FRPは主に計算に時系列が関係し、SACは主に計算ノードが有向非巡回グラフ状である場合に最適化されている --- それでも特に実装レベルでは密接な関わりがある(本文より)
  • OSS活動の活発さと評価の関係について

    7. • 身分制度の変革 • Social Coding 以前の OSS • プロダクトに人が群がる • コミッター様 vs. 下々のものども Social Coding が OSS にもたらしたもの @a_matsuda https://speakerdeck.com/a_matsuda/social-coding 8. • コミッタ階級による アンシャンレジームの崩壊 • 市民革命。人民の直接参加。主権在民。 • コミューン、すなわちコミュニティ • 人民がソースコードを保持する権利を手 にするところからコミュニティが始まる Social Coding 革命 @a_matsuda https://speakerdeck.com/a_matsuda/social-coding

    OSS活動の活発さと評価の関係について
    Nnwww
    Nnwww 2016/02/18
    後半は最近話題になったOSS絡みの問題にも言及している(が画像だけでは分かりづらいのでリンク先へどうぞ
  • 2016年、C言語はどう書くべきか (前編) | POSTD

    (訳注:2016/3/2、いただいた翻訳フィードバックをもとに記事を修正いたしました。) (訳注:著者のMattより、「文中で明言はしていないが、この記事の内容はx86-64 Unix/Linux/POSIXでアプリケーションをプログラミングする場合にフォーカスしている。他のプログラミング領域では、対象とするシステムに応じた(例: 8-bitの組み込みシステム、10年前のコンパイラ、多くの異なるCPUアーキテクチャで動く必要のあるアプリケーション、Win/Linuxでのビルド互換性など)特有のアドバイスが必要」との補足を頂いております。) 以下の文章は2015年の始めに書いたドラフトで、今まで公開していませんでした。私のドラフト用フォルダの中で誰の目も引かなかったため、大部分が書いた時のままです。公開するにあたり、単純に2015年を2016年に変更しました。 必要な修正、改善、苦情があり

    2016年、C言語はどう書くべきか (前編) | POSTD
    Nnwww
    Nnwww 2016/02/18
    これ原文の方だと批評の記事も出てるんでそっちも一緒に読んだ方が良いですよ
  • はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知

    はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

    はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
    Nnwww
    Nnwww 2016/02/18