結果

問題 No.446 ゆきこーだーの雨と雪 (1)
コンテスト
ユーザー tak
提出日時 2018-08-01 01:12:59
言語 F#
(F# 10.0 + ACL)
コンパイル:
fsharp_c _filename_
実行:
/usr/bin/dotnet_wrap
結果
CE  
(最新)
AC  
(最初)
実行時間 -
コード長 603 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 6,760 ms
コンパイル使用メモリ 198,000 KB
最終ジャッジ日時 2026-09-22 17:58:37
合計ジャッジ時間 8,081 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge5_0
このコードへのチャレンジ
（要ログイン）
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。（リジャッジ後のコンパイルエラーは公開されます）
ただし、clay言語の場合は開発者のデバッグのため、公開されます。

コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.fsproj を復元しました (258 ミリ秒)。
/home/judge/data/code/Main.fs(4,24): error FS0041: このプログラム ポイントよりも前の型情報に基づいて、メソッド 'TryParse' の固有のオーバーロードを決定することができませんでした。型の注釈が必要な場合があります。既知の型の引数: 'a候補: - System.Int32.TryParse(s: System.ReadOnlySpan<char>, result: byref<int>) : bool - System.Int32.TryParse(s: string, result: byref<int>) : bool - System.Int32.TryParse(utf8Text: System.ReadOnlySpan<byte>, result: byref<int>) : bool [/home/judge/data/code/main.fsproj]

ソースコード

diff #
raw source code 

let R() = stdin.ReadLine()

let (|Number|_|) n =
    match System.Int32.TryParse n with
    | true, x -> 
        let inRange = 0 <= x && x <= 12345
        let hasLeadingZero = 
            let raw    = n
            let trimed = 
                match n with
                | "0" -> "0"
                | _   -> n.TrimStart('0')
            raw <> trimed            
        if inRange && not hasLeadingZero then 
            Some(x)
        else 
            None
    | _ -> None
    
let A = R()
let B = R()

match A, B with
| Number x, Number y -> "OK"
| _                  -> "NG"
|> printfn "%s"
0