Ännu en LISP-variant för .Net har dykt upp: IronLisp
Utan att ha kollat upp det hela ordentligt ser det ut som att detta är en del av xacc.ide - en open source IDE för .Net-baserade språk skriven i C#.
Bli den första att värdera denna post
Även om AjaxControlToolkit i många fall hjälper till att minimera mängden skrivna javascript och att SQL i det närmaste helt kan undvikas med hjälp av kodgenerering och/eller LINQ så hamnar man till och från i hemska situationer som utvecklare i ASP.Net.
Nu är det äntligen slut på det.
På Tomas Petricek's virtual universe beskrivs den slutgiltiga lösningen i artikeln F# Web Toolkit: "Ajax" applications made simple.
Direktlänk till det alltigenom lovvärda projektet: FSharp.WebToolkit.
C:\Program Files\Microsoft.NET\FrameworkSDK\Samples\Clisp
The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software. Spec# is pronounced "Spec sharp" and can be written (and searched for) as the "specsharp" or "Spec# programming system". The Spec# system consists of: The Spec# programming language. Spec# is an extension of the object-oriented language C#. It extends the type system to include non-null types and checked exceptions. It provides method contracts in the form of pre- and costconditions as well as object invariants. The Spec# compiler. Integrated into the Microsoft Visual Studio development environment for the .NET platform, the compiler statically enforces non-null types, emits run-time checks for method contracts and invariants, and records the contracts as metadata for consumption by downstream tools. The Spec# static program verifier. This component (codenamed Boogie)generates logical verification conditions from a Spec# program. Internally, it uses an automatic theorem prover that analyzes the verification conditions to prove the correctness of the program or find errors in it.
“Languages shape the way we think, or don't.”
Mina sidor:
Publika projekt:
Sign in