結果

問題 No.446 ゆきこーだーの雨と雪 (1)
ユーザー taktak
提出日時 2018-08-01 01:12:59
言語 F#
(F# 4.0)
結果
CE  
(最新)
AC  
(最初)
実行時間 -
コード長 603 bytes
コンパイル時間 9,283 ms
コンパイル使用メモリ 185,788 KB
最終ジャッジ日時 2024-04-27 02:35:47
合計ジャッジ時間 9,758 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。（リジャッジ後のコンパイルエラーは公開されます）
ただし、clay言語の場合は開発者のデバッグのため、公開されます。

コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.fsproj を復元しました (246 ms)。
MSBuild のバージョン 17.9.6+a4ecab324 (.NET)
/home/judge/data/code/Main.fs(4,11): 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 # 

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