music : mamomo [user/766148]illustration : mamomo次回更新 7/12 予定 mylist/45474220いろいろとiTunes、Amazonにて配信しております。詳細 http://www.s-mamomo.com/archives/1600
あなたも一緒にお茶しませんか?music by ein : mylist/57412636art by mozabun : https://twitter.com/mozzabun★高画質版 : https://youtu.be/ozTW3N_repw===================================● bandcamp : https://ein-musik.bandcamp.com/● soundcloud : https://soundcloud.com/ein-10● booth : https://ein-musik.booth.pm/● instagram : https://www.instagram.com/ein_music/● twitter : https://twitter.com/ein_musik● facebook : https://ww
Project for Public Spaces & National Center for Biking and Walking•6.9K views
The Has type class patterns are simple but surprisingly useful. I’ll walk through some examples.
2017-06-07 - By Robert Elder Below you will find example source code and interactive visualizations that are intended to complement the paper 'An O(ND) Difference Algorithm and Its Variations' by Eugene W. Myers[1]. Multiple variants of the algorithms discussed in Myers' paper are presented in this article, along with working source code versions of the pseudo-code presented in the paper. Two ref
Abstract A discussion of how to apply the Cleanroom software development methodology to functional programming using the Haskell language. This publication is available in Web form and also as a PDF document. Please forward any comments to john@nmt.edu. This work is licensed under a Creative Commons Attribution-NonCommercial 3.0 Unported License. As my career approaches fifty years in software des
Feature Name: N/A Start Date: 2017-06-26 RFC PR: (leave this empty) Rust Issue: (leave this empty) Summary There has been a long-standing question around Rust's evolution: will there ever be a Rust 2.0 in the semver sense? This RFC gives the answer: certainly not in the foreseeable future, and probably not ever. Instead, this RFC proposes epochs , a mechanism for language evolution without breakag
In January of this year, we adopted the 2017 Rust Roadmap, which laid out our plans for 2017. As part of the roadmap process, we plan to regularly release updates on the progress of each roadmap item. This post marks the halfway point through the year. Tracking progress via roadmap issues First, a meta note. If you'd like to follow along with the progress on a particular roadmap initiative, or to
Many mainstream Haskell programs that reach a certain size need to solve at least two core problems. First, all your logic will run in some kind of environment that provides logging, configuration, other external data such as templates and/or some global application state. This environment must be managed somehow and correctly be passed to the specific logic. Secondly, you will need to read and wr
Get new posts by email (~ one email every couple of months & no spam) [update] I'm on some list now that I have written an article about some kind of "bomb", ain't I? If you have ever hosted a website or even administrated a server you'll be very well aware of bad people trying bad things with your stuff. When I first hosted my own little linux box with SSH access at age 13 I read through the logs
この記事はなんなの プログラミングを始めたばかりで高速化の大枠が全くわからず意味不明なことをしていた在学時、こんな資料があったら良かったのになあ、と思って書いたもの。 書いて、在学時研究室に押し付けた後紛失したと思われていたものが発掘されたもの。 要約 ライブラリがあるならそれを使う。 ライブラリが無ければ、ボトルネック部分を探してそこだけ高速な言語で書きなおすか、可能なら事前コンパイルする。 最初から全てを Low-Level な言語で書くと大変、でも結果のプログラムは速い。 以下の時間の計測ではインポートにかかる時間は除いています。 使用するもの Python(3系) Numba Scipy Line Profiler Fortran(gfortran) QUADPACK QUADPACK以外の導入方法の説明は色んな所にあるので各自でお願いします。上3つに関しては、個人的にはAnaco
概要: トレイト選択とは、トレイト制約の解決方法を検索するコンパイラの処理であり、型推論にもコード生成にも使われる重要な部品である。本記事ではトレイト選択の動作の詳細について解説する。 トレイト選択とは トレイト選択 (selection) とは、トレイト制約 (obligation) の解決方法を検索する処理である。トレイト制約は、トレイト境界と同じく、 SomeType: SomeTrait<SomeArguments> という形式をとる。例えば、 let z = x + y; というコードを書いたとき、 z の型は <X as Add<Y>>::Output であるが、これをより具体的に決定するには、 X: Add<Y> の解決方法を決定する必要がある。 トレイト選択の処理はtraits/select.rsにまとまっているのでここを読むとだいたいわかる。 トレイト選択が呼ばれるタイミ
P. Wadler "How to Replace Failure by a List of Successes" (1985) E. Moggi "Computational Lambda-Calculus and Monads" (1988) M. Spivey "A Functional Theory of Exceptions" (1990) E. Moggi "Notions of Computation and Monads" (1991) P. Wadler "The Essence of Functional Programming" (1992) S. Peyton Jones、P. Wadler "Imperative Functional Programming" (1993) あたりのこと。 目次: E. Moggi "Computational Lambda-Ca
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く