ELM リストからインデックス指定で要素取り出し

ELMのリストから要素を取り出すということは、本来あまり使うべき機能でないのかもしれませんが、こちらを参考にしてみました。

getAt : Int -> List a -> Maybe a
getAt idx xs =
    if idx < 0 then
        Nothing

    else
        List.head <| List.drop idx xs

ELMでリクエスト発行

ELMで他サイトからデータを読み取るためにリクエストを動作させたいということで試してみた。サンプルアプリのサイトはうまくいくのに、自分で作成したサイトはうまくいかない。
　こちらをみると、どうやらCORSというものの問題らしい。いまどきは、Same　Origin　Policyということで、勝手に他のサイトへ飛ばないような制限ができているということは知っていたが、サーバーとクライアント間の安全なやりとり手順が必要ということのようです。
　bottleを使ったサーバなのでhttps://qiita.com/yagays/items/67d9780abef8c36eb625
を参考にさせていただき

from bottle import hook, response
@hook('after_request')
def enable_cors():
    response.headers['Access-Control-Allow-Origin'] = '*'

を追加して解決した