5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

scalaで証明駆動開発したい!©2ch.net

1 :仕様書無しさん 転載ダメ©2ch.net:2015/06/12(金) 19:12:30.26
誰かCoqみたいなの作ってくれ(´・ω・`)

2 :仕様書無しさん:2015/06/12(金) 22:42:56.15
そんなのきいたことない

3 :仕様書無しさん:2015/06/13(土) 10:16:36.03
どうせスケジュール駆動になんだから

4 :仕様書無しさん:2015/06/13(土) 12:01:17.33
>>3
何だそれと思って、真面目にアンサイクロペディアの記事読んじまったじゃねーかw

証明支援ツールcoqと、証明駆動開発の入門的なページ
多少の数学と関数型言語の知識必要
http://www.iij-ii.co.jp/lab/techdoc/coqt/

関数の性質を最初に定義して、それらの性質が満たされることを証明してから、目的の言語のコードを自動生成する……みたいな感じ。
設計書=実装になるので、ユニットテストが不要になる……らしい。

5 :仕様書無しさん:2015/06/13(土) 12:47:52.97
データが好きそう

6 :仕様書無しさん:2015/06/15(月) 08:47:22.96
ScalaはJAVAより敷居が高いから兵隊だよりのデータ様では無理だろう

7 :仕様書無しさん:2015/06/16(火) 07:59:05.07
>>1はどれくらいscalaが出来るのか
プロトタイプくらい出せ

8 :仕様書無しさん:2015/06/16(火) 11:03:28.23
現時点で業務でScalaやってるのは
意識高い層だけだから
こんなこと言わないと思うの

9 :仕様書無しさん:2015/06/16(火) 19:19:48.28
scalaがどれくらいできるかって?
javaのライブラリを使いこなせるくらいかな!

……ごめんよ(´・ω・`)
普段はjava使いで、証明駆動どころかテスト駆動とも縁遠いレガシー家です。なんか書店とか行くと関数型プログラミングとかの本がいっぱいあるから、scalaはちょっとかじってみた程度。

証明駆動の記事を読んで、どれくらい認知されているのかなー、みんなと話がしたいなーと思って勢いだけで立てたんだ。

10 :仕様書無しさん:2015/06/18(木) 20:43:05.06
俺もscala勉強中だけど、証明駆動開発とやらにはあんまり興味が湧かんなあ

2 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)