Это выглядит довольно крутой идеей, но беглый поиск Google не находит ничего, кроме фрагментов кода: никаких "больших" проектов, которые производятся исключительно с помощью WebSharper, которые будут служить проверкой здравомыслия "это действительно работает". Также будет полезен любой опыт, связанный с ним в течение довольно длительного периода времени (например, создание блога или персонального веб-сайта).
В теории это звучит как замечательная идея: компиляция одного языка на несколько вещей для работы на клиенте, сервере и т.д. Обычно абстракция является негерметичной и/или достаточно ограничительной, чтобы сделать ее столь же раздражающей, как и запись несколько языков вручную (это мой опыт работы с GWT) и задавался вопросом, не отличается ли WebSharper.