Ive been thinking about something like this. A mathematical definition of a func... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

andoando on March 4, 2024 | parent | context | favorite | on: The hunt for the missing data type

Ive been thinking about something like this. A mathematical definition of a function such that we can search it. Imagine we had something like "Find a function that fits this signature -> Input arr[numbers] out-> for every x in arr, x2>x1.

lupire on March 4, 2024 [–]

That's https://hoogle.haskell.org/ plus dependent types (data constraints).

Without human provided dependent typing, the search engine would be almost as hard to write as a system to directly generate the code you need.

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact