Microsoft Announces Type Server Protocol, Extension of Language Server Protocol

https://github.com/microsoft/pylance-release/blob/main/docs/tsp/type-server-protocol.md

73•adamnemecek•1h ago

Comments

anonymous908213•51m ago

This should be called Python Type Server Protocol, no? Seems weird to mine the generic protocol namespace for a protocol that only supports Python. Especially coming from the company behind LSP, which actually is generic.

wolttam•49m ago

It is namespaced under the pylance project. I also don't see any announcement here, just a markdown file.

Perhaps the post title could use a tweak

adamnemecek•31m ago

This was the announcement https://devblogs.microsoft.com/python/announcing-tsp/

Blackarea•47m ago

100% - it would make more sense if they also supported elixir or other dynamic languages

pantsforbirds•42m ago

I do wonder if it generalizes outside of python similar to how LSPs do.

rzzzt•19m ago

Type Server Subsystem for Python

ahgrta•48m ago

Type-shed, type-server. When can this Python madness stop? How about using CORBA to make it even more enterprisey?

Why don't you spend your resources on F# instead of this nonsense?

paaloeye•46m ago

Interesting, LSP, DAP, MCP, and TSP now...

intrasight•28m ago

TSP : TriSodium Phosphate. Very good for cleaning up a mess.

Tarean•43m ago

So basically adding machine readable type-at-point queries as an lsp extension so Pylance and Pywright can be separated?

The 'result types'format is super python specific, like not having a for all binder. I don't think this specific schema will be used for any non-python languages.

0cf8612b2e1e•35m ago

It kept with UTF-16. New protocol is a chance to correct that poor decision.

rmzs0711•24m ago

Is there any application for that, except python?

rjbwork•17m ago

It's such a shame python got such mindshare. It's a disaster of a language and ecosystem that people keep bolting and hacking things that much better thought out languages have had for decades.

esafak•10m ago

Worse is better. Avoid using it yourself and tell others; that's the best you can do.

mi_lk•9m ago

OTOH I don't want to live in a universe where Haskell wins

lijok•9m ago

Fascinating take.

What do you attribute Python's success to, in spite of being a disaster of a language and ecosystem?

johnfn•5m ago

It's incredibly easy for new engineers to pick up. On the spectrum between "features easy for beginners but nightmarish for experienced engineers" and "features complex for beginners but great for experienced engineers" it always makes the tradeoff for the former.

nikolatt•6m ago

DetachHead (maintainer of basedpyright) has criticized the TSP before:

- https://docs.basedpyright.com/v1.40.2/type-server/

- https://github.com/microsoft/pylance-release/discussions/718...

Ty (the type checker maintained by astral) however will apparently support the TSP: https://github.com/astral-sh/ruff/discussions/23432

Microsoft Announces Type Server Protocol, Extension of Language Server Protocol

Sebastian Raschka's from-scratch video course on building reasoning models

CSS-Tricks has a new owner

Oldest GUI application that still runs on Windows 11

GPT-6.1 Terra

Nietzschian Debugger

Anthropic S-1

SIMD-accelerated computer vision on a $2 microcontroller

A Man from the Future: Why Johnny Can't Stop Abstracting

Diamond Transistor

Blaise Pascal invented fixed route public transport (2024)

US designates helium as a critical material

Pharo 14

Birdwatching rewires the brain and slows cognitive decline

GPT 6.1 Terra

The EPA Is Quietly Killing Its Web Archive

ChatGPT Keeps Telling People 404 Media Can Solve Their Tech Support Problems

In Leaked Audio, Flock CEO Tells Cops Backlash to the Company Isn't Real

An incremental approach to JIT construction

Fixing Tool-Call Accuracy in vLLM

Concerning behavior from a popular open-weight AI model

Switzerland. Block by block. At 1:1 scale

Colorfigures

Should Police Wipe a Criminal's Cellphone Before Returning It?–U.S. vs. Stathas

The Git Forge for Agent-Human Collaboration

Reinventing the Pencil Sharpener [video]

Partyline: A group voice application for Reticulum, built on LXST

World Wars I and II Military Aviation Museum Collection

Websites Should Be Printable

Microsoft offers mass buyouts for roughly a quarter of its workforce

Microsoft Announces Type Server Protocol, Extension of Language Server Protocol

Comments

Microsoft Announces Type Server Protocol, Extension of Language Server Protocol

Sebastian Raschka's from-scratch video course on building reasoning models

CSS-Tricks has a new owner

Oldest GUI application that still runs on Windows 11

GPT-6.1 Terra

Nietzschian Debugger

Anthropic S-1

SIMD-accelerated computer vision on a $2 microcontroller

A Man from the Future: Why Johnny Can't Stop Abstracting

Diamond Transistor

Blaise Pascal invented fixed route public transport (2024)

US designates helium as a critical material

Pharo 14

Birdwatching rewires the brain and slows cognitive decline

GPT 6.1 Terra

The EPA Is Quietly Killing Its Web Archive

ChatGPT Keeps Telling People 404 Media Can Solve Their Tech Support Problems

In Leaked Audio, Flock CEO Tells Cops Backlash to the Company Isn't Real

An incremental approach to JIT construction

Fixing Tool-Call Accuracy in vLLM

Concerning behavior from a popular open-weight AI model

Switzerland. Block by block. At 1:1 scale

Colorfigures

Should Police Wipe a Criminal's Cellphone Before Returning It?–U.S. vs. Stathas

The Git Forge for Agent-Human Collaboration

Reinventing the Pencil Sharpener [video]

Partyline: A group voice application for Reticulum, built on LXST

World Wars I and II Military Aviation Museum Collection

Websites Should Be Printable

Microsoft offers mass buyouts for roughly a quarter of its workforce