你即將離開本站

並前往https://player.fm/series/functional-geekery-104390/functional-geekery-episode-108-david-christiansen

David Christiansen Functional Geekery podcast - Player FM

We talk his introduction to functional programming, research in dependent types, Idris, Nuprl and LFC traits, work to add dependent types to ...

確定！ 回上一頁

查詢 「Types ramda」的人也找了：

  1. Ramda github
    2.
  2. npm ramda
    3.
  3. Types ramda
    4.
  4. Ramda tree-shaking
    5.
  5. ramda substring
    6.
  6. TypeScript types
    7.
  7. typescript and ramda
    8.
  8. Types/react
    9.