[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Inferred function types in the *Help* buffer
From: |
Philip Kaludercic |
Subject: |
Re: Inferred function types in the *Help* buffer |
Date: |
Tue, 23 May 2023 18:51:30 +0000 |
Payas Relekar <relekarpayas@gmail.com> writes:
> Andrea Corallo <akrl@sdf.org> writes:
>
>> ====
>> foo is a native-compiled Lisp function in
>> ‘~/.emacs.d/eln-cache/30.0.50-e29d76eb/test-a526a80f-5481bc95.eln’.
>>
>> Signature: (foo N)
>>
>> Inferred type: (function (t) (or (member to-small too-big) (integer
>> 100 100)))
>>
>> ...
>> ====
>
> Pretty cool.
>
> Tangentially, there's also Elsa: https://github.com/emacs-elsa/Elsa
>
> How feasible would you say it would be to integrate it within
> Emacs/native-compiler?
Elsa? In a recent discussion[0] the author (Matus Goljer) told me this:
> Elsa is complex and it currently can't run from user session Emacs and
> most likely never will. There is many ways to run Elsa mentioned in
> the Readme. Currently no other ways are supported, but I'm sure it's
> possible. Elsa is not a linter like "checkdoc", it is a full
> evaluation engine for Emacs Lisp, it's a gradual type system, it's a
> language server, it's a refactoring tool. It will be more things in
> the future. You should imagine it being a separate program that you
> run alongside Emacs, not inside Emacs.
[0] https://github.com/emacs-elsa/Elsa/issues/218#issuecomment-1470421487
> Regards,
> Payas
>
> --
- Inferred function types in the *Help* buffer, Andrea Corallo, 2023/05/23
- Re: Inferred function types in the *Help* buffer, Eli Zaretskii, 2023/05/24
- Re: Inferred function types in the *Help* buffer, Andrea Corallo, 2023/05/24
- Re: Inferred function types in the *Help* buffer, Andrea Corallo, 2023/05/30
- Re: Inferred function types in the *Help* buffer, Mattias Engdegård, 2023/05/30
- Re: Inferred function types in the *Help* buffer, Andrea Corallo, 2023/05/30
- Re: Inferred function types in the *Help* buffer, Andrea Corallo, 2023/05/31
- Re: Inferred function types in the *Help* buffer, Eli Zaretskii, 2023/05/31
- Re: Inferred function types in the *Help* buffer, Eli Zaretskii, 2023/05/31