What are the most interesting equivalences arising from the Curry-Howard Isomorphism?
I came upon the Curry-Howard Isomorphism relatively late in my programming life, and perhaps this contributes to my being utterly fascinated by it. It implies that for every programming concept there exists a precise analogue in formal logic, and vice versa. Here's a "basic" list of such analogies, off the top of my head: program/definition | proof type/declaration | proposition inhabited type | t
jasmine: Async callback was not invoked within timeout specified by jasmine.DEFAULT_TIMEOUT_INTERVAL
Testing private method in Ruby (rspec)
Yes, I know, that testing private methods it's not a good idea (and I read this thread - http://www.ruby-forum.com/topic/197346 - and some others) But how can I test the following code? I use xmpp4r. In my public method #listen I start receive jabber messages like so: def listen @client.add_message_callback do |m| do_things_with_message(m) end end private def do_things_with_message(m) # end #add_m
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Why can't Coq figure out symmetry of the equality by itself?
What will be the number of reachable states if Petri-Net model states are in loop
formal methods - Tool-supported to check module in SOFL - Stack Overflow
Where does the KeY verification tool shine?
Axiomatic Semantics - How to calculate a weakest precondition
Zed specification: Promotion and applying an operation more than one schema
how to resolve max search depth too small in SPIN model checker? What can be the possible reasons?
Formal method : []<> Infinitely often (Always eventually) in TLA
Hoare Triples - Weakest Precondition / Strongest Postcondition
Can Haskell functions be proved/model-checked/verified with correctness properties?
What are the strengths and weaknesses of the Isabelle proof assistant compared to Coq?
Using forall within recursive Function definition
How do I change the timeout on a jasmine-node async spec
How deep are your unit tests?
https://ubiteku.oinker.me/2015/12/03/tdd%E5%86%8D%E8%80%83-7-%E3%83%86%E3%82%B9%E3%83%88%E3%81%AF%E3%81%A9%E3%81%93%E3%81%BE%E3%81%A7%E6%9B%B8%E3%81%91%E3%81%B0%E8%89%AF%E3%81%84%E3%81%AE%E3%81%8B%EF%BC%9F/
Is it possible for RSpec to expect change in two tables?
Rspec checking ActiveModel::Errors