12/05/13 20:20:46.22
>>758
できる言語はあるかと聞いているのですが？
あとboolは関係ないですよね
761:デフォルトの名無しさん
12/05/13 20:24:09.03
>>760
じゃあ Integer と (() -> a) -> a
それはともかく、関数型とか全然関係なくって
まともな静的型なら無理って言ってるんだけど、
動的型しか使った事無い馬鹿には分からないかな？
762:デフォルトの名無しさん
12/05/13 20:25:17.06
>>761
だから、できない言語の事は聞いてなくて、出来る言語はあるかと聞いてるんですけど。
763:デフォルトの名無しさん
12/05/13 20:29:16.10
>>762
スレ違いだし問題としても糞詰まらんから
どっか行けって言ってんだけど？
764:デフォルトの名無しさん
12/05/13 20:29:54.03
何か値を返さなきゃならないみたいなので、>>757を修正
nilと値じゃなくてoption型使ってるけど
type System.Int32 with
member x.Execute func = match x with 0 -> None | n -> func() |> Some
> (0).Execute (fun () -> "zero");;
val it : string option = None
> (1).Execute (fun () -> "one");;
val it : string option = Some "one"
> (1 - 1).Execute (fun () -> 1 - 1);;
val it : int option = None
765:デフォルトの名無しさん
12/05/13 20:32:20.89
>>763
NGにしたいんでトリでも付けてもらえます？
スレ違い以前に話が通じないので
766:デフォルトの名無しさん
12/05/13 20:42:57.75
>>763
まず日本語の通じないお前がどっか行けよ
767:デフォルトの名無しさん
12/05/13 20:44:48.51
>>764
オブジェクトで出来てもあんまり嬉しくないんですが・・・
768:デフォルトの名無しさん
12/05/13 20:46:00.83
>>765>>766
型付けの問題だって理解できない自分の低能さを
日本語の問題にすり替えるなよw
769:デフォルトの名無しさん
12/05/13 20:52:46.02
>>761
「コンセントの付いている車はありますか？」
「軽トラなら無理です」
お前が言ってるのはこういう事だという自覚は有るのか？
普通は「あります」「ありません」この2択だろ
頭おかしいな
770:デフォルトの名無しさん
12/05/13 20:53:58.75
>>767
Int32はラッパークラスとかではなく、プリミティブかつオブジェクトなんだけど。
まぁそれでもダメというならどうしようもない。
771:デフォルトの名無しさん
12/05/13 20:55:35.08
>>764 のような Execute 的な関数を使うのってダメじゃね？
これアリなら難しくも何ともないじゃん
(|.) 0 _ = Nothing
(|.) x f = Just $ f ()
main = do
print $ 0 |. (\_ -> "zero")
print $ 1 |. (\_ -> "one")
print $ (1 - 1) |. (\_ -> "zero")
print $ (1 + 1) |. (\_ -> "two")
772:デフォルトの名無しさん
12/05/13 20:57:08.31
>>770
すいません。
関数と互換性をもってて欲しいんですよ。
773:デフォルトの名無しさん
12/05/13 21:06:51.99
>>771 >>772
てっきり拡張メソッド的なものを要求してるのかと思ってた。
Scalaなら暗黙型変換あるからできそうな気がする。
774:デフォルトの名無しさん
12/05/13 21:08:02.77
>>773
なるほど。Scalaですか、調べてみます。
775:デフォルトの名無しさん
12/05/13 22:46:41.69
で、Scalaなら出来たの？
776:デフォルトの名無しさん
12/05/14 00:37:38.04
マイナー言語使い共が
可読性皆無のコード書く御題で
型付けの弱さを競うスレはここですか？
時代に逆行してて笑えるwww
777:デフォルトの名無しさん
12/05/14 01:46:05.41
誰だって0と1は同じ型だと考えるのに、違った振る舞いをさせたいってのは、
何か前提がおかしいんだろうね。
元々何がしたかったのか聞ければよいんだけど、
彼にそういった振る舞いが出来るとも思えないしなぁ。
778:デフォルトの名無しさん
12/05/14 07:07:11.76
うーん。一番良く分からんのは、>>767を読むと出題者は>>764を見て
オブジェクトとしてなら「出来ている」認定してるっぽい処だな。
779:デフォルトの名無しさん
12/05/14 07:40:52.01
出題者がOOP厨だからオブジェクトには甘いだけだろ
別に不思議でもなんでもない
もちろん出題者は底なしのアホだけど